test/unique004/expected · Idris-dev

git.iko.soy/Idris-dev

on cd7e553 help sign in

26 lines 889 B history raw

1unique001a.idr:35:14-43:50:Type mismatch between

2 Int -> String

3and

4 UniqueType (Int -> String)

5unique001a.idr:46:15-54:28:Type mismatch between

6 Int -> String

7and

8 UniqueType (Int -> String)

9unique001a.idr:57:15-62:33:Type mismatch between

10 UniqueType (Int -> String)

11and

12 Int -> String

13unique001b.idr:18:17-42:Borrowed name xs must not be used on RHS

14unique001c.idr:47:12-62:Unique name f is used more than once

15unique001d.idr:4:16-18:Borrowed name x must not be used on RHS

16unique001e.idr:4:12-40:

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

18unique002.idr:17:8-20:19:Unique name xs is used more than once

19unique002a.idr:17:8-20:19:Type mismatch between

20 Int -> String

21and

22 UniqueType (Int -> String)

23unique003.idr:20:8-24:19:Type mismatch between

24 Int -> String

25and

26 UniqueType (Int -> String)