make sure two failures works too
Haldean Brown
6 years ago
1 changed file(s) with
1 addition(s)
and
1 deletion(s)
.
Raw diff
Collapse all
Expand all
+1
-1
test/err-progs/unknown-name.xl
less
more
0
0
: test-thing
1
1
^ Word
2
= \x -> uadd x y
2
= \x -> uadd (uadd x y) z
3
3
4
4
!= test-thing 8