git.iko.soy/Idris-dev
on f0a67ff help sign in
Idris-dev/test/unique001/expected
21 lines 802 B history raw
119,18,17,16,15,14,13,12,11,10,9,8,7,6,5,4,3,2,1,0,END
219,18,17,16,15,14,13,12,11,10,9,8,7,6,5,4,3,2,1,0,END
338,36,34,32,30,28,26,24,22,20,18,16,14,12,10,8,6,4,2,0,END
438,36,34,32,30,28,26,24,22,20,18,16,14,12,10,8,6,4,2,0,END
5unique001a.idr:33:11:Type mismatch between
6 Int -> String
7and
8 UniqueType (Int -> String)
9unique001a.idr:44:12:Type mismatch between
10 Int -> String
11and
12 UniqueType (Int -> String)
13unique001a.idr:55:12:Type mismatch between
14 UniqueType (Int -> String)
15and
16 Int -> String
17unique001b.idr:16:7:Borrowed name xs must not be used on RHS
18unique001c.idr:46:6:Unique name f is used more than once
19unique001d.idr:3:7:Borrowed name x must not be used on RHS
20unique001e.idr:3:10:
21Constructor Main.Nil has a UniqueType, but the data type does not