git.iko.soy/Idris-dev
on master help sign in
Test update
dc4d3e1David Raymond Christiansen
test/error004/expected+1−3
compare with master
unifiedsplit
@@ -3,6 +3,4 @@ When checking argument cons1 to function FunErrTest.cadr:
3 Could not prove that [] has at least two elements.
3 Could not prove that [] has at least two elements.
4FunErrTest.idr:38:10:When checking right hand side of badCadr2:
4FunErrTest.idr:38:10:When checking right hand side of badCadr2:
5When checking argument cons2 to function FunErrTest.cadr:
5When checking argument cons2 to function FunErrTest.cadr:
6− Could not prove that tail [1] has at least two
6+ Could not prove that tail [1] has at least two elements.
7− elements.
8−