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