git.iko.soy/Idris-dev
on cf47310 help sign in
Idris-dev/test/basic006/expected
8 lines 261 B history raw
1test020a.idr:16:18:When checking right hand side of foo:
2When checking an application of function Prelude.List.reverse:
3 Type mismatch between
4 Vect n a (Type of xs)
5 and
6 List a (Expected type)
7[3, 2, 1]
8"Number 42"