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