summaryrefslogtreecommitdiff
path: root/testdata/language-features
diff options
context:
space:
mode:
Diffstat (limited to 'testdata/language-features')
-rw-r--r--testdata/language-features/adt/gadt03.reject.out4
-rw-r--r--testdata/language-features/adt/gadt04.reject.out12
-rw-r--r--testdata/language-features/basic-list/list01.out14
-rw-r--r--testdata/language-features/basic-list/list02.out14
-rw-r--r--testdata/language-features/basic-list/list07.reject.out2
-rw-r--r--testdata/language-features/basic-list/list08.out2
-rw-r--r--testdata/language-features/basic-list/list09.out2
-rw-r--r--testdata/language-features/basic-list/list10.reject.out2
-rw-r--r--testdata/language-features/basic-list/list11.out6
-rw-r--r--testdata/language-features/basic-list/list12.out30
-rw-r--r--testdata/language-features/basic-list/listcomp01.out2
-rw-r--r--testdata/language-features/basic-list/listcomp02.out2
-rw-r--r--testdata/language-features/basic-list/listcomp03.out2
-rw-r--r--testdata/language-features/basic-list/listcomp04.out4
-rw-r--r--testdata/language-features/basic-list/listcomp05.out4
-rw-r--r--testdata/language-features/basic-list/listcomp06.out8
-rw-r--r--testdata/language-features/basic-list/listcomp07.out18
-rw-r--r--testdata/language-features/basic-list/listcomp08.reject.out2
-rw-r--r--testdata/language-features/basic-list/listcomp09.out2
-rw-r--r--testdata/language-features/basic-values/case02.out4
-rw-r--r--testdata/language-features/basic-values/case05.out4
-rw-r--r--testdata/language-features/basic-values/case06.out2
-rw-r--r--testdata/language-features/basic-values/def01.out2
-rw-r--r--testdata/language-features/basic-values/def03.out2
-rw-r--r--testdata/language-features/basic-values/def07.reject.out4
-rw-r--r--testdata/language-features/basic-values/fixity01.out8
-rw-r--r--testdata/language-features/basic-values/fixity02.out104
-rw-r--r--testdata/language-features/basic-values/infix01.out6
-rw-r--r--testdata/language-features/basic-values/infix02.out8
-rw-r--r--testdata/language-features/basic-values/infix03.out8
-rw-r--r--testdata/language-features/basic-values/lambda03.out4
-rw-r--r--testdata/language-features/basic-values/let01.out22
-rw-r--r--testdata/language-features/basic-values/let02.out2
-rw-r--r--testdata/language-features/basic-values/literal01.out6
-rw-r--r--testdata/language-features/basic-values/operator05.out2
-rw-r--r--testdata/language-features/basic-values/operator06.out2
-rw-r--r--testdata/language-features/basic-values/shadowing01.out2
-rw-r--r--testdata/language-features/basic-values/shadowing02.out6
-rw-r--r--testdata/language-features/basic-values/tuple02.out4
-rw-r--r--testdata/language-features/basic-values/typesig03.out16
-rw-r--r--testdata/language-features/basic-values/typesig04.out16
-rw-r--r--testdata/language-features/basic-values/typesig05.out12
-rw-r--r--testdata/language-features/basic-values/typesig06.out8
-rw-r--r--testdata/language-features/basic-values/typesig07.out6
-rw-r--r--testdata/language-features/basic-values/typesyn02.out4
-rw-r--r--testdata/language-features/basic-values/where05.out8
-rw-r--r--testdata/language-features/guard/guard11.out2
-rw-r--r--testdata/language-features/guard/guard13.out2
-rw-r--r--testdata/language-features/guard/guard16.out2
-rw-r--r--testdata/language-features/module/import09.out4
-rw-r--r--testdata/language-features/pattern/uncovered.out12
-rw-r--r--testdata/language-features/recursion/simplerec01.out6
-rw-r--r--testdata/language-features/recursion/simplerec02.out6
-rw-r--r--testdata/language-features/recursion/simplerec03.out6
-rw-r--r--testdata/language-features/section/section01.out6
55 files changed, 225 insertions, 225 deletions
diff --git a/testdata/language-features/adt/gadt03.reject.out b/testdata/language-features/adt/gadt03.reject.out
index 4da95c0b..86e6efc4 100644
--- a/testdata/language-features/adt/gadt03.reject.out
+++ b/testdata/language-features/adt/gadt03.reject.out
@@ -13,7 +13,7 @@ testdata/language-features/adt/gadt03.reject.lc 2:15-2:19 Type
13testdata/language-features/adt/gadt03.reject.lc 2:24-2:30 Type 13testdata/language-features/adt/gadt03.reject.lc 2:24-2:30 Type
14testdata/language-features/adt/gadt03.reject.lc 2:24-2:38 Type 14testdata/language-features/adt/gadt03.reject.lc 2:24-2:38 Type
15testdata/language-features/adt/gadt03.reject.lc 2:34-2:38 Type 15testdata/language-features/adt/gadt03.reject.lc 2:34-2:38 Type
16testdata/language-features/adt/gadt03.reject.lc 3:3-3:9 M2 V3 V0 | {a} -> a -> {b:String} -> M2 a b 16testdata/language-features/adt/gadt03.reject.lc 3:3-3:9 M2 d_ a_ | {a} -> a -> {b:String} -> M2 a b
17testdata/language-features/adt/gadt03.reject.lc 3:3-3:35 Type 17testdata/language-features/adt/gadt03.reject.lc 3:3-3:35 Type
18testdata/language-features/adt/gadt03.reject.lc 3:13-3:14 Type 18testdata/language-features/adt/gadt03.reject.lc 3:13-3:14 Type
19testdata/language-features/adt/gadt03.reject.lc 3:13-3:35 Type 19testdata/language-features/adt/gadt03.reject.lc 3:13-3:35 Type
@@ -22,7 +22,7 @@ testdata/language-features/adt/gadt03.reject.lc 3:29-3:31 Type -> String->Type
22testdata/language-features/adt/gadt03.reject.lc 3:29-3:33 String->Type 22testdata/language-features/adt/gadt03.reject.lc 3:29-3:33 String->Type
23testdata/language-features/adt/gadt03.reject.lc 3:29-3:35 Type 23testdata/language-features/adt/gadt03.reject.lc 3:29-3:35 Type
24testdata/language-features/adt/gadt03.reject.lc 3:32-3:33 Type 24testdata/language-features/adt/gadt03.reject.lc 3:32-3:33 Type
25testdata/language-features/adt/gadt03.reject.lc 3:34-3:35 String | V1 25testdata/language-features/adt/gadt03.reject.lc 3:34-3:35 String | b_
26testdata/language-features/adt/gadt03.reject.lc 5:6-5:8 Type -> String->Type 26testdata/language-features/adt/gadt03.reject.lc 5:6-5:8 Type -> String->Type
27testdata/language-features/adt/gadt03.reject.lc 5:15-5:19 Type 27testdata/language-features/adt/gadt03.reject.lc 5:15-5:19 Type
28testdata/language-features/adt/gadt03.reject.lc 5:24-5:30 Type 28testdata/language-features/adt/gadt03.reject.lc 5:24-5:30 Type
diff --git a/testdata/language-features/adt/gadt04.reject.out b/testdata/language-features/adt/gadt04.reject.out
index 0f9e6859..02b21961 100644
--- a/testdata/language-features/adt/gadt04.reject.out
+++ b/testdata/language-features/adt/gadt04.reject.out
@@ -24,28 +24,28 @@ testdata/language-features/adt/gadt04.reject.lc 2:11-2:15 Type
24testdata/language-features/adt/gadt04.reject.lc 2:19-2:25 Type 24testdata/language-features/adt/gadt04.reject.lc 2:19-2:25 Type
25testdata/language-features/adt/gadt04.reject.lc 2:19-2:33 Type 25testdata/language-features/adt/gadt04.reject.lc 2:19-2:33 Type
26testdata/language-features/adt/gadt04.reject.lc 2:29-2:33 Type 26testdata/language-features/adt/gadt04.reject.lc 2:29-2:33 Type
27testdata/language-features/adt/gadt04.reject.lc 3:3-3:8 M V2 V0 | {a} -> a -> {b:String} -> M a b 27testdata/language-features/adt/gadt04.reject.lc 3:3-3:8 M c_ a_ | {a} -> a -> {b:String} -> M a b
28testdata/language-features/adt/gadt04.reject.lc 3:3-3:33 Type 28testdata/language-features/adt/gadt04.reject.lc 3:3-3:33 Type
29testdata/language-features/adt/gadt04.reject.lc 3:12-3:13 V1 29testdata/language-features/adt/gadt04.reject.lc 3:12-3:13 b_
30testdata/language-features/adt/gadt04.reject.lc 3:12-3:33 Type 30testdata/language-features/adt/gadt04.reject.lc 3:12-3:33 Type
31testdata/language-features/adt/gadt04.reject.lc 3:17-3:33 Type 31testdata/language-features/adt/gadt04.reject.lc 3:17-3:33 Type
32testdata/language-features/adt/gadt04.reject.lc 3:28-3:29 Type -> String->Type 32testdata/language-features/adt/gadt04.reject.lc 3:28-3:29 Type -> String->Type
33testdata/language-features/adt/gadt04.reject.lc 3:28-3:31 String->Type 33testdata/language-features/adt/gadt04.reject.lc 3:28-3:31 String->Type
34testdata/language-features/adt/gadt04.reject.lc 3:28-3:33 Type 34testdata/language-features/adt/gadt04.reject.lc 3:28-3:33 Type
35testdata/language-features/adt/gadt04.reject.lc 3:30-3:31 Type 35testdata/language-features/adt/gadt04.reject.lc 3:30-3:31 Type
36testdata/language-features/adt/gadt04.reject.lc 3:30-3:33 M V2 V0 -> Type 36testdata/language-features/adt/gadt04.reject.lc 3:30-3:33 M c_ a_ -> Type
37testdata/language-features/adt/gadt04.reject.lc 3:32-3:33 String | V1 37testdata/language-features/adt/gadt04.reject.lc 3:32-3:33 String | b_
38testdata/language-features/adt/gadt04.reject.lc 5:6-5:8 Type -> String->Type 38testdata/language-features/adt/gadt04.reject.lc 5:6-5:8 Type -> String->Type
39testdata/language-features/adt/gadt04.reject.lc 5:12-5:16 Type 39testdata/language-features/adt/gadt04.reject.lc 5:12-5:16 Type
40testdata/language-features/adt/gadt04.reject.lc 5:20-5:26 Type 40testdata/language-features/adt/gadt04.reject.lc 5:20-5:26 Type
41testdata/language-features/adt/gadt04.reject.lc 5:20-5:34 Type 41testdata/language-features/adt/gadt04.reject.lc 5:20-5:34 Type
42testdata/language-features/adt/gadt04.reject.lc 5:30-5:34 Type 42testdata/language-features/adt/gadt04.reject.lc 5:30-5:34 Type
43testdata/language-features/adt/gadt04.reject.lc 6:3-6:8 {a} -> a -> {b:String} -> M2 a b 43testdata/language-features/adt/gadt04.reject.lc 6:3-6:8 {a} -> a -> {b:String} -> M2 a b
44testdata/language-features/adt/gadt04.reject.lc 6:12-6:13 V1 44testdata/language-features/adt/gadt04.reject.lc 6:12-6:13 b_
45testdata/language-features/adt/gadt04.reject.lc 6:12-6:34 Type 45testdata/language-features/adt/gadt04.reject.lc 6:12-6:34 Type
46testdata/language-features/adt/gadt04.reject.lc 6:17-6:34 Type 46testdata/language-features/adt/gadt04.reject.lc 6:17-6:34 Type
47testdata/language-features/adt/gadt04.reject.lc 6:28-6:30 Type -> String->Type 47testdata/language-features/adt/gadt04.reject.lc 6:28-6:30 Type -> String->Type
48testdata/language-features/adt/gadt04.reject.lc 6:28-6:32 String->Type 48testdata/language-features/adt/gadt04.reject.lc 6:28-6:32 String->Type
49testdata/language-features/adt/gadt04.reject.lc 6:28-6:34 Type 49testdata/language-features/adt/gadt04.reject.lc 6:28-6:34 Type
50testdata/language-features/adt/gadt04.reject.lc 6:31-6:32 Type 50testdata/language-features/adt/gadt04.reject.lc 6:31-6:32 Type
51testdata/language-features/adt/gadt04.reject.lc 6:33-6:34 V1 51testdata/language-features/adt/gadt04.reject.lc 6:33-6:34 b_
diff --git a/testdata/language-features/basic-list/list01.out b/testdata/language-features/basic-list/list01.out
index 7ca755cd..18efaa40 100644
--- a/testdata/language-features/basic-list/list01.out
+++ b/testdata/language-features/basic-list/list01.out
@@ -7,13 +7,13 @@ value3 :: 'List 'Char
7testdata/language-features/basic-list/list01.lc 1:1-1:7 {a} -> List a 7testdata/language-features/basic-list/list01.lc 1:1-1:7 {a} -> List a
8testdata/language-features/basic-list/list01.lc 1:10-1:12 {a} -> List a 8testdata/language-features/basic-list/list01.lc 1:10-1:12 {a} -> List a
9testdata/language-features/basic-list/list01.lc 2:1-2:7 {a} -> {_ : Num a} -> List a 9testdata/language-features/basic-list/list01.lc 2:1-2:7 {a} -> {_ : Num a} -> List a
10testdata/language-features/basic-list/list01.lc 2:10-2:19 List V2 10testdata/language-features/basic-list/list01.lc 2:10-2:19 List c_
11testdata/language-features/basic-list/list01.lc 2:11-2:12 V1 11testdata/language-features/basic-list/list01.lc 2:11-2:12 b_
12testdata/language-features/basic-list/list01.lc 2:13-2:14 V1 12testdata/language-features/basic-list/list01.lc 2:13-2:14 b_
13testdata/language-features/basic-list/list01.lc 2:13-2:18 List V3 13testdata/language-features/basic-list/list01.lc 2:13-2:18 List d_
14testdata/language-features/basic-list/list01.lc 2:15-2:16 V1 14testdata/language-features/basic-list/list01.lc 2:15-2:16 b_
15testdata/language-features/basic-list/list01.lc 2:15-2:18 List V4 15testdata/language-features/basic-list/list01.lc 2:15-2:18 List e_
16testdata/language-features/basic-list/list01.lc 2:17-2:18 List V4 | V1 16testdata/language-features/basic-list/list01.lc 2:17-2:18 List e_ | b_
17testdata/language-features/basic-list/list01.lc 3:1-3:7 List Char 17testdata/language-features/basic-list/list01.lc 3:1-3:7 List Char
18testdata/language-features/basic-list/list01.lc 3:10-3:31 List Char 18testdata/language-features/basic-list/list01.lc 3:10-3:31 List Char
19testdata/language-features/basic-list/list01.lc 3:11-3:14 Char 19testdata/language-features/basic-list/list01.lc 3:11-3:14 Char
diff --git a/testdata/language-features/basic-list/list02.out b/testdata/language-features/basic-list/list02.out
index 75eb0879..02f69ace 100644
--- a/testdata/language-features/basic-list/list02.out
+++ b/testdata/language-features/basic-list/list02.out
@@ -7,13 +7,13 @@ value3 :: 'List 'Char
7testdata/language-features/basic-list/list02.lc 1:1-1:7 {a} -> List a 7testdata/language-features/basic-list/list02.lc 1:1-1:7 {a} -> List a
8testdata/language-features/basic-list/list02.lc 1:10-2:4 {a} -> List a 8testdata/language-features/basic-list/list02.lc 1:10-2:4 {a} -> List a
9testdata/language-features/basic-list/list02.lc 4:1-4:7 {a} -> {_ : Num a} -> List a 9testdata/language-features/basic-list/list02.lc 4:1-4:7 {a} -> {_ : Num a} -> List a
10testdata/language-features/basic-list/list02.lc 4:10-5:7 List V2 10testdata/language-features/basic-list/list02.lc 4:10-5:7 List c_
11testdata/language-features/basic-list/list02.lc 4:11-4:12 V1 11testdata/language-features/basic-list/list02.lc 4:11-4:12 b_
12testdata/language-features/basic-list/list02.lc 4:13-4:14 V1 12testdata/language-features/basic-list/list02.lc 4:13-4:14 b_
13testdata/language-features/basic-list/list02.lc 4:13-5:6 List V3 13testdata/language-features/basic-list/list02.lc 4:13-5:6 List d_
14testdata/language-features/basic-list/list02.lc 5:3-5:4 V1 14testdata/language-features/basic-list/list02.lc 5:3-5:4 b_
15testdata/language-features/basic-list/list02.lc 5:3-5:6 List V4 15testdata/language-features/basic-list/list02.lc 5:3-5:6 List e_
16testdata/language-features/basic-list/list02.lc 5:5-5:6 List V4 | V1 16testdata/language-features/basic-list/list02.lc 5:5-5:6 List e_ | b_
17testdata/language-features/basic-list/list02.lc 7:1-7:7 List Char 17testdata/language-features/basic-list/list02.lc 7:1-7:7 List Char
18testdata/language-features/basic-list/list02.lc 8:3-13:4 List Char 18testdata/language-features/basic-list/list02.lc 8:3-13:4 List Char
19testdata/language-features/basic-list/list02.lc 8:5-8:8 Char 19testdata/language-features/basic-list/list02.lc 8:5-8:8 Char
diff --git a/testdata/language-features/basic-list/list07.reject.out b/testdata/language-features/basic-list/list07.reject.out
index c9550a4f..48444536 100644
--- a/testdata/language-features/basic-list/list07.reject.out
+++ b/testdata/language-features/basic-list/list07.reject.out
@@ -14,6 +14,6 @@ with
14in builtin Nil 14in builtin Nil
15 15
16------------ tooltips 16------------ tooltips
17testdata/language-features/basic-list/list07.reject.lc 1:10-1:11 V1 17testdata/language-features/basic-list/list07.reject.lc 1:10-1:11 b_
18testdata/language-features/basic-list/list07.reject.lc 1:12-1:15 Float 18testdata/language-features/basic-list/list07.reject.lc 1:12-1:15 Float
19testdata/language-features/basic-list/list07.reject.lc 1:16-1:19 Char 19testdata/language-features/basic-list/list07.reject.lc 1:16-1:19 Char
diff --git a/testdata/language-features/basic-list/list08.out b/testdata/language-features/basic-list/list08.out
index fb69fb70..70d5ec40 100644
--- a/testdata/language-features/basic-list/list08.out
+++ b/testdata/language-features/basic-list/list08.out
@@ -4,5 +4,5 @@ value :: 'List 'Float
4------------ tooltips 4------------ tooltips
5testdata/language-features/basic-list/list08.lc 1:1-1:6 List Float 5testdata/language-features/basic-list/list08.lc 1:1-1:6 List Float
6testdata/language-features/basic-list/list08.lc 1:9-1:16 List Float 6testdata/language-features/basic-list/list08.lc 1:9-1:16 List Float
7testdata/language-features/basic-list/list08.lc 1:10-1:11 V1 7testdata/language-features/basic-list/list08.lc 1:10-1:11 b_
8testdata/language-features/basic-list/list08.lc 1:12-1:15 Float | List Float 8testdata/language-features/basic-list/list08.lc 1:12-1:15 Float | List Float
diff --git a/testdata/language-features/basic-list/list09.out b/testdata/language-features/basic-list/list09.out
index 4ac018ac..a9a3eefa 100644
--- a/testdata/language-features/basic-list/list09.out
+++ b/testdata/language-features/basic-list/list09.out
@@ -4,7 +4,7 @@ value :: 'List 'Float
4------------ tooltips 4------------ tooltips
5testdata/language-features/basic-list/list09.lc 1:1-1:6 List Float 5testdata/language-features/basic-list/list09.lc 1:1-1:6 List Float
6testdata/language-features/basic-list/list09.lc 1:9-1:16 List Float 6testdata/language-features/basic-list/list09.lc 1:9-1:16 List Float
7testdata/language-features/basic-list/list09.lc 1:10-1:11 V1 7testdata/language-features/basic-list/list09.lc 1:10-1:11 b_
8testdata/language-features/basic-list/list09.lc 1:12-1:15 Float | List Float 8testdata/language-features/basic-list/list09.lc 1:12-1:15 Float | List Float
9testdata/language-features/basic-list/list09.lc 1:20-1:27 Type 9testdata/language-features/basic-list/list09.lc 1:20-1:27 Type
10testdata/language-features/basic-list/list09.lc 1:21-1:26 Type 10testdata/language-features/basic-list/list09.lc 1:21-1:26 Type
diff --git a/testdata/language-features/basic-list/list10.reject.out b/testdata/language-features/basic-list/list10.reject.out
index 9e9d7e6b..01484c77 100644
--- a/testdata/language-features/basic-list/list10.reject.out
+++ b/testdata/language-features/basic-list/list10.reject.out
@@ -14,7 +14,7 @@ with
14in builtin Nil 14in builtin Nil
15 15
16------------ tooltips 16------------ tooltips
17testdata/language-features/basic-list/list10.reject.lc 1:10-1:11 V1 17testdata/language-features/basic-list/list10.reject.lc 1:10-1:11 b_
18testdata/language-features/basic-list/list10.reject.lc 1:12-1:15 Float 18testdata/language-features/basic-list/list10.reject.lc 1:12-1:15 Float
19testdata/language-features/basic-list/list10.reject.lc 1:20-1:25 Type 19testdata/language-features/basic-list/list10.reject.lc 1:20-1:25 Type
20testdata/language-features/basic-list/list10.reject.lc 1:21-1:24 Type 20testdata/language-features/basic-list/list10.reject.lc 1:21-1:24 Type
diff --git a/testdata/language-features/basic-list/list11.out b/testdata/language-features/basic-list/list11.out
index 39d4c7a8..659a85eb 100644
--- a/testdata/language-features/basic-list/list11.out
+++ b/testdata/language-features/basic-list/list11.out
@@ -3,8 +3,8 @@ main is not found
3value :: {a} -> {_ : 'Num a} -> 'List a 3value :: {a} -> {_ : 'Num a} -> 'List a
4------------ tooltips 4------------ tooltips
5testdata/language-features/basic-list/list11.lc 1:1-1:6 {a} -> {_ : Num a} -> List a 5testdata/language-features/basic-list/list11.lc 1:1-1:6 {a} -> {_ : Num a} -> List a
6testdata/language-features/basic-list/list11.lc 1:9-1:10 V1 6testdata/language-features/basic-list/list11.lc 1:9-1:10 b_
7testdata/language-features/basic-list/list11.lc 1:9-1:11 List V1 -> List V2 7testdata/language-features/basic-list/list11.lc 1:9-1:11 List b_ -> List c_
8testdata/language-features/basic-list/list11.lc 1:9-1:13 List V1 8testdata/language-features/basic-list/list11.lc 1:9-1:13 List b_
9testdata/language-features/basic-list/list11.lc 1:10-1:11 {a} -> a -> List a -> List a 9testdata/language-features/basic-list/list11.lc 1:10-1:11 {a} -> a -> List a -> List a
10testdata/language-features/basic-list/list11.lc 1:11-1:13 {a} -> List a 10testdata/language-features/basic-list/list11.lc 1:11-1:13 {a} -> List a
diff --git a/testdata/language-features/basic-list/list12.out b/testdata/language-features/basic-list/list12.out
index b9cb6a29..83ceff3c 100644
--- a/testdata/language-features/basic-list/list12.out
+++ b/testdata/language-features/basic-list/list12.out
@@ -3,24 +3,24 @@ main is not found
3value :: {a} -> {_ : 'Num a} -> 'List a 3value :: {a} -> {_ : 'Num a} -> 'List a
4------------ tooltips 4------------ tooltips
5testdata/language-features/basic-list/list12.lc 1:1-1:6 {a} -> {_ : Num a} -> List a 5testdata/language-features/basic-list/list12.lc 1:1-1:6 {a} -> {_ : Num a} -> List a
6testdata/language-features/basic-list/list12.lc 1:9-1:10 V1 6testdata/language-features/basic-list/list12.lc 1:9-1:10 b_
7testdata/language-features/basic-list/list12.lc 1:9-1:11 List V1 -> List V2 7testdata/language-features/basic-list/list12.lc 1:9-1:11 List b_ -> List c_
8testdata/language-features/basic-list/list12.lc 1:9-1:21 List V2 8testdata/language-features/basic-list/list12.lc 1:9-1:21 List c_
9testdata/language-features/basic-list/list12.lc 1:10-1:11 {a} -> a -> List a -> List a 9testdata/language-features/basic-list/list12.lc 1:10-1:11 {a} -> a -> List a -> List a
10testdata/language-features/basic-list/list12.lc 1:11-1:12 V1 10testdata/language-features/basic-list/list12.lc 1:11-1:12 b_
11testdata/language-features/basic-list/list12.lc 1:11-1:13 List V1 -> List V2 11testdata/language-features/basic-list/list12.lc 1:11-1:13 List b_ -> List c_
12testdata/language-features/basic-list/list12.lc 1:11-1:21 List V3 12testdata/language-features/basic-list/list12.lc 1:11-1:21 List d_
13testdata/language-features/basic-list/list12.lc 1:12-1:13 {a} -> a -> List a -> List a 13testdata/language-features/basic-list/list12.lc 1:12-1:13 {a} -> a -> List a -> List a
14testdata/language-features/basic-list/list12.lc 1:13-1:14 V1 14testdata/language-features/basic-list/list12.lc 1:13-1:14 b_
15testdata/language-features/basic-list/list12.lc 1:13-1:15 List V1 -> List V2 15testdata/language-features/basic-list/list12.lc 1:13-1:15 List b_ -> List c_
16testdata/language-features/basic-list/list12.lc 1:13-1:21 List V4 16testdata/language-features/basic-list/list12.lc 1:13-1:21 List e_
17testdata/language-features/basic-list/list12.lc 1:14-1:15 {a} -> a -> List a -> List a 17testdata/language-features/basic-list/list12.lc 1:14-1:15 {a} -> a -> List a -> List a
18testdata/language-features/basic-list/list12.lc 1:15-1:16 V1 18testdata/language-features/basic-list/list12.lc 1:15-1:16 b_
19testdata/language-features/basic-list/list12.lc 1:15-1:17 List V1 -> List V2 19testdata/language-features/basic-list/list12.lc 1:15-1:17 List b_ -> List c_
20testdata/language-features/basic-list/list12.lc 1:15-1:21 List V5 20testdata/language-features/basic-list/list12.lc 1:15-1:21 List f_
21testdata/language-features/basic-list/list12.lc 1:16-1:17 {a} -> a -> List a -> List a 21testdata/language-features/basic-list/list12.lc 1:16-1:17 {a} -> a -> List a -> List a
22testdata/language-features/basic-list/list12.lc 1:17-1:18 V1 22testdata/language-features/basic-list/list12.lc 1:17-1:18 b_
23testdata/language-features/basic-list/list12.lc 1:17-1:19 List V1 -> List V2 23testdata/language-features/basic-list/list12.lc 1:17-1:19 List b_ -> List c_
24testdata/language-features/basic-list/list12.lc 1:17-1:21 List V5 24testdata/language-features/basic-list/list12.lc 1:17-1:21 List f_
25testdata/language-features/basic-list/list12.lc 1:18-1:19 {a} -> a -> List a -> List a 25testdata/language-features/basic-list/list12.lc 1:18-1:19 {a} -> a -> List a -> List a
26testdata/language-features/basic-list/list12.lc 1:19-1:21 {a} -> List a 26testdata/language-features/basic-list/list12.lc 1:19-1:21 {a} -> List a
diff --git a/testdata/language-features/basic-list/listcomp01.out b/testdata/language-features/basic-list/listcomp01.out
index f4b09c23..d361c85d 100644
--- a/testdata/language-features/basic-list/listcomp01.out
+++ b/testdata/language-features/basic-list/listcomp01.out
@@ -4,7 +4,7 @@ value :: 'List ()
4------------ tooltips 4------------ tooltips
5testdata/language-features/basic-list/listcomp01.lc 1:1-1:6 List () 5testdata/language-features/basic-list/listcomp01.lc 1:1-1:6 List ()
6testdata/language-features/basic-list/listcomp01.lc 1:9-1:34 List () 6testdata/language-features/basic-list/listcomp01.lc 1:9-1:34 List ()
7testdata/language-features/basic-list/listcomp01.lc 1:10-1:12 () | List () | V1 -> List V1 7testdata/language-features/basic-list/listcomp01.lc 1:10-1:12 () | List () | b_ -> List b_
8testdata/language-features/basic-list/listcomp01.lc 1:20-1:33 List () 8testdata/language-features/basic-list/listcomp01.lc 1:20-1:33 List ()
9testdata/language-features/basic-list/listcomp01.lc 1:21-1:23 () 9testdata/language-features/basic-list/listcomp01.lc 1:21-1:23 ()
10testdata/language-features/basic-list/listcomp01.lc 1:24-1:26 () 10testdata/language-features/basic-list/listcomp01.lc 1:24-1:26 ()
diff --git a/testdata/language-features/basic-list/listcomp02.out b/testdata/language-features/basic-list/listcomp02.out
index 10c95e36..29c0d611 100644
--- a/testdata/language-features/basic-list/listcomp02.out
+++ b/testdata/language-features/basic-list/listcomp02.out
@@ -13,5 +13,5 @@ testdata/language-features/basic-list/listcomp02.lc 1:12-1:17 List ()
13testdata/language-features/basic-list/listcomp02.lc 1:15-1:17 () | List () 13testdata/language-features/basic-list/listcomp02.lc 1:15-1:17 () | List ()
14testdata/language-features/basic-list/listcomp02.lc 2:1-2:6 List () 14testdata/language-features/basic-list/listcomp02.lc 2:1-2:6 List ()
15testdata/language-features/basic-list/listcomp02.lc 2:9-2:21 List () 15testdata/language-features/basic-list/listcomp02.lc 2:9-2:21 List ()
16testdata/language-features/basic-list/listcomp02.lc 2:10-2:11 List V1 | V1 -> List V1 | V3 16testdata/language-features/basic-list/listcomp02.lc 2:10-2:11 List b_ | b_ -> List b_ | d_
17testdata/language-features/basic-list/listcomp02.lc 2:19-2:20 List () 17testdata/language-features/basic-list/listcomp02.lc 2:19-2:20 List ()
diff --git a/testdata/language-features/basic-list/listcomp03.out b/testdata/language-features/basic-list/listcomp03.out
index 045f77e2..44f90d26 100644
--- a/testdata/language-features/basic-list/listcomp03.out
+++ b/testdata/language-features/basic-list/listcomp03.out
@@ -5,7 +5,7 @@ value :: 'List ()
5testdata/language-features/basic-list/listcomp03.lc 1:1-1:6 List () 5testdata/language-features/basic-list/listcomp03.lc 1:1-1:6 List ()
6testdata/language-features/basic-list/listcomp03.lc 1:9-1:41 List () 6testdata/language-features/basic-list/listcomp03.lc 1:9-1:41 List ()
7testdata/language-features/basic-list/listcomp03.lc 1:10-1:12 () | List () 7testdata/language-features/basic-list/listcomp03.lc 1:10-1:12 () | List ()
8testdata/language-features/basic-list/listcomp03.lc 1:10-1:40 List () | List () -> List () | V1 -> List V1 8testdata/language-features/basic-list/listcomp03.lc 1:10-1:40 List () | List () -> List () | b_ -> List b_
9testdata/language-features/basic-list/listcomp03.lc 1:20-1:33 List () 9testdata/language-features/basic-list/listcomp03.lc 1:20-1:33 List ()
10testdata/language-features/basic-list/listcomp03.lc 1:21-1:23 () 10testdata/language-features/basic-list/listcomp03.lc 1:21-1:23 ()
11testdata/language-features/basic-list/listcomp03.lc 1:24-1:26 () 11testdata/language-features/basic-list/listcomp03.lc 1:24-1:26 ()
diff --git a/testdata/language-features/basic-list/listcomp04.out b/testdata/language-features/basic-list/listcomp04.out
index 66fd3225..a013a9e7 100644
--- a/testdata/language-features/basic-list/listcomp04.out
+++ b/testdata/language-features/basic-list/listcomp04.out
@@ -13,7 +13,7 @@ testdata/language-features/basic-list/listcomp04.lc 1:12-1:17 List ()
13testdata/language-features/basic-list/listcomp04.lc 1:15-1:17 () | List () 13testdata/language-features/basic-list/listcomp04.lc 1:15-1:17 () | List ()
14testdata/language-features/basic-list/listcomp04.lc 2:1-2:6 List () 14testdata/language-features/basic-list/listcomp04.lc 2:1-2:6 List ()
15testdata/language-features/basic-list/listcomp04.lc 2:9-2:30 List () 15testdata/language-features/basic-list/listcomp04.lc 2:9-2:30 List ()
16testdata/language-features/basic-list/listcomp04.lc 2:10-2:12 () | List () | V1 -> List V1 16testdata/language-features/basic-list/listcomp04.lc 2:10-2:12 () | List () | b_ -> List b_
17testdata/language-features/basic-list/listcomp04.lc 2:10-2:29 List () | V1 -> List V1 17testdata/language-features/basic-list/listcomp04.lc 2:10-2:29 List () | b_ -> List b_
18testdata/language-features/basic-list/listcomp04.lc 2:20-2:21 List () 18testdata/language-features/basic-list/listcomp04.lc 2:20-2:21 List ()
19testdata/language-features/basic-list/listcomp04.lc 2:28-2:29 List () 19testdata/language-features/basic-list/listcomp04.lc 2:28-2:29 List ()
diff --git a/testdata/language-features/basic-list/listcomp05.out b/testdata/language-features/basic-list/listcomp05.out
index abfe2a32..8b16597b 100644
--- a/testdata/language-features/basic-list/listcomp05.out
+++ b/testdata/language-features/basic-list/listcomp05.out
@@ -5,9 +5,9 @@ value :: 'List ()
5testdata/language-features/basic-list/listcomp05.lc 1:1-1:6 List () 5testdata/language-features/basic-list/listcomp05.lc 1:1-1:6 List ()
6testdata/language-features/basic-list/listcomp05.lc 1:9-1:39 List () 6testdata/language-features/basic-list/listcomp05.lc 1:9-1:39 List ()
7testdata/language-features/basic-list/listcomp05.lc 1:10-1:11 () 7testdata/language-features/basic-list/listcomp05.lc 1:10-1:11 ()
8testdata/language-features/basic-list/listcomp05.lc 1:10-1:38 V1 -> List V1 8testdata/language-features/basic-list/listcomp05.lc 1:10-1:38 b_ -> List b_
9testdata/language-features/basic-list/listcomp05.lc 1:19-1:26 List () 9testdata/language-features/basic-list/listcomp05.lc 1:19-1:26 List ()
10testdata/language-features/basic-list/listcomp05.lc 1:20-1:22 () 10testdata/language-features/basic-list/listcomp05.lc 1:20-1:22 ()
11testdata/language-features/basic-list/listcomp05.lc 1:23-1:25 () | List () 11testdata/language-features/basic-list/listcomp05.lc 1:23-1:25 () | List ()
12testdata/language-features/basic-list/listcomp05.lc 1:32-1:33 () | V1 12testdata/language-features/basic-list/listcomp05.lc 1:32-1:33 () | b_
13testdata/language-features/basic-list/listcomp05.lc 1:36-1:38 () 13testdata/language-features/basic-list/listcomp05.lc 1:36-1:38 ()
diff --git a/testdata/language-features/basic-list/listcomp06.out b/testdata/language-features/basic-list/listcomp06.out
index 9d0bbbcd..fef46590 100644
--- a/testdata/language-features/basic-list/listcomp06.out
+++ b/testdata/language-features/basic-list/listcomp06.out
@@ -6,20 +6,20 @@ value2 :: 'List ()
6testdata/language-features/basic-list/listcomp06.lc 1:1-1:7 List () 6testdata/language-features/basic-list/listcomp06.lc 1:1-1:7 List ()
7testdata/language-features/basic-list/listcomp06.lc 1:10-1:46 List () 7testdata/language-features/basic-list/listcomp06.lc 1:10-1:46 List ()
8testdata/language-features/basic-list/listcomp06.lc 1:11-1:12 () | List () 8testdata/language-features/basic-list/listcomp06.lc 1:11-1:12 () | List ()
9testdata/language-features/basic-list/listcomp06.lc 1:11-1:45 List () -> List () | V1 -> List V1 9testdata/language-features/basic-list/listcomp06.lc 1:11-1:45 List () -> List () | b_ -> List b_
10testdata/language-features/basic-list/listcomp06.lc 1:20-1:27 List () 10testdata/language-features/basic-list/listcomp06.lc 1:20-1:27 List ()
11testdata/language-features/basic-list/listcomp06.lc 1:21-1:23 () 11testdata/language-features/basic-list/listcomp06.lc 1:21-1:23 ()
12testdata/language-features/basic-list/listcomp06.lc 1:24-1:26 () | List () 12testdata/language-features/basic-list/listcomp06.lc 1:24-1:26 () | List ()
13testdata/language-features/basic-list/listcomp06.lc 1:33-1:34 () | V1 13testdata/language-features/basic-list/listcomp06.lc 1:33-1:34 () | b_
14testdata/language-features/basic-list/listcomp06.lc 1:37-1:39 () 14testdata/language-features/basic-list/listcomp06.lc 1:37-1:39 ()
15testdata/language-features/basic-list/listcomp06.lc 1:41-1:45 Bool 15testdata/language-features/basic-list/listcomp06.lc 1:41-1:45 Bool
16testdata/language-features/basic-list/listcomp06.lc 3:1-3:7 List () 16testdata/language-features/basic-list/listcomp06.lc 3:1-3:7 List ()
17testdata/language-features/basic-list/listcomp06.lc 3:10-3:46 List () 17testdata/language-features/basic-list/listcomp06.lc 3:10-3:46 List ()
18testdata/language-features/basic-list/listcomp06.lc 3:11-3:12 () 18testdata/language-features/basic-list/listcomp06.lc 3:11-3:12 ()
19testdata/language-features/basic-list/listcomp06.lc 3:11-3:45 List () | V1 -> List V1 19testdata/language-features/basic-list/listcomp06.lc 3:11-3:45 List () | b_ -> List b_
20testdata/language-features/basic-list/listcomp06.lc 3:20-3:27 List () 20testdata/language-features/basic-list/listcomp06.lc 3:20-3:27 List ()
21testdata/language-features/basic-list/listcomp06.lc 3:21-3:23 () 21testdata/language-features/basic-list/listcomp06.lc 3:21-3:23 ()
22testdata/language-features/basic-list/listcomp06.lc 3:24-3:26 () | List () 22testdata/language-features/basic-list/listcomp06.lc 3:24-3:26 () | List ()
23testdata/language-features/basic-list/listcomp06.lc 3:29-3:33 Bool 23testdata/language-features/basic-list/listcomp06.lc 3:29-3:33 Bool
24testdata/language-features/basic-list/listcomp06.lc 3:39-3:40 () | V1 24testdata/language-features/basic-list/listcomp06.lc 3:39-3:40 () | b_
25testdata/language-features/basic-list/listcomp06.lc 3:43-3:45 () 25testdata/language-features/basic-list/listcomp06.lc 3:43-3:45 ()
diff --git a/testdata/language-features/basic-list/listcomp07.out b/testdata/language-features/basic-list/listcomp07.out
index fa9a6239..dad2ff25 100644
--- a/testdata/language-features/basic-list/listcomp07.out
+++ b/testdata/language-features/basic-list/listcomp07.out
@@ -7,36 +7,36 @@ value3 :: 'List ()
7testdata/language-features/basic-list/listcomp07.lc 1:1-1:7 List () 7testdata/language-features/basic-list/listcomp07.lc 1:1-1:7 List ()
8testdata/language-features/basic-list/listcomp07.lc 1:10-6:11 List () 8testdata/language-features/basic-list/listcomp07.lc 1:10-6:11 List ()
9testdata/language-features/basic-list/listcomp07.lc 1:12-1:13 () 9testdata/language-features/basic-list/listcomp07.lc 1:12-1:13 ()
10testdata/language-features/basic-list/listcomp07.lc 1:12-5:21 V1 -> List V1 10testdata/language-features/basic-list/listcomp07.lc 1:12-5:21 b_ -> List b_
11testdata/language-features/basic-list/listcomp07.lc 2:17-2:24 List () 11testdata/language-features/basic-list/listcomp07.lc 2:17-2:24 List ()
12testdata/language-features/basic-list/listcomp07.lc 2:18-2:20 () 12testdata/language-features/basic-list/listcomp07.lc 2:18-2:20 ()
13testdata/language-features/basic-list/listcomp07.lc 2:21-2:23 () | List () 13testdata/language-features/basic-list/listcomp07.lc 2:21-2:23 () | List ()
14testdata/language-features/basic-list/listcomp07.lc 3:16-3:17 () | V1 14testdata/language-features/basic-list/listcomp07.lc 3:16-3:17 () | b_
15testdata/language-features/basic-list/listcomp07.lc 3:20-3:22 () 15testdata/language-features/basic-list/listcomp07.lc 3:20-3:22 ()
16testdata/language-features/basic-list/listcomp07.lc 4:12-4:16 Bool 16testdata/language-features/basic-list/listcomp07.lc 4:12-4:16 Bool
17testdata/language-features/basic-list/listcomp07.lc 5:16-5:17 () | V1 17testdata/language-features/basic-list/listcomp07.lc 5:16-5:17 () | b_
18testdata/language-features/basic-list/listcomp07.lc 5:20-5:21 () 18testdata/language-features/basic-list/listcomp07.lc 5:20-5:21 ()
19testdata/language-features/basic-list/listcomp07.lc 8:1-8:7 List () 19testdata/language-features/basic-list/listcomp07.lc 8:1-8:7 List ()
20testdata/language-features/basic-list/listcomp07.lc 8:10-12:11 List () 20testdata/language-features/basic-list/listcomp07.lc 8:10-12:11 List ()
21testdata/language-features/basic-list/listcomp07.lc 8:12-8:13 () 21testdata/language-features/basic-list/listcomp07.lc 8:12-8:13 ()
22testdata/language-features/basic-list/listcomp07.lc 8:12-11:21 V1 -> List V1 22testdata/language-features/basic-list/listcomp07.lc 8:12-11:21 b_ -> List b_
23testdata/language-features/basic-list/listcomp07.lc 8:21-8:28 List () 23testdata/language-features/basic-list/listcomp07.lc 8:21-8:28 List ()
24testdata/language-features/basic-list/listcomp07.lc 8:22-8:24 () 24testdata/language-features/basic-list/listcomp07.lc 8:22-8:24 ()
25testdata/language-features/basic-list/listcomp07.lc 8:25-8:27 () | List () 25testdata/language-features/basic-list/listcomp07.lc 8:25-8:27 () | List ()
26testdata/language-features/basic-list/listcomp07.lc 9:16-9:17 () | V1 26testdata/language-features/basic-list/listcomp07.lc 9:16-9:17 () | b_
27testdata/language-features/basic-list/listcomp07.lc 9:20-9:22 () 27testdata/language-features/basic-list/listcomp07.lc 9:20-9:22 ()
28testdata/language-features/basic-list/listcomp07.lc 10:12-10:16 Bool 28testdata/language-features/basic-list/listcomp07.lc 10:12-10:16 Bool
29testdata/language-features/basic-list/listcomp07.lc 11:16-11:17 () | V1 29testdata/language-features/basic-list/listcomp07.lc 11:16-11:17 () | b_
30testdata/language-features/basic-list/listcomp07.lc 11:20-11:21 () 30testdata/language-features/basic-list/listcomp07.lc 11:20-11:21 ()
31testdata/language-features/basic-list/listcomp07.lc 14:1-14:7 List () 31testdata/language-features/basic-list/listcomp07.lc 14:1-14:7 List ()
32testdata/language-features/basic-list/listcomp07.lc 14:10-20:3 List () 32testdata/language-features/basic-list/listcomp07.lc 14:10-20:3 List ()
33testdata/language-features/basic-list/listcomp07.lc 14:12-14:13 () 33testdata/language-features/basic-list/listcomp07.lc 14:12-14:13 ()
34testdata/language-features/basic-list/listcomp07.lc 14:12-19:15 V1 -> List V1 34testdata/language-features/basic-list/listcomp07.lc 14:12-19:15 b_ -> List b_
35testdata/language-features/basic-list/listcomp07.lc 15:15-15:22 List () 35testdata/language-features/basic-list/listcomp07.lc 15:15-15:22 List ()
36testdata/language-features/basic-list/listcomp07.lc 15:16-15:18 () 36testdata/language-features/basic-list/listcomp07.lc 15:16-15:18 ()
37testdata/language-features/basic-list/listcomp07.lc 15:19-15:21 () | List () 37testdata/language-features/basic-list/listcomp07.lc 15:19-15:21 () | List ()
38testdata/language-features/basic-list/listcomp07.lc 17:2-17:3 () | V1 38testdata/language-features/basic-list/listcomp07.lc 17:2-17:3 () | b_
39testdata/language-features/basic-list/listcomp07.lc 17:6-17:8 () 39testdata/language-features/basic-list/listcomp07.lc 17:6-17:8 ()
40testdata/language-features/basic-list/listcomp07.lc 18:7-18:11 Bool 40testdata/language-features/basic-list/listcomp07.lc 18:7-18:11 Bool
41testdata/language-features/basic-list/listcomp07.lc 19:10-19:11 () | V1 41testdata/language-features/basic-list/listcomp07.lc 19:10-19:11 () | b_
42testdata/language-features/basic-list/listcomp07.lc 19:14-19:15 () 42testdata/language-features/basic-list/listcomp07.lc 19:14-19:15 ()
diff --git a/testdata/language-features/basic-list/listcomp08.reject.out b/testdata/language-features/basic-list/listcomp08.reject.out
index 4eae6c46..f5f8f488 100644
--- a/testdata/language-features/basic-list/listcomp08.reject.out
+++ b/testdata/language-features/basic-list/listcomp08.reject.out
@@ -18,5 +18,5 @@ value = [x | x <- [], "not Bool"]
18 ^^^^^^^^^^ 18 ^^^^^^^^^^
19 19
20------------ tooltips 20------------ tooltips
21testdata/language-features/basic-list/listcomp08.reject.lc 1:10-1:33 V1 -> List V1 21testdata/language-features/basic-list/listcomp08.reject.lc 1:10-1:33 b_ -> List b_
22testdata/language-features/basic-list/listcomp08.reject.lc 1:23-1:33 String 22testdata/language-features/basic-list/listcomp08.reject.lc 1:23-1:33 String
diff --git a/testdata/language-features/basic-list/listcomp09.out b/testdata/language-features/basic-list/listcomp09.out
index 00bc6cb8..fa57c421 100644
--- a/testdata/language-features/basic-list/listcomp09.out
+++ b/testdata/language-features/basic-list/listcomp09.out
@@ -4,6 +4,6 @@ value1 :: {_} -> 'List ()->'String
4------------ tooltips 4------------ tooltips
5testdata/language-features/basic-list/listcomp09.lc 1:1-1:7 {_} -> List ()->String 5testdata/language-features/basic-list/listcomp09.lc 1:1-1:7 {_} -> List ()->String
6testdata/language-features/basic-list/listcomp09.lc 1:10-1:36 List ()->String 6testdata/language-features/basic-list/listcomp09.lc 1:10-1:36 List ()->String
7testdata/language-features/basic-list/listcomp09.lc 1:11-1:25 List ()->String | V1 -> List V1 7testdata/language-features/basic-list/listcomp09.lc 1:11-1:25 List ()->String | b_ -> List b_
8testdata/language-features/basic-list/listcomp09.lc 1:18-1:25 String 8testdata/language-features/basic-list/listcomp09.lc 1:18-1:25 String
9testdata/language-features/basic-list/listcomp09.lc 1:33-1:35 {a} -> List a 9testdata/language-features/basic-list/listcomp09.lc 1:33-1:35 {a} -> List a
diff --git a/testdata/language-features/basic-values/case02.out b/testdata/language-features/basic-values/case02.out
index 9d790c66..b6d80b67 100644
--- a/testdata/language-features/basic-values/case02.out
+++ b/testdata/language-features/basic-values/case02.out
@@ -5,13 +5,13 @@ value2 :: {a} -> {_ : 'Eq a} -> {_ : 'Num a} -> {_ : 'Eq a} -> {_ : 'Num a}
5------------ tooltips 5------------ tooltips
6testdata/language-features/basic-values/case02.lc 1:1-1:7 {a} -> {_ : Eq a} -> {_ : Num a}->() 6testdata/language-features/basic-values/case02.lc 1:1-1:7 {a} -> {_ : Eq a} -> {_ : Num a}->()
7testdata/language-features/basic-values/case02.lc 1:10-3:10 () 7testdata/language-features/basic-values/case02.lc 1:10-3:10 ()
8testdata/language-features/basic-values/case02.lc 1:15-1:16 V1 8testdata/language-features/basic-values/case02.lc 1:15-1:16 b_
9testdata/language-features/basic-values/case02.lc 2:8-2:10 () 9testdata/language-features/basic-values/case02.lc 2:8-2:10 ()
10testdata/language-features/basic-values/case02.lc 2:8-3:10 Bool->() 10testdata/language-features/basic-values/case02.lc 2:8-3:10 Bool->()
11testdata/language-features/basic-values/case02.lc 3:8-3:10 () 11testdata/language-features/basic-values/case02.lc 3:8-3:10 ()
12testdata/language-features/basic-values/case02.lc 5:1-5:7 {a} -> {_ : Eq a} -> {_ : Num a} -> {_ : Eq a} -> {_ : Num a}->String 12testdata/language-features/basic-values/case02.lc 5:1-5:7 {a} -> {_ : Eq a} -> {_ : Num a} -> {_ : Eq a} -> {_ : Num a}->String
13testdata/language-features/basic-values/case02.lc 5:10-8:11 String 13testdata/language-features/basic-values/case02.lc 5:10-8:11 String
14testdata/language-features/basic-values/case02.lc 5:15-5:16 V1 14testdata/language-features/basic-values/case02.lc 5:15-5:16 b_
15testdata/language-features/basic-values/case02.lc 6:8-6:11 String 15testdata/language-features/basic-values/case02.lc 6:8-6:11 String
16testdata/language-features/basic-values/case02.lc 6:8-8:11 Bool->String 16testdata/language-features/basic-values/case02.lc 6:8-8:11 Bool->String
17testdata/language-features/basic-values/case02.lc 7:8-7:11 String 17testdata/language-features/basic-values/case02.lc 7:8-7:11 String
diff --git a/testdata/language-features/basic-values/case05.out b/testdata/language-features/basic-values/case05.out
index c21097aa..40113fde 100644
--- a/testdata/language-features/basic-values/case05.out
+++ b/testdata/language-features/basic-values/case05.out
@@ -4,12 +4,12 @@ value :: {a} -> {_ : 'Eq a} -> {_ : 'Num a} -> a->'Char
4------------ tooltips 4------------ tooltips
5testdata/language-features/basic-values/case05.lc 1:1-1:6 {a} -> {_ : Eq a} -> {_ : Num a} -> a->Char 5testdata/language-features/basic-values/case05.lc 1:1-1:6 {a} -> {_ : Eq a} -> {_ : Num a} -> a->Char
6testdata/language-features/basic-values/case05.lc 1:11-2:11 Char 6testdata/language-features/basic-values/case05.lc 1:11-2:11 Char
7testdata/language-features/basic-values/case05.lc 1:16-1:17 V4 7testdata/language-features/basic-values/case05.lc 1:16-1:17 e_
8testdata/language-features/basic-values/case05.lc 2:8-2:11 Char 8testdata/language-features/basic-values/case05.lc 2:8-2:11 Char
9------------ warnings 9------------ warnings
10Uncovered pattern(s) at testdata/language-features/basic-values/case05.lc:1:16: 10Uncovered pattern(s) at testdata/language-features/basic-values/case05.lc:1:16:
11value x = case x of 11value x = case x of
12 ^ 12 ^
13Missing case(s): 13Missing case(s):
14 _ | False <- == (fromInt 1) V0 14 _ | False <- == (fromInt 1) a_
15 15
diff --git a/testdata/language-features/basic-values/case06.out b/testdata/language-features/basic-values/case06.out
index 3a878653..a4959bfe 100644
--- a/testdata/language-features/basic-values/case06.out
+++ b/testdata/language-features/basic-values/case06.out
@@ -4,7 +4,7 @@ value :: {a} -> {_ : 'Eq a} -> {_ : 'Num a} -> a->'Char
4------------ tooltips 4------------ tooltips
5testdata/language-features/basic-values/case06.lc 1:1-1:6 {a} -> {_ : Eq a} -> {_ : Num a} -> a->Char 5testdata/language-features/basic-values/case06.lc 1:1-1:6 {a} -> {_ : Eq a} -> {_ : Num a} -> a->Char
6testdata/language-features/basic-values/case06.lc 1:11-3:11 Char 6testdata/language-features/basic-values/case06.lc 1:11-3:11 Char
7testdata/language-features/basic-values/case06.lc 1:16-1:17 V4 7testdata/language-features/basic-values/case06.lc 1:16-1:17 e_
8testdata/language-features/basic-values/case06.lc 2:8-2:11 Char 8testdata/language-features/basic-values/case06.lc 2:8-2:11 Char
9testdata/language-features/basic-values/case06.lc 2:8-3:11 Bool->Char 9testdata/language-features/basic-values/case06.lc 2:8-3:11 Bool->Char
10testdata/language-features/basic-values/case06.lc 3:8-3:11 Char 10testdata/language-features/basic-values/case06.lc 3:8-3:11 Char
diff --git a/testdata/language-features/basic-values/def01.out b/testdata/language-features/basic-values/def01.out
index 89a11da3..1bec17b3 100644
--- a/testdata/language-features/basic-values/def01.out
+++ b/testdata/language-features/basic-values/def01.out
@@ -7,6 +7,6 @@ fun2 :: {a} -> {b} -> {c} -> {d} -> {e} -> a -> b -> c -> d -> e->'Char[39
7testdata/language-features/basic-values/def01.lc 1:1-1:5 () 7testdata/language-features/basic-values/def01.lc 1:1-1:5 ()
8testdata/language-features/basic-values/def01.lc 1:8-1:10 () 8testdata/language-features/basic-values/def01.lc 1:8-1:10 ()
9testdata/language-features/basic-values/def01.lc 3:1-3:5 {a} -> {b} -> {_ : Num b} -> a->b 9testdata/language-features/basic-values/def01.lc 3:1-3:5 {a} -> {b} -> {_ : Num b} -> a->b
10testdata/language-features/basic-values/def01.lc 3:10-3:11 V1 10testdata/language-features/basic-values/def01.lc 3:10-3:11 b_
11testdata/language-features/basic-values/def01.lc 5:1-5:5 {a} -> {b} -> {c} -> {d} -> {e} -> a -> b -> c -> d -> e->Char 11testdata/language-features/basic-values/def01.lc 5:1-5:5 {a} -> {b} -> {c} -> {d} -> {e} -> a -> b -> c -> d -> e->Char
12testdata/language-features/basic-values/def01.lc 5:18-5:21 Char 12testdata/language-features/basic-values/def01.lc 5:18-5:21 Char
diff --git a/testdata/language-features/basic-values/def03.out b/testdata/language-features/basic-values/def03.out
index ad9a38d6..6a383d9c 100644
--- a/testdata/language-features/basic-values/def03.out
+++ b/testdata/language-features/basic-values/def03.out
@@ -11,5 +11,5 @@ Uncovered pattern(s) at testdata/language-features/basic-values/def03.lc:1:1:
11fun 1 = '1' 11fun 1 = '1'
12fun 2 = '2' 12fun 2 = '2'
13Missing case(s): 13Missing case(s):
14 _ | False <- == (fromInt 1) V0, False <- == (fromInt 2) V0 14 _ | False <- == (fromInt 1) a_, False <- == (fromInt 2) a_
15 15
diff --git a/testdata/language-features/basic-values/def07.reject.out b/testdata/language-features/basic-values/def07.reject.out
index 16a8195b..ecd42e2a 100644
--- a/testdata/language-features/basic-values/def07.reject.out
+++ b/testdata/language-features/basic-values/def07.reject.out
@@ -28,11 +28,11 @@ Uncovered pattern(s) at testdata/language-features/basic-values/def07.reject.lc:
28fun 1 = '1' 28fun 1 = '1'
29fun 2 = '2' 29fun 2 = '2'
30Missing case(s): 30Missing case(s):
31 _ | False <- == (fromInt 1) V0, False <- == (fromInt 2) V0 31 _ | False <- == (fromInt 1) a_, False <- == (fromInt 2) a_
32 32
33Uncovered pattern(s) at testdata/language-features/basic-values/def07.reject.lc:3:1: 33Uncovered pattern(s) at testdata/language-features/basic-values/def07.reject.lc:3:1:
34fun2 1 _ = '1' 34fun2 1 _ = '1'
35^^^^ 35^^^^
36Missing case(s): 36Missing case(s):
37 _ _ | False <- == (fromInt 1) V1 37 _ _ | False <- == (fromInt 1) b_
38 38
diff --git a/testdata/language-features/basic-values/fixity01.out b/testdata/language-features/basic-values/fixity01.out
index eb0e5fc2..56d4a7db 100644
--- a/testdata/language-features/basic-values/fixity01.out
+++ b/testdata/language-features/basic-values/fixity01.out
@@ -6,10 +6,10 @@ funR :: {a} -> {b} -> a -> b->a
6>>>> :: {a} -> {b} -> a -> b->b 6>>>> :: {a} -> {b} -> a -> b->b
7------------ tooltips 7------------ tooltips
8testdata/language-features/basic-values/fixity01.lc 1:1-1:5 {a} -> {b} -> a -> b->a 8testdata/language-features/basic-values/fixity01.lc 1:1-1:5 {a} -> {b} -> a -> b->a
9testdata/language-features/basic-values/fixity01.lc 1:12-1:13 V3 9testdata/language-features/basic-values/fixity01.lc 1:12-1:13 d_
10testdata/language-features/basic-values/fixity01.lc 2:1-2:5 {a} -> {b} -> a -> b->a 10testdata/language-features/basic-values/fixity01.lc 2:1-2:5 {a} -> {b} -> a -> b->a
11testdata/language-features/basic-values/fixity01.lc 2:12-2:13 V3 11testdata/language-features/basic-values/fixity01.lc 2:12-2:13 d_
12testdata/language-features/basic-values/fixity01.lc 4:3-4:7 {a} -> {b} -> a -> b->a 12testdata/language-features/basic-values/fixity01.lc 4:3-4:7 {a} -> {b} -> a -> b->a
13testdata/language-features/basic-values/fixity01.lc 4:12-4:13 V3 13testdata/language-features/basic-values/fixity01.lc 4:12-4:13 d_
14testdata/language-features/basic-values/fixity01.lc 5:3-5:7 {a} -> {b} -> a -> b->b 14testdata/language-features/basic-values/fixity01.lc 5:3-5:7 {a} -> {b} -> a -> b->b
15testdata/language-features/basic-values/fixity01.lc 5:12-5:13 V1 15testdata/language-features/basic-values/fixity01.lc 5:12-5:13 b_
diff --git a/testdata/language-features/basic-values/fixity02.out b/testdata/language-features/basic-values/fixity02.out
index ef3914b9..0b15ed06 100644
--- a/testdata/language-features/basic-values/fixity02.out
+++ b/testdata/language-features/basic-values/fixity02.out
@@ -22,37 +22,37 @@ funValue7 :: 'String
22funValue8 :: () 22funValue8 :: ()
23------------ tooltips 23------------ tooltips
24testdata/language-features/basic-values/fixity02.lc 1:1-1:5 {a} -> {b} -> a -> b->a 24testdata/language-features/basic-values/fixity02.lc 1:1-1:5 {a} -> {b} -> a -> b->a
25testdata/language-features/basic-values/fixity02.lc 1:12-1:13 V3 25testdata/language-features/basic-values/fixity02.lc 1:12-1:13 d_
26testdata/language-features/basic-values/fixity02.lc 2:1-2:5 {a} -> {b} -> a -> b->b 26testdata/language-features/basic-values/fixity02.lc 2:1-2:5 {a} -> {b} -> a -> b->b
27testdata/language-features/basic-values/fixity02.lc 2:12-2:13 V1 27testdata/language-features/basic-values/fixity02.lc 2:12-2:13 b_
28testdata/language-features/basic-values/fixity02.lc 4:3-4:5 {a} -> {b} -> a -> b->a 28testdata/language-features/basic-values/fixity02.lc 4:3-4:5 {a} -> {b} -> a -> b->a
29testdata/language-features/basic-values/fixity02.lc 4:10-4:11 V3 29testdata/language-features/basic-values/fixity02.lc 4:10-4:11 d_
30testdata/language-features/basic-values/fixity02.lc 5:3-5:5 {a} -> {b} -> a -> b->b 30testdata/language-features/basic-values/fixity02.lc 5:3-5:5 {a} -> {b} -> a -> b->b
31testdata/language-features/basic-values/fixity02.lc 5:10-5:11 V1 31testdata/language-features/basic-values/fixity02.lc 5:10-5:11 b_
32testdata/language-features/basic-values/fixity02.lc 11:1-11:7 Float 32testdata/language-features/basic-values/fixity02.lc 11:1-11:7 Float
33testdata/language-features/basic-values/fixity02.lc 11:10-11:12 () 33testdata/language-features/basic-values/fixity02.lc 11:10-11:12 ()
34testdata/language-features/basic-values/fixity02.lc 11:10-11:15 V0->V1 34testdata/language-features/basic-values/fixity02.lc 11:10-11:15 a_->b_
35testdata/language-features/basic-values/fixity02.lc 11:10-11:34 Float 35testdata/language-features/basic-values/fixity02.lc 11:10-11:34 Float
36testdata/language-features/basic-values/fixity02.lc 11:13-11:15 {a} -> {b} -> a -> b->b 36testdata/language-features/basic-values/fixity02.lc 11:13-11:15 {a} -> {b} -> a -> b->b
37testdata/language-features/basic-values/fixity02.lc 11:16-11:19 Char 37testdata/language-features/basic-values/fixity02.lc 11:16-11:19 Char
38testdata/language-features/basic-values/fixity02.lc 11:16-11:22 V0->V1 38testdata/language-features/basic-values/fixity02.lc 11:16-11:22 a_->b_
39testdata/language-features/basic-values/fixity02.lc 11:16-11:34 Float 39testdata/language-features/basic-values/fixity02.lc 11:16-11:34 Float
40testdata/language-features/basic-values/fixity02.lc 11:20-11:22 {a} -> {b} -> a -> b->b 40testdata/language-features/basic-values/fixity02.lc 11:20-11:22 {a} -> {b} -> a -> b->b
41testdata/language-features/basic-values/fixity02.lc 11:23-11:27 String 41testdata/language-features/basic-values/fixity02.lc 11:23-11:27 String
42testdata/language-features/basic-values/fixity02.lc 11:23-11:30 V0->V1 42testdata/language-features/basic-values/fixity02.lc 11:23-11:30 a_->b_
43testdata/language-features/basic-values/fixity02.lc 11:23-11:34 Float 43testdata/language-features/basic-values/fixity02.lc 11:23-11:34 Float
44testdata/language-features/basic-values/fixity02.lc 11:28-11:30 {a} -> {b} -> a -> b->b 44testdata/language-features/basic-values/fixity02.lc 11:28-11:30 {a} -> {b} -> a -> b->b
45testdata/language-features/basic-values/fixity02.lc 11:31-11:34 Float 45testdata/language-features/basic-values/fixity02.lc 11:31-11:34 Float
46testdata/language-features/basic-values/fixity02.lc 11:38-11:43 Type 46testdata/language-features/basic-values/fixity02.lc 11:38-11:43 Type
47testdata/language-features/basic-values/fixity02.lc 12:1-12:7 Float 47testdata/language-features/basic-values/fixity02.lc 12:1-12:7 Float
48testdata/language-features/basic-values/fixity02.lc 12:10-12:12 () 48testdata/language-features/basic-values/fixity02.lc 12:10-12:12 ()
49testdata/language-features/basic-values/fixity02.lc 12:10-12:15 V0->V1 49testdata/language-features/basic-values/fixity02.lc 12:10-12:15 a_->b_
50testdata/language-features/basic-values/fixity02.lc 12:10-12:34 Float 50testdata/language-features/basic-values/fixity02.lc 12:10-12:34 Float
51testdata/language-features/basic-values/fixity02.lc 12:13-12:15 {a} -> {b} -> a -> b->b 51testdata/language-features/basic-values/fixity02.lc 12:13-12:15 {a} -> {b} -> a -> b->b
52testdata/language-features/basic-values/fixity02.lc 12:16-12:19 Char 52testdata/language-features/basic-values/fixity02.lc 12:16-12:19 Char
53testdata/language-features/basic-values/fixity02.lc 12:16-12:22 V0->Char 53testdata/language-features/basic-values/fixity02.lc 12:16-12:22 a_->Char
54testdata/language-features/basic-values/fixity02.lc 12:16-12:27 Char 54testdata/language-features/basic-values/fixity02.lc 12:16-12:27 Char
55testdata/language-features/basic-values/fixity02.lc 12:16-12:30 V0->V1 55testdata/language-features/basic-values/fixity02.lc 12:16-12:30 a_->b_
56testdata/language-features/basic-values/fixity02.lc 12:16-12:34 Float 56testdata/language-features/basic-values/fixity02.lc 12:16-12:34 Float
57testdata/language-features/basic-values/fixity02.lc 12:20-12:22 {a} -> {b} -> a -> b->a 57testdata/language-features/basic-values/fixity02.lc 12:20-12:22 {a} -> {b} -> a -> b->a
58testdata/language-features/basic-values/fixity02.lc 12:23-12:27 String 58testdata/language-features/basic-values/fixity02.lc 12:23-12:27 String
@@ -61,28 +61,28 @@ testdata/language-features/basic-values/fixity02.lc 12:31-12:34 Float
61testdata/language-features/basic-values/fixity02.lc 12:38-12:43 Type 61testdata/language-features/basic-values/fixity02.lc 12:38-12:43 Type
62testdata/language-features/basic-values/fixity02.lc 13:1-13:7 Float 62testdata/language-features/basic-values/fixity02.lc 13:1-13:7 Float
63testdata/language-features/basic-values/fixity02.lc 13:10-13:12 () 63testdata/language-features/basic-values/fixity02.lc 13:10-13:12 ()
64testdata/language-features/basic-values/fixity02.lc 13:10-13:15 V0->() 64testdata/language-features/basic-values/fixity02.lc 13:10-13:15 a_->()
65testdata/language-features/basic-values/fixity02.lc 13:10-13:19 () 65testdata/language-features/basic-values/fixity02.lc 13:10-13:19 ()
66testdata/language-features/basic-values/fixity02.lc 13:10-13:22 V0->V1 66testdata/language-features/basic-values/fixity02.lc 13:10-13:22 a_->b_
67testdata/language-features/basic-values/fixity02.lc 13:10-13:34 Float 67testdata/language-features/basic-values/fixity02.lc 13:10-13:34 Float
68testdata/language-features/basic-values/fixity02.lc 13:13-13:15 {a} -> {b} -> a -> b->a 68testdata/language-features/basic-values/fixity02.lc 13:13-13:15 {a} -> {b} -> a -> b->a
69testdata/language-features/basic-values/fixity02.lc 13:16-13:19 Char 69testdata/language-features/basic-values/fixity02.lc 13:16-13:19 Char
70testdata/language-features/basic-values/fixity02.lc 13:20-13:22 {a} -> {b} -> a -> b->b 70testdata/language-features/basic-values/fixity02.lc 13:20-13:22 {a} -> {b} -> a -> b->b
71testdata/language-features/basic-values/fixity02.lc 13:23-13:27 String 71testdata/language-features/basic-values/fixity02.lc 13:23-13:27 String
72testdata/language-features/basic-values/fixity02.lc 13:23-13:30 V0->V1 72testdata/language-features/basic-values/fixity02.lc 13:23-13:30 a_->b_
73testdata/language-features/basic-values/fixity02.lc 13:23-13:34 Float 73testdata/language-features/basic-values/fixity02.lc 13:23-13:34 Float
74testdata/language-features/basic-values/fixity02.lc 13:28-13:30 {a} -> {b} -> a -> b->b 74testdata/language-features/basic-values/fixity02.lc 13:28-13:30 {a} -> {b} -> a -> b->b
75testdata/language-features/basic-values/fixity02.lc 13:31-13:34 Float 75testdata/language-features/basic-values/fixity02.lc 13:31-13:34 Float
76testdata/language-features/basic-values/fixity02.lc 13:38-13:43 Type 76testdata/language-features/basic-values/fixity02.lc 13:38-13:43 Type
77testdata/language-features/basic-values/fixity02.lc 14:1-14:7 Float 77testdata/language-features/basic-values/fixity02.lc 14:1-14:7 Float
78testdata/language-features/basic-values/fixity02.lc 14:10-14:12 () 78testdata/language-features/basic-values/fixity02.lc 14:10-14:12 ()
79testdata/language-features/basic-values/fixity02.lc 14:10-14:15 V0->() 79testdata/language-features/basic-values/fixity02.lc 14:10-14:15 a_->()
80testdata/language-features/basic-values/fixity02.lc 14:10-14:27 () 80testdata/language-features/basic-values/fixity02.lc 14:10-14:27 ()
81testdata/language-features/basic-values/fixity02.lc 14:10-14:30 V0->V1 81testdata/language-features/basic-values/fixity02.lc 14:10-14:30 a_->b_
82testdata/language-features/basic-values/fixity02.lc 14:10-14:34 Float 82testdata/language-features/basic-values/fixity02.lc 14:10-14:34 Float
83testdata/language-features/basic-values/fixity02.lc 14:13-14:15 {a} -> {b} -> a -> b->a 83testdata/language-features/basic-values/fixity02.lc 14:13-14:15 {a} -> {b} -> a -> b->a
84testdata/language-features/basic-values/fixity02.lc 14:16-14:19 Char 84testdata/language-features/basic-values/fixity02.lc 14:16-14:19 Char
85testdata/language-features/basic-values/fixity02.lc 14:16-14:22 V0->Char 85testdata/language-features/basic-values/fixity02.lc 14:16-14:22 a_->Char
86testdata/language-features/basic-values/fixity02.lc 14:16-14:27 Char 86testdata/language-features/basic-values/fixity02.lc 14:16-14:27 Char
87testdata/language-features/basic-values/fixity02.lc 14:20-14:22 {a} -> {b} -> a -> b->a 87testdata/language-features/basic-values/fixity02.lc 14:20-14:22 {a} -> {b} -> a -> b->a
88testdata/language-features/basic-values/fixity02.lc 14:23-14:27 String 88testdata/language-features/basic-values/fixity02.lc 14:23-14:27 String
@@ -91,88 +91,88 @@ testdata/language-features/basic-values/fixity02.lc 14:31-14:34 Float
91testdata/language-features/basic-values/fixity02.lc 14:38-14:43 Type 91testdata/language-features/basic-values/fixity02.lc 14:38-14:43 Type
92testdata/language-features/basic-values/fixity02.lc 15:1-15:7 String 92testdata/language-features/basic-values/fixity02.lc 15:1-15:7 String
93testdata/language-features/basic-values/fixity02.lc 15:10-15:12 () 93testdata/language-features/basic-values/fixity02.lc 15:10-15:12 ()
94testdata/language-features/basic-values/fixity02.lc 15:10-15:15 V0->V1 94testdata/language-features/basic-values/fixity02.lc 15:10-15:15 a_->b_
95testdata/language-features/basic-values/fixity02.lc 15:10-15:34 String 95testdata/language-features/basic-values/fixity02.lc 15:10-15:34 String
96testdata/language-features/basic-values/fixity02.lc 15:13-15:15 {a} -> {b} -> a -> b->b 96testdata/language-features/basic-values/fixity02.lc 15:13-15:15 {a} -> {b} -> a -> b->b
97testdata/language-features/basic-values/fixity02.lc 15:16-15:19 Char 97testdata/language-features/basic-values/fixity02.lc 15:16-15:19 Char
98testdata/language-features/basic-values/fixity02.lc 15:16-15:22 V0->V1 98testdata/language-features/basic-values/fixity02.lc 15:16-15:22 a_->b_
99testdata/language-features/basic-values/fixity02.lc 15:16-15:34 String 99testdata/language-features/basic-values/fixity02.lc 15:16-15:34 String
100testdata/language-features/basic-values/fixity02.lc 15:20-15:22 {a} -> {b} -> a -> b->b 100testdata/language-features/basic-values/fixity02.lc 15:20-15:22 {a} -> {b} -> a -> b->b
101testdata/language-features/basic-values/fixity02.lc 15:23-15:27 String 101testdata/language-features/basic-values/fixity02.lc 15:23-15:27 String
102testdata/language-features/basic-values/fixity02.lc 15:23-15:30 V0->String 102testdata/language-features/basic-values/fixity02.lc 15:23-15:30 a_->String
103testdata/language-features/basic-values/fixity02.lc 15:23-15:34 String 103testdata/language-features/basic-values/fixity02.lc 15:23-15:34 String
104testdata/language-features/basic-values/fixity02.lc 15:28-15:30 {a} -> {b} -> a -> b->a 104testdata/language-features/basic-values/fixity02.lc 15:28-15:30 {a} -> {b} -> a -> b->a
105testdata/language-features/basic-values/fixity02.lc 15:31-15:34 Float 105testdata/language-features/basic-values/fixity02.lc 15:31-15:34 Float
106testdata/language-features/basic-values/fixity02.lc 15:38-15:44 Type 106testdata/language-features/basic-values/fixity02.lc 15:38-15:44 Type
107testdata/language-features/basic-values/fixity02.lc 16:1-16:7 Char 107testdata/language-features/basic-values/fixity02.lc 16:1-16:7 Char
108testdata/language-features/basic-values/fixity02.lc 16:10-16:12 () 108testdata/language-features/basic-values/fixity02.lc 16:10-16:12 ()
109testdata/language-features/basic-values/fixity02.lc 16:10-16:15 V0->V1 109testdata/language-features/basic-values/fixity02.lc 16:10-16:15 a_->b_
110testdata/language-features/basic-values/fixity02.lc 16:10-16:34 Char 110testdata/language-features/basic-values/fixity02.lc 16:10-16:34 Char
111testdata/language-features/basic-values/fixity02.lc 16:13-16:15 {a} -> {b} -> a -> b->b 111testdata/language-features/basic-values/fixity02.lc 16:13-16:15 {a} -> {b} -> a -> b->b
112testdata/language-features/basic-values/fixity02.lc 16:16-16:19 Char 112testdata/language-features/basic-values/fixity02.lc 16:16-16:19 Char
113testdata/language-features/basic-values/fixity02.lc 16:16-16:22 V0->Char 113testdata/language-features/basic-values/fixity02.lc 16:16-16:22 a_->Char
114testdata/language-features/basic-values/fixity02.lc 16:16-16:34 Char 114testdata/language-features/basic-values/fixity02.lc 16:16-16:34 Char
115testdata/language-features/basic-values/fixity02.lc 16:20-16:22 {a} -> {b} -> a -> b->a 115testdata/language-features/basic-values/fixity02.lc 16:20-16:22 {a} -> {b} -> a -> b->a
116testdata/language-features/basic-values/fixity02.lc 16:23-16:27 String 116testdata/language-features/basic-values/fixity02.lc 16:23-16:27 String
117testdata/language-features/basic-values/fixity02.lc 16:23-16:30 V0->String 117testdata/language-features/basic-values/fixity02.lc 16:23-16:30 a_->String
118testdata/language-features/basic-values/fixity02.lc 16:23-16:34 String 118testdata/language-features/basic-values/fixity02.lc 16:23-16:34 String
119testdata/language-features/basic-values/fixity02.lc 16:28-16:30 {a} -> {b} -> a -> b->a 119testdata/language-features/basic-values/fixity02.lc 16:28-16:30 {a} -> {b} -> a -> b->a
120testdata/language-features/basic-values/fixity02.lc 16:31-16:34 Float 120testdata/language-features/basic-values/fixity02.lc 16:31-16:34 Float
121testdata/language-features/basic-values/fixity02.lc 16:38-16:42 Type 121testdata/language-features/basic-values/fixity02.lc 16:38-16:42 Type
122testdata/language-features/basic-values/fixity02.lc 17:1-17:7 String 122testdata/language-features/basic-values/fixity02.lc 17:1-17:7 String
123testdata/language-features/basic-values/fixity02.lc 17:10-17:12 () 123testdata/language-features/basic-values/fixity02.lc 17:10-17:12 ()
124testdata/language-features/basic-values/fixity02.lc 17:10-17:15 V0->() 124testdata/language-features/basic-values/fixity02.lc 17:10-17:15 a_->()
125testdata/language-features/basic-values/fixity02.lc 17:10-17:19 () 125testdata/language-features/basic-values/fixity02.lc 17:10-17:19 ()
126testdata/language-features/basic-values/fixity02.lc 17:10-17:22 V0->V1 126testdata/language-features/basic-values/fixity02.lc 17:10-17:22 a_->b_
127testdata/language-features/basic-values/fixity02.lc 17:10-17:34 String 127testdata/language-features/basic-values/fixity02.lc 17:10-17:34 String
128testdata/language-features/basic-values/fixity02.lc 17:13-17:15 {a} -> {b} -> a -> b->a 128testdata/language-features/basic-values/fixity02.lc 17:13-17:15 {a} -> {b} -> a -> b->a
129testdata/language-features/basic-values/fixity02.lc 17:16-17:19 Char 129testdata/language-features/basic-values/fixity02.lc 17:16-17:19 Char
130testdata/language-features/basic-values/fixity02.lc 17:20-17:22 {a} -> {b} -> a -> b->b 130testdata/language-features/basic-values/fixity02.lc 17:20-17:22 {a} -> {b} -> a -> b->b
131testdata/language-features/basic-values/fixity02.lc 17:23-17:27 String 131testdata/language-features/basic-values/fixity02.lc 17:23-17:27 String
132testdata/language-features/basic-values/fixity02.lc 17:23-17:30 V0->String 132testdata/language-features/basic-values/fixity02.lc 17:23-17:30 a_->String
133testdata/language-features/basic-values/fixity02.lc 17:23-17:34 String 133testdata/language-features/basic-values/fixity02.lc 17:23-17:34 String
134testdata/language-features/basic-values/fixity02.lc 17:28-17:30 {a} -> {b} -> a -> b->a 134testdata/language-features/basic-values/fixity02.lc 17:28-17:30 {a} -> {b} -> a -> b->a
135testdata/language-features/basic-values/fixity02.lc 17:31-17:34 Float 135testdata/language-features/basic-values/fixity02.lc 17:31-17:34 Float
136testdata/language-features/basic-values/fixity02.lc 17:38-17:44 Type 136testdata/language-features/basic-values/fixity02.lc 17:38-17:44 Type
137testdata/language-features/basic-values/fixity02.lc 18:1-18:7 () 137testdata/language-features/basic-values/fixity02.lc 18:1-18:7 ()
138testdata/language-features/basic-values/fixity02.lc 18:10-18:12 () 138testdata/language-features/basic-values/fixity02.lc 18:10-18:12 ()
139testdata/language-features/basic-values/fixity02.lc 18:10-18:15 V0->() 139testdata/language-features/basic-values/fixity02.lc 18:10-18:15 a_->()
140testdata/language-features/basic-values/fixity02.lc 18:10-18:34 () 140testdata/language-features/basic-values/fixity02.lc 18:10-18:34 ()
141testdata/language-features/basic-values/fixity02.lc 18:13-18:15 {a} -> {b} -> a -> b->a 141testdata/language-features/basic-values/fixity02.lc 18:13-18:15 {a} -> {b} -> a -> b->a
142testdata/language-features/basic-values/fixity02.lc 18:16-18:19 Char 142testdata/language-features/basic-values/fixity02.lc 18:16-18:19 Char
143testdata/language-features/basic-values/fixity02.lc 18:16-18:22 V0->Char 143testdata/language-features/basic-values/fixity02.lc 18:16-18:22 a_->Char
144testdata/language-features/basic-values/fixity02.lc 18:16-18:34 Char 144testdata/language-features/basic-values/fixity02.lc 18:16-18:34 Char
145testdata/language-features/basic-values/fixity02.lc 18:20-18:22 {a} -> {b} -> a -> b->a 145testdata/language-features/basic-values/fixity02.lc 18:20-18:22 {a} -> {b} -> a -> b->a
146testdata/language-features/basic-values/fixity02.lc 18:23-18:27 String 146testdata/language-features/basic-values/fixity02.lc 18:23-18:27 String
147testdata/language-features/basic-values/fixity02.lc 18:23-18:30 V0->String 147testdata/language-features/basic-values/fixity02.lc 18:23-18:30 a_->String
148testdata/language-features/basic-values/fixity02.lc 18:23-18:34 String 148testdata/language-features/basic-values/fixity02.lc 18:23-18:34 String
149testdata/language-features/basic-values/fixity02.lc 18:28-18:30 {a} -> {b} -> a -> b->a 149testdata/language-features/basic-values/fixity02.lc 18:28-18:30 {a} -> {b} -> a -> b->a
150testdata/language-features/basic-values/fixity02.lc 18:31-18:34 Float 150testdata/language-features/basic-values/fixity02.lc 18:31-18:34 Float
151testdata/language-features/basic-values/fixity02.lc 18:38-18:40 Type 151testdata/language-features/basic-values/fixity02.lc 18:38-18:40 Type
152testdata/language-features/basic-values/fixity02.lc 20:1-20:10 Float 152testdata/language-features/basic-values/fixity02.lc 20:1-20:10 Float
153testdata/language-features/basic-values/fixity02.lc 20:13-20:15 () 153testdata/language-features/basic-values/fixity02.lc 20:13-20:15 ()
154testdata/language-features/basic-values/fixity02.lc 20:13-20:22 V0->V1 154testdata/language-features/basic-values/fixity02.lc 20:13-20:22 a_->b_
155testdata/language-features/basic-values/fixity02.lc 20:13-20:49 Float 155testdata/language-features/basic-values/fixity02.lc 20:13-20:49 Float
156testdata/language-features/basic-values/fixity02.lc 20:16-20:22 {a} -> {b} -> a -> b->b 156testdata/language-features/basic-values/fixity02.lc 20:16-20:22 {a} -> {b} -> a -> b->b
157testdata/language-features/basic-values/fixity02.lc 20:23-20:26 Char 157testdata/language-features/basic-values/fixity02.lc 20:23-20:26 Char
158testdata/language-features/basic-values/fixity02.lc 20:23-20:33 V0->V1 158testdata/language-features/basic-values/fixity02.lc 20:23-20:33 a_->b_
159testdata/language-features/basic-values/fixity02.lc 20:23-20:49 Float 159testdata/language-features/basic-values/fixity02.lc 20:23-20:49 Float
160testdata/language-features/basic-values/fixity02.lc 20:27-20:33 {a} -> {b} -> a -> b->b 160testdata/language-features/basic-values/fixity02.lc 20:27-20:33 {a} -> {b} -> a -> b->b
161testdata/language-features/basic-values/fixity02.lc 20:34-20:38 String 161testdata/language-features/basic-values/fixity02.lc 20:34-20:38 String
162testdata/language-features/basic-values/fixity02.lc 20:34-20:45 V0->V1 162testdata/language-features/basic-values/fixity02.lc 20:34-20:45 a_->b_
163testdata/language-features/basic-values/fixity02.lc 20:34-20:49 Float 163testdata/language-features/basic-values/fixity02.lc 20:34-20:49 Float
164testdata/language-features/basic-values/fixity02.lc 20:39-20:45 {a} -> {b} -> a -> b->b 164testdata/language-features/basic-values/fixity02.lc 20:39-20:45 {a} -> {b} -> a -> b->b
165testdata/language-features/basic-values/fixity02.lc 20:46-20:49 Float 165testdata/language-features/basic-values/fixity02.lc 20:46-20:49 Float
166testdata/language-features/basic-values/fixity02.lc 20:53-20:58 Type 166testdata/language-features/basic-values/fixity02.lc 20:53-20:58 Type
167testdata/language-features/basic-values/fixity02.lc 21:1-21:10 Float 167testdata/language-features/basic-values/fixity02.lc 21:1-21:10 Float
168testdata/language-features/basic-values/fixity02.lc 21:13-21:15 () 168testdata/language-features/basic-values/fixity02.lc 21:13-21:15 ()
169testdata/language-features/basic-values/fixity02.lc 21:13-21:22 V0->V1 169testdata/language-features/basic-values/fixity02.lc 21:13-21:22 a_->b_
170testdata/language-features/basic-values/fixity02.lc 21:13-21:49 Float 170testdata/language-features/basic-values/fixity02.lc 21:13-21:49 Float
171testdata/language-features/basic-values/fixity02.lc 21:16-21:22 {a} -> {b} -> a -> b->b 171testdata/language-features/basic-values/fixity02.lc 21:16-21:22 {a} -> {b} -> a -> b->b
172testdata/language-features/basic-values/fixity02.lc 21:23-21:26 Char 172testdata/language-features/basic-values/fixity02.lc 21:23-21:26 Char
173testdata/language-features/basic-values/fixity02.lc 21:23-21:33 V0->Char 173testdata/language-features/basic-values/fixity02.lc 21:23-21:33 a_->Char
174testdata/language-features/basic-values/fixity02.lc 21:23-21:38 Char 174testdata/language-features/basic-values/fixity02.lc 21:23-21:38 Char
175testdata/language-features/basic-values/fixity02.lc 21:23-21:45 V0->V1 175testdata/language-features/basic-values/fixity02.lc 21:23-21:45 a_->b_
176testdata/language-features/basic-values/fixity02.lc 21:23-21:49 Float 176testdata/language-features/basic-values/fixity02.lc 21:23-21:49 Float
177testdata/language-features/basic-values/fixity02.lc 21:27-21:33 {a} -> {b} -> a -> b->a 177testdata/language-features/basic-values/fixity02.lc 21:27-21:33 {a} -> {b} -> a -> b->a
178testdata/language-features/basic-values/fixity02.lc 21:34-21:38 String 178testdata/language-features/basic-values/fixity02.lc 21:34-21:38 String
@@ -181,28 +181,28 @@ testdata/language-features/basic-values/fixity02.lc 21:46-21:49 Float
181testdata/language-features/basic-values/fixity02.lc 21:53-21:58 Type 181testdata/language-features/basic-values/fixity02.lc 21:53-21:58 Type
182testdata/language-features/basic-values/fixity02.lc 22:1-22:10 Float 182testdata/language-features/basic-values/fixity02.lc 22:1-22:10 Float
183testdata/language-features/basic-values/fixity02.lc 22:13-22:15 () 183testdata/language-features/basic-values/fixity02.lc 22:13-22:15 ()
184testdata/language-features/basic-values/fixity02.lc 22:13-22:22 V0->() 184testdata/language-features/basic-values/fixity02.lc 22:13-22:22 a_->()
185testdata/language-features/basic-values/fixity02.lc 22:13-22:26 () 185testdata/language-features/basic-values/fixity02.lc 22:13-22:26 ()
186testdata/language-features/basic-values/fixity02.lc 22:13-22:33 V0->V1 186testdata/language-features/basic-values/fixity02.lc 22:13-22:33 a_->b_
187testdata/language-features/basic-values/fixity02.lc 22:13-22:49 Float 187testdata/language-features/basic-values/fixity02.lc 22:13-22:49 Float
188testdata/language-features/basic-values/fixity02.lc 22:16-22:22 {a} -> {b} -> a -> b->a 188testdata/language-features/basic-values/fixity02.lc 22:16-22:22 {a} -> {b} -> a -> b->a
189testdata/language-features/basic-values/fixity02.lc 22:23-22:26 Char 189testdata/language-features/basic-values/fixity02.lc 22:23-22:26 Char
190testdata/language-features/basic-values/fixity02.lc 22:27-22:33 {a} -> {b} -> a -> b->b 190testdata/language-features/basic-values/fixity02.lc 22:27-22:33 {a} -> {b} -> a -> b->b
191testdata/language-features/basic-values/fixity02.lc 22:34-22:38 String 191testdata/language-features/basic-values/fixity02.lc 22:34-22:38 String
192testdata/language-features/basic-values/fixity02.lc 22:34-22:45 V0->V1 192testdata/language-features/basic-values/fixity02.lc 22:34-22:45 a_->b_
193testdata/language-features/basic-values/fixity02.lc 22:34-22:49 Float 193testdata/language-features/basic-values/fixity02.lc 22:34-22:49 Float
194testdata/language-features/basic-values/fixity02.lc 22:39-22:45 {a} -> {b} -> a -> b->b 194testdata/language-features/basic-values/fixity02.lc 22:39-22:45 {a} -> {b} -> a -> b->b
195testdata/language-features/basic-values/fixity02.lc 22:46-22:49 Float 195testdata/language-features/basic-values/fixity02.lc 22:46-22:49 Float
196testdata/language-features/basic-values/fixity02.lc 22:53-22:58 Type 196testdata/language-features/basic-values/fixity02.lc 22:53-22:58 Type
197testdata/language-features/basic-values/fixity02.lc 23:1-23:10 Float 197testdata/language-features/basic-values/fixity02.lc 23:1-23:10 Float
198testdata/language-features/basic-values/fixity02.lc 23:13-23:15 () 198testdata/language-features/basic-values/fixity02.lc 23:13-23:15 ()
199testdata/language-features/basic-values/fixity02.lc 23:13-23:22 V0->() 199testdata/language-features/basic-values/fixity02.lc 23:13-23:22 a_->()
200testdata/language-features/basic-values/fixity02.lc 23:13-23:38 () 200testdata/language-features/basic-values/fixity02.lc 23:13-23:38 ()
201testdata/language-features/basic-values/fixity02.lc 23:13-23:45 V0->V1 201testdata/language-features/basic-values/fixity02.lc 23:13-23:45 a_->b_
202testdata/language-features/basic-values/fixity02.lc 23:13-23:49 Float 202testdata/language-features/basic-values/fixity02.lc 23:13-23:49 Float
203testdata/language-features/basic-values/fixity02.lc 23:16-23:22 {a} -> {b} -> a -> b->a 203testdata/language-features/basic-values/fixity02.lc 23:16-23:22 {a} -> {b} -> a -> b->a
204testdata/language-features/basic-values/fixity02.lc 23:23-23:26 Char 204testdata/language-features/basic-values/fixity02.lc 23:23-23:26 Char
205testdata/language-features/basic-values/fixity02.lc 23:23-23:33 V0->Char 205testdata/language-features/basic-values/fixity02.lc 23:23-23:33 a_->Char
206testdata/language-features/basic-values/fixity02.lc 23:23-23:38 Char 206testdata/language-features/basic-values/fixity02.lc 23:23-23:38 Char
207testdata/language-features/basic-values/fixity02.lc 23:27-23:33 {a} -> {b} -> a -> b->a 207testdata/language-features/basic-values/fixity02.lc 23:27-23:33 {a} -> {b} -> a -> b->a
208testdata/language-features/basic-values/fixity02.lc 23:34-23:38 String 208testdata/language-features/basic-values/fixity02.lc 23:34-23:38 String
@@ -211,60 +211,60 @@ testdata/language-features/basic-values/fixity02.lc 23:46-23:49 Float
211testdata/language-features/basic-values/fixity02.lc 23:53-23:58 Type 211testdata/language-features/basic-values/fixity02.lc 23:53-23:58 Type
212testdata/language-features/basic-values/fixity02.lc 24:1-24:10 String 212testdata/language-features/basic-values/fixity02.lc 24:1-24:10 String
213testdata/language-features/basic-values/fixity02.lc 24:13-24:15 () 213testdata/language-features/basic-values/fixity02.lc 24:13-24:15 ()
214testdata/language-features/basic-values/fixity02.lc 24:13-24:22 V0->V1 214testdata/language-features/basic-values/fixity02.lc 24:13-24:22 a_->b_
215testdata/language-features/basic-values/fixity02.lc 24:13-24:49 String 215testdata/language-features/basic-values/fixity02.lc 24:13-24:49 String
216testdata/language-features/basic-values/fixity02.lc 24:16-24:22 {a} -> {b} -> a -> b->b 216testdata/language-features/basic-values/fixity02.lc 24:16-24:22 {a} -> {b} -> a -> b->b
217testdata/language-features/basic-values/fixity02.lc 24:23-24:26 Char 217testdata/language-features/basic-values/fixity02.lc 24:23-24:26 Char
218testdata/language-features/basic-values/fixity02.lc 24:23-24:33 V0->V1 218testdata/language-features/basic-values/fixity02.lc 24:23-24:33 a_->b_
219testdata/language-features/basic-values/fixity02.lc 24:23-24:49 String 219testdata/language-features/basic-values/fixity02.lc 24:23-24:49 String
220testdata/language-features/basic-values/fixity02.lc 24:27-24:33 {a} -> {b} -> a -> b->b 220testdata/language-features/basic-values/fixity02.lc 24:27-24:33 {a} -> {b} -> a -> b->b
221testdata/language-features/basic-values/fixity02.lc 24:34-24:38 String 221testdata/language-features/basic-values/fixity02.lc 24:34-24:38 String
222testdata/language-features/basic-values/fixity02.lc 24:34-24:45 V0->String 222testdata/language-features/basic-values/fixity02.lc 24:34-24:45 a_->String
223testdata/language-features/basic-values/fixity02.lc 24:34-24:49 String 223testdata/language-features/basic-values/fixity02.lc 24:34-24:49 String
224testdata/language-features/basic-values/fixity02.lc 24:39-24:45 {a} -> {b} -> a -> b->a 224testdata/language-features/basic-values/fixity02.lc 24:39-24:45 {a} -> {b} -> a -> b->a
225testdata/language-features/basic-values/fixity02.lc 24:46-24:49 Float 225testdata/language-features/basic-values/fixity02.lc 24:46-24:49 Float
226testdata/language-features/basic-values/fixity02.lc 24:53-24:59 Type 226testdata/language-features/basic-values/fixity02.lc 24:53-24:59 Type
227testdata/language-features/basic-values/fixity02.lc 25:1-25:10 Char 227testdata/language-features/basic-values/fixity02.lc 25:1-25:10 Char
228testdata/language-features/basic-values/fixity02.lc 25:13-25:15 () 228testdata/language-features/basic-values/fixity02.lc 25:13-25:15 ()
229testdata/language-features/basic-values/fixity02.lc 25:13-25:22 V0->V1 229testdata/language-features/basic-values/fixity02.lc 25:13-25:22 a_->b_
230testdata/language-features/basic-values/fixity02.lc 25:13-25:49 Char 230testdata/language-features/basic-values/fixity02.lc 25:13-25:49 Char
231testdata/language-features/basic-values/fixity02.lc 25:16-25:22 {a} -> {b} -> a -> b->b 231testdata/language-features/basic-values/fixity02.lc 25:16-25:22 {a} -> {b} -> a -> b->b
232testdata/language-features/basic-values/fixity02.lc 25:23-25:26 Char 232testdata/language-features/basic-values/fixity02.lc 25:23-25:26 Char
233testdata/language-features/basic-values/fixity02.lc 25:23-25:33 V0->Char 233testdata/language-features/basic-values/fixity02.lc 25:23-25:33 a_->Char
234testdata/language-features/basic-values/fixity02.lc 25:23-25:49 Char 234testdata/language-features/basic-values/fixity02.lc 25:23-25:49 Char
235testdata/language-features/basic-values/fixity02.lc 25:27-25:33 {a} -> {b} -> a -> b->a 235testdata/language-features/basic-values/fixity02.lc 25:27-25:33 {a} -> {b} -> a -> b->a
236testdata/language-features/basic-values/fixity02.lc 25:34-25:38 String 236testdata/language-features/basic-values/fixity02.lc 25:34-25:38 String
237testdata/language-features/basic-values/fixity02.lc 25:34-25:45 V0->String 237testdata/language-features/basic-values/fixity02.lc 25:34-25:45 a_->String
238testdata/language-features/basic-values/fixity02.lc 25:34-25:49 String 238testdata/language-features/basic-values/fixity02.lc 25:34-25:49 String
239testdata/language-features/basic-values/fixity02.lc 25:39-25:45 {a} -> {b} -> a -> b->a 239testdata/language-features/basic-values/fixity02.lc 25:39-25:45 {a} -> {b} -> a -> b->a
240testdata/language-features/basic-values/fixity02.lc 25:46-25:49 Float 240testdata/language-features/basic-values/fixity02.lc 25:46-25:49 Float
241testdata/language-features/basic-values/fixity02.lc 25:53-25:57 Type 241testdata/language-features/basic-values/fixity02.lc 25:53-25:57 Type
242testdata/language-features/basic-values/fixity02.lc 26:1-26:10 String 242testdata/language-features/basic-values/fixity02.lc 26:1-26:10 String
243testdata/language-features/basic-values/fixity02.lc 26:13-26:15 () 243testdata/language-features/basic-values/fixity02.lc 26:13-26:15 ()
244testdata/language-features/basic-values/fixity02.lc 26:13-26:22 V0->() 244testdata/language-features/basic-values/fixity02.lc 26:13-26:22 a_->()
245testdata/language-features/basic-values/fixity02.lc 26:13-26:26 () 245testdata/language-features/basic-values/fixity02.lc 26:13-26:26 ()
246testdata/language-features/basic-values/fixity02.lc 26:13-26:33 V0->V1 246testdata/language-features/basic-values/fixity02.lc 26:13-26:33 a_->b_
247testdata/language-features/basic-values/fixity02.lc 26:13-26:49 String 247testdata/language-features/basic-values/fixity02.lc 26:13-26:49 String
248testdata/language-features/basic-values/fixity02.lc 26:16-26:22 {a} -> {b} -> a -> b->a 248testdata/language-features/basic-values/fixity02.lc 26:16-26:22 {a} -> {b} -> a -> b->a
249testdata/language-features/basic-values/fixity02.lc 26:23-26:26 Char 249testdata/language-features/basic-values/fixity02.lc 26:23-26:26 Char
250testdata/language-features/basic-values/fixity02.lc 26:27-26:33 {a} -> {b} -> a -> b->b 250testdata/language-features/basic-values/fixity02.lc 26:27-26:33 {a} -> {b} -> a -> b->b
251testdata/language-features/basic-values/fixity02.lc 26:34-26:38 String 251testdata/language-features/basic-values/fixity02.lc 26:34-26:38 String
252testdata/language-features/basic-values/fixity02.lc 26:34-26:45 V0->String 252testdata/language-features/basic-values/fixity02.lc 26:34-26:45 a_->String
253testdata/language-features/basic-values/fixity02.lc 26:34-26:49 String 253testdata/language-features/basic-values/fixity02.lc 26:34-26:49 String
254testdata/language-features/basic-values/fixity02.lc 26:39-26:45 {a} -> {b} -> a -> b->a 254testdata/language-features/basic-values/fixity02.lc 26:39-26:45 {a} -> {b} -> a -> b->a
255testdata/language-features/basic-values/fixity02.lc 26:46-26:49 Float 255testdata/language-features/basic-values/fixity02.lc 26:46-26:49 Float
256testdata/language-features/basic-values/fixity02.lc 26:53-26:59 Type 256testdata/language-features/basic-values/fixity02.lc 26:53-26:59 Type
257testdata/language-features/basic-values/fixity02.lc 27:1-27:10 () 257testdata/language-features/basic-values/fixity02.lc 27:1-27:10 ()
258testdata/language-features/basic-values/fixity02.lc 27:13-27:15 () 258testdata/language-features/basic-values/fixity02.lc 27:13-27:15 ()
259testdata/language-features/basic-values/fixity02.lc 27:13-27:22 V0->() 259testdata/language-features/basic-values/fixity02.lc 27:13-27:22 a_->()
260testdata/language-features/basic-values/fixity02.lc 27:13-27:49 () 260testdata/language-features/basic-values/fixity02.lc 27:13-27:49 ()
261testdata/language-features/basic-values/fixity02.lc 27:16-27:22 {a} -> {b} -> a -> b->a 261testdata/language-features/basic-values/fixity02.lc 27:16-27:22 {a} -> {b} -> a -> b->a
262testdata/language-features/basic-values/fixity02.lc 27:23-27:26 Char 262testdata/language-features/basic-values/fixity02.lc 27:23-27:26 Char
263testdata/language-features/basic-values/fixity02.lc 27:23-27:33 V0->Char 263testdata/language-features/basic-values/fixity02.lc 27:23-27:33 a_->Char
264testdata/language-features/basic-values/fixity02.lc 27:23-27:49 Char 264testdata/language-features/basic-values/fixity02.lc 27:23-27:49 Char
265testdata/language-features/basic-values/fixity02.lc 27:27-27:33 {a} -> {b} -> a -> b->a 265testdata/language-features/basic-values/fixity02.lc 27:27-27:33 {a} -> {b} -> a -> b->a
266testdata/language-features/basic-values/fixity02.lc 27:34-27:38 String 266testdata/language-features/basic-values/fixity02.lc 27:34-27:38 String
267testdata/language-features/basic-values/fixity02.lc 27:34-27:45 V0->String 267testdata/language-features/basic-values/fixity02.lc 27:34-27:45 a_->String
268testdata/language-features/basic-values/fixity02.lc 27:34-27:49 String 268testdata/language-features/basic-values/fixity02.lc 27:34-27:49 String
269testdata/language-features/basic-values/fixity02.lc 27:39-27:45 {a} -> {b} -> a -> b->a 269testdata/language-features/basic-values/fixity02.lc 27:39-27:45 {a} -> {b} -> a -> b->a
270testdata/language-features/basic-values/fixity02.lc 27:46-27:49 Float 270testdata/language-features/basic-values/fixity02.lc 27:46-27:49 Float
diff --git a/testdata/language-features/basic-values/infix01.out b/testdata/language-features/basic-values/infix01.out
index 55e8165b..46bcea65 100644
--- a/testdata/language-features/basic-values/infix01.out
+++ b/testdata/language-features/basic-values/infix01.out
@@ -6,8 +6,8 @@ value :: {a} -> {b} -> a -> b->()
6testdata/language-features/basic-values/infix01.lc 1:1-1:4 {a} -> {b} -> a -> b->() 6testdata/language-features/basic-values/infix01.lc 1:1-1:4 {a} -> {b} -> a -> b->()
7testdata/language-features/basic-values/infix01.lc 1:11-1:13 () 7testdata/language-features/basic-values/infix01.lc 1:11-1:13 ()
8testdata/language-features/basic-values/infix01.lc 3:1-3:6 {a} -> {b} -> a -> b->() 8testdata/language-features/basic-values/infix01.lc 3:1-3:6 {a} -> {b} -> a -> b->()
9testdata/language-features/basic-values/infix01.lc 3:13-3:14 V5 9testdata/language-features/basic-values/infix01.lc 3:13-3:14 f_
10testdata/language-features/basic-values/infix01.lc 3:13-3:20 V0->() 10testdata/language-features/basic-values/infix01.lc 3:13-3:20 a_->()
11testdata/language-features/basic-values/infix01.lc 3:13-3:22 () 11testdata/language-features/basic-values/infix01.lc 3:13-3:22 ()
12testdata/language-features/basic-values/infix01.lc 3:15-3:20 {a} -> {b} -> a -> b->() 12testdata/language-features/basic-values/infix01.lc 3:15-3:20 {a} -> {b} -> a -> b->()
13testdata/language-features/basic-values/infix01.lc 3:21-3:22 V2 13testdata/language-features/basic-values/infix01.lc 3:21-3:22 c_
diff --git a/testdata/language-features/basic-values/infix02.out b/testdata/language-features/basic-values/infix02.out
index 4b8acbd9..ced1c18a 100644
--- a/testdata/language-features/basic-values/infix02.out
+++ b/testdata/language-features/basic-values/infix02.out
@@ -6,8 +6,8 @@ value :: {a} -> {b} -> {c} -> a -> b -> c->()
6testdata/language-features/basic-values/infix02.lc 1:1-1:4 {a} -> {b} -> {c} -> a -> b -> c->() 6testdata/language-features/basic-values/infix02.lc 1:1-1:4 {a} -> {b} -> {c} -> a -> b -> c->()
7testdata/language-features/basic-values/infix02.lc 1:13-1:15 () 7testdata/language-features/basic-values/infix02.lc 1:13-1:15 ()
8testdata/language-features/basic-values/infix02.lc 3:1-3:6 {a} -> {b} -> {c} -> a -> b -> c->() 8testdata/language-features/basic-values/infix02.lc 3:1-3:6 {a} -> {b} -> {c} -> a -> b -> c->()
9testdata/language-features/basic-values/infix02.lc 3:13-3:14 V6 9testdata/language-features/basic-values/infix02.lc 3:13-3:14 g_
10testdata/language-features/basic-values/infix02.lc 3:13-3:20 V1 -> V1->() 10testdata/language-features/basic-values/infix02.lc 3:13-3:20 b_ -> b_->()
11testdata/language-features/basic-values/infix02.lc 3:13-3:22 V0->() 11testdata/language-features/basic-values/infix02.lc 3:13-3:22 a_->()
12testdata/language-features/basic-values/infix02.lc 3:15-3:20 {a} -> {b} -> {c} -> a -> b -> c->() 12testdata/language-features/basic-values/infix02.lc 3:15-3:20 {a} -> {b} -> {c} -> a -> b -> c->()
13testdata/language-features/basic-values/infix02.lc 3:21-3:22 V3 13testdata/language-features/basic-values/infix02.lc 3:21-3:22 d_
diff --git a/testdata/language-features/basic-values/infix03.out b/testdata/language-features/basic-values/infix03.out
index e30cedb5..da5c00d2 100644
--- a/testdata/language-features/basic-values/infix03.out
+++ b/testdata/language-features/basic-values/infix03.out
@@ -20,14 +20,14 @@ testdata/language-features/basic-values/infix03.lc 2:13-2:15 Type
20testdata/language-features/basic-values/infix03.lc 2:16-2:18 Type 20testdata/language-features/basic-values/infix03.lc 2:16-2:18 Type
21testdata/language-features/basic-values/infix03.lc 2:19-2:21 Type 21testdata/language-features/basic-values/infix03.lc 2:19-2:21 Type
22testdata/language-features/basic-values/infix03.lc 4:1-4:3 () -> ()->D 22testdata/language-features/basic-values/infix03.lc 4:1-4:3 () -> ()->D
23testdata/language-features/basic-values/infix03.lc 4:10-4:11 V3 23testdata/language-features/basic-values/infix03.lc 4:10-4:11 d_
24testdata/language-features/basic-values/infix03.lc 4:10-4:16 ()->D 24testdata/language-features/basic-values/infix03.lc 4:10-4:16 ()->D
25testdata/language-features/basic-values/infix03.lc 4:10-4:18 D 25testdata/language-features/basic-values/infix03.lc 4:10-4:18 D
26testdata/language-features/basic-values/infix03.lc 4:12-4:16 () -> ()->D 26testdata/language-features/basic-values/infix03.lc 4:12-4:16 () -> ()->D
27testdata/language-features/basic-values/infix03.lc 4:17-4:18 V1 27testdata/language-features/basic-values/infix03.lc 4:17-4:18 b_
28testdata/language-features/basic-values/infix03.lc 6:1-6:3 () -> () -> ()->D 28testdata/language-features/basic-values/infix03.lc 6:1-6:3 () -> () -> ()->D
29testdata/language-features/basic-values/infix03.lc 6:10-6:11 V3 29testdata/language-features/basic-values/infix03.lc 6:10-6:11 d_
30testdata/language-features/basic-values/infix03.lc 6:10-6:16 () -> ()->D 30testdata/language-features/basic-values/infix03.lc 6:10-6:16 () -> ()->D
31testdata/language-features/basic-values/infix03.lc 6:10-6:18 ()->D 31testdata/language-features/basic-values/infix03.lc 6:10-6:18 ()->D
32testdata/language-features/basic-values/infix03.lc 6:12-6:16 () -> () -> ()->D 32testdata/language-features/basic-values/infix03.lc 6:12-6:16 () -> () -> ()->D
33testdata/language-features/basic-values/infix03.lc 6:17-6:18 V1 33testdata/language-features/basic-values/infix03.lc 6:17-6:18 b_
diff --git a/testdata/language-features/basic-values/lambda03.out b/testdata/language-features/basic-values/lambda03.out
index dcca4352..deb16da9 100644
--- a/testdata/language-features/basic-values/lambda03.out
+++ b/testdata/language-features/basic-values/lambda03.out
@@ -4,6 +4,6 @@ fun1 :: {a} -> {b} -> {c} -> a -> b -> c->b
4fun2 :: {a} -> {b} -> {c} -> {d} -> a -> b -> c -> d->a 4fun2 :: {a} -> {b} -> {c} -> {d} -> a -> b -> c -> d->a
5------------ tooltips 5------------ tooltips
6testdata/language-features/basic-values/lambda03.lc 1:1-1:5 {a} -> {b} -> {c} -> a -> b -> c->b 6testdata/language-features/basic-values/lambda03.lc 1:1-1:5 {a} -> {b} -> {c} -> a -> b -> c->b
7testdata/language-features/basic-values/lambda03.lc 1:22-1:23 V3 7testdata/language-features/basic-values/lambda03.lc 1:22-1:23 d_
8testdata/language-features/basic-values/lambda03.lc 2:1-2:5 {a} -> {b} -> {c} -> {d} -> a -> b -> c -> d->a 8testdata/language-features/basic-values/lambda03.lc 2:1-2:5 {a} -> {b} -> {c} -> {d} -> a -> b -> c -> d->a
9testdata/language-features/basic-values/lambda03.lc 2:25-2:26 V7 9testdata/language-features/basic-values/lambda03.lc 2:25-2:26 h_
diff --git a/testdata/language-features/basic-values/let01.out b/testdata/language-features/basic-values/let01.out
index dcee8381..da61b7a6 100644
--- a/testdata/language-features/basic-values/let01.out
+++ b/testdata/language-features/basic-values/let01.out
@@ -7,19 +7,19 @@ value4 :: {a} -> {_ : 'Num a}->a
7value5 :: {a} -> {_ : 'Num a}->a 7value5 :: {a} -> {_ : 'Num a}->a
8------------ tooltips 8------------ tooltips
9testdata/language-features/basic-values/let01.lc 1:1-1:7 {a} -> {_ : Num a}->a 9testdata/language-features/basic-values/let01.lc 1:1-1:7 {a} -> {_ : Num a}->a
10testdata/language-features/basic-values/let01.lc 1:18-1:19 V1 10testdata/language-features/basic-values/let01.lc 1:18-1:19 b_
11testdata/language-features/basic-values/let01.lc 1:23-1:24 V1 11testdata/language-features/basic-values/let01.lc 1:23-1:24 b_
12testdata/language-features/basic-values/let01.lc 3:1-3:7 {a} -> {_ : Num a}->a 12testdata/language-features/basic-values/let01.lc 3:1-3:7 {a} -> {_ : Num a}->a
13testdata/language-features/basic-values/let01.lc 4:11-4:12 V1 13testdata/language-features/basic-values/let01.lc 4:11-4:12 b_
14testdata/language-features/basic-values/let01.lc 5:6-5:7 V1 14testdata/language-features/basic-values/let01.lc 5:6-5:7 b_
15testdata/language-features/basic-values/let01.lc 7:1-7:7 {a} -> {_ : Num a}->a 15testdata/language-features/basic-values/let01.lc 7:1-7:7 {a} -> {_ : Num a}->a
16testdata/language-features/basic-values/let01.lc 8:11-8:12 V1 16testdata/language-features/basic-values/let01.lc 8:11-8:12 b_
17testdata/language-features/basic-values/let01.lc 9:11-9:14 Char 17testdata/language-features/basic-values/let01.lc 9:11-9:14 Char
18testdata/language-features/basic-values/let01.lc 10:6-10:7 V1 18testdata/language-features/basic-values/let01.lc 10:6-10:7 b_
19testdata/language-features/basic-values/let01.lc 12:1-12:7 {a} -> {_ : Num a}->a 19testdata/language-features/basic-values/let01.lc 12:1-12:7 {a} -> {_ : Num a}->a
20testdata/language-features/basic-values/let01.lc 12:18-12:19 V1 20testdata/language-features/basic-values/let01.lc 12:18-12:19 b_
21testdata/language-features/basic-values/let01.lc 13:13-13:14 V1 21testdata/language-features/basic-values/let01.lc 13:13-13:14 b_
22testdata/language-features/basic-values/let01.lc 15:1-15:7 {a} -> {_ : Num a}->a 22testdata/language-features/basic-values/let01.lc 15:1-15:7 {a} -> {_ : Num a}->a
23testdata/language-features/basic-values/let01.lc 15:18-15:19 V1 23testdata/language-features/basic-values/let01.lc 15:18-15:19 b_
24testdata/language-features/basic-values/let01.lc 16:18-16:19 V1 24testdata/language-features/basic-values/let01.lc 16:18-16:19 b_
25testdata/language-features/basic-values/let01.lc 17:13-17:14 V1 25testdata/language-features/basic-values/let01.lc 17:13-17:14 b_
diff --git a/testdata/language-features/basic-values/let02.out b/testdata/language-features/basic-values/let02.out
index cbbba1b1..164dd687 100644
--- a/testdata/language-features/basic-values/let02.out
+++ b/testdata/language-features/basic-values/let02.out
@@ -7,7 +7,7 @@ testdata/language-features/basic-values/let02.lc 2:11-2:13 ()
7testdata/language-features/basic-values/let02.lc 3:19-3:22 Char 7testdata/language-features/basic-values/let02.lc 3:19-3:22 Char
8testdata/language-features/basic-values/let02.lc 3:26-3:28 () 8testdata/language-features/basic-values/let02.lc 3:26-3:28 ()
9testdata/language-features/basic-values/let02.lc 5:17-5:19 () 9testdata/language-features/basic-values/let02.lc 5:17-5:19 ()
10testdata/language-features/basic-values/let02.lc 6:17-6:18 V1 10testdata/language-features/basic-values/let02.lc 6:17-6:18 b_
11testdata/language-features/basic-values/let02.lc 7:17-7:24 String 11testdata/language-features/basic-values/let02.lc 7:17-7:24 String
12testdata/language-features/basic-values/let02.lc 8:12-8:15 Char 12testdata/language-features/basic-values/let02.lc 8:12-8:15 Char
13testdata/language-features/basic-values/let02.lc 9:6-9:8 () 13testdata/language-features/basic-values/let02.lc 9:6-9:8 ()
diff --git a/testdata/language-features/basic-values/literal01.out b/testdata/language-features/basic-values/literal01.out
index 464eb78f..65202fb6 100644
--- a/testdata/language-features/basic-values/literal01.out
+++ b/testdata/language-features/basic-values/literal01.out
@@ -10,11 +10,11 @@ stringValue1 :: 'String
10stringValue2 :: 'String 10stringValue2 :: 'String
11------------ tooltips 11------------ tooltips
12testdata/language-features/basic-values/literal01.lc 1:1-1:10 {a} -> {_ : Num a}->a 12testdata/language-features/basic-values/literal01.lc 1:1-1:10 {a} -> {_ : Num a}->a
13testdata/language-features/basic-values/literal01.lc 1:13-1:14 V1 13testdata/language-features/basic-values/literal01.lc 1:13-1:14 b_
14testdata/language-features/basic-values/literal01.lc 2:1-2:10 {a} -> {_ : Num a}->a 14testdata/language-features/basic-values/literal01.lc 2:1-2:10 {a} -> {_ : Num a}->a
15testdata/language-features/basic-values/literal01.lc 2:13-2:14 V1 15testdata/language-features/basic-values/literal01.lc 2:13-2:14 b_
16testdata/language-features/basic-values/literal01.lc 3:1-3:10 {a} -> {_ : Num a}->a 16testdata/language-features/basic-values/literal01.lc 3:1-3:10 {a} -> {_ : Num a}->a
17testdata/language-features/basic-values/literal01.lc 3:13-3:18 V1 17testdata/language-features/basic-values/literal01.lc 3:13-3:18 b_
18testdata/language-features/basic-values/literal01.lc 5:1-5:12 Float 18testdata/language-features/basic-values/literal01.lc 5:1-5:12 Float
19testdata/language-features/basic-values/literal01.lc 5:15-5:18 Float 19testdata/language-features/basic-values/literal01.lc 5:15-5:18 Float
20testdata/language-features/basic-values/literal01.lc 6:1-6:12 Float 20testdata/language-features/basic-values/literal01.lc 6:1-6:12 Float
diff --git a/testdata/language-features/basic-values/operator05.out b/testdata/language-features/basic-values/operator05.out
index f5d25949..30bd0d85 100644
--- a/testdata/language-features/basic-values/operator05.out
+++ b/testdata/language-features/basic-values/operator05.out
@@ -5,7 +5,7 @@ value1 :: ()
5testdata/language-features/basic-values/operator05.lc 1:1-1:7 () 5testdata/language-features/basic-values/operator05.lc 1:1-1:7 ()
6testdata/language-features/basic-values/operator05.lc 1:24-1:26 () 6testdata/language-features/basic-values/operator05.lc 1:24-1:26 ()
7testdata/language-features/basic-values/operator05.lc 2:13-2:15 () 7testdata/language-features/basic-values/operator05.lc 2:13-2:15 ()
8testdata/language-features/basic-values/operator05.lc 2:13-2:19 V0->() 8testdata/language-features/basic-values/operator05.lc 2:13-2:19 a_->()
9testdata/language-features/basic-values/operator05.lc 2:13-2:22 () 9testdata/language-features/basic-values/operator05.lc 2:13-2:22 ()
10testdata/language-features/basic-values/operator05.lc 2:16-2:19 {a} -> {b} -> a -> b->() 10testdata/language-features/basic-values/operator05.lc 2:16-2:19 {a} -> {b} -> a -> b->()
11testdata/language-features/basic-values/operator05.lc 2:20-2:22 () 11testdata/language-features/basic-values/operator05.lc 2:20-2:22 ()
diff --git a/testdata/language-features/basic-values/operator06.out b/testdata/language-features/basic-values/operator06.out
index 863d2185..3aaac182 100644
--- a/testdata/language-features/basic-values/operator06.out
+++ b/testdata/language-features/basic-values/operator06.out
@@ -4,7 +4,7 @@ value1 :: ()
4------------ tooltips 4------------ tooltips
5testdata/language-features/basic-values/operator06.lc 1:1-1:7 () 5testdata/language-features/basic-values/operator06.lc 1:1-1:7 ()
6testdata/language-features/basic-values/operator06.lc 1:10-1:12 () 6testdata/language-features/basic-values/operator06.lc 1:10-1:12 ()
7testdata/language-features/basic-values/operator06.lc 1:10-1:16 V0->() 7testdata/language-features/basic-values/operator06.lc 1:10-1:16 a_->()
8testdata/language-features/basic-values/operator06.lc 1:10-1:19 () 8testdata/language-features/basic-values/operator06.lc 1:10-1:19 ()
9testdata/language-features/basic-values/operator06.lc 1:13-1:16 {a} -> {b} -> a -> b->() 9testdata/language-features/basic-values/operator06.lc 1:13-1:16 {a} -> {b} -> a -> b->()
10testdata/language-features/basic-values/operator06.lc 1:17-1:19 () 10testdata/language-features/basic-values/operator06.lc 1:17-1:19 ()
diff --git a/testdata/language-features/basic-values/shadowing01.out b/testdata/language-features/basic-values/shadowing01.out
index d210aa29..9208919f 100644
--- a/testdata/language-features/basic-values/shadowing01.out
+++ b/testdata/language-features/basic-values/shadowing01.out
@@ -5,7 +5,7 @@ value :: 'Char
5testdata/language-features/basic-values/shadowing01.lc 1:1-1:6 Char 5testdata/language-features/basic-values/shadowing01.lc 1:1-1:6 Char
6testdata/language-features/basic-values/shadowing01.lc 2:11-2:14 Char 6testdata/language-features/basic-values/shadowing01.lc 2:11-2:14 Char
7testdata/language-features/basic-values/shadowing01.lc 3:11-3:18 String 7testdata/language-features/basic-values/shadowing01.lc 3:11-3:18 String
8testdata/language-features/basic-values/shadowing01.lc 5:17-5:18 V1 8testdata/language-features/basic-values/shadowing01.lc 5:17-5:18 b_
9testdata/language-features/basic-values/shadowing01.lc 6:17-6:21 Float 9testdata/language-features/basic-values/shadowing01.lc 6:17-6:21 Float
10testdata/language-features/basic-values/shadowing01.lc 7:25-7:27 () 10testdata/language-features/basic-values/shadowing01.lc 7:25-7:27 ()
11testdata/language-features/basic-values/shadowing01.lc 8:25-8:28 Char 11testdata/language-features/basic-values/shadowing01.lc 8:25-8:28 Char
diff --git a/testdata/language-features/basic-values/shadowing02.out b/testdata/language-features/basic-values/shadowing02.out
index afc25b2a..22412fea 100644
--- a/testdata/language-features/basic-values/shadowing02.out
+++ b/testdata/language-features/basic-values/shadowing02.out
@@ -5,14 +5,14 @@ world :: 'String
5value2 :: 'Char 5value2 :: 'Char
6------------ tooltips 6------------ tooltips
7testdata/language-features/basic-values/shadowing02.lc 1:1-1:2 {a} -> {_ : Num a}->a 7testdata/language-features/basic-values/shadowing02.lc 1:1-1:2 {a} -> {_ : Num a}->a
8testdata/language-features/basic-values/shadowing02.lc 1:5-1:6 V1 8testdata/language-features/basic-values/shadowing02.lc 1:5-1:6 b_
9testdata/language-features/basic-values/shadowing02.lc 2:1-2:6 String 9testdata/language-features/basic-values/shadowing02.lc 2:1-2:6 String
10testdata/language-features/basic-values/shadowing02.lc 2:9-2:16 String 10testdata/language-features/basic-values/shadowing02.lc 2:9-2:16 String
11testdata/language-features/basic-values/shadowing02.lc 3:1-3:7 Char 11testdata/language-features/basic-values/shadowing02.lc 3:1-3:7 Char
12testdata/language-features/basic-values/shadowing02.lc 4:11-4:14 Char 12testdata/language-features/basic-values/shadowing02.lc 4:11-4:14 Char
13testdata/language-features/basic-values/shadowing02.lc 5:11-5:18 String 13testdata/language-features/basic-values/shadowing02.lc 5:11-5:18 String
14testdata/language-features/basic-values/shadowing02.lc 6:11-6:14 V1 14testdata/language-features/basic-values/shadowing02.lc 6:11-6:14 b_
15testdata/language-features/basic-values/shadowing02.lc 8:17-8:18 V1 15testdata/language-features/basic-values/shadowing02.lc 8:17-8:18 b_
16testdata/language-features/basic-values/shadowing02.lc 9:17-9:21 Float 16testdata/language-features/basic-values/shadowing02.lc 9:17-9:21 Float
17testdata/language-features/basic-values/shadowing02.lc 10:25-10:27 () 17testdata/language-features/basic-values/shadowing02.lc 10:25-10:27 ()
18testdata/language-features/basic-values/shadowing02.lc 11:25-11:28 Char 18testdata/language-features/basic-values/shadowing02.lc 11:25-11:28 Char
diff --git a/testdata/language-features/basic-values/tuple02.out b/testdata/language-features/basic-values/tuple02.out
index 8e1d6bab..01174cb2 100644
--- a/testdata/language-features/basic-values/tuple02.out
+++ b/testdata/language-features/basic-values/tuple02.out
@@ -5,8 +5,8 @@ tuple2 :: ((), ())
5tuple3 :: (('String, 'Char), ()) 5tuple3 :: (('String, 'Char), ())
6------------ tooltips 6------------ tooltips
7testdata/language-features/basic-values/tuple02.lc 1:1-1:7 {a} -> {_ : Num a}->(a, Float, Char, String, ()) 7testdata/language-features/basic-values/tuple02.lc 1:1-1:7 {a} -> {_ : Num a}->(a, Float, Char, String, ())
8testdata/language-features/basic-values/tuple02.lc 1:10-1:33 (V1, Float, Char, String, ()) 8testdata/language-features/basic-values/tuple02.lc 1:10-1:33 (b_, Float, Char, String, ())
9testdata/language-features/basic-values/tuple02.lc 1:11-1:12 V1 9testdata/language-features/basic-values/tuple02.lc 1:11-1:12 b_
10testdata/language-features/basic-values/tuple02.lc 1:13-1:16 Float 10testdata/language-features/basic-values/tuple02.lc 1:13-1:16 Float
11testdata/language-features/basic-values/tuple02.lc 1:13-1:32 (Float, Char, String, ()) 11testdata/language-features/basic-values/tuple02.lc 1:13-1:32 (Float, Char, String, ())
12testdata/language-features/basic-values/tuple02.lc 1:17-1:20 Char 12testdata/language-features/basic-values/tuple02.lc 1:17-1:20 Char
diff --git a/testdata/language-features/basic-values/typesig03.out b/testdata/language-features/basic-values/typesig03.out
index c5ab5ad8..17b588bb 100644
--- a/testdata/language-features/basic-values/typesig03.out
+++ b/testdata/language-features/basic-values/typesig03.out
@@ -3,21 +3,21 @@ main is not found
3fun1 :: {a} -> {b} -> {c} -> a -> b -> c->() 3fun1 :: {a} -> {b} -> {c} -> a -> b -> c->()
4fun2 :: {a} -> {b} -> {c} -> a -> b -> c->() 4fun2 :: {a} -> {b} -> {c} -> a -> b -> c->()
5------------ tooltips 5------------ tooltips
6testdata/language-features/basic-values/typesig03.lc 1:9-1:10 V5 6testdata/language-features/basic-values/typesig03.lc 1:9-1:10 f_
7testdata/language-features/basic-values/typesig03.lc 1:9-1:26 Type 7testdata/language-features/basic-values/typesig03.lc 1:9-1:26 Type
8testdata/language-features/basic-values/typesig03.lc 1:14-1:15 V4 8testdata/language-features/basic-values/typesig03.lc 1:14-1:15 e_
9testdata/language-features/basic-values/typesig03.lc 1:14-1:26 Type 9testdata/language-features/basic-values/typesig03.lc 1:14-1:26 Type
10testdata/language-features/basic-values/typesig03.lc 1:19-1:20 V3 10testdata/language-features/basic-values/typesig03.lc 1:19-1:20 d_
11testdata/language-features/basic-values/typesig03.lc 1:19-1:26 Type 11testdata/language-features/basic-values/typesig03.lc 1:19-1:26 Type
12testdata/language-features/basic-values/typesig03.lc 1:24-1:26 Type 12testdata/language-features/basic-values/typesig03.lc 1:24-1:26 Type
13testdata/language-features/basic-values/typesig03.lc 2:1-2:5 {a} -> {b} -> {c} -> a -> b -> c->() 13testdata/language-features/basic-values/typesig03.lc 2:1-2:5 {a} -> {b} -> {c} -> a -> b -> c->()
14testdata/language-features/basic-values/typesig03.lc 2:14-2:16 () | V2 -> V2 -> V2->() | V2 -> V2->() | V2->() 14testdata/language-features/basic-values/typesig03.lc 2:14-2:16 () | c_ -> c_ -> c_->() | c_ -> c_->() | c_->()
15testdata/language-features/basic-values/typesig03.lc 4:7-4:8 V5 15testdata/language-features/basic-values/typesig03.lc 4:7-4:8 f_
16testdata/language-features/basic-values/typesig03.lc 4:7-4:18 Type 16testdata/language-features/basic-values/typesig03.lc 4:7-4:18 Type
17testdata/language-features/basic-values/typesig03.lc 4:10-4:11 V4 17testdata/language-features/basic-values/typesig03.lc 4:10-4:11 e_
18testdata/language-features/basic-values/typesig03.lc 4:10-4:18 Type 18testdata/language-features/basic-values/typesig03.lc 4:10-4:18 Type
19testdata/language-features/basic-values/typesig03.lc 4:13-4:14 V3 19testdata/language-features/basic-values/typesig03.lc 4:13-4:14 d_
20testdata/language-features/basic-values/typesig03.lc 4:13-4:18 Type 20testdata/language-features/basic-values/typesig03.lc 4:13-4:18 Type
21testdata/language-features/basic-values/typesig03.lc 4:16-4:18 Type 21testdata/language-features/basic-values/typesig03.lc 4:16-4:18 Type
22testdata/language-features/basic-values/typesig03.lc 5:1-5:5 {a} -> {b} -> {c} -> a -> b -> c->() 22testdata/language-features/basic-values/typesig03.lc 5:1-5:5 {a} -> {b} -> {c} -> a -> b -> c->()
23testdata/language-features/basic-values/typesig03.lc 5:14-5:16 () | V2 -> V2 -> V2->() | V2 -> V2->() | V2->() 23testdata/language-features/basic-values/typesig03.lc 5:14-5:16 () | c_ -> c_ -> c_->() | c_ -> c_->() | c_->()
diff --git a/testdata/language-features/basic-values/typesig04.out b/testdata/language-features/basic-values/typesig04.out
index dafe7490..773e6f5a 100644
--- a/testdata/language-features/basic-values/typesig04.out
+++ b/testdata/language-features/basic-values/typesig04.out
@@ -3,19 +3,19 @@ main is not found
3fun1 :: {a} -> {b} -> {c} -> a -> b->c -> () 3fun1 :: {a} -> {b} -> {c} -> a -> b->c -> ()
4fun2 :: {a} -> {b} -> {c} -> a -> b->c -> () 4fun2 :: {a} -> {b} -> {c} -> a -> b->c -> ()
5------------ tooltips 5------------ tooltips
6testdata/language-features/basic-values/typesig04.lc 1:9-1:10 V5 6testdata/language-features/basic-values/typesig04.lc 1:9-1:10 f_
7testdata/language-features/basic-values/typesig04.lc 1:9-1:28 Type 7testdata/language-features/basic-values/typesig04.lc 1:9-1:28 Type
8testdata/language-features/basic-values/typesig04.lc 1:14-1:28 Type 8testdata/language-features/basic-values/typesig04.lc 1:14-1:28 Type
9testdata/language-features/basic-values/typesig04.lc 1:15-1:16 V4 9testdata/language-features/basic-values/typesig04.lc 1:15-1:16 e_
10testdata/language-features/basic-values/typesig04.lc 1:20-1:21 Type | V3 10testdata/language-features/basic-values/typesig04.lc 1:20-1:21 Type | d_
11testdata/language-features/basic-values/typesig04.lc 1:26-1:28 Type 11testdata/language-features/basic-values/typesig04.lc 1:26-1:28 Type
12testdata/language-features/basic-values/typesig04.lc 2:1-2:5 {a} -> {b} -> {c} -> a -> b->c -> () 12testdata/language-features/basic-values/typesig04.lc 2:1-2:5 {a} -> {b} -> {c} -> a -> b->c -> ()
13testdata/language-features/basic-values/typesig04.lc 2:12-2:14 () | V2 -> V2->V2 -> () | V2->V2 -> () 13testdata/language-features/basic-values/typesig04.lc 2:12-2:14 () | c_ -> c_->c_ -> () | c_->c_ -> ()
14testdata/language-features/basic-values/typesig04.lc 4:7-4:8 V5 14testdata/language-features/basic-values/typesig04.lc 4:7-4:8 f_
15testdata/language-features/basic-values/typesig04.lc 4:7-4:20 Type 15testdata/language-features/basic-values/typesig04.lc 4:7-4:20 Type
16testdata/language-features/basic-values/typesig04.lc 4:10-4:20 Type 16testdata/language-features/basic-values/typesig04.lc 4:10-4:20 Type
17testdata/language-features/basic-values/typesig04.lc 4:11-4:12 V4 17testdata/language-features/basic-values/typesig04.lc 4:11-4:12 e_
18testdata/language-features/basic-values/typesig04.lc 4:14-4:15 Type | V3 18testdata/language-features/basic-values/typesig04.lc 4:14-4:15 Type | d_
19testdata/language-features/basic-values/typesig04.lc 4:18-4:20 Type 19testdata/language-features/basic-values/typesig04.lc 4:18-4:20 Type
20testdata/language-features/basic-values/typesig04.lc 5:1-5:5 {a} -> {b} -> {c} -> a -> b->c -> () 20testdata/language-features/basic-values/typesig04.lc 5:1-5:5 {a} -> {b} -> {c} -> a -> b->c -> ()
21testdata/language-features/basic-values/typesig04.lc 5:12-5:14 () | V2 -> V2->V2 -> () | V2->V2 -> () 21testdata/language-features/basic-values/typesig04.lc 5:12-5:14 () | c_ -> c_->c_ -> () | c_->c_ -> ()
diff --git a/testdata/language-features/basic-values/typesig05.out b/testdata/language-features/basic-values/typesig05.out
index 07a8d216..3bd47db6 100644
--- a/testdata/language-features/basic-values/typesig05.out
+++ b/testdata/language-features/basic-values/typesig05.out
@@ -8,19 +8,19 @@ value3 :: 'Char
8value4 :: 'String 8value4 :: 'String
9------------ tooltips 9------------ tooltips
10testdata/language-features/basic-values/typesig05.lc 1:1-1:5 {a} -> {b} -> a -> b->a 10testdata/language-features/basic-values/typesig05.lc 1:1-1:5 {a} -> {b} -> a -> b->a
11testdata/language-features/basic-values/typesig05.lc 1:12-1:13 V3 11testdata/language-features/basic-values/typesig05.lc 1:12-1:13 d_
12testdata/language-features/basic-values/typesig05.lc 2:1-2:5 {a} -> {b} -> a -> b->b 12testdata/language-features/basic-values/typesig05.lc 2:1-2:5 {a} -> {b} -> a -> b->b
13testdata/language-features/basic-values/typesig05.lc 2:12-2:13 V1 13testdata/language-features/basic-values/typesig05.lc 2:12-2:13 b_
14testdata/language-features/basic-values/typesig05.lc 4:1-4:7 Char 14testdata/language-features/basic-values/typesig05.lc 4:1-4:7 Char
15testdata/language-features/basic-values/typesig05.lc 4:10-4:14 {a} -> {b} -> a -> b->a 15testdata/language-features/basic-values/typesig05.lc 4:10-4:14 {a} -> {b} -> a -> b->a
16testdata/language-features/basic-values/typesig05.lc 4:10-4:18 V0->Char 16testdata/language-features/basic-values/typesig05.lc 4:10-4:18 a_->Char
17testdata/language-features/basic-values/typesig05.lc 4:10-4:22 Char 17testdata/language-features/basic-values/typesig05.lc 4:10-4:22 Char
18testdata/language-features/basic-values/typesig05.lc 4:15-4:18 Char 18testdata/language-features/basic-values/typesig05.lc 4:15-4:18 Char
19testdata/language-features/basic-values/typesig05.lc 4:19-4:22 String 19testdata/language-features/basic-values/typesig05.lc 4:19-4:22 String
20testdata/language-features/basic-values/typesig05.lc 4:26-4:30 Type 20testdata/language-features/basic-values/typesig05.lc 4:26-4:30 Type
21testdata/language-features/basic-values/typesig05.lc 5:1-5:7 String 21testdata/language-features/basic-values/typesig05.lc 5:1-5:7 String
22testdata/language-features/basic-values/typesig05.lc 5:10-5:14 {a} -> {b} -> a -> b->b 22testdata/language-features/basic-values/typesig05.lc 5:10-5:14 {a} -> {b} -> a -> b->b
23testdata/language-features/basic-values/typesig05.lc 5:10-5:18 V0->V1 23testdata/language-features/basic-values/typesig05.lc 5:10-5:18 a_->b_
24testdata/language-features/basic-values/typesig05.lc 5:10-5:22 String 24testdata/language-features/basic-values/typesig05.lc 5:10-5:22 String
25testdata/language-features/basic-values/typesig05.lc 5:15-5:18 Char 25testdata/language-features/basic-values/typesig05.lc 5:15-5:18 Char
26testdata/language-features/basic-values/typesig05.lc 5:19-5:22 String 26testdata/language-features/basic-values/typesig05.lc 5:19-5:22 String
@@ -28,14 +28,14 @@ testdata/language-features/basic-values/typesig05.lc 5:26-5:32 Type
28testdata/language-features/basic-values/typesig05.lc 7:11-7:15 Type 28testdata/language-features/basic-values/typesig05.lc 7:11-7:15 Type
29testdata/language-features/basic-values/typesig05.lc 8:1-8:7 Char 29testdata/language-features/basic-values/typesig05.lc 8:1-8:7 Char
30testdata/language-features/basic-values/typesig05.lc 8:10-8:14 {a} -> {b} -> a -> b->a 30testdata/language-features/basic-values/typesig05.lc 8:10-8:14 {a} -> {b} -> a -> b->a
31testdata/language-features/basic-values/typesig05.lc 8:10-8:18 V0->Char 31testdata/language-features/basic-values/typesig05.lc 8:10-8:18 a_->Char
32testdata/language-features/basic-values/typesig05.lc 8:10-8:22 Char 32testdata/language-features/basic-values/typesig05.lc 8:10-8:22 Char
33testdata/language-features/basic-values/typesig05.lc 8:15-8:18 Char 33testdata/language-features/basic-values/typesig05.lc 8:15-8:18 Char
34testdata/language-features/basic-values/typesig05.lc 8:19-8:22 String 34testdata/language-features/basic-values/typesig05.lc 8:19-8:22 String
35testdata/language-features/basic-values/typesig05.lc 10:11-10:17 Type 35testdata/language-features/basic-values/typesig05.lc 10:11-10:17 Type
36testdata/language-features/basic-values/typesig05.lc 11:1-11:7 String 36testdata/language-features/basic-values/typesig05.lc 11:1-11:7 String
37testdata/language-features/basic-values/typesig05.lc 11:10-11:14 {a} -> {b} -> a -> b->b 37testdata/language-features/basic-values/typesig05.lc 11:10-11:14 {a} -> {b} -> a -> b->b
38testdata/language-features/basic-values/typesig05.lc 11:10-11:18 V0->V1 38testdata/language-features/basic-values/typesig05.lc 11:10-11:18 a_->b_
39testdata/language-features/basic-values/typesig05.lc 11:10-11:22 String 39testdata/language-features/basic-values/typesig05.lc 11:10-11:22 String
40testdata/language-features/basic-values/typesig05.lc 11:15-11:18 Char 40testdata/language-features/basic-values/typesig05.lc 11:15-11:18 Char
41testdata/language-features/basic-values/typesig05.lc 11:19-11:22 String 41testdata/language-features/basic-values/typesig05.lc 11:19-11:22 String
diff --git a/testdata/language-features/basic-values/typesig06.out b/testdata/language-features/basic-values/typesig06.out
index f9454255..74e9a83b 100644
--- a/testdata/language-features/basic-values/typesig06.out
+++ b/testdata/language-features/basic-values/typesig06.out
@@ -6,19 +6,19 @@ value1 :: 'String
6value2 :: 'String 6value2 :: 'String
7------------ tooltips 7------------ tooltips
8testdata/language-features/basic-values/typesig06.lc 1:1-1:5 {a} -> {b} -> a -> b->a 8testdata/language-features/basic-values/typesig06.lc 1:1-1:5 {a} -> {b} -> a -> b->a
9testdata/language-features/basic-values/typesig06.lc 1:12-1:13 V3 9testdata/language-features/basic-values/typesig06.lc 1:12-1:13 d_
10testdata/language-features/basic-values/typesig06.lc 2:3-2:5 {a} -> {b} -> a -> b->a 10testdata/language-features/basic-values/typesig06.lc 2:3-2:5 {a} -> {b} -> a -> b->a
11testdata/language-features/basic-values/typesig06.lc 2:10-2:11 V3 11testdata/language-features/basic-values/typesig06.lc 2:10-2:11 d_
12testdata/language-features/basic-values/typesig06.lc 4:1-4:7 String 12testdata/language-features/basic-values/typesig06.lc 4:1-4:7 String
13testdata/language-features/basic-values/typesig06.lc 4:10-4:14 String 13testdata/language-features/basic-values/typesig06.lc 4:10-4:14 String
14testdata/language-features/basic-values/typesig06.lc 4:10-4:17 V0->String 14testdata/language-features/basic-values/typesig06.lc 4:10-4:17 a_->String
15testdata/language-features/basic-values/typesig06.lc 4:10-4:21 String 15testdata/language-features/basic-values/typesig06.lc 4:10-4:21 String
16testdata/language-features/basic-values/typesig06.lc 4:15-4:17 {a} -> {b} -> a -> b->a 16testdata/language-features/basic-values/typesig06.lc 4:15-4:17 {a} -> {b} -> a -> b->a
17testdata/language-features/basic-values/typesig06.lc 4:18-4:21 Float 17testdata/language-features/basic-values/typesig06.lc 4:18-4:21 Float
18testdata/language-features/basic-values/typesig06.lc 4:25-4:31 Type 18testdata/language-features/basic-values/typesig06.lc 4:25-4:31 Type
19testdata/language-features/basic-values/typesig06.lc 5:1-5:7 String 19testdata/language-features/basic-values/typesig06.lc 5:1-5:7 String
20testdata/language-features/basic-values/typesig06.lc 5:10-5:14 String 20testdata/language-features/basic-values/typesig06.lc 5:10-5:14 String
21testdata/language-features/basic-values/typesig06.lc 5:10-5:21 V0->String 21testdata/language-features/basic-values/typesig06.lc 5:10-5:21 a_->String
22testdata/language-features/basic-values/typesig06.lc 5:10-5:25 String 22testdata/language-features/basic-values/typesig06.lc 5:10-5:25 String
23testdata/language-features/basic-values/typesig06.lc 5:15-5:21 {a} -> {b} -> a -> b->a 23testdata/language-features/basic-values/typesig06.lc 5:15-5:21 {a} -> {b} -> a -> b->a
24testdata/language-features/basic-values/typesig06.lc 5:22-5:25 Float 24testdata/language-features/basic-values/typesig06.lc 5:22-5:25 Float
diff --git a/testdata/language-features/basic-values/typesig07.out b/testdata/language-features/basic-values/typesig07.out
index a88c824d..705cd6f0 100644
--- a/testdata/language-features/basic-values/typesig07.out
+++ b/testdata/language-features/basic-values/typesig07.out
@@ -9,11 +9,11 @@ value6 :: () -> ()->()
9------------ tooltips 9------------ tooltips
10testdata/language-features/basic-values/typesig07.lc 1:27-1:30 Type 10testdata/language-features/basic-values/typesig07.lc 1:27-1:30 Type
11testdata/language-features/basic-values/typesig07.lc 3:1-3:7 Int 11testdata/language-features/basic-values/typesig07.lc 3:1-3:7 Int
12testdata/language-features/basic-values/typesig07.lc 3:10-3:11 V1 12testdata/language-features/basic-values/typesig07.lc 3:10-3:11 b_
13testdata/language-features/basic-values/typesig07.lc 4:1-4:7 Int 13testdata/language-features/basic-values/typesig07.lc 4:1-4:7 Int
14testdata/language-features/basic-values/typesig07.lc 4:10-4:11 V1 14testdata/language-features/basic-values/typesig07.lc 4:10-4:11 b_
15testdata/language-features/basic-values/typesig07.lc 5:1-5:7 Int 15testdata/language-features/basic-values/typesig07.lc 5:1-5:7 Int
16testdata/language-features/basic-values/typesig07.lc 5:10-5:11 V1 16testdata/language-features/basic-values/typesig07.lc 5:10-5:11 b_
17testdata/language-features/basic-values/typesig07.lc 8:12-8:14 Type 17testdata/language-features/basic-values/typesig07.lc 8:12-8:14 Type
18testdata/language-features/basic-values/typesig07.lc 8:18-8:20 Type 18testdata/language-features/basic-values/typesig07.lc 8:18-8:20 Type
19testdata/language-features/basic-values/typesig07.lc 8:18-8:26 Type 19testdata/language-features/basic-values/typesig07.lc 8:18-8:26 Type
diff --git a/testdata/language-features/basic-values/typesyn02.out b/testdata/language-features/basic-values/typesyn02.out
index 657f3fef..e1d50e47 100644
--- a/testdata/language-features/basic-values/typesyn02.out
+++ b/testdata/language-features/basic-values/typesyn02.out
@@ -5,10 +5,10 @@ fun :: {a} -> a -> ()->()
5------------ tooltips 5------------ tooltips
6testdata/language-features/basic-values/typesyn02.lc 1:6-1:12 Type 6testdata/language-features/basic-values/typesyn02.lc 1:6-1:12 Type
7testdata/language-features/basic-values/typesyn02.lc 1:15-1:17 Type 7testdata/language-features/basic-values/typesyn02.lc 1:15-1:17 Type
8testdata/language-features/basic-values/typesyn02.lc 3:8-3:9 V1 8testdata/language-features/basic-values/typesyn02.lc 3:8-3:9 b_
9testdata/language-features/basic-values/typesyn02.lc 3:8-3:29 Type 9testdata/language-features/basic-values/typesyn02.lc 3:8-3:29 Type
10testdata/language-features/basic-values/typesyn02.lc 3:13-3:19 Type 10testdata/language-features/basic-values/typesyn02.lc 3:13-3:19 Type
11testdata/language-features/basic-values/typesyn02.lc 3:13-3:29 Type 11testdata/language-features/basic-values/typesyn02.lc 3:13-3:29 Type
12testdata/language-features/basic-values/typesyn02.lc 3:23-3:29 Type 12testdata/language-features/basic-values/typesyn02.lc 3:23-3:29 Type
13testdata/language-features/basic-values/typesyn02.lc 4:1-4:4 {a} -> a -> ()->() 13testdata/language-features/basic-values/typesyn02.lc 4:1-4:4 {a} -> a -> ()->()
14testdata/language-features/basic-values/typesyn02.lc 4:12-4:14 () | ()->() | V0 -> ()->() 14testdata/language-features/basic-values/typesyn02.lc 4:12-4:14 () | ()->() | a_ -> ()->()
diff --git a/testdata/language-features/basic-values/where05.out b/testdata/language-features/basic-values/where05.out
index b730c962..72af1e72 100644
--- a/testdata/language-features/basic-values/where05.out
+++ b/testdata/language-features/basic-values/where05.out
@@ -7,28 +7,28 @@ value4 :: {a} -> {_ : 'Eq a} -> {_ : 'Num a}->()
7------------ tooltips 7------------ tooltips
8testdata/language-features/basic-values/where05.lc 1:1-1:7 {a} -> {_ : Eq a} -> {_ : Num a}->() 8testdata/language-features/basic-values/where05.lc 1:1-1:7 {a} -> {_ : Eq a} -> {_ : Num a}->()
9testdata/language-features/basic-values/where05.lc 1:10-3:10 () 9testdata/language-features/basic-values/where05.lc 1:10-3:10 ()
10testdata/language-features/basic-values/where05.lc 1:15-1:16 V1 10testdata/language-features/basic-values/where05.lc 1:15-1:16 b_
11testdata/language-features/basic-values/where05.lc 2:8-2:9 () 11testdata/language-features/basic-values/where05.lc 2:8-2:9 ()
12testdata/language-features/basic-values/where05.lc 2:8-3:10 Bool->() 12testdata/language-features/basic-values/where05.lc 2:8-3:10 Bool->()
13testdata/language-features/basic-values/where05.lc 2:20-2:22 () 13testdata/language-features/basic-values/where05.lc 2:20-2:22 ()
14testdata/language-features/basic-values/where05.lc 3:8-3:10 () 14testdata/language-features/basic-values/where05.lc 3:8-3:10 ()
15testdata/language-features/basic-values/where05.lc 5:1-5:7 {a} -> {_ : Eq a} -> {_ : Num a}->() 15testdata/language-features/basic-values/where05.lc 5:1-5:7 {a} -> {_ : Eq a} -> {_ : Num a}->()
16testdata/language-features/basic-values/where05.lc 5:10-8:10 () 16testdata/language-features/basic-values/where05.lc 5:10-8:10 ()
17testdata/language-features/basic-values/where05.lc 5:15-5:16 V1 17testdata/language-features/basic-values/where05.lc 5:15-5:16 b_
18testdata/language-features/basic-values/where05.lc 6:8-6:9 () 18testdata/language-features/basic-values/where05.lc 6:8-6:9 ()
19testdata/language-features/basic-values/where05.lc 6:8-8:10 Bool->() 19testdata/language-features/basic-values/where05.lc 6:8-8:10 Bool->()
20testdata/language-features/basic-values/where05.lc 7:14-7:16 () 20testdata/language-features/basic-values/where05.lc 7:14-7:16 ()
21testdata/language-features/basic-values/where05.lc 8:8-8:10 () 21testdata/language-features/basic-values/where05.lc 8:8-8:10 ()
22testdata/language-features/basic-values/where05.lc 10:1-10:7 {a} -> {_ : Eq a} -> {_ : Num a}->() 22testdata/language-features/basic-values/where05.lc 10:1-10:7 {a} -> {_ : Eq a} -> {_ : Num a}->()
23testdata/language-features/basic-values/where05.lc 10:10-14:10 () 23testdata/language-features/basic-values/where05.lc 10:10-14:10 ()
24testdata/language-features/basic-values/where05.lc 10:15-10:16 V1 24testdata/language-features/basic-values/where05.lc 10:15-10:16 b_
25testdata/language-features/basic-values/where05.lc 11:8-11:9 () 25testdata/language-features/basic-values/where05.lc 11:8-11:9 ()
26testdata/language-features/basic-values/where05.lc 11:8-14:10 Bool->() 26testdata/language-features/basic-values/where05.lc 11:8-14:10 Bool->()
27testdata/language-features/basic-values/where05.lc 13:8-13:10 () 27testdata/language-features/basic-values/where05.lc 13:8-13:10 ()
28testdata/language-features/basic-values/where05.lc 14:8-14:10 () 28testdata/language-features/basic-values/where05.lc 14:8-14:10 ()
29testdata/language-features/basic-values/where05.lc 16:1-16:7 {a} -> {_ : Eq a} -> {_ : Num a}->() 29testdata/language-features/basic-values/where05.lc 16:1-16:7 {a} -> {_ : Eq a} -> {_ : Num a}->()
30testdata/language-features/basic-values/where05.lc 16:10-18:10 () 30testdata/language-features/basic-values/where05.lc 16:10-18:10 ()
31testdata/language-features/basic-values/where05.lc 16:15-16:16 V1 31testdata/language-features/basic-values/where05.lc 16:15-16:16 b_
32testdata/language-features/basic-values/where05.lc 17:8-17:9 () 32testdata/language-features/basic-values/where05.lc 17:8-17:9 ()
33testdata/language-features/basic-values/where05.lc 17:8-18:10 Bool->() 33testdata/language-features/basic-values/where05.lc 17:8-18:10 Bool->()
34testdata/language-features/basic-values/where05.lc 18:8-18:10 () 34testdata/language-features/basic-values/where05.lc 18:8-18:10 ()
diff --git a/testdata/language-features/guard/guard11.out b/testdata/language-features/guard/guard11.out
index ccfb6079..8c5ea30b 100644
--- a/testdata/language-features/guard/guard11.out
+++ b/testdata/language-features/guard/guard11.out
@@ -3,7 +3,7 @@ main is not found
3fun :: 'Bool->'String 3fun :: 'Bool->'String
4------------ tooltips 4------------ tooltips
5testdata/language-features/guard/guard11.lc 1:1-1:4 Bool->String 5testdata/language-features/guard/guard11.lc 1:1-1:4 Bool->String
6testdata/language-features/guard/guard11.lc 2:5-2:6 V1 6testdata/language-features/guard/guard11.lc 2:5-2:6 b_
7testdata/language-features/guard/guard11.lc 2:5-3:24 String 7testdata/language-features/guard/guard11.lc 2:5-3:24 String
8testdata/language-features/guard/guard11.lc 2:9-2:15 String 8testdata/language-features/guard/guard11.lc 2:9-2:15 String
9testdata/language-features/guard/guard11.lc 2:9-3:24 Bool->String 9testdata/language-features/guard/guard11.lc 2:9-3:24 Bool->String
diff --git a/testdata/language-features/guard/guard13.out b/testdata/language-features/guard/guard13.out
index 57230369..dc689b1e 100644
--- a/testdata/language-features/guard/guard13.out
+++ b/testdata/language-features/guard/guard13.out
@@ -3,7 +3,7 @@ main is not found
3fun :: 'Bool->() 3fun :: 'Bool->()
4------------ tooltips 4------------ tooltips
5testdata/language-features/guard/guard13.lc 1:1-1:4 Bool->() 5testdata/language-features/guard/guard13.lc 1:1-1:4 Bool->()
6testdata/language-features/guard/guard13.lc 1:7-1:8 V1 6testdata/language-features/guard/guard13.lc 1:7-1:8 b_
7testdata/language-features/guard/guard13.lc 1:7-1:24 () 7testdata/language-features/guard/guard13.lc 1:7-1:24 ()
8testdata/language-features/guard/guard13.lc 1:9-1:11 () 8testdata/language-features/guard/guard13.lc 1:9-1:11 ()
9testdata/language-features/guard/guard13.lc 1:9-1:24 Bool->() 9testdata/language-features/guard/guard13.lc 1:9-1:24 Bool->()
diff --git a/testdata/language-features/guard/guard16.out b/testdata/language-features/guard/guard16.out
index a8f7f183..e1e6fd18 100644
--- a/testdata/language-features/guard/guard16.out
+++ b/testdata/language-features/guard/guard16.out
@@ -4,7 +4,7 @@ value :: {a} -> {_ : 'Eq a} -> {_ : 'Num a}->()
4------------ tooltips 4------------ tooltips
5testdata/language-features/guard/guard16.lc 1:1-1:6 {a} -> {_ : Eq a} -> {_ : Num a}->() 5testdata/language-features/guard/guard16.lc 1:1-1:6 {a} -> {_ : Eq a} -> {_ : Num a}->()
6testdata/language-features/guard/guard16.lc 1:9-3:10 () 6testdata/language-features/guard/guard16.lc 1:9-3:10 ()
7testdata/language-features/guard/guard16.lc 1:14-1:15 V1 7testdata/language-features/guard/guard16.lc 1:14-1:15 b_
8testdata/language-features/guard/guard16.lc 2:7-2:11 Bool 8testdata/language-features/guard/guard16.lc 2:7-2:11 Bool
9testdata/language-features/guard/guard16.lc 2:7-3:10 () 9testdata/language-features/guard/guard16.lc 2:7-3:10 ()
10testdata/language-features/guard/guard16.lc 2:15-2:17 () 10testdata/language-features/guard/guard16.lc 2:15-2:17 ()
diff --git a/testdata/language-features/module/import09.out b/testdata/language-features/module/import09.out
index 3c192c4d..77ac024a 100644
--- a/testdata/language-features/module/import09.out
+++ b/testdata/language-features/module/import09.out
@@ -2,10 +2,10 @@ main is not found
2------------ trace 2------------ trace
3fun :: {a} -> a -> ()->() 3fun :: {a} -> a -> ()->()
4------------ tooltips 4------------ tooltips
5testdata/language-features/module/import09.lc 3:8-3:9 V1 5testdata/language-features/module/import09.lc 3:8-3:9 b_
6testdata/language-features/module/import09.lc 3:8-3:29 Type 6testdata/language-features/module/import09.lc 3:8-3:29 Type
7testdata/language-features/module/import09.lc 3:13-3:19 Type 7testdata/language-features/module/import09.lc 3:13-3:19 Type
8testdata/language-features/module/import09.lc 3:13-3:29 Type 8testdata/language-features/module/import09.lc 3:13-3:29 Type
9testdata/language-features/module/import09.lc 3:23-3:29 Type 9testdata/language-features/module/import09.lc 3:23-3:29 Type
10testdata/language-features/module/import09.lc 4:1-4:4 {a} -> a -> ()->() 10testdata/language-features/module/import09.lc 4:1-4:4 {a} -> a -> ()->()
11testdata/language-features/module/import09.lc 4:12-4:14 () | ()->() | V0 -> ()->() 11testdata/language-features/module/import09.lc 4:12-4:14 () | ()->() | a_ -> ()->()
diff --git a/testdata/language-features/pattern/uncovered.out b/testdata/language-features/pattern/uncovered.out
index aa3d6536..5434c818 100644
--- a/testdata/language-features/pattern/uncovered.out
+++ b/testdata/language-features/pattern/uncovered.out
@@ -3,12 +3,12 @@ main is not found
3f :: {a} -> {_ : 'Num a} -> 'Bool -> 'Bool -> 'Bool->a 3f :: {a} -> {_ : 'Num a} -> 'Bool -> 'Bool -> 'Bool->a
4------------ tooltips 4------------ tooltips
5testdata/language-features/pattern/uncovered.lc 4:1-4:2 {a} -> {_ : Num a} -> Bool -> Bool -> Bool->a 5testdata/language-features/pattern/uncovered.lc 4:1-4:2 {a} -> {_ : Num a} -> Bool -> Bool -> Bool->a
6testdata/language-features/pattern/uncovered.lc 4:18-4:19 V1 6testdata/language-features/pattern/uncovered.lc 4:18-4:19 b_
7testdata/language-features/pattern/uncovered.lc 4:18-5:19 Bool->V3 | V2 7testdata/language-features/pattern/uncovered.lc 4:18-5:19 Bool->d_ | c_
8testdata/language-features/pattern/uncovered.lc 4:18-6:19 Bool->V3 8testdata/language-features/pattern/uncovered.lc 4:18-6:19 Bool->d_
9testdata/language-features/pattern/uncovered.lc 5:18-5:19 V1 | V2 9testdata/language-features/pattern/uncovered.lc 5:18-5:19 b_ | c_
10testdata/language-features/pattern/uncovered.lc 5:18-6:19 Bool->V3 | V1 10testdata/language-features/pattern/uncovered.lc 5:18-6:19 Bool->d_ | b_
11testdata/language-features/pattern/uncovered.lc 6:18-6:19 V1 11testdata/language-features/pattern/uncovered.lc 6:18-6:19 b_
12------------ warnings 12------------ warnings
13Uncovered pattern(s) at testdata/language-features/pattern/uncovered.lc:4:1: 13Uncovered pattern(s) at testdata/language-features/pattern/uncovered.lc:4:1:
14f _ True False = 0 14f _ True False = 0
diff --git a/testdata/language-features/recursion/simplerec01.out b/testdata/language-features/recursion/simplerec01.out
index 3359c95c..fd6f16c4 100644
--- a/testdata/language-features/recursion/simplerec01.out
+++ b/testdata/language-features/recursion/simplerec01.out
@@ -4,6 +4,6 @@ fun :: {a} -> {_ : 'Num a} -> {_ : 'Eq a} -> {_ : 'Num a} -> a->'Char
4------------ tooltips 4------------ tooltips
5testdata/language-features/recursion/simplerec01.lc 1:1-1:4 {a} -> {_ : Num a} -> {_ : Eq a} -> {_ : Num a} -> a->Char 5testdata/language-features/recursion/simplerec01.lc 1:1-1:4 {a} -> {_ : Num a} -> {_ : Eq a} -> {_ : Num a} -> a->Char
6testdata/language-features/recursion/simplerec01.lc 1:9-1:12 Char 6testdata/language-features/recursion/simplerec01.lc 1:9-1:12 Char
7testdata/language-features/recursion/simplerec01.lc 1:9-2:14 Bool->Char | V0->V1 7testdata/language-features/recursion/simplerec01.lc 1:9-2:14 Bool->Char | a_->b_
8testdata/language-features/recursion/simplerec01.lc 2:9-2:12 V4 8testdata/language-features/recursion/simplerec01.lc 2:9-2:12 e_
9testdata/language-features/recursion/simplerec01.lc 2:13-2:14 V1 9testdata/language-features/recursion/simplerec01.lc 2:13-2:14 b_
diff --git a/testdata/language-features/recursion/simplerec02.out b/testdata/language-features/recursion/simplerec02.out
index 7f15bef6..0d2d20b6 100644
--- a/testdata/language-features/recursion/simplerec02.out
+++ b/testdata/language-features/recursion/simplerec02.out
@@ -4,7 +4,7 @@ value :: ()
4------------ tooltips 4------------ tooltips
5testdata/language-features/recursion/simplerec02.lc 1:1-1:6 () 5testdata/language-features/recursion/simplerec02.lc 1:1-1:6 ()
6testdata/language-features/recursion/simplerec02.lc 1:21-1:24 Char 6testdata/language-features/recursion/simplerec02.lc 1:21-1:24 Char
7testdata/language-features/recursion/simplerec02.lc 1:21-2:26 Bool->Char | V0->V1 7testdata/language-features/recursion/simplerec02.lc 1:21-2:26 Bool->Char | a_->b_
8testdata/language-features/recursion/simplerec02.lc 2:21-2:24 V4 8testdata/language-features/recursion/simplerec02.lc 2:21-2:24 e_
9testdata/language-features/recursion/simplerec02.lc 2:25-2:26 V1 9testdata/language-features/recursion/simplerec02.lc 2:25-2:26 b_
10testdata/language-features/recursion/simplerec02.lc 3:12-3:14 () 10testdata/language-features/recursion/simplerec02.lc 3:12-3:14 ()
diff --git a/testdata/language-features/recursion/simplerec03.out b/testdata/language-features/recursion/simplerec03.out
index a4b0473e..9a1a3bb2 100644
--- a/testdata/language-features/recursion/simplerec03.out
+++ b/testdata/language-features/recursion/simplerec03.out
@@ -5,6 +5,6 @@ value :: ()
5testdata/language-features/recursion/simplerec03.lc 1:1-1:6 () 5testdata/language-features/recursion/simplerec03.lc 1:1-1:6 ()
6testdata/language-features/recursion/simplerec03.lc 1:9-1:11 () 6testdata/language-features/recursion/simplerec03.lc 1:9-1:11 ()
7testdata/language-features/recursion/simplerec03.lc 3:13-3:16 Char 7testdata/language-features/recursion/simplerec03.lc 3:13-3:16 Char
8testdata/language-features/recursion/simplerec03.lc 3:13-4:18 Bool->Char | V0->V1 8testdata/language-features/recursion/simplerec03.lc 3:13-4:18 Bool->Char | a_->b_
9testdata/language-features/recursion/simplerec03.lc 4:13-4:16 V4 9testdata/language-features/recursion/simplerec03.lc 4:13-4:16 e_
10testdata/language-features/recursion/simplerec03.lc 4:17-4:18 V1 10testdata/language-features/recursion/simplerec03.lc 4:17-4:18 b_
diff --git a/testdata/language-features/section/section01.out b/testdata/language-features/section/section01.out
index 26e5dd1b..e33ef53b 100644
--- a/testdata/language-features/section/section01.out
+++ b/testdata/language-features/section/section01.out
@@ -7,10 +7,10 @@ value2 :: {a} -> {b} -> a -> b->()
7testdata/language-features/section/section01.lc 1:3-1:6 {a} -> {b} -> a -> b->() 7testdata/language-features/section/section01.lc 1:3-1:6 {a} -> {b} -> a -> b->()
8testdata/language-features/section/section01.lc 1:11-1:13 () 8testdata/language-features/section/section01.lc 1:11-1:13 ()
9testdata/language-features/section/section01.lc 3:1-3:7 {a} -> {b} -> a -> b->() 9testdata/language-features/section/section01.lc 3:1-3:7 {a} -> {b} -> a -> b->()
10testdata/language-features/section/section01.lc 3:13-3:14 V5 10testdata/language-features/section/section01.lc 3:13-3:14 f_
11testdata/language-features/section/section01.lc 3:13-3:18 V0->() 11testdata/language-features/section/section01.lc 3:13-3:18 a_->()
12testdata/language-features/section/section01.lc 3:15-3:18 {a} -> {b} -> a -> b->() 12testdata/language-features/section/section01.lc 3:15-3:18 {a} -> {b} -> a -> b->()
13testdata/language-features/section/section01.lc 5:1-5:7 {a} -> {b} -> a -> b->() 13testdata/language-features/section/section01.lc 5:1-5:7 {a} -> {b} -> a -> b->()
14testdata/language-features/section/section01.lc 5:13-5:16 {a} -> {b} -> a -> b->() 14testdata/language-features/section/section01.lc 5:13-5:16 {a} -> {b} -> a -> b->()
15testdata/language-features/section/section01.lc 5:13-5:18 () 15testdata/language-features/section/section01.lc 5:13-5:18 ()
16testdata/language-features/section/section01.lc 5:17-5:18 V4 16testdata/language-features/section/section01.lc 5:17-5:18 e_
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 20:25:33 +0000