git.iko.soy/Idris-dev
on abc2002 help sign in
Idris-dev/test/basic006/expected
14 lines 373 B history raw
1test020a.idr:14:18:When elaborating right hand side of foo:
2When elaborating an application of function Prelude.List.reverse:
3 Can't unify
4 Vect n a
5 with
6 List a
7
8 Specifically:
9 Can't unify
10 Vect n a
11 with
12 List a
13[3, 2, 1]
14"Number 42"