git.iko.soy/Idris-dev
on master help sign in
Update test for changed mutual block and datatype behavior
83c2728David Raymond Christiansen
test/reg003/expected+4
compare with master
unifiedsplit
@@ -1,2 +1,6 @@
1reg003a.idr:4:11:When elaborating type of Main.ECons:
1reg003a.idr:4:11:When elaborating type of Main.ECons:
2No such variable OddList
2No such variable OddList
3+reg003a.idr:7:11:When elaborating type of Main.OCons:
4+No such variable EvenList
5+reg003a.idr:9:6:When elaborating type of Main.test:
6+No such variable EvenList