You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Here, we expect foo to resolve to the one.foo in the file, because although it could also refer to two.foo in the namespace, that wouldn't type check.
Yet the transcript fails, and with a confusing/wrong error message, too:
Loading changes detected in scratch.u.
I couldn't figure out what foo refers to here:
5 | bar = foo + foo
The name foo is ambiguous. Its type should be: Nat
I found some terms in scope that have matching names and
types. Maybe you meant one of these:
one.foo : Nat
one.foo : Nat
The text was updated successfully, but these errors were encountered:
This transcript shows odd behavior:
Here, we expect
foo
to resolve to theone.foo
in the file, because although it could also refer totwo.foo
in the namespace, that wouldn't type check.Yet the transcript fails, and with a confusing/wrong error message, too:
The text was updated successfully, but these errors were encountered: