Closed Toxaris closed 9 years ago
Currently, the statement assert 1 : foo complains that 1 has the wrong type. Instead, it should complain that foo is not in scope.
assert 1 : foo
foo
Not sure whether the same problem exists with assert 1 = foo. For example, what is the effect of assert foo = foo if foo is not in scope.
assert 1 = foo
assert foo = foo
Currently, the statement
assert 1 : foo
complains that 1 has the wrong type. Instead, it should complain thatfoo
is not in scope.Not sure whether the same problem exists with
assert 1 = foo
. For example, what is the effect ofassert foo = foo
iffoo
is not in scope.