test/unique004/expected · Idris-dev

git.iko.soy/Idris-dev

on fdfcdd3 help sign in

26 lines 838 B history raw

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

2 Int -> String

3and

4 UniqueType (Int -> String)

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

6 Int -> String

7and

8 UniqueType (Int -> String)

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

10 UniqueType (Int -> String)

11and

12 Int -> String

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

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

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

16unique001e.idr:4:10:

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

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

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

20 Int -> String

21and

22 UniqueType (Int -> String)

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

24 Int -> String

25and

26 UniqueType (Int -> String)