Open apblack opened 1 year ago
This line appears in t007_types+objects_test:
assertType (Function3⟦Unknown, Unknown, Unknown Number⟧) describes {a, b, c → 1}
There is a comma missing between Unknown and Number in the type arguments to Function3. This is a syntax error (I believe), but is not reported as such by the parser.
Unknown
Number
Function3
This line appears in t007_types+objects_test:
There is a comma missing between
Unknown
andNumber
in the type arguments toFunction3
. This is a syntax error (I believe), but is not reported as such by the parser.