git.iko.soy/Idris-dev
on fdfd99e help sign in
Idris-dev/test/error004/expected
12 lines 426 B history raw
1FunErrTest.idr:35:17:
2When checking right hand side of badCadr1 with expected type
3 Int
5When checking argument cons2 to function FunErrTest.cadr:
6 Could not prove that [] has at least two elements.
7FunErrTest.idr:38:17:
8When checking right hand side of badCadr2 with expected type
9 Int
11When checking argument cons2 to function FunErrTest.cadr:
12 Could not prove that [] has at least two elements.