Test update
commitdc4d3e11a4e146fba745898fa643f9ccb91679a1
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateWed 3 Jun 2015, 18:17 (11 years ago)
parent02a8a08
test/error004/expected+1−3
@@ -3,6 +3,4 @@ When checking argument cons1 to function FunErrTest.cadr:
33 Could not prove that [] has at least two elements.
44FunErrTest.idr:38:10:When checking right hand side of badCadr2:
55When checking argument cons2 to function FunErrTest.cadr:
6− Could not prove that tail [1] has at least two
7− elements.
8−
6+ Could not prove that tail [1] has at least two elements.