git.iko.soy/Idris-dev
on a5e76fc help sign in
Idris-dev/test/error004/expected
9 lines 404 B history raw
1FunErrTest.idr:35:10:
2When elaborating right hand side of badCadr1:
3When elaborating argument cons1 to function FunErrTest.cadr:
4 Could not prove that [] has at least two elements.
5FunErrTest.idr:38:10:
6When elaborating right hand side of badCadr2:
7When elaborating argument cons2 to function FunErrTest.cadr:
8 Could not prove that tail [(fromInteger 1)] has at least two
9 elements.