git.iko.soy/Idris-dev
on 0875310 help sign in
Idris-dev/test/basic006/expected
13 lines 227 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
12[3, 2, 1]
13"Number 42"