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