test/unique004/expected · Idris-dev

git.iko.soy/Idris-dev

on ff01a4c help sign in

26 lines 838 B history raw

1unique001a.idr:33:11:Type mismatch between

2 Int -> String

3and

4 UniqueType (Int -> String)

5unique001a.idr:44:12:Type mismatch between

6 Int -> String

7and

8 UniqueType (Int -> String)

9unique001a.idr:55:12:Type mismatch between

10 UniqueType (Int -> String)

11and

12 Int -> String

13unique001b.idr:16:7:Borrowed name xs must not be used on RHS

14unique001c.idr:46:6:Unique name f is used more than once

15unique001d.idr:3:7:Borrowed name x must not be used on RHS

16unique001e.idr:3:10:

17Constructor Main.Nil has a UniqueType, but the data type does not

18unique002.idr:15:5:Unique name xs is used more than once

19unique002a.idr:15:5:Type mismatch between

20 Int -> String

21and

22 UniqueType (Int -> String)

23unique003.idr:18:5:Type mismatch between

24 Int -> String

25and

26 UniqueType (Int -> String)