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