git.iko.soy/Idris-dev
on 4e34dfd help sign in
Idris-dev/test/basic006/expected
8 lines 258 B history raw
1test020a.idr:16: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 (Type of xs)
5 with
6 List a (Expected type)
7[3, 2, 1]
8"Number 42"