git.iko.soy/Idris-dev
on 0ccc003 help sign in
Idris-dev/test/error008/expected
14 lines 350 B history raw
1error008.idr:3:4:
2 |
33 | s2 : x + sum Nil = x * fromInteger 0
4 | ^
5When checking type of Main.s2:
6Can't disambiguate name: Prelude.List.Nil, Data.Vect.Nil
8error008a.idr:3:4:
9 |
103 | s1 : Num a => {x : a} -> x + sum {a} Nil = x -- * fromInteger 0
11 | ^
12When checking type of Main.s1:
13Can't disambiguate name: Prelude.List.Nil, Data.Vect.Nil