Fix test
commitf490d9f38b909269dab92de5b3ad1594093d9897
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateSat 22 Mar 2014, 11:02 (13 years ago)
parentfc949b9
test/error004/expected+2−2
@@ -1,6 +1,6 @@
1−FunErrTest.idr:33:10:When elaborating right hand side of badCadr1:
1+FunErrTest.idr:35:10:When elaborating right hand side of badCadr1:
22When elaborating argument cons1 to function FunErrTest.cadr:
33 Could not prove that [] has at least two elements.
4−FunErrTest.idr:36:10:When elaborating right hand side of badCadr2:
4+FunErrTest.idr:38:10:When elaborating right hand side of badCadr2:
55When elaborating argument cons2 to function FunErrTest.cadr:
66 Could not prove that tail [(fromInteger 1)] refl has at least two elements.