Closed evincarofautumn closed 7 years ago
Here's a test case for a related issue:
// Type error on second parameter occurs at this column:
// v
def f(Int Int -> +IO):
->{x y}
x sayInt
y say
// Prelude_IO.ktn:65:10: note: [Char] is from here
// Prelude_IO.ktn:65:10: note: Char is from here
// :1:1: type error: cannot solve scalar type constraint Int = [Char]
// :3:7: note: Int is from here
And this reproduces the reported problem:
def f(Int Int ->):
->{x y}
// ^ Type error on second parameter occurs here.
y@
// :1:1: type error: cannot solve scalar type constraint Int = t3298 -> t3299 + t3300
// :1:7: note: Int is from here
// :4:4: note: t3298 -> t3299 + t3300 is from here
// :4:4: note: t3298 is from here
// :4:4: note: t3299 is from here
// :4:4: note: t3300 is from here
Fixed in new compiler.
When declaring multiple locals with
->{ x y z }
, they all have the same source location (that of->
).