This commit is contained in:
Richard Feldman 2025-08-15 17:17:35 -04:00
parent 96efa477b7
commit 76bd12f7c6
No known key found for this signature in database
3 changed files with 4 additions and 4 deletions

View file

@ -1207,7 +1207,7 @@ pub const ReportBuilder = struct {
}
try report.document.addReflowingText(" needs the ");
try report.document.addReflowingText(arg_index);
try report.document.addReflowingText(" argumument to be:");
try report.document.addReflowingText(" argument to be:");
try report.document.addLineBreak();
try report.document.addText(" ");
try report.document.addAnnotated(expected_type, .type_variable);

View file

@ -51,7 +51,7 @@ failPairDiffTypes = mkPair("1", 2)
This argument is of type:
_Str_
But the function needs the first argumument to be:
But the function needs the first argument to be:
_Num(_size)_
**INVALID NOMINAL TAG**
@ -93,7 +93,7 @@ failWithImplicit = mkPairInferred("str", 2)
This argument is of type:
_Str_
But the function needs the first argumument to be:
But the function needs the first argument to be:
_Num(_size)_
# TOKENS

View file

@ -26,7 +26,7 @@ main! = |_| getName({name: "luke", age:21})
This argument is of type:
_{ name: Str, age: Num(_size) }_
But the function needs the first argumument to be:
But the function needs the first argument to be:
_{ age: U64, name: Str }_
# TOKENS