summaryrefslogtreecommitdiff
path: root/testdata/language-features/basic-values
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-05-13 22:48:03 +0200
committerPéter Diviánszky <divipp@gmail.com>2016-05-13 22:48:17 +0200
commit8f2e602cada9141b653802cf1084b9bdfd6e0d06 (patch)
treec1351e9fcb0341af482f8da4a8859e2046445188 /testdata/language-features/basic-values
parent8ac42fa1bccb554de833ea7d8070cb5112e01aee (diff)
refactoring & fix build
Diffstat (limited to 'testdata/language-features/basic-values')
-rw-r--r--testdata/language-features/basic-values/bool01.out8
-rw-r--r--testdata/language-features/basic-values/case01.out48
-rw-r--r--testdata/language-features/basic-values/case02.out28
-rw-r--r--testdata/language-features/basic-values/case03.reject.out14
-rw-r--r--testdata/language-features/basic-values/case04.reject.out8
-rw-r--r--testdata/language-features/basic-values/case05.out10
-rw-r--r--testdata/language-features/basic-values/case06.out12
-rw-r--r--testdata/language-features/basic-values/data01.out34
-rw-r--r--testdata/language-features/basic-values/data02.reject.out4
-rw-r--r--testdata/language-features/basic-values/data03.reject.out2
-rw-r--r--testdata/language-features/basic-values/def01.out12
-rw-r--r--testdata/language-features/basic-values/def02.reject.out4
-rw-r--r--testdata/language-features/basic-values/def03.out10
-rw-r--r--testdata/language-features/basic-values/def04.out24
-rw-r--r--testdata/language-features/basic-values/def05.reject.out6
-rw-r--r--testdata/language-features/basic-values/def06.reject.out6
-rw-r--r--testdata/language-features/basic-values/def07.reject.out28
-rw-r--r--testdata/language-features/basic-values/deforder01.out8
-rw-r--r--testdata/language-features/basic-values/deforder02.out8
-rw-r--r--testdata/language-features/basic-values/deforder03.out8
-rw-r--r--testdata/language-features/basic-values/deforder04.out8
-rw-r--r--testdata/language-features/basic-values/deforder05.out8
-rw-r--r--testdata/language-features/basic-values/deforder06.out8
-rw-r--r--testdata/language-features/basic-values/fixity01.out16
-rw-r--r--testdata/language-features/basic-values/fixity02.out496
-rw-r--r--testdata/language-features/basic-values/if01.out24
-rw-r--r--testdata/language-features/basic-values/if03.reject.out10
-rw-r--r--testdata/language-features/basic-values/if04.reject.out12
-rw-r--r--testdata/language-features/basic-values/indentation01.out8
-rw-r--r--testdata/language-features/basic-values/indentation02.out8
-rw-r--r--testdata/language-features/basic-values/indentation03.reject.out4
-rw-r--r--testdata/language-features/basic-values/indentation04.reject.out4
-rw-r--r--testdata/language-features/basic-values/infix01.out16
-rw-r--r--testdata/language-features/basic-values/infix02.out16
-rw-r--r--testdata/language-features/basic-values/infix03.out46
-rw-r--r--testdata/language-features/basic-values/infix04.reject.out4
-rw-r--r--testdata/language-features/basic-values/lambda01.out16
-rw-r--r--testdata/language-features/basic-values/lambda02.reject.out4
-rw-r--r--testdata/language-features/basic-values/lambda03.out8
-rw-r--r--testdata/language-features/basic-values/let01.out34
-rw-r--r--testdata/language-features/basic-values/let02.out18
-rw-r--r--testdata/language-features/basic-values/literal01.out32
-rw-r--r--testdata/language-features/basic-values/operator01.out16
-rw-r--r--testdata/language-features/basic-values/operator02.reject.out20
-rw-r--r--testdata/language-features/basic-values/operator03.reject.out4
-rw-r--r--testdata/language-features/basic-values/operator04.reject.out4
-rw-r--r--testdata/language-features/basic-values/operator05.out14
-rw-r--r--testdata/language-features/basic-values/operator06.out14
-rw-r--r--testdata/language-features/basic-values/operator07.reject.out4
-rw-r--r--testdata/language-features/basic-values/operator08.reject.out4
-rw-r--r--testdata/language-features/basic-values/redefine01.reject.out20
-rw-r--r--testdata/language-features/basic-values/redefine02.reject.out6
-rw-r--r--testdata/language-features/basic-values/redefine03.reject.out6
-rw-r--r--testdata/language-features/basic-values/shadowing01.out22
-rw-r--r--testdata/language-features/basic-values/shadowing02.out34
-rw-r--r--testdata/language-features/basic-values/shadowing03.out4
-rw-r--r--testdata/language-features/basic-values/shadowing04.out4
-rw-r--r--testdata/language-features/basic-values/tuple01.out4
-rw-r--r--testdata/language-features/basic-values/tuple02.out40
-rw-r--r--testdata/language-features/basic-values/typesig01.out12
-rw-r--r--testdata/language-features/basic-values/typesig02.out12
-rw-r--r--testdata/language-features/basic-values/typesig03.out36
-rw-r--r--testdata/language-features/basic-values/typesig04.out32
-rw-r--r--testdata/language-features/basic-values/typesig05.out64
-rw-r--r--testdata/language-features/basic-values/typesig06.out36
-rw-r--r--testdata/language-features/basic-values/typesig07.out34
-rw-r--r--testdata/language-features/basic-values/typesig08.reject.out4
-rw-r--r--testdata/language-features/basic-values/typesig09.reject.out4
-rw-r--r--testdata/language-features/basic-values/typesyn01.out4
-rw-r--r--testdata/language-features/basic-values/typesyn02.out18
-rw-r--r--testdata/language-features/basic-values/typesyn03.reject.out16
-rw-r--r--testdata/language-features/basic-values/typesyn04.reject.out16
-rw-r--r--testdata/language-features/basic-values/where01.out72
-rw-r--r--testdata/language-features/basic-values/where02.reject.out4
-rw-r--r--testdata/language-features/basic-values/where03.reject.out4
-rw-r--r--testdata/language-features/basic-values/where04.out24
-rw-r--r--testdata/language-features/basic-values/where05.out56
-rw-r--r--testdata/language-features/basic-values/where06.reject.out6
-rw-r--r--testdata/language-features/basic-values/wildcard01.out4
79 files changed, 880 insertions, 880 deletions
diff --git a/testdata/language-features/basic-values/bool01.out b/testdata/language-features/basic-values/bool01.out
index 2ff3bc18..ba701cf3 100644
--- a/testdata/language-features/basic-values/bool01.out
+++ b/testdata/language-features/basic-values/bool01.out
@@ -10,11 +10,11 @@ value1 = _rhs True
10value2 :: Bool 10value2 :: Bool
11value2 = _rhs False 11value2 = _rhs False
12------------ tooltips 12------------ tooltips
13bool01.lc 1:1-1:7 131:1-1:7
14 Bool 14 Bool
15bool01.lc 1:10-1:14 151:10-1:14
16 Bool 16 Bool
17bool01.lc 2:1-2:7 172:1-2:7
18 Bool 18 Bool
19bool01.lc 2:10-2:15 192:10-2:15
20 Bool \ No newline at end of file 20 Bool \ No newline at end of file
diff --git a/testdata/language-features/basic-values/case01.out b/testdata/language-features/basic-values/case01.out
index f807abb9..b444ef05 100644
--- a/testdata/language-features/basic-values/case01.out
+++ b/testdata/language-features/basic-values/case01.out
@@ -30,51 +30,51 @@ value5 = _rhs ()
30value6 :: () 30value6 :: ()
31value6 = _rhs () 31value6 = _rhs ()
32------------ tooltips 32------------ tooltips
33case01.lc 1:1-1:7 331:1-1:7
34 () 34 ()
35case01.lc 1:10-1:29 351:10-1:29
36 () 36 ()
37case01.lc 1:15-1:17 371:15-1:17
38 () 38 ()
39case01.lc 1:27-1:29 391:27-1:29
40 () 40 ()
41case01.lc 3:1-3:7 413:1-3:7
42 () 42 ()
43case01.lc 3:10-4:11 433:10-4:11
44 () 44 ()
45case01.lc 3:15-3:17 453:15-3:17
46 () 46 ()
47case01.lc 4:9-4:11 474:9-4:11
48 () 48 ()
49case01.lc 6:1-6:7 496:1-6:7
50 () 50 ()
51case01.lc 7:3-8:13 517:3-8:13
52 () 52 ()
53case01.lc 7:8-7:10 537:8-7:10
54 () 54 ()
55case01.lc 8:11-8:13 558:11-8:13
56 () 56 ()
57case01.lc 10:1-10:7 5710:1-10:7
58 () 58 ()
59case01.lc 11:3-13:9 5911:3-13:9
60 () 60 ()
61case01.lc 11:8-11:10 6111:8-11:10
62 () 62 ()
63case01.lc 13:7-13:9 6313:7-13:9
64 () 64 ()
65case01.lc 15:1-15:7 6515:1-15:7
66 () 66 ()
67case01.lc 16:3-19:11 6716:3-19:11
68 () 68 ()
69case01.lc 16:8-16:10 6916:8-16:10
70 () 70 ()
71case01.lc 19:9-19:11 7119:9-19:11
72 () 72 ()
73case01.lc 21:1-21:7 7321:1-21:7
74 () 74 ()
75case01.lc 22:3-23:12 7522:3-23:12
76 () 76 ()
77case01.lc 22:8-22:10 7722:8-22:10
78 () 78 ()
79case01.lc 23:10-23:12 7923:10-23:12
80 () \ No newline at end of file 80 () \ No newline at end of file
diff --git a/testdata/language-features/basic-values/case02.out b/testdata/language-features/basic-values/case02.out
index b0a99d85..50c92c35 100644
--- a/testdata/language-features/basic-values/case02.out
+++ b/testdata/language-features/basic-values/case02.out
@@ -31,31 +31,31 @@ value2
31 "1" 31 "1"
32 ((a == d) (fromInt a e 1) (fromInt a e 2))) 32 ((a == d) (fromInt a e 1) (fromInt a e 2)))
33------------ tooltips 33------------ tooltips
34case02.lc 1:1-1:7 341:1-1:7
35 forall a . (Eq a, Num a) => () 35 forall a . (Eq a, Num a) => ()
36case02.lc 1:10-3:10 361:10-3:10
37 () 37 ()
38case02.lc 1:15-1:16 381:15-1:16
39 _b 39 _b
40case02.lc 2:8-2:10 402:8-2:10
41 () 41 ()
42case02.lc 2:8-3:10 422:8-3:10
43 Bool -> () 43 Bool -> ()
44case02.lc 3:8-3:10 443:8-3:10
45 () 45 ()
46case02.lc 5:1-5:7 465:1-5:7
47 forall a . (Eq a, Num a, Eq a, Num a) => String 47 forall a . (Eq a, Num a, Eq a, Num a) => String
48case02.lc 5:10-8:11 485:10-8:11
49 String 49 String
50case02.lc 5:15-5:16 505:15-5:16
51 _b 51 _b
52case02.lc 6:8-6:11 526:8-6:11
53 String 53 String
54case02.lc 6:8-8:11 546:8-8:11
55 Bool -> String 55 Bool -> String
56case02.lc 7:8-7:11 567:8-7:11
57 String 57 String
58case02.lc 7:8-8:11 587:8-8:11
59 Bool -> String | String 59 Bool -> String | String
60case02.lc 8:8-8:11 608:8-8:11
61 String \ No newline at end of file 61 String \ No newline at end of file
diff --git a/testdata/language-features/basic-values/case03.reject.out b/testdata/language-features/basic-values/case03.reject.out
index 64c21552..6b8de667 100644
--- a/testdata/language-features/basic-values/case03.reject.out
+++ b/testdata/language-features/basic-values/case03.reject.out
@@ -1,22 +1,22 @@
1type error: no instance of 'Num on ??? 1type error: no instance of 'Num on ???
2in case03.reject.lc:1:10: 2in ./testdata/language-features/basic-values/case03.reject.lc:1:10:
3value1 = case () of 3value1 = case () of
4 1 -> () 4 1 -> ()
5 _ -> () 5 _ -> ()
6------------ trace 6------------ trace
7!type error: no instance of 'Num on ??? 7!type error: no instance of 'Num on ???
8in case03.reject.lc:1:10: 8in ./testdata/language-features/basic-values/case03.reject.lc:1:10:
9value1 = case () of 9value1 = case () of
10 1 -> () 10 1 -> ()
11 _ -> () 11 _ -> ()
12------------ tooltips 12------------ tooltips
13case03.reject.lc 1:10-3:10 131:10-3:10
14 () 14 ()
15case03.reject.lc 1:15-1:17 151:15-1:17
16 () 16 ()
17case03.reject.lc 2:8-2:10 172:8-2:10
18 () 18 ()
19case03.reject.lc 2:8-3:10 192:8-3:10
20 Bool -> () 20 Bool -> ()
21case03.reject.lc 3:8-3:10 213:8-3:10
22 () \ No newline at end of file 22 () \ No newline at end of file
diff --git a/testdata/language-features/basic-values/case04.reject.out b/testdata/language-features/basic-values/case04.reject.out
index 1eb0690b..849980c2 100644
--- a/testdata/language-features/basic-values/case04.reject.out
+++ b/testdata/language-features/basic-values/case04.reject.out
@@ -2,7 +2,7 @@ type error: can not unify
2 () 2 ()
3with 3with
4 Char 4 Char
5in case04.reject.lc:2:8: 5in ./testdata/language-features/basic-values/case04.reject.lc:2:8:
6 1 -> '1' 6 1 -> '1'
7 ^^^ 7 ^^^
8------------ trace 8------------ trace
@@ -10,11 +10,11 @@ in case04.reject.lc:2:8:
10 () 10 ()
11with 11with
12 Char 12 Char
13in case04.reject.lc:2:8: 13in ./testdata/language-features/basic-values/case04.reject.lc:2:8:
14 1 -> '1' 14 1 -> '1'
15 ^^^ 15 ^^^
16------------ tooltips 16------------ tooltips
17case04.reject.lc 2:8-2:11 172:8-2:11
18 Char 18 Char
19case04.reject.lc 3:8-3:10 193:8-3:10
20 () \ No newline at end of file 20 () \ No newline at end of file
diff --git a/testdata/language-features/basic-values/case05.out b/testdata/language-features/basic-values/case05.out
index d6494cf2..6b7a4bf2 100644
--- a/testdata/language-features/basic-values/case05.out
+++ b/testdata/language-features/basic-values/case05.out
@@ -11,16 +11,16 @@ value
11 = \a b c d -> _rhs 11 = \a b c d -> _rhs
12 (case'Bool (\_ -> 'Char) (undefined 'Char) '1' ((a == b) (fromInt a c 1) d)) 12 (case'Bool (\_ -> 'Char) (undefined 'Char) '1' ((a == b) (fromInt a c 1) d))
13------------ tooltips 13------------ tooltips
14case05.lc 1:1-1:6 141:1-1:6
15 forall a . (Eq a, Num a) => a -> Char 15 forall a . (Eq a, Num a) => a -> Char
16case05.lc 1:11-2:11 161:11-2:11
17 Char 17 Char
18case05.lc 1:16-1:17 181:16-1:17
19 _e 19 _e
20case05.lc 2:8-2:11 202:8-2:11
21 Char 21 Char
22------------ warnings 22------------ warnings
23Uncovered pattern(s) at case05.lc:1:16: 23Uncovered pattern(s) at ./testdata/language-features/basic-values/case05.lc:1:16:
24value x = case x of 24value x = case x of
25 ^ 25 ^
26Missing case(s): 26Missing case(s):
diff --git a/testdata/language-features/basic-values/case06.out b/testdata/language-features/basic-values/case06.out
index c69a1cbb..14288773 100644
--- a/testdata/language-features/basic-values/case06.out
+++ b/testdata/language-features/basic-values/case06.out
@@ -11,15 +11,15 @@ value
11 = \a b c d -> _rhs 11 = \a b c d -> _rhs
12 (case'Bool (\_ -> 'Char) '_' '1' ((a == b) (fromInt a c 1) d)) 12 (case'Bool (\_ -> 'Char) '_' '1' ((a == b) (fromInt a c 1) d))
13------------ tooltips 13------------ tooltips
14case06.lc 1:1-1:6 141:1-1:6
15 forall a . (Eq a, Num a) => a -> Char 15 forall a . (Eq a, Num a) => a -> Char
16case06.lc 1:11-3:11 161:11-3:11
17 Char 17 Char
18case06.lc 1:16-1:17 181:16-1:17
19 _e 19 _e
20case06.lc 2:8-2:11 202:8-2:11
21 Char 21 Char
22case06.lc 2:8-3:11 222:8-3:11
23 Bool -> Char 23 Bool -> Char
24case06.lc 3:8-3:11 243:8-3:11
25 Char \ No newline at end of file 25 Char \ No newline at end of file
diff --git a/testdata/language-features/basic-values/data01.out b/testdata/language-features/basic-values/data01.out
index 026fc8ac..3d11a96f 100644
--- a/testdata/language-features/basic-values/data01.out
+++ b/testdata/language-features/basic-values/data01.out
@@ -74,37 +74,37 @@ match'D1 = \a b c d -> <<type case function>>
74match'E :: forall (a :: Type -> Type) -> a E -> forall b -> a b -> a b 74match'E :: forall (a :: Type -> Type) -> a E -> forall b -> a b -> a b
75match'E = \a b c d -> <<type case function>> 75match'E = \a b c d -> <<type case function>>
76------------ tooltips 76------------ tooltips
77data01.lc 1:6-1:7 771:6-1:7
78 Type | Type | Type | Type | Type | Type | Type 78 Type | Type | Type | Type | Type | Type | Type
79data01.lc 1:6-1:13 791:6-1:13
80 Type | Type | Type 80 Type | Type | Type
81data01.lc 1:8-1:9 811:8-1:9
82 A 82 A
83data01.lc 1:10-1:11 831:10-1:11
84 A 84 A
85data01.lc 1:12-1:13 851:12-1:13
86 A 86 A
87data01.lc 3:6-3:7 873:6-3:7
88 Type | Type | Type | Type | Type | Type | Type | Type 88 Type | Type | Type | Type | Type | Type | Type | Type
89data01.lc 3:6-3:22 893:6-3:22
90 Type | Type | Type 90 Type | Type | Type
91data01.lc 3:10-3:11 913:10-3:11
92 E 92 E
93data01.lc 3:14-3:15 933:14-3:15
94 () -> E | E | Type | Type 94 () -> E | E | Type | Type
95data01.lc 3:16-3:18 953:16-3:18
96 Type 96 Type
97data01.lc 3:21-3:22 973:21-3:22
98 E 98 E
99data01.lc 5:6-5:8 995:6-5:8
100 Type | Type | Type | Type | Type | Type | Type | Type 100 Type | Type | Type | Type | Type | Type | Type | Type
101data01.lc 5:6-6:13 1015:6-6:13
102 Type | Type | Type 102 Type | Type | Type
103data01.lc 5:9-5:11 1035:9-5:11
104 D1 104 D1
105data01.lc 6:5-6:7 1056:5-6:7
106 () -> D1 | D1 | Type | Type 106 () -> D1 | D1 | Type | Type
107data01.lc 6:7-6:9 1076:7-6:9
108 Type 108 Type
109data01.lc 6:11-6:13 1096:11-6:13
110 D1 \ No newline at end of file 110 D1 \ No newline at end of file
diff --git a/testdata/language-features/basic-values/data02.reject.out b/testdata/language-features/basic-values/data02.reject.out
index 79a9e6cd..2b7044fe 100644
--- a/testdata/language-features/basic-values/data02.reject.out
+++ b/testdata/language-features/basic-values/data02.reject.out
@@ -1,3 +1,3 @@
1testdata/language-features/basic-values/data02.reject.lc:1:6: 1./testdata/language-features/basic-values/data02.reject.lc:1:6:
2unexpected 'd' 2unexpected 'd'
3expecting uppercase ident 3expecting uppercase ident \ No newline at end of file
diff --git a/testdata/language-features/basic-values/data03.reject.out b/testdata/language-features/basic-values/data03.reject.out
index 2769951d..9ca460e9 100644
--- a/testdata/language-features/basic-values/data03.reject.out
+++ b/testdata/language-features/basic-values/data03.reject.out
@@ -1,3 +1,3 @@
1testdata/language-features/basic-values/data03.reject.lc:1:10: 1./testdata/language-features/basic-values/data03.reject.lc:1:10:
2unexpected 'd' 2unexpected 'd'
3expecting '(' or uppercase ident \ No newline at end of file 3expecting '(' or uppercase ident \ No newline at end of file
diff --git a/testdata/language-features/basic-values/def01.out b/testdata/language-features/basic-values/def01.out
index 77eb7749..db50c5c4 100644
--- a/testdata/language-features/basic-values/def01.out
+++ b/testdata/language-features/basic-values/def01.out
@@ -15,15 +15,15 @@ fun2 = \a b c d e _ _ _ _ _ -> _rhs 'c'
15unit :: () 15unit :: ()
16unit = _rhs () 16unit = _rhs ()
17------------ tooltips 17------------ tooltips
18def01.lc 1:1-1:5 181:1-1:5
19 () 19 ()
20def01.lc 1:8-1:10 201:8-1:10
21 () 21 ()
22def01.lc 3:1-3:5 223:1-3:5
23 forall a b . Num b => a -> b 23 forall a b . Num b => a -> b
24def01.lc 3:10-3:11 243:10-3:11
25 _b 25 _b
26def01.lc 5:1-5:5 265:1-5:5
27 forall a b c d e . a -> b -> c -> d -> e -> Char 27 forall a b c d e . a -> b -> c -> d -> e -> Char
28def01.lc 5:18-5:21 285:18-5:21
29 Char \ No newline at end of file 29 Char \ No newline at end of file
diff --git a/testdata/language-features/basic-values/def02.reject.out b/testdata/language-features/basic-values/def02.reject.out
index ebe02235..66e682c3 100644
--- a/testdata/language-features/basic-values/def02.reject.out
+++ b/testdata/language-features/basic-values/def02.reject.out
@@ -1,8 +1,8 @@
1multiple pattern vars: 1multiple pattern vars:
2x is defined at 2x is defined at
3def02.reject.lc:1:6: 3./testdata/language-features/basic-values/def02.reject.lc:1:6:
4fun1 x x = 'c' 4fun1 x x = 'c'
5 ^ 5 ^
6def02.reject.lc:1:8: 6./testdata/language-features/basic-values/def02.reject.lc:1:8:
7fun1 x x = 'c' 7fun1 x x = 'c'
8 ^ \ No newline at end of file 8 ^ \ No newline at end of file
diff --git a/testdata/language-features/basic-values/def03.out b/testdata/language-features/basic-values/def03.out
index 8b6f38a7..77a6a57e 100644
--- a/testdata/language-features/basic-values/def03.out
+++ b/testdata/language-features/basic-values/def03.out
@@ -21,16 +21,16 @@ fun
21 (_rhs '1') 21 (_rhs '1')
22 ((a == d) (fromInt a e 1) f) 22 ((a == d) (fromInt a e 1) f)
23------------ tooltips 23------------ tooltips
24def03.lc 1:1-1:4 241:1-1:4
25 forall a . (Eq a, Num a, Eq a, Num a) => a -> Char 25 forall a . (Eq a, Num a, Eq a, Num a) => a -> Char
26def03.lc 1:9-1:12 261:9-1:12
27 Char 27 Char
28def03.lc 1:9-2:12 281:9-2:12
29 Bool -> Char 29 Bool -> Char
30def03.lc 2:9-2:12 302:9-2:12
31 Char | Char 31 Char | Char
32------------ warnings 32------------ warnings
33Uncovered pattern(s) at def03.lc:1:1: 33Uncovered pattern(s) at ./testdata/language-features/basic-values/def03.lc:1:1:
34fun 1 = '1' 34fun 1 = '1'
35fun 2 = '2' 35fun 2 = '2'
36Missing case(s): 36Missing case(s):
diff --git a/testdata/language-features/basic-values/def04.out b/testdata/language-features/basic-values/def04.out
index 08854519..785ffdac 100644
--- a/testdata/language-features/basic-values/def04.out
+++ b/testdata/language-features/basic-values/def04.out
@@ -34,27 +34,27 @@ fun2
34 (_rhs '1') 34 (_rhs '1')
35 ((a == e) (fromInt a f 1) g) 35 ((a == e) (fromInt a f 1) g)
36------------ tooltips 36------------ tooltips
37def04.lc 1:1-1:4 371:1-1:4
38 forall a . (Eq a, Num a, Eq a, Num a) => a -> Char 38 forall a . (Eq a, Num a, Eq a, Num a) => a -> Char
39def04.lc 1:9-1:12 391:9-1:12
40 Char 40 Char
41def04.lc 1:9-3:12 411:9-3:12
42 Bool -> Char 42 Bool -> Char
43def04.lc 2:9-2:12 432:9-2:12
44 Char 44 Char
45def04.lc 2:9-3:12 452:9-3:12
46 Bool -> Char | Char 46 Bool -> Char | Char
47def04.lc 3:9-3:12 473:9-3:12
48 Char 48 Char
49def04.lc 5:1-5:5 495:1-5:5
50 forall a b . (Eq a, Num a, Eq a, Num a) => a -> b -> Char 50 forall a b . (Eq a, Num a, Eq a, Num a) => a -> b -> Char
51def04.lc 5:12-5:15 515:12-5:15
52 Char 52 Char
53def04.lc 5:12-7:15 535:12-7:15
54 Bool -> Char 54 Bool -> Char
55def04.lc 6:12-6:15 556:12-6:15
56 Char 56 Char
57def04.lc 6:12-7:15 576:12-7:15
58 Bool -> Char | Char 58 Bool -> Char | Char
59def04.lc 7:12-7:15 597:12-7:15
60 Char \ No newline at end of file 60 Char \ No newline at end of file
diff --git a/testdata/language-features/basic-values/def05.reject.out b/testdata/language-features/basic-values/def05.reject.out
index 2add70ca..33dd70d0 100644
--- a/testdata/language-features/basic-values/def05.reject.out
+++ b/testdata/language-features/basic-values/def05.reject.out
@@ -1,8 +1,8 @@
1testdata/language-features/basic-values/def05.reject.lc:4:1: 1./testdata/language-features/basic-values/def05.reject.lc:4:1:
2different number of arguments of fun: 2different number of arguments of fun:
3def05.reject.lc:1:1: 3./testdata/language-features/basic-values/def05.reject.lc:1:1:
4fun 1 = '1' 4fun 1 = '1'
5^^^ 5^^^
6def05.reject.lc:3:1: 6./testdata/language-features/basic-values/def05.reject.lc:3:1:
7fun = '_' 7fun = '_'
8^^^ \ No newline at end of file 8^^^ \ No newline at end of file
diff --git a/testdata/language-features/basic-values/def06.reject.out b/testdata/language-features/basic-values/def06.reject.out
index 1d0402dc..bc0146e9 100644
--- a/testdata/language-features/basic-values/def06.reject.out
+++ b/testdata/language-features/basic-values/def06.reject.out
@@ -1,8 +1,8 @@
1testdata/language-features/basic-values/def06.reject.lc:5:1: 1./testdata/language-features/basic-values/def06.reject.lc:5:1:
2different number of arguments of fun2: 2different number of arguments of fun2:
3def06.reject.lc:1:1: 3./testdata/language-features/basic-values/def06.reject.lc:1:1:
4fun2 1 _ = '1' 4fun2 1 _ = '1'
5^^^^ 5^^^^
6def06.reject.lc:3:1: 6./testdata/language-features/basic-values/def06.reject.lc:3:1:
7fun2 _ = '_' 7fun2 _ = '_'
8^^^^ \ No newline at end of file 8^^^^ \ No newline at end of file
diff --git a/testdata/language-features/basic-values/def07.reject.out b/testdata/language-features/basic-values/def07.reject.out
index 59c56627..ab876045 100644
--- a/testdata/language-features/basic-values/def07.reject.out
+++ b/testdata/language-features/basic-values/def07.reject.out
@@ -1,43 +1,43 @@
1already defined fun at def07.reject.lc:4:1: 1already defined fun at ./testdata/language-features/basic-values/def07.reject.lc:4:1:
2fun _ = '_' 2fun _ = '_'
3^^^ 3^^^
4and at def07.reject.lc:1:1: 4and at ./testdata/language-features/basic-values/def07.reject.lc:1:1:
5fun 1 = '1' 5fun 1 = '1'
6^^^ 6^^^
7------------ trace 7------------ trace
8fun :: forall a . (Eq a, Num a, Eq a, Num a) => a -> Char 8fun :: forall a . (Eq a, Num a, Eq a, Num a) => a -> Char
9fun2 :: forall a b . (Eq a, Num a) => a -> b -> Char 9fun2 :: forall a b . (Eq a, Num a) => a -> b -> Char
10fun :: forall a . a -> Char 10fun :: forall a . a -> Char
11!already defined fun at def07.reject.lc:4:1: 11!already defined fun at ./testdata/language-features/basic-values/def07.reject.lc:4:1:
12fun _ = '_' 12fun _ = '_'
13^^^ 13^^^
14and at def07.reject.lc:1:1: 14and at ./testdata/language-features/basic-values/def07.reject.lc:1:1:
15fun 1 = '1' 15fun 1 = '1'
16^^^ 16^^^
17------------ tooltips 17------------ tooltips
18def07.reject.lc 1:1-1:4 181:1-1:4
19 forall a . (Eq a, Num a, Eq a, Num a) => a -> Char 19 forall a . (Eq a, Num a, Eq a, Num a) => a -> Char
20def07.reject.lc 1:9-1:12 201:9-1:12
21 Char 21 Char
22def07.reject.lc 1:9-2:12 221:9-2:12
23 Bool -> Char 23 Bool -> Char
24def07.reject.lc 2:9-2:12 242:9-2:12
25 Char | Char 25 Char | Char
26def07.reject.lc 3:1-3:5 263:1-3:5
27 forall a b . (Eq a, Num a) => a -> b -> Char 27 forall a b . (Eq a, Num a) => a -> b -> Char
28def07.reject.lc 3:12-3:15 283:12-3:15
29 Char 29 Char
30def07.reject.lc 4:1-4:4 304:1-4:4
31 forall a . a -> Char 31 forall a . a -> Char
32def07.reject.lc 4:9-4:12 324:9-4:12
33 Char 33 Char
34------------ warnings 34------------ warnings
35Uncovered pattern(s) at def07.reject.lc:1:1: 35Uncovered pattern(s) at ./testdata/language-features/basic-values/def07.reject.lc:1:1:
36fun 1 = '1' 36fun 1 = '1'
37fun 2 = '2' 37fun 2 = '2'
38Missing case(s): 38Missing case(s):
39 fun _ | False <- fromInt 1 == _a, False <- fromInt 2 == _a 39 fun _ | False <- fromInt 1 == _a, False <- fromInt 2 == _a
40Uncovered pattern(s) at def07.reject.lc:3:1: 40Uncovered pattern(s) at ./testdata/language-features/basic-values/def07.reject.lc:3:1:
41fun2 1 _ = '1' 41fun2 1 _ = '1'
42^^^^ 42^^^^
43Missing case(s): 43Missing case(s):
diff --git a/testdata/language-features/basic-values/deforder01.out b/testdata/language-features/basic-values/deforder01.out
index c1a1dec0..baed3fa7 100644
--- a/testdata/language-features/basic-values/deforder01.out
+++ b/testdata/language-features/basic-values/deforder01.out
@@ -10,11 +10,11 @@ x = _rhs '1'
10y :: Char 10y :: Char
11y = _rhs '1' 11y = _rhs '1'
12------------ tooltips 12------------ tooltips
13deforder01.lc 1:1-1:2 131:1-1:2
14 Char 14 Char
15deforder01.lc 1:5-1:8 151:5-1:8
16 Char 16 Char
17deforder01.lc 2:1-2:2 172:1-2:2
18 Char 18 Char
19deforder01.lc 2:5-2:6 192:5-2:6
20 Char \ No newline at end of file 20 Char \ No newline at end of file
diff --git a/testdata/language-features/basic-values/deforder02.out b/testdata/language-features/basic-values/deforder02.out
index 3173fc2d..8965f76c 100644
--- a/testdata/language-features/basic-values/deforder02.out
+++ b/testdata/language-features/basic-values/deforder02.out
@@ -10,11 +10,11 @@ x = _rhs '1'
10y :: Char 10y :: Char
11y = _rhs '1' 11y = _rhs '1'
12------------ tooltips 12------------ tooltips
13deforder02.lc 1:1-1:2 131:1-1:2
14 Char 14 Char
15deforder02.lc 1:5-1:6 151:5-1:6
16 Char 16 Char
17deforder02.lc 2:1-2:2 172:1-2:2
18 Char 18 Char
19deforder02.lc 2:5-2:8 192:5-2:8
20 Char \ No newline at end of file 20 Char \ No newline at end of file
diff --git a/testdata/language-features/basic-values/deforder03.out b/testdata/language-features/basic-values/deforder03.out
index c77dd75f..1458db3f 100644
--- a/testdata/language-features/basic-values/deforder03.out
+++ b/testdata/language-features/basic-values/deforder03.out
@@ -5,11 +5,11 @@ value = _lhs value (_rhs let a = (); b = a in '1')
5value :: Char 5value :: Char
6value = _rhs '1' 6value = _rhs '1'
7------------ tooltips 7------------ tooltips
8deforder03.lc 1:1-1:6 81:1-1:6
9 Char 9 Char
10deforder03.lc 1:17-1:19 101:17-1:19
11 () 11 ()
12deforder03.lc 2:17-2:18 122:17-2:18
13 () 13 ()
14deforder03.lc 3:12-3:15 143:12-3:15
15 Char \ No newline at end of file 15 Char \ No newline at end of file
diff --git a/testdata/language-features/basic-values/deforder04.out b/testdata/language-features/basic-values/deforder04.out
index b30d2932..56537d49 100644
--- a/testdata/language-features/basic-values/deforder04.out
+++ b/testdata/language-features/basic-values/deforder04.out
@@ -5,11 +5,11 @@ value = _lhs value (_rhs let a = (); b = a in '1')
5value :: Char 5value :: Char
6value = _rhs '1' 6value = _rhs '1'
7------------ tooltips 7------------ tooltips
8deforder04.lc 1:1-1:6 81:1-1:6
9 Char 9 Char
10deforder04.lc 1:17-1:18 101:17-1:18
11 () 11 ()
12deforder04.lc 2:17-2:19 122:17-2:19
13 () 13 ()
14deforder04.lc 3:12-3:15 143:12-3:15
15 Char \ No newline at end of file 15 Char \ No newline at end of file
diff --git a/testdata/language-features/basic-values/deforder05.out b/testdata/language-features/basic-values/deforder05.out
index c1b49368..32927daf 100644
--- a/testdata/language-features/basic-values/deforder05.out
+++ b/testdata/language-features/basic-values/deforder05.out
@@ -5,11 +5,11 @@ value = _lhs value (_rhs let a = (); b = a in '1')
5value :: Char 5value :: Char
6value = _rhs '1' 6value = _rhs '1'
7------------ tooltips 7------------ tooltips
8deforder05.lc 1:1-1:6 81:1-1:6
9 Char 9 Char
10deforder05.lc 1:9-1:12 101:9-1:12
11 Char 11 Char
12deforder05.lc 1:23-1:24 121:23-1:24
13 () 13 ()
14deforder05.lc 2:23-2:25 142:23-2:25
15 () \ No newline at end of file 15 () \ No newline at end of file
diff --git a/testdata/language-features/basic-values/deforder06.out b/testdata/language-features/basic-values/deforder06.out
index 7fa41792..518a2f7c 100644
--- a/testdata/language-features/basic-values/deforder06.out
+++ b/testdata/language-features/basic-values/deforder06.out
@@ -5,11 +5,11 @@ value = _lhs value (_rhs let a = (); b = a in '1')
5value :: Char 5value :: Char
6value = _rhs '1' 6value = _rhs '1'
7------------ tooltips 7------------ tooltips
8deforder06.lc 1:1-1:6 81:1-1:6
9 Char 9 Char
10deforder06.lc 1:9-1:12 101:9-1:12
11 Char 11 Char
12deforder06.lc 1:23-1:25 121:23-1:25
13 () 13 ()
14deforder06.lc 2:23-2:24 142:23-2:24
15 () \ No newline at end of file 15 () \ No newline at end of file
diff --git a/testdata/language-features/basic-values/fixity01.out b/testdata/language-features/basic-values/fixity01.out
index 50287803..c24d23fc 100644
--- a/testdata/language-features/basic-values/fixity01.out
+++ b/testdata/language-features/basic-values/fixity01.out
@@ -28,19 +28,19 @@ funL = \a b c _ -> _rhs c
28funR :: forall a b . a -> b -> a 28funR :: forall a b . a -> b -> a
29funR = \a b c _ -> _rhs c 29funR = \a b c _ -> _rhs c
30------------ tooltips 30------------ tooltips
31fixity01.lc 1:1-1:5 311:1-1:5
32 forall a b . a -> b -> a 32 forall a b . a -> b -> a
33fixity01.lc 1:12-1:13 331:12-1:13
34 _d 34 _d
35fixity01.lc 2:1-2:5 352:1-2:5
36 forall a b . a -> b -> a 36 forall a b . a -> b -> a
37fixity01.lc 2:12-2:13 372:12-2:13
38 _d 38 _d
39fixity01.lc 4:3-4:7 394:3-4:7
40 forall a b . a -> b -> a 40 forall a b . a -> b -> a
41fixity01.lc 4:12-4:13 414:12-4:13
42 _d 42 _d
43fixity01.lc 5:3-5:7 435:3-5:7
44 forall a b . a -> b -> b 44 forall a b . a -> b -> b
45fixity01.lc 5:12-5:13 455:12-5:13
46 _b \ No newline at end of file 46 _b \ No newline at end of file
diff --git a/testdata/language-features/basic-values/fixity02.out b/testdata/language-features/basic-values/fixity02.out
index bdd35bc4..d6f3b96f 100644
--- a/testdata/language-features/basic-values/fixity02.out
+++ b/testdata/language-features/basic-values/fixity02.out
@@ -114,499 +114,499 @@ value7 = _rhs "hi"
114value8 :: () 114value8 :: ()
115value8 = _rhs () 115value8 = _rhs ()
116------------ tooltips 116------------ tooltips
117fixity02.lc 1:1-1:5 1171:1-1:5
118 forall a b . a -> b -> a 118 forall a b . a -> b -> a
119fixity02.lc 1:12-1:13 1191:12-1:13
120 _d 120 _d
121fixity02.lc 2:1-2:5 1212:1-2:5
122 forall a b . a -> b -> b 122 forall a b . a -> b -> b
123fixity02.lc 2:12-2:13 1232:12-2:13
124 _b 124 _b
125fixity02.lc 4:3-4:5 1254:3-4:5
126 forall a b . a -> b -> a 126 forall a b . a -> b -> a
127fixity02.lc 4:10-4:11 1274:10-4:11
128 _d 128 _d
129fixity02.lc 5:3-5:5 1295:3-5:5
130 forall a b . a -> b -> b 130 forall a b . a -> b -> b
131fixity02.lc 5:10-5:11 1315:10-5:11
132 _b 132 _b
133fixity02.lc 11:1-11:7 13311:1-11:7
134 Float 134 Float
135fixity02.lc 11:10-11:12 13511:10-11:12
136 () 136 ()
137fixity02.lc 11:10-11:15 13711:10-11:15
138 _a -> _a 138 _a -> _a
139fixity02.lc 11:10-11:34 13911:10-11:34
140 Float 140 Float
141fixity02.lc 11:13-11:15 14111:13-11:15
142 forall a b . a -> b -> b 142 forall a b . a -> b -> b
143fixity02.lc 11:16-11:19 14311:16-11:19
144 Char 144 Char
145fixity02.lc 11:16-11:22 14511:16-11:22
146 _a -> _a 146 _a -> _a
147fixity02.lc 11:16-11:34 14711:16-11:34
148 Float 148 Float
149fixity02.lc 11:20-11:22 14911:20-11:22
150 forall a b . a -> b -> b 150 forall a b . a -> b -> b
151fixity02.lc 11:23-11:27 15111:23-11:27
152 String 152 String
153fixity02.lc 11:23-11:30 15311:23-11:30
154 _a -> _a 154 _a -> _a
155fixity02.lc 11:23-11:34 15511:23-11:34
156 Float 156 Float
157fixity02.lc 11:28-11:30 15711:28-11:30
158 forall a b . a -> b -> b 158 forall a b . a -> b -> b
159fixity02.lc 11:31-11:34 15911:31-11:34
160 Float 160 Float
161fixity02.lc 11:38-11:43 16111:38-11:43
162 Type 162 Type
163fixity02.lc 12:1-12:7 16312:1-12:7
164 Float 164 Float
165fixity02.lc 12:10-12:12 16512:10-12:12
166 () 166 ()
167fixity02.lc 12:10-12:15 16712:10-12:15
168 _a -> _a 168 _a -> _a
169fixity02.lc 12:10-12:34 16912:10-12:34
170 Float 170 Float
171fixity02.lc 12:13-12:15 17112:13-12:15
172 forall a b . a -> b -> b 172 forall a b . a -> b -> b
173fixity02.lc 12:16-12:19 17312:16-12:19
174 Char 174 Char
175fixity02.lc 12:16-12:22 17512:16-12:22
176 _a -> Char 176 _a -> Char
177fixity02.lc 12:16-12:27 17712:16-12:27
178 Char 178 Char
179fixity02.lc 12:16-12:30 17912:16-12:30
180 _a -> _a 180 _a -> _a
181fixity02.lc 12:16-12:34 18112:16-12:34
182 Float 182 Float
183fixity02.lc 12:20-12:22 18312:20-12:22
184 forall a b . a -> b -> a 184 forall a b . a -> b -> a
185fixity02.lc 12:23-12:27 18512:23-12:27
186 String 186 String
187fixity02.lc 12:28-12:30 18712:28-12:30
188 forall a b . a -> b -> b 188 forall a b . a -> b -> b
189fixity02.lc 12:31-12:34 18912:31-12:34
190 Float 190 Float
191fixity02.lc 12:38-12:43 19112:38-12:43
192 Type 192 Type
193fixity02.lc 13:1-13:7 19313:1-13:7
194 Float 194 Float
195fixity02.lc 13:10-13:12 19513:10-13:12
196 () 196 ()
197fixity02.lc 13:10-13:15 19713:10-13:15
198 _a -> () 198 _a -> ()
199fixity02.lc 13:10-13:19 19913:10-13:19
200 () 200 ()
201fixity02.lc 13:10-13:22 20113:10-13:22
202 _a -> _a 202 _a -> _a
203fixity02.lc 13:10-13:34 20313:10-13:34
204 Float 204 Float
205fixity02.lc 13:13-13:15 20513:13-13:15
206 forall a b . a -> b -> a 206 forall a b . a -> b -> a
207fixity02.lc 13:16-13:19 20713:16-13:19
208 Char 208 Char
209fixity02.lc 13:20-13:22 20913:20-13:22
210 forall a b . a -> b -> b 210 forall a b . a -> b -> b
211fixity02.lc 13:23-13:27 21113:23-13:27
212 String 212 String
213fixity02.lc 13:23-13:30 21313:23-13:30
214 _a -> _a 214 _a -> _a
215fixity02.lc 13:23-13:34 21513:23-13:34
216 Float 216 Float
217fixity02.lc 13:28-13:30 21713:28-13:30
218 forall a b . a -> b -> b 218 forall a b . a -> b -> b
219fixity02.lc 13:31-13:34 21913:31-13:34
220 Float 220 Float
221fixity02.lc 13:38-13:43 22113:38-13:43
222 Type 222 Type
223fixity02.lc 14:1-14:7 22314:1-14:7
224 Float 224 Float
225fixity02.lc 14:10-14:12 22514:10-14:12
226 () 226 ()
227fixity02.lc 14:10-14:15 22714:10-14:15
228 _a -> () 228 _a -> ()
229fixity02.lc 14:10-14:27 22914:10-14:27
230 () 230 ()
231fixity02.lc 14:10-14:30 23114:10-14:30
232 _a -> _a 232 _a -> _a
233fixity02.lc 14:10-14:34 23314:10-14:34
234 Float 234 Float
235fixity02.lc 14:13-14:15 23514:13-14:15
236 forall a b . a -> b -> a 236 forall a b . a -> b -> a
237fixity02.lc 14:16-14:19 23714:16-14:19
238 Char 238 Char
239fixity02.lc 14:16-14:22 23914:16-14:22
240 _a -> Char 240 _a -> Char
241fixity02.lc 14:16-14:27 24114:16-14:27
242 Char 242 Char
243fixity02.lc 14:20-14:22 24314:20-14:22
244 forall a b . a -> b -> a 244 forall a b . a -> b -> a
245fixity02.lc 14:23-14:27 24514:23-14:27
246 String 246 String
247fixity02.lc 14:28-14:30 24714:28-14:30
248 forall a b . a -> b -> b 248 forall a b . a -> b -> b
249fixity02.lc 14:31-14:34 24914:31-14:34
250 Float 250 Float
251fixity02.lc 14:38-14:43 25114:38-14:43
252 Type 252 Type
253fixity02.lc 15:1-15:7 25315:1-15:7
254 String 254 String
255fixity02.lc 15:10-15:12 25515:10-15:12
256 () 256 ()
257fixity02.lc 15:10-15:15 25715:10-15:15
258 _a -> _a 258 _a -> _a
259fixity02.lc 15:10-15:34 25915:10-15:34
260 String 260 String
261fixity02.lc 15:13-15:15 26115:13-15:15
262 forall a b . a -> b -> b 262 forall a b . a -> b -> b
263fixity02.lc 15:16-15:19 26315:16-15:19
264 Char 264 Char
265fixity02.lc 15:16-15:22 26515:16-15:22
266 _a -> _a 266 _a -> _a
267fixity02.lc 15:16-15:34 26715:16-15:34
268 String 268 String
269fixity02.lc 15:20-15:22 26915:20-15:22
270 forall a b . a -> b -> b 270 forall a b . a -> b -> b
271fixity02.lc 15:23-15:27 27115:23-15:27
272 String 272 String
273fixity02.lc 15:23-15:30 27315:23-15:30
274 _a -> String 274 _a -> String
275fixity02.lc 15:23-15:34 27515:23-15:34
276 String 276 String
277fixity02.lc 15:28-15:30 27715:28-15:30
278 forall a b . a -> b -> a 278 forall a b . a -> b -> a
279fixity02.lc 15:31-15:34 27915:31-15:34
280 Float 280 Float
281fixity02.lc 15:38-15:44 28115:38-15:44
282 Type 282 Type
283fixity02.lc 16:1-16:7 28316:1-16:7
284 Char 284 Char
285fixity02.lc 16:10-16:12 28516:10-16:12
286 () 286 ()
287fixity02.lc 16:10-16:15 28716:10-16:15
288 _a -> _a 288 _a -> _a
289fixity02.lc 16:10-16:34 28916:10-16:34
290 Char 290 Char
291fixity02.lc 16:13-16:15 29116:13-16:15
292 forall a b . a -> b -> b 292 forall a b . a -> b -> b
293fixity02.lc 16:16-16:19 29316:16-16:19
294 Char 294 Char
295fixity02.lc 16:16-16:22 29516:16-16:22
296 _a -> Char 296 _a -> Char
297fixity02.lc 16:16-16:34 29716:16-16:34
298 Char 298 Char
299fixity02.lc 16:20-16:22 29916:20-16:22
300 forall a b . a -> b -> a 300 forall a b . a -> b -> a
301fixity02.lc 16:23-16:27 30116:23-16:27
302 String 302 String
303fixity02.lc 16:23-16:30 30316:23-16:30
304 _a -> String 304 _a -> String
305fixity02.lc 16:23-16:34 30516:23-16:34
306 String 306 String
307fixity02.lc 16:28-16:30 30716:28-16:30
308 forall a b . a -> b -> a 308 forall a b . a -> b -> a
309fixity02.lc 16:31-16:34 30916:31-16:34
310 Float 310 Float
311fixity02.lc 16:38-16:42 31116:38-16:42
312 Type 312 Type
313fixity02.lc 17:1-17:7 31317:1-17:7
314 String 314 String
315fixity02.lc 17:10-17:12 31517:10-17:12
316 () 316 ()
317fixity02.lc 17:10-17:15 31717:10-17:15
318 _a -> () 318 _a -> ()
319fixity02.lc 17:10-17:19 31917:10-17:19
320 () 320 ()
321fixity02.lc 17:10-17:22 32117:10-17:22
322 _a -> _a 322 _a -> _a
323fixity02.lc 17:10-17:34 32317:10-17:34
324 String 324 String
325fixity02.lc 17:13-17:15 32517:13-17:15
326 forall a b . a -> b -> a 326 forall a b . a -> b -> a
327fixity02.lc 17:16-17:19 32717:16-17:19
328 Char 328 Char
329fixity02.lc 17:20-17:22 32917:20-17:22
330 forall a b . a -> b -> b 330 forall a b . a -> b -> b
331fixity02.lc 17:23-17:27 33117:23-17:27
332 String 332 String
333fixity02.lc 17:23-17:30 33317:23-17:30
334 _a -> String 334 _a -> String
335fixity02.lc 17:23-17:34 33517:23-17:34
336 String 336 String
337fixity02.lc 17:28-17:30 33717:28-17:30
338 forall a b . a -> b -> a 338 forall a b . a -> b -> a
339fixity02.lc 17:31-17:34 33917:31-17:34
340 Float 340 Float
341fixity02.lc 17:38-17:44 34117:38-17:44
342 Type 342 Type
343fixity02.lc 18:1-18:7 34318:1-18:7
344 () 344 ()
345fixity02.lc 18:10-18:12 34518:10-18:12
346 () 346 ()
347fixity02.lc 18:10-18:15 34718:10-18:15
348 _a -> () 348 _a -> ()
349fixity02.lc 18:10-18:34 34918:10-18:34
350 () 350 ()
351fixity02.lc 18:13-18:15 35118:13-18:15
352 forall a b . a -> b -> a 352 forall a b . a -> b -> a
353fixity02.lc 18:16-18:19 35318:16-18:19
354 Char 354 Char
355fixity02.lc 18:16-18:22 35518:16-18:22
356 _a -> Char 356 _a -> Char
357fixity02.lc 18:16-18:34 35718:16-18:34
358 Char 358 Char
359fixity02.lc 18:20-18:22 35918:20-18:22
360 forall a b . a -> b -> a 360 forall a b . a -> b -> a
361fixity02.lc 18:23-18:27 36118:23-18:27
362 String 362 String
363fixity02.lc 18:23-18:30 36318:23-18:30
364 _a -> String 364 _a -> String
365fixity02.lc 18:23-18:34 36518:23-18:34
366 String 366 String
367fixity02.lc 18:28-18:30 36718:28-18:30
368 forall a b . a -> b -> a 368 forall a b . a -> b -> a
369fixity02.lc 18:31-18:34 36918:31-18:34
370 Float 370 Float
371fixity02.lc 18:38-18:40 37118:38-18:40
372 Type 372 Type
373fixity02.lc 20:1-20:10 37320:1-20:10
374 Float 374 Float
375fixity02.lc 20:13-20:15 37520:13-20:15
376 () 376 ()
377fixity02.lc 20:13-20:22 37720:13-20:22
378 _a -> _a 378 _a -> _a
379fixity02.lc 20:13-20:49 37920:13-20:49
380 Float 380 Float
381fixity02.lc 20:16-20:22 38120:16-20:22
382 forall a b . a -> b -> b 382 forall a b . a -> b -> b
383fixity02.lc 20:23-20:26 38320:23-20:26
384 Char 384 Char
385fixity02.lc 20:23-20:33 38520:23-20:33
386 _a -> _a 386 _a -> _a
387fixity02.lc 20:23-20:49 38720:23-20:49
388 Float 388 Float
389fixity02.lc 20:27-20:33 38920:27-20:33
390 forall a b . a -> b -> b 390 forall a b . a -> b -> b
391fixity02.lc 20:34-20:38 39120:34-20:38
392 String 392 String
393fixity02.lc 20:34-20:45 39320:34-20:45
394 _a -> _a 394 _a -> _a
395fixity02.lc 20:34-20:49 39520:34-20:49
396 Float 396 Float
397fixity02.lc 20:39-20:45 39720:39-20:45
398 forall a b . a -> b -> b 398 forall a b . a -> b -> b
399fixity02.lc 20:46-20:49 39920:46-20:49
400 Float 400 Float
401fixity02.lc 20:53-20:58 40120:53-20:58
402 Type 402 Type
403fixity02.lc 21:1-21:10 40321:1-21:10
404 Float 404 Float
405fixity02.lc 21:13-21:15 40521:13-21:15
406 () 406 ()
407fixity02.lc 21:13-21:22 40721:13-21:22
408 _a -> _a 408 _a -> _a
409fixity02.lc 21:13-21:49 40921:13-21:49
410 Float 410 Float
411fixity02.lc 21:16-21:22 41121:16-21:22
412 forall a b . a -> b -> b 412 forall a b . a -> b -> b
413fixity02.lc 21:23-21:26 41321:23-21:26
414 Char 414 Char
415fixity02.lc 21:23-21:33 41521:23-21:33
416 _a -> Char 416 _a -> Char
417fixity02.lc 21:23-21:38 41721:23-21:38
418 Char 418 Char
419fixity02.lc 21:23-21:45 41921:23-21:45
420 _a -> _a 420 _a -> _a
421fixity02.lc 21:23-21:49 42121:23-21:49
422 Float 422 Float
423fixity02.lc 21:27-21:33 42321:27-21:33
424 forall a b . a -> b -> a 424 forall a b . a -> b -> a
425fixity02.lc 21:34-21:38 42521:34-21:38
426 String 426 String
427fixity02.lc 21:39-21:45 42721:39-21:45
428 forall a b . a -> b -> b 428 forall a b . a -> b -> b
429fixity02.lc 21:46-21:49 42921:46-21:49
430 Float 430 Float
431fixity02.lc 21:53-21:58 43121:53-21:58
432 Type 432 Type
433fixity02.lc 22:1-22:10 43322:1-22:10
434 Float 434 Float
435fixity02.lc 22:13-22:15 43522:13-22:15
436 () 436 ()
437fixity02.lc 22:13-22:22 43722:13-22:22
438 _a -> () 438 _a -> ()
439fixity02.lc 22:13-22:26 43922:13-22:26
440 () 440 ()
441fixity02.lc 22:13-22:33 44122:13-22:33
442 _a -> _a 442 _a -> _a
443fixity02.lc 22:13-22:49 44322:13-22:49
444 Float 444 Float
445fixity02.lc 22:16-22:22 44522:16-22:22
446 forall a b . a -> b -> a 446 forall a b . a -> b -> a
447fixity02.lc 22:23-22:26 44722:23-22:26
448 Char 448 Char
449fixity02.lc 22:27-22:33 44922:27-22:33
450 forall a b . a -> b -> b 450 forall a b . a -> b -> b
451fixity02.lc 22:34-22:38 45122:34-22:38
452 String 452 String
453fixity02.lc 22:34-22:45 45322:34-22:45
454 _a -> _a 454 _a -> _a
455fixity02.lc 22:34-22:49 45522:34-22:49
456 Float 456 Float
457fixity02.lc 22:39-22:45 45722:39-22:45
458 forall a b . a -> b -> b 458 forall a b . a -> b -> b
459fixity02.lc 22:46-22:49 45922:46-22:49
460 Float 460 Float
461fixity02.lc 22:53-22:58 46122:53-22:58
462 Type 462 Type
463fixity02.lc 23:1-23:10 46323:1-23:10
464 Float 464 Float
465fixity02.lc 23:13-23:15 46523:13-23:15
466 () 466 ()
467fixity02.lc 23:13-23:22 46723:13-23:22
468 _a -> () 468 _a -> ()
469fixity02.lc 23:13-23:38 46923:13-23:38
470 () 470 ()
471fixity02.lc 23:13-23:45 47123:13-23:45
472 _a -> _a 472 _a -> _a
473fixity02.lc 23:13-23:49 47323:13-23:49
474 Float 474 Float
475fixity02.lc 23:16-23:22 47523:16-23:22
476 forall a b . a -> b -> a 476 forall a b . a -> b -> a
477fixity02.lc 23:23-23:26 47723:23-23:26
478 Char 478 Char
479fixity02.lc 23:23-23:33 47923:23-23:33
480 _a -> Char 480 _a -> Char
481fixity02.lc 23:23-23:38 48123:23-23:38
482 Char 482 Char
483fixity02.lc 23:27-23:33 48323:27-23:33
484 forall a b . a -> b -> a 484 forall a b . a -> b -> a
485fixity02.lc 23:34-23:38 48523:34-23:38
486 String 486 String
487fixity02.lc 23:39-23:45 48723:39-23:45
488 forall a b . a -> b -> b 488 forall a b . a -> b -> b
489fixity02.lc 23:46-23:49 48923:46-23:49
490 Float 490 Float
491fixity02.lc 23:53-23:58 49123:53-23:58
492 Type 492 Type
493fixity02.lc 24:1-24:10 49324:1-24:10
494 String 494 String
495fixity02.lc 24:13-24:15 49524:13-24:15
496 () 496 ()
497fixity02.lc 24:13-24:22 49724:13-24:22
498 _a -> _a 498 _a -> _a
499fixity02.lc 24:13-24:49 49924:13-24:49
500 String 500 String
501fixity02.lc 24:16-24:22 50124:16-24:22
502 forall a b . a -> b -> b 502 forall a b . a -> b -> b
503fixity02.lc 24:23-24:26 50324:23-24:26
504 Char 504 Char
505fixity02.lc 24:23-24:33 50524:23-24:33
506 _a -> _a 506 _a -> _a
507fixity02.lc 24:23-24:49 50724:23-24:49
508 String 508 String
509fixity02.lc 24:27-24:33 50924:27-24:33
510 forall a b . a -> b -> b 510 forall a b . a -> b -> b
511fixity02.lc 24:34-24:38 51124:34-24:38
512 String 512 String
513fixity02.lc 24:34-24:45 51324:34-24:45
514 _a -> String 514 _a -> String
515fixity02.lc 24:34-24:49 51524:34-24:49
516 String 516 String
517fixity02.lc 24:39-24:45 51724:39-24:45
518 forall a b . a -> b -> a 518 forall a b . a -> b -> a
519fixity02.lc 24:46-24:49 51924:46-24:49
520 Float 520 Float
521fixity02.lc 24:53-24:59 52124:53-24:59
522 Type 522 Type
523fixity02.lc 25:1-25:10 52325:1-25:10
524 Char 524 Char
525fixity02.lc 25:13-25:15 52525:13-25:15
526 () 526 ()
527fixity02.lc 25:13-25:22 52725:13-25:22
528 _a -> _a 528 _a -> _a
529fixity02.lc 25:13-25:49 52925:13-25:49
530 Char 530 Char
531fixity02.lc 25:16-25:22 53125:16-25:22
532 forall a b . a -> b -> b 532 forall a b . a -> b -> b
533fixity02.lc 25:23-25:26 53325:23-25:26
534 Char 534 Char
535fixity02.lc 25:23-25:33 53525:23-25:33
536 _a -> Char 536 _a -> Char
537fixity02.lc 25:23-25:49 53725:23-25:49
538 Char 538 Char
539fixity02.lc 25:27-25:33 53925:27-25:33
540 forall a b . a -> b -> a 540 forall a b . a -> b -> a
541fixity02.lc 25:34-25:38 54125:34-25:38
542 String 542 String
543fixity02.lc 25:34-25:45 54325:34-25:45
544 _a -> String 544 _a -> String
545fixity02.lc 25:34-25:49 54525:34-25:49
546 String 546 String
547fixity02.lc 25:39-25:45 54725:39-25:45
548 forall a b . a -> b -> a 548 forall a b . a -> b -> a
549fixity02.lc 25:46-25:49 54925:46-25:49
550 Float 550 Float
551fixity02.lc 25:53-25:57 55125:53-25:57
552 Type 552 Type
553fixity02.lc 26:1-26:10 55326:1-26:10
554 String 554 String
555fixity02.lc 26:13-26:15 55526:13-26:15
556 () 556 ()
557fixity02.lc 26:13-26:22 55726:13-26:22
558 _a -> () 558 _a -> ()
559fixity02.lc 26:13-26:26 55926:13-26:26
560 () 560 ()
561fixity02.lc 26:13-26:33 56126:13-26:33
562 _a -> _a 562 _a -> _a
563fixity02.lc 26:13-26:49 56326:13-26:49
564 String 564 String
565fixity02.lc 26:16-26:22 56526:16-26:22
566 forall a b . a -> b -> a 566 forall a b . a -> b -> a
567fixity02.lc 26:23-26:26 56726:23-26:26
568 Char 568 Char
569fixity02.lc 26:27-26:33 56926:27-26:33
570 forall a b . a -> b -> b 570 forall a b . a -> b -> b
571fixity02.lc 26:34-26:38 57126:34-26:38
572 String 572 String
573fixity02.lc 26:34-26:45 57326:34-26:45
574 _a -> String 574 _a -> String
575fixity02.lc 26:34-26:49 57526:34-26:49
576 String 576 String
577fixity02.lc 26:39-26:45 57726:39-26:45
578 forall a b . a -> b -> a 578 forall a b . a -> b -> a
579fixity02.lc 26:46-26:49 57926:46-26:49
580 Float 580 Float
581fixity02.lc 26:53-26:59 58126:53-26:59
582 Type 582 Type
583fixity02.lc 27:1-27:10 58327:1-27:10
584 () 584 ()
585fixity02.lc 27:13-27:15 58527:13-27:15
586 () 586 ()
587fixity02.lc 27:13-27:22 58727:13-27:22
588 _a -> () 588 _a -> ()
589fixity02.lc 27:13-27:49 58927:13-27:49
590 () 590 ()
591fixity02.lc 27:16-27:22 59127:16-27:22
592 forall a b . a -> b -> a 592 forall a b . a -> b -> a
593fixity02.lc 27:23-27:26 59327:23-27:26
594 Char 594 Char
595fixity02.lc 27:23-27:33 59527:23-27:33
596 _a -> Char 596 _a -> Char
597fixity02.lc 27:23-27:49 59727:23-27:49
598 Char 598 Char
599fixity02.lc 27:27-27:33 59927:27-27:33
600 forall a b . a -> b -> a 600 forall a b . a -> b -> a
601fixity02.lc 27:34-27:38 60127:34-27:38
602 String 602 String
603fixity02.lc 27:34-27:45 60327:34-27:45
604 _a -> String 604 _a -> String
605fixity02.lc 27:34-27:49 60527:34-27:49
606 String 606 String
607fixity02.lc 27:39-27:45 60727:39-27:45
608 forall a b . a -> b -> a 608 forall a b . a -> b -> a
609fixity02.lc 27:46-27:49 60927:46-27:49
610 Float 610 Float
611fixity02.lc 27:53-27:55 61127:53-27:55
612 Type \ No newline at end of file 612 Type \ No newline at end of file
diff --git a/testdata/language-features/basic-values/if01.out b/testdata/language-features/basic-values/if01.out
index 2af98d71..fe0b7f26 100644
--- a/testdata/language-features/basic-values/if01.out
+++ b/testdata/language-features/basic-values/if01.out
@@ -10,27 +10,27 @@ value1 = _rhs ()
10value2 :: Float 10value2 :: Float
11value2 = _rhs 2.0 11value2 = _rhs 2.0
12------------ tooltips 12------------ tooltips
13if01.lc 1:1-1:7 131:1-1:7
14 () 14 ()
15if01.lc 1:10-1:33 151:10-1:33
16 () 16 ()
17if01.lc 1:13-1:17 171:13-1:17
18 Bool 18 Bool
19if01.lc 1:13-1:25 191:13-1:25
20 () -> () 20 () -> ()
21if01.lc 1:23-1:25 211:23-1:25
22 () 22 ()
23if01.lc 1:31-1:33 231:31-1:33
24 () 24 ()
25if01.lc 2:1-2:7 252:1-2:7
26 Float 26 Float
27if01.lc 2:10-2:36 272:10-2:36
28 Float 28 Float
29if01.lc 2:13-2:18 292:13-2:18
30 Bool 30 Bool
31if01.lc 2:13-2:27 312:13-2:27
32 Float -> Float 32 Float -> Float
33if01.lc 2:24-2:27 332:24-2:27
34 Float 34 Float
35if01.lc 2:33-2:36 352:33-2:36
36 Float \ No newline at end of file 36 Float \ No newline at end of file
diff --git a/testdata/language-features/basic-values/if03.reject.out b/testdata/language-features/basic-values/if03.reject.out
index a5e1f6f9..e004d656 100644
--- a/testdata/language-features/basic-values/if03.reject.out
+++ b/testdata/language-features/basic-values/if03.reject.out
@@ -1,22 +1,22 @@
1type error: can not unify 1type error: can not unify
2 'Internals.lc:63:6: 2 <<installed-prelude-path>>/Internals.lc:63:6:
3 data Bool = False | True 3 data Bool = False | True
4 ^^^^ 4 ^^^^
5with 5with
6 () 6 ()
7in if03.reject.lc:1:13: 7in ./testdata/language-features/basic-values/if03.reject.lc:1:13:
8value1 = if () then () else () 8value1 = if () then () else ()
9 ^^ 9 ^^
10------------ trace 10------------ trace
11!type error: can not unify 11!type error: can not unify
12 'Internals.lc:63:6: 12 <<installed-prelude-path>>/Internals.lc:63:6:
13 data Bool = False | True 13 data Bool = False | True
14 ^^^^ 14 ^^^^
15with 15with
16 () 16 ()
17in if03.reject.lc:1:13: 17in ./testdata/language-features/basic-values/if03.reject.lc:1:13:
18value1 = if () then () else () 18value1 = if () then () else ()
19 ^^ 19 ^^
20------------ tooltips 20------------ tooltips
21if03.reject.lc 1:13-1:15 211:13-1:15
22 () \ No newline at end of file 22 () \ No newline at end of file
diff --git a/testdata/language-features/basic-values/if04.reject.out b/testdata/language-features/basic-values/if04.reject.out
index 2a6b7bb5..29189955 100644
--- a/testdata/language-features/basic-values/if04.reject.out
+++ b/testdata/language-features/basic-values/if04.reject.out
@@ -2,7 +2,7 @@ type error: can not unify
2 () 2 ()
3with 3with
4 Char 4 Char
5in if04.reject.lc:1:31: 5in ./testdata/language-features/basic-values/if04.reject.lc:1:31:
6value1 = if True then () else '_' 6value1 = if True then () else '_'
7 ^^^ 7 ^^^
8------------ trace 8------------ trace
@@ -10,15 +10,15 @@ value1 = if True then () else '_'
10 () 10 ()
11with 11with
12 Char 12 Char
13in if04.reject.lc:1:31: 13in ./testdata/language-features/basic-values/if04.reject.lc:1:31:
14value1 = if True then () else '_' 14value1 = if True then () else '_'
15 ^^^ 15 ^^^
16------------ tooltips 16------------ tooltips
17if04.reject.lc 1:13-1:17 171:13-1:17
18 Bool 18 Bool
19if04.reject.lc 1:13-1:25 191:13-1:25
20 () -> () 20 () -> ()
21if04.reject.lc 1:23-1:25 211:23-1:25
22 () 22 ()
23if04.reject.lc 1:31-1:34 231:31-1:34
24 Char \ No newline at end of file 24 Char \ No newline at end of file
diff --git a/testdata/language-features/basic-values/indentation01.out b/testdata/language-features/basic-values/indentation01.out
index d6efa98a..04db500e 100644
--- a/testdata/language-features/basic-values/indentation01.out
+++ b/testdata/language-features/basic-values/indentation01.out
@@ -10,11 +10,11 @@ tuple1 = _rhs ()
10tuple2 :: () 10tuple2 :: ()
11tuple2 = _rhs () 11tuple2 = _rhs ()
12------------ tooltips 12------------ tooltips
13indentation01.lc 1:1-1:7 131:1-1:7
14 () 14 ()
15indentation01.lc 1:10-1:12 151:10-1:12
16 () 16 ()
17indentation01.lc 2:1-2:7 172:1-2:7
18 () 18 ()
19indentation01.lc 2:10-2:12 192:10-2:12
20 () \ No newline at end of file 20 () \ No newline at end of file
diff --git a/testdata/language-features/basic-values/indentation02.out b/testdata/language-features/basic-values/indentation02.out
index e90c05ad..d05ce8b2 100644
--- a/testdata/language-features/basic-values/indentation02.out
+++ b/testdata/language-features/basic-values/indentation02.out
@@ -10,11 +10,11 @@ tuple1 = _rhs ()
10tuple2 :: () 10tuple2 :: ()
11tuple2 = _rhs () 11tuple2 = _rhs ()
12------------ tooltips 12------------ tooltips
13indentation02.lc 1:3-1:9 131:3-1:9
14 () 14 ()
15indentation02.lc 1:12-1:14 151:12-1:14
16 () 16 ()
17indentation02.lc 2:3-2:9 172:3-2:9
18 () 18 ()
19indentation02.lc 2:12-2:14 192:12-2:14
20 () \ No newline at end of file 20 () \ No newline at end of file
diff --git a/testdata/language-features/basic-values/indentation03.reject.out b/testdata/language-features/basic-values/indentation03.reject.out
index 5fe5403c..d7b66dd2 100644
--- a/testdata/language-features/basic-values/indentation03.reject.out
+++ b/testdata/language-features/basic-values/indentation03.reject.out
@@ -1,3 +1,3 @@
1testdata/language-features/basic-values/indentation03.reject.lc:2:10: 1./testdata/language-features/basic-values/indentation03.reject.lc:2:10:
2unexpected '=' 2unexpected '='
3expecting "->", "::", "=>", "let", "where", ''', '(', '@', '[', '_', '{', end of input, expression, lambda, literal, lowercase ident, rest of expression, swizzling, symbols, or uppercase ident 3expecting "->", "::", "=>", "let", "where", ''', '(', '@', '[', '_', '{', end of input, expression, lambda, literal, lowercase ident, rest of expression, swizzling, symbols, or uppercase ident \ No newline at end of file
diff --git a/testdata/language-features/basic-values/indentation04.reject.out b/testdata/language-features/basic-values/indentation04.reject.out
index 8ff2d6c1..b310af6c 100644
--- a/testdata/language-features/basic-values/indentation04.reject.out
+++ b/testdata/language-features/basic-values/indentation04.reject.out
@@ -1,3 +1,3 @@
1testdata/language-features/basic-values/indentation04.reject.lc:2:2: 1./testdata/language-features/basic-values/indentation04.reject.lc:2:2:
2unexpected 't' 2unexpected 't'
3expecting ''', backquoted ident, end of input, expression, lambda, literal, lowercase ident, rest of expression, symbols, or uppercase ident 3expecting ''', backquoted ident, end of input, expression, lambda, literal, lowercase ident, rest of expression, symbols, or uppercase ident \ No newline at end of file
diff --git a/testdata/language-features/basic-values/infix01.out b/testdata/language-features/basic-values/infix01.out
index a54cfa5c..61434142 100644
--- a/testdata/language-features/basic-values/infix01.out
+++ b/testdata/language-features/basic-values/infix01.out
@@ -10,19 +10,19 @@ fun = \a b _ _ -> _rhs ()
10value :: forall a b . a -> b -> () 10value :: forall a b . a -> b -> ()
11value = \a b _ _ -> _rhs () 11value = \a b _ _ -> _rhs ()
12------------ tooltips 12------------ tooltips
13infix01.lc 1:1-1:4 131:1-1:4
14 forall a b . a -> b -> () 14 forall a b . a -> b -> ()
15infix01.lc 1:11-1:13 151:11-1:13
16 () 16 ()
17infix01.lc 3:1-3:6 173:1-3:6
18 forall a b . a -> b -> () 18 forall a b . a -> b -> ()
19infix01.lc 3:13-3:14 193:13-3:14
20 _f 20 _f
21infix01.lc 3:13-3:20 213:13-3:20
22 _a -> () 22 _a -> ()
23infix01.lc 3:13-3:22 233:13-3:22
24 () 24 ()
25infix01.lc 3:15-3:20 253:15-3:20
26 forall a b . a -> b -> () 26 forall a b . a -> b -> ()
27infix01.lc 3:21-3:22 273:21-3:22
28 _c \ No newline at end of file 28 _c \ No newline at end of file
diff --git a/testdata/language-features/basic-values/infix02.out b/testdata/language-features/basic-values/infix02.out
index 60daa154..e76f7e19 100644
--- a/testdata/language-features/basic-values/infix02.out
+++ b/testdata/language-features/basic-values/infix02.out
@@ -10,19 +10,19 @@ fun = \a b c _ _ _ -> _rhs ()
10value :: forall a b c . a -> b -> c -> () 10value :: forall a b c . a -> b -> c -> ()
11value = \a b c d e -> _rhs (fun d e) 11value = \a b c d e -> _rhs (fun d e)
12------------ tooltips 12------------ tooltips
13infix02.lc 1:1-1:4 131:1-1:4
14 forall a b c . a -> b -> c -> () 14 forall a b c . a -> b -> c -> ()
15infix02.lc 1:13-1:15 151:13-1:15
16 () 16 ()
17infix02.lc 3:1-3:6 173:1-3:6
18 forall a b c . a -> b -> c -> () 18 forall a b c . a -> b -> c -> ()
19infix02.lc 3:13-3:14 193:13-3:14
20 _g 20 _g
21infix02.lc 3:13-3:20 213:13-3:20
22 _b -> _a -> () 22 _b -> _a -> ()
23infix02.lc 3:13-3:22 233:13-3:22
24 _a -> () 24 _a -> ()
25infix02.lc 3:15-3:20 253:15-3:20
26 forall a b c . a -> b -> c -> () 26 forall a b c . a -> b -> c -> ()
27infix02.lc 3:21-3:22 273:21-3:22
28 _d \ No newline at end of file 28 _d \ No newline at end of file
diff --git a/testdata/language-features/basic-values/infix03.out b/testdata/language-features/basic-values/infix03.out
index 6d105103..f7f1794d 100644
--- a/testdata/language-features/basic-values/infix03.out
+++ b/testdata/language-features/basic-values/infix03.out
@@ -33,49 +33,49 @@ d3 = \a b -> _rhs (D3 a b)
33match'D :: forall (a :: Type -> Type) -> a D -> forall b -> a b -> a b 33match'D :: forall (a :: Type -> Type) -> a D -> forall b -> a b -> a b
34match'D = \a b c d -> <<type case function>> 34match'D = \a b c d -> <<type case function>>
35------------ tooltips 35------------ tooltips
36infix03.lc 1:6-1:7 361:6-1:7
37 Type | Type | Type | Type | Type | Type | Type | Type 37 Type | Type | Type | Type | Type | Type | Type | Type
38infix03.lc 1:6-1:18 381:6-1:18
39 Type 39 Type
40infix03.lc 1:6-2:12 401:6-2:12
41 Type | Type 41 Type | Type
42infix03.lc 1:6-2:21 421:6-2:21
43 Type | Type 43 Type | Type
44infix03.lc 1:10-1:12 441:10-1:12
45 () -> () -> D | D | Type | Type | Type 45 () -> () -> D | D | Type | Type | Type
46infix03.lc 1:13-1:15 461:13-1:15
47 Type 47 Type
48infix03.lc 1:16-1:18 481:16-1:18
49 Type 49 Type
50infix03.lc 2:10-2:12 502:10-2:12
51 () -> () -> () -> D | D | Type | Type | Type | Type 51 () -> () -> () -> D | D | Type | Type | Type | Type
52infix03.lc 2:13-2:15 522:13-2:15
53 Type 53 Type
54infix03.lc 2:16-2:18 542:16-2:18
55 Type 55 Type
56infix03.lc 2:19-2:21 562:19-2:21
57 Type 57 Type
58infix03.lc 4:1-4:3 584:1-4:3
59 () -> () -> D 59 () -> () -> D
60infix03.lc 4:10-4:11 604:10-4:11
61 _d 61 _d
62infix03.lc 4:10-4:16 624:10-4:16
63 () -> D 63 () -> D
64infix03.lc 4:10-4:18 644:10-4:18
65 D 65 D
66infix03.lc 4:12-4:16 664:12-4:16
67 () -> () -> D 67 () -> () -> D
68infix03.lc 4:17-4:18 684:17-4:18
69 _b 69 _b
70infix03.lc 6:1-6:3 706:1-6:3
71 () -> () -> () -> D 71 () -> () -> () -> D
72infix03.lc 6:10-6:11 726:10-6:11
73 _d 73 _d
74infix03.lc 6:10-6:16 746:10-6:16
75 () -> () -> D 75 () -> () -> D
76infix03.lc 6:10-6:18 766:10-6:18
77 () -> D 77 () -> D
78infix03.lc 6:12-6:16 786:12-6:16
79 () -> () -> () -> D 79 () -> () -> () -> D
80infix03.lc 6:17-6:18 806:17-6:18
81 _b \ No newline at end of file 81 _b \ No newline at end of file
diff --git a/testdata/language-features/basic-values/infix04.reject.out b/testdata/language-features/basic-values/infix04.reject.out
index efb2c5a4..c216d697 100644
--- a/testdata/language-features/basic-values/infix04.reject.out
+++ b/testdata/language-features/basic-values/infix04.reject.out
@@ -1,3 +1,3 @@
1testdata/language-features/basic-values/infix04.reject.lc:3:14: 1./testdata/language-features/basic-values/infix04.reject.lc:3:14:
2unexpected '`' 2unexpected '`'
3expecting "->", "::", "=>", "let", "where", ''', '(', '@', '[', '_', '{', backquoted ident, end of input, expression, lambda, literal, lowercase ident, rest of expression, swizzling, or uppercase ident 3expecting "->", "::", "=>", "let", "where", ''', '(', '@', '[', '_', '{', backquoted ident, end of input, expression, lambda, literal, lowercase ident, rest of expression, swizzling, or uppercase ident \ No newline at end of file
diff --git a/testdata/language-features/basic-values/lambda01.out b/testdata/language-features/basic-values/lambda01.out
index 0a959710..4b6fd2e8 100644
--- a/testdata/language-features/basic-values/lambda01.out
+++ b/testdata/language-features/basic-values/lambda01.out
@@ -27,19 +27,19 @@ fun4
27 :: forall a b c d e f g h i . a -> b -> c -> d -> e -> f -> g -> h -> i -> () 27 :: forall a b c d e f g h i . a -> b -> c -> d -> e -> f -> g -> h -> i -> ()
28fun4 = \a b c d e f g h i -> _rhs \_ _ _ _ _ _ _ _ _ -> () 28fun4 = \a b c d e f g h i -> _rhs \_ _ _ _ _ _ _ _ _ -> ()
29------------ tooltips 29------------ tooltips
30lambda01.lc 1:1-1:5 301:1-1:5
31 forall a . a -> () 31 forall a . a -> ()
32lambda01.lc 1:14-1:16 321:14-1:16
33 () 33 ()
34lambda01.lc 2:1-2:5 342:1-2:5
35 forall a . a -> () 35 forall a . a -> ()
36lambda01.lc 2:15-2:17 362:15-2:17
37 () 37 ()
38lambda01.lc 3:1-3:5 383:1-3:5
39 forall a . a -> () 39 forall a . a -> ()
40lambda01.lc 3:13-3:15 403:13-3:15
41 () 41 ()
42lambda01.lc 4:1-4:5 424:1-4:5
43 forall a b c d e f g h i . a -> b -> c -> d -> e -> f -> g -> h -> i -> () 43 forall a b c d e f g h i . a -> b -> c -> d -> e -> f -> g -> h -> i -> ()
44lambda01.lc 5:28-5:30 445:28-5:30
45 () \ No newline at end of file 45 () \ No newline at end of file
diff --git a/testdata/language-features/basic-values/lambda02.reject.out b/testdata/language-features/basic-values/lambda02.reject.out
index 3c5c3ca2..72951b88 100644
--- a/testdata/language-features/basic-values/lambda02.reject.out
+++ b/testdata/language-features/basic-values/lambda02.reject.out
@@ -1,3 +1,3 @@
1testdata/language-features/basic-values/lambda02.reject.lc:1:1: 1./testdata/language-features/basic-values/lambda02.reject.lc:1:1:
2unexpected 'f' 2unexpected 'f'
3expecting end of input or operator definition 3expecting end of input or operator definition \ No newline at end of file
diff --git a/testdata/language-features/basic-values/lambda03.out b/testdata/language-features/basic-values/lambda03.out
index a50ed0d0..f19a4176 100644
--- a/testdata/language-features/basic-values/lambda03.out
+++ b/testdata/language-features/basic-values/lambda03.out
@@ -10,11 +10,11 @@ fun1 = \a b c -> _rhs \_ d _ -> d
10fun2 :: forall a b c d . a -> b -> c -> d -> a 10fun2 :: forall a b c d . a -> b -> c -> d -> a
11fun2 = \a b c d e -> _rhs \_ _ _ -> e 11fun2 = \a b c d e -> _rhs \_ _ _ -> e
12------------ tooltips 12------------ tooltips
13lambda03.lc 1:1-1:5 131:1-1:5
14 forall a b c . a -> b -> c -> b 14 forall a b c . a -> b -> c -> b
15lambda03.lc 1:22-1:23 151:22-1:23
16 _d 16 _d
17lambda03.lc 2:1-2:5 172:1-2:5
18 forall a b c d . a -> b -> c -> d -> a 18 forall a b c d . a -> b -> c -> d -> a
19lambda03.lc 2:25-2:26 192:25-2:26
20 _h \ No newline at end of file 20 _h \ No newline at end of file
diff --git a/testdata/language-features/basic-values/let01.out b/testdata/language-features/basic-values/let01.out
index 1d5684fc..bf6cefec 100644
--- a/testdata/language-features/basic-values/let01.out
+++ b/testdata/language-features/basic-values/let01.out
@@ -25,37 +25,37 @@ value4 = \a b -> _rhs (fromInt a b 1)
25value5 :: forall a . Num a => a 25value5 :: forall a . Num a => a
26value5 = \a b -> _rhs (fromInt a b 1) 26value5 = \a b -> _rhs (fromInt a b 1)
27------------ tooltips 27------------ tooltips
28let01.lc 1:1-1:7 281:1-1:7
29 forall a . Num a => a 29 forall a . Num a => a
30let01.lc 1:18-1:19 301:18-1:19
31 _b 31 _b
32let01.lc 1:23-1:24 321:23-1:24
33 _b 33 _b
34let01.lc 3:1-3:7 343:1-3:7
35 forall a . Num a => a 35 forall a . Num a => a
36let01.lc 4:11-4:12 364:11-4:12
37 _b 37 _b
38let01.lc 5:6-5:7 385:6-5:7
39 _b 39 _b
40let01.lc 7:1-7:7 407:1-7:7
41 forall a . Num a => a 41 forall a . Num a => a
42let01.lc 8:11-8:12 428:11-8:12
43 _b 43 _b
44let01.lc 9:11-9:14 449:11-9:14
45 Char 45 Char
46let01.lc 10:6-10:7 4610:6-10:7
47 _b 47 _b
48let01.lc 12:1-12:7 4812:1-12:7
49 forall a . Num a => a 49 forall a . Num a => a
50let01.lc 12:18-12:19 5012:18-12:19
51 _b 51 _b
52let01.lc 13:13-13:14 5213:13-13:14
53 _b 53 _b
54let01.lc 15:1-15:7 5415:1-15:7
55 forall a . Num a => a 55 forall a . Num a => a
56let01.lc 15:18-15:19 5615:18-15:19
57 _b 57 _b
58let01.lc 16:18-16:19 5816:18-16:19
59 _b 59 _b
60let01.lc 17:13-17:14 6017:13-17:14
61 _b \ No newline at end of file 61 _b \ No newline at end of file
diff --git a/testdata/language-features/basic-values/let02.out b/testdata/language-features/basic-values/let02.out
index 7ac6a6d8..15152bf3 100644
--- a/testdata/language-features/basic-values/let02.out
+++ b/testdata/language-features/basic-values/let02.out
@@ -11,21 +11,21 @@ value
11value :: () 11value :: ()
12value = _rhs () 12value = _rhs ()
13------------ tooltips 13------------ tooltips
14let02.lc 1:1-1:6 141:1-1:6
15 () 15 ()
16let02.lc 2:11-2:13 162:11-2:13
17 () 17 ()
18let02.lc 3:19-3:22 183:19-3:22
19 Char 19 Char
20let02.lc 3:26-3:28 203:26-3:28
21 () 21 ()
22let02.lc 5:17-5:19 225:17-5:19
23 () 23 ()
24let02.lc 6:17-6:18 246:17-6:18
25 _b 25 _b
26let02.lc 7:17-7:24 267:17-7:24
27 String 27 String
28let02.lc 8:12-8:15 288:12-8:15
29 Char 29 Char
30let02.lc 9:6-9:8 309:6-9:8
31 () \ No newline at end of file 31 () \ No newline at end of file
diff --git a/testdata/language-features/basic-values/literal01.out b/testdata/language-features/basic-values/literal01.out
index d7964d5e..64365818 100644
--- a/testdata/language-features/basic-values/literal01.out
+++ b/testdata/language-features/basic-values/literal01.out
@@ -40,35 +40,35 @@ stringValue1 = _rhs "Hello World"
40stringValue2 :: String 40stringValue2 :: String
41stringValue2 = _rhs "\nHello World\tagain!\r\n" 41stringValue2 = _rhs "\nHello World\tagain!\r\n"
42------------ tooltips 42------------ tooltips
43literal01.lc 1:1-1:10 431:1-1:10
44 forall a . Num a => a 44 forall a . Num a => a
45literal01.lc 1:13-1:14 451:13-1:14
46 _b 46 _b
47literal01.lc 2:1-2:10 472:1-2:10
48 forall a . Num a => a 48 forall a . Num a => a
49literal01.lc 2:13-2:14 492:13-2:14
50 _b 50 _b
51literal01.lc 3:1-3:10 513:1-3:10
52 forall a . Num a => a 52 forall a . Num a => a
53literal01.lc 3:13-3:18 533:13-3:18
54 _b 54 _b
55literal01.lc 5:1-5:12 555:1-5:12
56 Float 56 Float
57literal01.lc 5:15-5:18 575:15-5:18
58 Float 58 Float
59literal01.lc 6:1-6:12 596:1-6:12
60 Float 60 Float
61literal01.lc 6:15-6:22 616:15-6:22
62 Float 62 Float
63literal01.lc 8:1-8:10 638:1-8:10
64 Char 64 Char
65literal01.lc 8:13-8:16 658:13-8:16
66 Char 66 Char
67literal01.lc 10:1-10:13 6710:1-10:13
68 String 68 String
69literal01.lc 10:16-10:29 6910:16-10:29
70 String 70 String
71literal01.lc 11:1-11:13 7111:1-11:13
72 String 72 String
73literal01.lc 11:16-11:45 7311:16-11:45
74 String \ No newline at end of file 74 String \ No newline at end of file
diff --git a/testdata/language-features/basic-values/operator01.out b/testdata/language-features/basic-values/operator01.out
index 0a4d4546..2ad007f3 100644
--- a/testdata/language-features/basic-values/operator01.out
+++ b/testdata/language-features/basic-values/operator01.out
@@ -20,19 +20,19 @@ $$$ = \a b _ _ -> _rhs ()
20$$$# :: forall a b . a -> b -> () 20$$$# :: forall a b . a -> b -> ()
21$$$# = \a b _ _ -> _rhs () 21$$$# = \a b _ _ -> _rhs ()
22------------ tooltips 22------------ tooltips
23operator01.lc 1:3-1:6 231:3-1:6
24 forall a b . a -> b -> () 24 forall a b . a -> b -> ()
25operator01.lc 1:11-1:13 251:11-1:13
26 () 26 ()
27operator01.lc 3:3-3:6 273:3-3:6
28 forall a b . a -> b -> () 28 forall a b . a -> b -> ()
29operator01.lc 3:8-3:10 293:8-3:10
30 () 30 ()
31operator01.lc 5:3-5:7 315:3-5:7
32 forall a b . a -> b -> () 32 forall a b . a -> b -> ()
33operator01.lc 6:3-6:5 336:3-6:5
34 () 34 ()
35operator01.lc 8:3-8:6 358:3-8:6
36 forall a b . a -> b -> () 36 forall a b . a -> b -> ()
37operator01.lc 8:11-8:13 378:11-8:13
38 () \ No newline at end of file 38 () \ No newline at end of file
diff --git a/testdata/language-features/basic-values/operator02.reject.out b/testdata/language-features/basic-values/operator02.reject.out
index d45a726c..f0c16207 100644
--- a/testdata/language-features/basic-values/operator02.reject.out
+++ b/testdata/language-features/basic-values/operator02.reject.out
@@ -1,29 +1,29 @@
1already defined #$# at operator02.reject.lc:3:3: 1already defined #$# at ./testdata/language-features/basic-values/operator02.reject.lc:3:3:
2a #$# b = () 2a #$# b = ()
3 ^^^ 3 ^^^
4and at operator02.reject.lc:1:3: 4and at ./testdata/language-features/basic-values/operator02.reject.lc:1:3:
5a #$# b = () 5a #$# b = ()
6 ^^^ 6 ^^^
7------------ trace 7------------ trace
8(#$#) :: forall a b . a -> b -> () 8(#$#) :: forall a b . a -> b -> ()
9fun :: forall a . a -> () 9fun :: forall a . a -> ()
10(#$#) :: forall a b . a -> b -> () 10(#$#) :: forall a b . a -> b -> ()
11!already defined #$# at operator02.reject.lc:3:3: 11!already defined #$# at ./testdata/language-features/basic-values/operator02.reject.lc:3:3:
12a #$# b = () 12a #$# b = ()
13 ^^^ 13 ^^^
14and at operator02.reject.lc:1:3: 14and at ./testdata/language-features/basic-values/operator02.reject.lc:1:3:
15a #$# b = () 15a #$# b = ()
16 ^^^ 16 ^^^
17------------ tooltips 17------------ tooltips
18operator02.reject.lc 1:3-1:6 181:3-1:6
19 forall a b . a -> b -> () 19 forall a b . a -> b -> ()
20operator02.reject.lc 1:11-1:13 201:11-1:13
21 () 21 ()
22operator02.reject.lc 2:1-2:4 222:1-2:4
23 forall a . a -> () 23 forall a . a -> ()
24operator02.reject.lc 2:9-2:11 242:9-2:11
25 () 25 ()
26operator02.reject.lc 3:3-3:6 263:3-3:6
27 forall a b . a -> b -> () 27 forall a b . a -> b -> ()
28operator02.reject.lc 3:11-3:13 283:11-3:13
29 () \ No newline at end of file 29 () \ No newline at end of file
diff --git a/testdata/language-features/basic-values/operator03.reject.out b/testdata/language-features/basic-values/operator03.reject.out
index 33fc2e25..062e8901 100644
--- a/testdata/language-features/basic-values/operator03.reject.out
+++ b/testdata/language-features/basic-values/operator03.reject.out
@@ -1,3 +1,3 @@
1testdata/language-features/basic-values/operator03.reject.lc:1:1: 1./testdata/language-features/basic-values/operator03.reject.lc:1:1:
2unexpected 'a' 2unexpected 'a'
3expecting end of input or operator definition 3expecting end of input or operator definition \ No newline at end of file
diff --git a/testdata/language-features/basic-values/operator04.reject.out b/testdata/language-features/basic-values/operator04.reject.out
index 824c8074..8198712e 100644
--- a/testdata/language-features/basic-values/operator04.reject.out
+++ b/testdata/language-features/basic-values/operator04.reject.out
@@ -1,3 +1,3 @@
1testdata/language-features/basic-values/operator04.reject.lc:1:1: 1./testdata/language-features/basic-values/operator04.reject.lc:1:1:
2unexpected 'a' 2unexpected 'a'
3expecting end of input or operator definition 3expecting end of input or operator definition \ No newline at end of file
diff --git a/testdata/language-features/basic-values/operator05.out b/testdata/language-features/basic-values/operator05.out
index cc714c3a..de468c17 100644
--- a/testdata/language-features/basic-values/operator05.out
+++ b/testdata/language-features/basic-values/operator05.out
@@ -6,17 +6,17 @@ value1
6value1 :: () 6value1 :: ()
7value1 = _rhs () 7value1 = _rhs ()
8------------ tooltips 8------------ tooltips
9operator05.lc 1:1-1:7 91:1-1:7
10 () 10 ()
11operator05.lc 1:24-1:26 111:24-1:26
12 () 12 ()
13operator05.lc 2:13-2:15 132:13-2:15
14 () 14 ()
15operator05.lc 2:13-2:19 152:13-2:19
16 _a -> () 16 _a -> ()
17operator05.lc 2:13-2:22 172:13-2:22
18 () 18 ()
19operator05.lc 2:16-2:19 192:16-2:19
20 forall a b . a -> b -> () 20 forall a b . a -> b -> ()
21operator05.lc 2:20-2:22 212:20-2:22
22 () \ No newline at end of file 22 () \ No newline at end of file
diff --git a/testdata/language-features/basic-values/operator06.out b/testdata/language-features/basic-values/operator06.out
index de7def09..4f0031ce 100644
--- a/testdata/language-features/basic-values/operator06.out
+++ b/testdata/language-features/basic-values/operator06.out
@@ -6,17 +6,17 @@ value1
6value1 :: () 6value1 :: ()
7value1 = _rhs () 7value1 = _rhs ()
8------------ tooltips 8------------ tooltips
9operator06.lc 1:1-1:7 91:1-1:7
10 () 10 ()
11operator06.lc 1:10-1:12 111:10-1:12
12 () 12 ()
13operator06.lc 1:10-1:16 131:10-1:16
14 _a -> () 14 _a -> ()
15operator06.lc 1:10-1:19 151:10-1:19
16 () 16 ()
17operator06.lc 1:13-1:16 171:13-1:16
18 forall a b . a -> b -> () 18 forall a b . a -> b -> ()
19operator06.lc 1:17-1:19 191:17-1:19
20 () 20 ()
21operator06.lc 2:19-2:21 212:19-2:21
22 () \ No newline at end of file 22 () \ No newline at end of file
diff --git a/testdata/language-features/basic-values/operator07.reject.out b/testdata/language-features/basic-values/operator07.reject.out
index c2452fc4..cfe51f5c 100644
--- a/testdata/language-features/basic-values/operator07.reject.out
+++ b/testdata/language-features/basic-values/operator07.reject.out
@@ -1,7 +1,7 @@
1Operator precedences don't match: 1Operator precedences don't match:
2infix 5 at operator07.reject.lc:11:11: 2infix 5 at ./testdata/language-features/basic-values/operator07.reject.lc:11:11:
3main = () @&> () <@& () 3main = () @&> () <@& ()
4 ^^^ 4 ^^^
5infixl 5 at operator07.reject.lc:11:18: 5infixl 5 at ./testdata/language-features/basic-values/operator07.reject.lc:11:18:
6main = () @&> () <@& () 6main = () @&> () <@& ()
7 ^^^ \ No newline at end of file 7 ^^^ \ No newline at end of file
diff --git a/testdata/language-features/basic-values/operator08.reject.out b/testdata/language-features/basic-values/operator08.reject.out
index 85b9a762..1f478dad 100644
--- a/testdata/language-features/basic-values/operator08.reject.out
+++ b/testdata/language-features/basic-values/operator08.reject.out
@@ -1,7 +1,7 @@
1Operator precedences don't match: 1Operator precedences don't match:
2infix 5 at operator08.reject.lc:10:6: 2infix 5 at ./testdata/language-features/basic-values/operator08.reject.lc:10:6:
3x = (@&> () <@& ()) 3x = (@&> () <@& ())
4 ^^^ 4 ^^^
5infixl 5 at operator08.reject.lc:10:13: 5infixl 5 at ./testdata/language-features/basic-values/operator08.reject.lc:10:13:
6x = (@&> () <@& ()) 6x = (@&> () <@& ())
7 ^^^ \ No newline at end of file 7 ^^^ \ No newline at end of file
diff --git a/testdata/language-features/basic-values/redefine01.reject.out b/testdata/language-features/basic-values/redefine01.reject.out
index 8f8e4dd2..2d00889e 100644
--- a/testdata/language-features/basic-values/redefine01.reject.out
+++ b/testdata/language-features/basic-values/redefine01.reject.out
@@ -1,29 +1,29 @@
1already defined unit at redefine01.reject.lc:3:1: 1already defined unit at ./testdata/language-features/basic-values/redefine01.reject.lc:3:1:
2unit = () 2unit = ()
3^^^^ 3^^^^
4and at redefine01.reject.lc:1:1: 4and at ./testdata/language-features/basic-values/redefine01.reject.lc:1:1:
5unit = () 5unit = ()
6^^^^ 6^^^^
7------------ trace 7------------ trace
8unit :: () 8unit :: ()
9tuple :: () 9tuple :: ()
10unit :: () 10unit :: ()
11!already defined unit at redefine01.reject.lc:3:1: 11!already defined unit at ./testdata/language-features/basic-values/redefine01.reject.lc:3:1:
12unit = () 12unit = ()
13^^^^ 13^^^^
14and at redefine01.reject.lc:1:1: 14and at ./testdata/language-features/basic-values/redefine01.reject.lc:1:1:
15unit = () 15unit = ()
16^^^^ 16^^^^
17------------ tooltips 17------------ tooltips
18redefine01.reject.lc 1:1-1:5 181:1-1:5
19 () 19 ()
20redefine01.reject.lc 1:8-1:10 201:8-1:10
21 () 21 ()
22redefine01.reject.lc 2:1-2:6 222:1-2:6
23 () 23 ()
24redefine01.reject.lc 2:9-2:11 242:9-2:11
25 () 25 ()
26redefine01.reject.lc 3:1-3:5 263:1-3:5
27 () 27 ()
28redefine01.reject.lc 3:8-3:10 283:8-3:10
29 () \ No newline at end of file 29 () \ No newline at end of file
diff --git a/testdata/language-features/basic-values/redefine02.reject.out b/testdata/language-features/basic-values/redefine02.reject.out
index 2d75ac18..2daaf755 100644
--- a/testdata/language-features/basic-values/redefine02.reject.out
+++ b/testdata/language-features/basic-values/redefine02.reject.out
@@ -1,9 +1,9 @@
1testdata/language-features/basic-values/redefine02.reject.lc:3:8: 1./testdata/language-features/basic-values/redefine02.reject.lc:3:8:
2expecting expression 2expecting expression
3redefined x: 3redefined x:
4redefine02.reject.lc:1:12: 4./testdata/language-features/basic-values/redefine02.reject.lc:1:12:
5unit = let x = () 5unit = let x = ()
6 ^ 6 ^
7redefine02.reject.lc:2:12: 7./testdata/language-features/basic-values/redefine02.reject.lc:2:12:
8 x = () 8 x = ()
9 ^ \ No newline at end of file 9 ^ \ No newline at end of file
diff --git a/testdata/language-features/basic-values/redefine03.reject.out b/testdata/language-features/basic-values/redefine03.reject.out
index 6cae5486..8dbe5de7 100644
--- a/testdata/language-features/basic-values/redefine03.reject.out
+++ b/testdata/language-features/basic-values/redefine03.reject.out
@@ -1,8 +1,8 @@
1testdata/language-features/basic-values/redefine03.reject.lc:4:1: 1./testdata/language-features/basic-values/redefine03.reject.lc:4:1:
2redefined x: 2redefined x:
3redefine03.reject.lc:2:9: 3./testdata/language-features/basic-values/redefine03.reject.lc:2:9:
4 where x = () 4 where x = ()
5 ^ 5 ^
6redefine03.reject.lc:3:9: 6./testdata/language-features/basic-values/redefine03.reject.lc:3:9:
7 x = () 7 x = ()
8 ^ \ No newline at end of file 8 ^ \ No newline at end of file
diff --git a/testdata/language-features/basic-values/shadowing01.out b/testdata/language-features/basic-values/shadowing01.out
index 3d67cf8e..e6fcca49 100644
--- a/testdata/language-features/basic-values/shadowing01.out
+++ b/testdata/language-features/basic-values/shadowing01.out
@@ -16,25 +16,25 @@ value
16value :: Char 16value :: Char
17value = _rhs '7' 17value = _rhs '7'
18------------ tooltips 18------------ tooltips
19shadowing01.lc 1:1-1:6 191:1-1:6
20 Char 20 Char
21shadowing01.lc 2:11-2:14 212:11-2:14
22 Char 22 Char
23shadowing01.lc 3:11-3:18 233:11-3:18
24 String 24 String
25shadowing01.lc 5:17-5:18 255:17-5:18
26 _b 26 _b
27shadowing01.lc 6:17-6:21 276:17-6:21
28 Float 28 Float
29shadowing01.lc 7:25-7:27 297:25-7:27
30 () 30 ()
31shadowing01.lc 8:25-8:28 318:25-8:28
32 Char 32 Char
33shadowing01.lc 9:25-9:29 339:25-9:29
34 Float 34 Float
35shadowing01.lc 10:20-10:27 3510:20-10:27
36 String 36 String
37shadowing01.lc 11:14-11:16 3711:14-11:16
38 () 38 ()
39shadowing01.lc 12:6-12:9 3912:6-12:9
40 Char \ No newline at end of file 40 Char \ No newline at end of file
diff --git a/testdata/language-features/basic-values/shadowing02.out b/testdata/language-features/basic-values/shadowing02.out
index 0149e67b..f90c2b5b 100644
--- a/testdata/language-features/basic-values/shadowing02.out
+++ b/testdata/language-features/basic-values/shadowing02.out
@@ -27,37 +27,37 @@ value2 = _rhs '7'
27world :: String 27world :: String
28world = _rhs "world" 28world = _rhs "world"
29------------ tooltips 29------------ tooltips
30shadowing02.lc 1:1-1:2 301:1-1:2
31 forall a . Num a => a 31 forall a . Num a => a
32shadowing02.lc 1:5-1:6 321:5-1:6
33 _b 33 _b
34shadowing02.lc 2:1-2:6 342:1-2:6
35 String 35 String
36shadowing02.lc 2:9-2:16 362:9-2:16
37 String 37 String
38shadowing02.lc 3:1-3:7 383:1-3:7
39 Char 39 Char
40shadowing02.lc 4:11-4:14 404:11-4:14
41 Char 41 Char
42shadowing02.lc 5:11-5:18 425:11-5:18
43 String 43 String
44shadowing02.lc 6:11-6:14 446:11-6:14
45 _b 45 _b
46shadowing02.lc 8:17-8:18 468:17-8:18
47 _b 47 _b
48shadowing02.lc 9:17-9:21 489:17-9:21
49 Float 49 Float
50shadowing02.lc 10:25-10:27 5010:25-10:27
51 () 51 ()
52shadowing02.lc 11:25-11:28 5211:25-11:28
53 Char 53 Char
54shadowing02.lc 12:25-12:29 5412:25-12:29
55 Float 55 Float
56shadowing02.lc 13:25-13:26 5613:25-13:26
57 forall a . Num a => a 57 forall a . Num a => a
58shadowing02.lc 14:20-14:25 5814:20-14:25
59 String 59 String
60shadowing02.lc 15:14-15:16 6015:14-15:16
61 () 61 ()
62shadowing02.lc 16:6-16:9 6216:6-16:9
63 Char \ No newline at end of file 63 Char \ No newline at end of file
diff --git a/testdata/language-features/basic-values/shadowing03.out b/testdata/language-features/basic-values/shadowing03.out
index 1fe98417..fec1478e 100644
--- a/testdata/language-features/basic-values/shadowing03.out
+++ b/testdata/language-features/basic-values/shadowing03.out
@@ -5,7 +5,7 @@ x = _lhs x \(_ :: _) (_ :: _) -> _rhs ()
5x :: forall a b . a -> b -> () 5x :: forall a b . a -> b -> ()
6x = \a b _ _ -> _rhs () 6x = \a b _ _ -> _rhs ()
7------------ tooltips 7------------ tooltips
8shadowing03.lc 1:1-1:2 81:1-1:2
9 forall a b . a -> b -> () 9 forall a b . a -> b -> ()
10shadowing03.lc 1:9-1:11 101:9-1:11
11 () \ No newline at end of file 11 () \ No newline at end of file
diff --git a/testdata/language-features/basic-values/shadowing04.out b/testdata/language-features/basic-values/shadowing04.out
index 1c371cea..8a46bd9d 100644
--- a/testdata/language-features/basic-values/shadowing04.out
+++ b/testdata/language-features/basic-values/shadowing04.out
@@ -5,7 +5,7 @@ __ = _lhs __ \(_ :: _) (_ :: _) -> _rhs ()
5__ :: forall a b . a -> b -> () 5__ :: forall a b . a -> b -> ()
6__ = \a b _ _ -> _rhs () 6__ = \a b _ _ -> _rhs ()
7------------ tooltips 7------------ tooltips
8shadowing04.lc 1:1-1:3 81:1-1:3
9 forall a b . a -> b -> () 9 forall a b . a -> b -> ()
10shadowing04.lc 1:11-1:13 101:11-1:13
11 () \ No newline at end of file 11 () \ No newline at end of file
diff --git a/testdata/language-features/basic-values/tuple01.out b/testdata/language-features/basic-values/tuple01.out
index ef606dab..dd3b4d67 100644
--- a/testdata/language-features/basic-values/tuple01.out
+++ b/testdata/language-features/basic-values/tuple01.out
@@ -5,7 +5,7 @@ unit = _lhs unit (_rhs ())
5unit :: () 5unit :: ()
6unit = _rhs () 6unit = _rhs ()
7------------ tooltips 7------------ tooltips
8tuple01.lc 1:1-1:5 81:1-1:5
9 () 9 ()
10tuple01.lc 1:8-1:10 101:8-1:10
11 () \ No newline at end of file 11 () \ No newline at end of file
diff --git a/testdata/language-features/basic-values/tuple02.out b/testdata/language-features/basic-values/tuple02.out
index c1561406..b906f1f6 100644
--- a/testdata/language-features/basic-values/tuple02.out
+++ b/testdata/language-features/basic-values/tuple02.out
@@ -15,43 +15,43 @@ tuple2 = _rhs ((), ())
15tuple3 :: ((String, Char), ()) 15tuple3 :: ((String, Char), ())
16tuple3 = _rhs (("name", 'c'), ()) 16tuple3 = _rhs (("name", 'c'), ())
17------------ tooltips 17------------ tooltips
18tuple02.lc 1:1-1:7 181:1-1:7
19 forall a . Num a => (a, Float, Char, String, ()) 19 forall a . Num a => (a, Float, Char, String, ())
20tuple02.lc 1:10-1:33 201:10-1:33
21 (_b, Float, Char, String, ()) 21 (_b, Float, Char, String, ())
22tuple02.lc 1:11-1:12 221:11-1:12
23 _b 23 _b
24tuple02.lc 1:13-1:16 241:13-1:16
25 Float 25 Float
26tuple02.lc 1:13-1:32 261:13-1:32
27 (Float, Char, String, ()) 27 (Float, Char, String, ())
28tuple02.lc 1:17-1:20 281:17-1:20
29 Char 29 Char
30tuple02.lc 1:17-1:32 301:17-1:32
31 (Char, String, ()) 31 (Char, String, ())
32tuple02.lc 1:21-1:29 321:21-1:29
33 String 33 String
34tuple02.lc 1:21-1:32 341:21-1:32
35 (String, ()) 35 (String, ())
36tuple02.lc 1:30-1:32 361:30-1:32
37 () | ((())) 37 () | ((()))
38tuple02.lc 3:1-3:7 383:1-3:7
39 ((), ()) 39 ((), ())
40tuple02.lc 3:10-3:17 403:10-3:17
41 ((), ()) 41 ((), ())
42tuple02.lc 3:11-3:13 423:11-3:13
43 () 43 ()
44tuple02.lc 3:14-3:16 443:14-3:16
45 () | ((())) 45 () | ((()))
46tuple02.lc 5:1-5:7 465:1-5:7
47 ((String, Char), ()) 47 ((String, Char), ())
48tuple02.lc 5:10-5:27 485:10-5:27
49 ((String, Char), ()) 49 ((String, Char), ())
50tuple02.lc 5:11-5:23 505:11-5:23
51 (String, Char) 51 (String, Char)
52tuple02.lc 5:12-5:18 525:12-5:18
53 String 53 String
54tuple02.lc 5:19-5:22 545:19-5:22
55 Char | ((Char)) 55 Char | ((Char))
56tuple02.lc 5:24-5:26 565:24-5:26
57 () | ((())) \ No newline at end of file 57 () | ((())) \ No newline at end of file
diff --git a/testdata/language-features/basic-values/typesig01.out b/testdata/language-features/basic-values/typesig01.out
index 99b776c7..9b0e093a 100644
--- a/testdata/language-features/basic-values/typesig01.out
+++ b/testdata/language-features/basic-values/typesig01.out
@@ -12,15 +12,15 @@ value1 = _rhs 'a'
12value2 :: Char 12value2 :: Char
13value2 = _rhs 'a' 13value2 = _rhs 'a'
14------------ tooltips 14------------ tooltips
15typesig01.lc 1:11-1:15 151:11-1:15
16 Type 16 Type
17typesig01.lc 2:1-2:7 172:1-2:7
18 Char 18 Char
19typesig01.lc 2:10-2:13 192:10-2:13
20 Char 20 Char
21typesig01.lc 4:9-4:13 214:9-4:13
22 Type 22 Type
23typesig01.lc 5:1-5:7 235:1-5:7
24 Char 24 Char
25typesig01.lc 5:8-5:11 255:8-5:11
26 Char \ No newline at end of file 26 Char \ No newline at end of file
diff --git a/testdata/language-features/basic-values/typesig02.out b/testdata/language-features/basic-values/typesig02.out
index 4380458d..bdf86f12 100644
--- a/testdata/language-features/basic-values/typesig02.out
+++ b/testdata/language-features/basic-values/typesig02.out
@@ -10,15 +10,15 @@ value1 = _rhs 'a'
10value2 :: Char 10value2 :: Char
11value2 = _rhs 'a' 11value2 = _rhs 'a'
12------------ tooltips 12------------ tooltips
13typesig02.lc 1:1-1:7 131:1-1:7
14 Char 14 Char
15typesig02.lc 1:10-1:13 151:10-1:13
16 Char 16 Char
17typesig02.lc 1:17-1:21 171:17-1:21
18 Type 18 Type
19typesig02.lc 3:1-3:7 193:1-3:7
20 Char 20 Char
21typesig02.lc 3:8-3:11 213:8-3:11
22 Char 22 Char
23typesig02.lc 3:13-3:17 233:13-3:17
24 Type \ No newline at end of file 24 Type \ No newline at end of file
diff --git a/testdata/language-features/basic-values/typesig03.out b/testdata/language-features/basic-values/typesig03.out
index 0ccb0844..e934b855 100644
--- a/testdata/language-features/basic-values/typesig03.out
+++ b/testdata/language-features/basic-values/typesig03.out
@@ -12,39 +12,39 @@ fun1 = \_ _ _ _ _ _ -> _rhs ()
12fun2 :: forall a b c . a -> b -> c -> () 12fun2 :: forall a b c . a -> b -> c -> ()
13fun2 = \_ _ _ _ _ _ -> _rhs () 13fun2 = \_ _ _ _ _ _ -> _rhs ()
14------------ tooltips 14------------ tooltips
15typesig03.lc 1:9-1:10 151:9-1:10
16 _f 16 _f
17typesig03.lc 1:9-1:26 171:9-1:26
18 Type | Type | Type 18 Type | Type | Type
19typesig03.lc 1:14-1:15 191:14-1:15
20 _e 20 _e
21typesig03.lc 1:14-1:26 211:14-1:26
22 Type 22 Type
23typesig03.lc 1:19-1:20 231:19-1:20
24 _d 24 _d
25typesig03.lc 1:19-1:26 251:19-1:26
26 Type 26 Type
27typesig03.lc 1:24-1:26 271:24-1:26
28 Type | Type 28 Type | Type
29typesig03.lc 2:1-2:5 292:1-2:5
30 forall a b c . a -> b -> c -> () 30 forall a b c . a -> b -> c -> ()
31typesig03.lc 2:14-2:16 312:14-2:16
32 () 32 ()
33typesig03.lc 4:7-4:8 334:7-4:8
34 _f 34 _f
35typesig03.lc 4:7-4:18 354:7-4:18
36 Type | Type | Type 36 Type | Type | Type
37typesig03.lc 4:10-4:11 374:10-4:11
38 _e 38 _e
39typesig03.lc 4:10-4:18 394:10-4:18
40 Type 40 Type
41typesig03.lc 4:13-4:14 414:13-4:14
42 _d 42 _d
43typesig03.lc 4:13-4:18 434:13-4:18
44 Type 44 Type
45typesig03.lc 4:16-4:18 454:16-4:18
46 Type | Type 46 Type | Type
47typesig03.lc 5:1-5:5 475:1-5:5
48 forall a b c . a -> b -> c -> () 48 forall a b c . a -> b -> c -> ()
49typesig03.lc 5:14-5:16 495:14-5:16
50 () \ No newline at end of file 50 () \ No newline at end of file
diff --git a/testdata/language-features/basic-values/typesig04.out b/testdata/language-features/basic-values/typesig04.out
index 216b50b5..448f9dea 100644
--- a/testdata/language-features/basic-values/typesig04.out
+++ b/testdata/language-features/basic-values/typesig04.out
@@ -12,35 +12,35 @@ fun1 = \_ _ _ _ _ -> _rhs ()
12fun2 :: forall a b c . a -> (b -> c) -> () 12fun2 :: forall a b c . a -> (b -> c) -> ()
13fun2 = \_ _ _ _ _ -> _rhs () 13fun2 = \_ _ _ _ _ -> _rhs ()
14------------ tooltips 14------------ tooltips
15typesig04.lc 1:9-1:10 151:9-1:10
16 _f 16 _f
17typesig04.lc 1:9-1:28 171:9-1:28
18 Type | Type | Type 18 Type | Type | Type
19typesig04.lc 1:14-1:28 191:14-1:28
20 Type 20 Type
21typesig04.lc 1:15-1:16 211:15-1:16
22 _e 22 _e
23typesig04.lc 1:20-1:21 231:20-1:21
24 _d | Type 24 _d | Type
25typesig04.lc 1:26-1:28 251:26-1:28
26 Type | Type 26 Type | Type
27typesig04.lc 2:1-2:5 272:1-2:5
28 forall a b c . a -> (b -> c) -> () 28 forall a b c . a -> (b -> c) -> ()
29typesig04.lc 2:12-2:14 292:12-2:14
30 () 30 ()
31typesig04.lc 4:7-4:8 314:7-4:8
32 _f 32 _f
33typesig04.lc 4:7-4:20 334:7-4:20
34 Type | Type | Type 34 Type | Type | Type
35typesig04.lc 4:10-4:20 354:10-4:20
36 Type 36 Type
37typesig04.lc 4:11-4:12 374:11-4:12
38 _e 38 _e
39typesig04.lc 4:14-4:15 394:14-4:15
40 _d | Type 40 _d | Type
41typesig04.lc 4:18-4:20 414:18-4:20
42 Type | Type 42 Type | Type
43typesig04.lc 5:1-5:5 435:1-5:5
44 forall a b c . a -> (b -> c) -> () 44 forall a b c . a -> (b -> c) -> ()
45typesig04.lc 5:12-5:14 455:12-5:14
46 () \ No newline at end of file 46 () \ No newline at end of file
diff --git a/testdata/language-features/basic-values/typesig05.out b/testdata/language-features/basic-values/typesig05.out
index 68ed5a37..d93eaa07 100644
--- a/testdata/language-features/basic-values/typesig05.out
+++ b/testdata/language-features/basic-values/typesig05.out
@@ -32,67 +32,67 @@ value3 = _rhs 'a'
32value4 :: String 32value4 :: String
33value4 = _rhs "b" 33value4 = _rhs "b"
34------------ tooltips 34------------ tooltips
35typesig05.lc 1:1-1:5 351:1-1:5
36 forall a b . a -> b -> a 36 forall a b . a -> b -> a
37typesig05.lc 1:12-1:13 371:12-1:13
38 _d 38 _d
39typesig05.lc 2:1-2:5 392:1-2:5
40 forall a b . a -> b -> b 40 forall a b . a -> b -> b
41typesig05.lc 2:12-2:13 412:12-2:13
42 _b 42 _b
43typesig05.lc 4:1-4:7 434:1-4:7
44 Char 44 Char
45typesig05.lc 4:10-4:14 454:10-4:14
46 forall a b . a -> b -> a 46 forall a b . a -> b -> a
47typesig05.lc 4:10-4:18 474:10-4:18
48 _a -> Char 48 _a -> Char
49typesig05.lc 4:10-4:22 494:10-4:22
50 Char 50 Char
51typesig05.lc 4:15-4:18 514:15-4:18
52 Char 52 Char
53typesig05.lc 4:19-4:22 534:19-4:22
54 String 54 String
55typesig05.lc 4:26-4:30 554:26-4:30
56 Type 56 Type
57typesig05.lc 5:1-5:7 575:1-5:7
58 String 58 String
59typesig05.lc 5:10-5:14 595:10-5:14
60 forall a b . a -> b -> b 60 forall a b . a -> b -> b
61typesig05.lc 5:10-5:18 615:10-5:18
62 _a -> _a 62 _a -> _a
63typesig05.lc 5:10-5:22 635:10-5:22
64 String 64 String
65typesig05.lc 5:15-5:18 655:15-5:18
66 Char 66 Char
67typesig05.lc 5:19-5:22 675:19-5:22
68 String 68 String
69typesig05.lc 5:26-5:32 695:26-5:32
70 Type 70 Type
71typesig05.lc 7:11-7:15 717:11-7:15
72 Type 72 Type
73typesig05.lc 8:1-8:7 738:1-8:7
74 Char 74 Char
75typesig05.lc 8:10-8:14 758:10-8:14
76 forall a b . a -> b -> a 76 forall a b . a -> b -> a
77typesig05.lc 8:10-8:18 778:10-8:18
78 _a -> Char 78 _a -> Char
79typesig05.lc 8:10-8:22 798:10-8:22
80 Char 80 Char
81typesig05.lc 8:15-8:18 818:15-8:18
82 Char 82 Char
83typesig05.lc 8:19-8:22 838:19-8:22
84 String 84 String
85typesig05.lc 10:11-10:17 8510:11-10:17
86 Type 86 Type
87typesig05.lc 11:1-11:7 8711:1-11:7
88 String 88 String
89typesig05.lc 11:10-11:14 8911:10-11:14
90 forall a b . a -> b -> b 90 forall a b . a -> b -> b
91typesig05.lc 11:10-11:18 9111:10-11:18
92 _a -> _a 92 _a -> _a
93typesig05.lc 11:10-11:22 9311:10-11:22
94 String 94 String
95typesig05.lc 11:15-11:18 9511:15-11:18
96 Char 96 Char
97typesig05.lc 11:19-11:22 9711:19-11:22
98 String \ No newline at end of file 98 String \ No newline at end of file
diff --git a/testdata/language-features/basic-values/typesig06.out b/testdata/language-features/basic-values/typesig06.out
index c0d085a4..eac324c3 100644
--- a/testdata/language-features/basic-values/typesig06.out
+++ b/testdata/language-features/basic-values/typesig06.out
@@ -20,39 +20,39 @@ value1 = _rhs "hi"
20value2 :: String 20value2 :: String
21value2 = _rhs "hi" 21value2 = _rhs "hi"
22------------ tooltips 22------------ tooltips
23typesig06.lc 1:1-1:5 231:1-1:5
24 forall a b . a -> b -> a 24 forall a b . a -> b -> a
25typesig06.lc 1:12-1:13 251:12-1:13
26 _d 26 _d
27typesig06.lc 2:3-2:5 272:3-2:5
28 forall a b . a -> b -> a 28 forall a b . a -> b -> a
29typesig06.lc 2:10-2:11 292:10-2:11
30 _d 30 _d
31typesig06.lc 4:1-4:7 314:1-4:7
32 String 32 String
33typesig06.lc 4:10-4:14 334:10-4:14
34 String 34 String
35typesig06.lc 4:10-4:17 354:10-4:17
36 _a -> String 36 _a -> String
37typesig06.lc 4:10-4:21 374:10-4:21
38 String 38 String
39typesig06.lc 4:15-4:17 394:15-4:17
40 forall a b . a -> b -> a 40 forall a b . a -> b -> a
41typesig06.lc 4:18-4:21 414:18-4:21
42 Float 42 Float
43typesig06.lc 4:25-4:31 434:25-4:31
44 Type 44 Type
45typesig06.lc 5:1-5:7 455:1-5:7
46 String 46 String
47typesig06.lc 5:10-5:14 475:10-5:14
48 String 48 String
49typesig06.lc 5:10-5:21 495:10-5:21
50 _a -> String 50 _a -> String
51typesig06.lc 5:10-5:25 515:10-5:25
52 String 52 String
53typesig06.lc 5:15-5:21 535:15-5:21
54 forall a b . a -> b -> a 54 forall a b . a -> b -> a
55typesig06.lc 5:22-5:25 555:22-5:25
56 Float 56 Float
57typesig06.lc 5:29-5:35 575:29-5:35
58 Type \ No newline at end of file 58 Type \ No newline at end of file
diff --git a/testdata/language-features/basic-values/typesig07.out b/testdata/language-features/basic-values/typesig07.out
index 61b2b2ec..4e46209b 100644
--- a/testdata/language-features/basic-values/typesig07.out
+++ b/testdata/language-features/basic-values/typesig07.out
@@ -36,37 +36,37 @@ value4 = \_ _ -> _rhs ()
36value6 :: () -> () -> () 36value6 :: () -> () -> ()
37value6 = \_ _ -> _rhs () 37value6 = \_ _ -> _rhs ()
38------------ tooltips 38------------ tooltips
39typesig07.lc 1:27-1:30 391:27-1:30
40 Type | Type | Type 40 Type | Type | Type
41typesig07.lc 3:1-3:7 413:1-3:7
42 Int 42 Int
43typesig07.lc 3:10-3:11 433:10-3:11
44 _b 44 _b
45typesig07.lc 4:1-4:7 454:1-4:7
46 Int 46 Int
47typesig07.lc 4:10-4:11 474:10-4:11
48 _b 48 _b
49typesig07.lc 5:1-5:7 495:1-5:7
50 Int 50 Int
51typesig07.lc 5:10-5:11 515:10-5:11
52 _b 52 _b
53typesig07.lc 8:12-8:14 538:12-8:14
54 Type | Type | Type 54 Type | Type | Type
55typesig07.lc 8:18-8:20 558:18-8:20
56 Type | Type | Type 56 Type | Type | Type
57typesig07.lc 8:18-8:26 578:18-8:26
58 Type | Type | Type 58 Type | Type | Type
59typesig07.lc 8:24-8:26 598:24-8:26
60 Type | Type | Type | Type | Type | Type 60 Type | Type | Type | Type | Type | Type
61typesig07.lc 10:1-10:7 6110:1-10:7
62 () -> () -> () 62 () -> () -> ()
63typesig07.lc 10:14-10:16 6310:14-10:16
64 () 64 ()
65typesig07.lc 11:3-11:6 6511:3-11:6
66 () -> () -> () 66 () -> () -> ()
67typesig07.lc 11:11-11:13 6711:11-11:13
68 () 68 ()
69typesig07.lc 12:1-12:7 6912:1-12:7
70 () -> () -> () 70 () -> () -> ()
71typesig07.lc 12:14-12:16 7112:14-12:16
72 () \ No newline at end of file 72 () \ No newline at end of file
diff --git a/testdata/language-features/basic-values/typesig08.reject.out b/testdata/language-features/basic-values/typesig08.reject.out
index 99f1866b..3b56a757 100644
--- a/testdata/language-features/basic-values/typesig08.reject.out
+++ b/testdata/language-features/basic-values/typesig08.reject.out
@@ -1,3 +1,3 @@
1testdata/language-features/basic-values/typesig08.reject.lc:1:1: 1./testdata/language-features/basic-values/typesig08.reject.lc:1:1:
2unexpected 'v' 2unexpected 'v'
3expecting end of input or typed ident 3expecting end of input or typed ident \ No newline at end of file
diff --git a/testdata/language-features/basic-values/typesig09.reject.out b/testdata/language-features/basic-values/typesig09.reject.out
index 6d788b9c..590d00a8 100644
--- a/testdata/language-features/basic-values/typesig09.reject.out
+++ b/testdata/language-features/basic-values/typesig09.reject.out
@@ -1,3 +1,3 @@
1testdata/language-features/basic-values/typesig09.reject.lc:1:1: 1./testdata/language-features/basic-values/typesig09.reject.lc:1:1:
2unexpected 'v' 2unexpected 'v'
3expecting end of input or typed ident 3expecting end of input or typed ident \ No newline at end of file
diff --git a/testdata/language-features/basic-values/typesyn01.out b/testdata/language-features/basic-values/typesyn01.out
index df1cfb53..78069fe1 100644
--- a/testdata/language-features/basic-values/typesyn01.out
+++ b/testdata/language-features/basic-values/typesyn01.out
@@ -5,7 +5,7 @@ main is not found
5'MyUnit :: Type 5'MyUnit :: Type
6'MyUnit = _rhs ' () 6'MyUnit = _rhs ' ()
7------------ tooltips 7------------ tooltips
8typesyn01.lc 1:6-1:12 81:6-1:12
9 Type 9 Type
10typesyn01.lc 1:15-1:17 101:15-1:17
11 Type \ No newline at end of file 11 Type \ No newline at end of file
diff --git a/testdata/language-features/basic-values/typesyn02.out b/testdata/language-features/basic-values/typesyn02.out
index 60d36933..6d92fe96 100644
--- a/testdata/language-features/basic-values/typesyn02.out
+++ b/testdata/language-features/basic-values/typesyn02.out
@@ -11,21 +11,21 @@ fun = _lhs fun \(_ :: _) (a :: _) -> hlistNilCase _ (_rhs ()) a
11fun :: forall a . a -> MyUnit -> () 11fun :: forall a . a -> MyUnit -> ()
12fun = \_ _ a -> hlistNilCase ' () (_rhs ()) a 12fun = \_ _ a -> hlistNilCase ' () (_rhs ()) a
13------------ tooltips 13------------ tooltips
14typesyn02.lc 1:6-1:12 141:6-1:12
15 Type 15 Type
16typesyn02.lc 1:15-1:17 161:15-1:17
17 Type 17 Type
18typesyn02.lc 3:8-3:9 183:8-3:9
19 _b 19 _b
20typesyn02.lc 3:8-3:29 203:8-3:29
21 Type 21 Type
22typesyn02.lc 3:13-3:19 223:13-3:19
23 Type 23 Type
24typesyn02.lc 3:13-3:29 243:13-3:29
25 Type 25 Type
26typesyn02.lc 3:23-3:29 263:23-3:29
27 Type | Type 27 Type | Type
28typesyn02.lc 4:1-4:4 284:1-4:4
29 forall a . a -> MyUnit -> () 29 forall a . a -> MyUnit -> ()
30typesyn02.lc 4:12-4:14 304:12-4:14
31 () | () \ No newline at end of file 31 () | () \ No newline at end of file
diff --git a/testdata/language-features/basic-values/typesyn03.reject.out b/testdata/language-features/basic-values/typesyn03.reject.out
index 692e020f..c93411e6 100644
--- a/testdata/language-features/basic-values/typesyn03.reject.out
+++ b/testdata/language-features/basic-values/typesyn03.reject.out
@@ -1,24 +1,24 @@
1already defined 'MyUnit at typesyn03.reject.lc:2:6: 1already defined 'MyUnit at ./testdata/language-features/basic-values/typesyn03.reject.lc:2:6:
2type MyUnit = () 2type MyUnit = ()
3 ^^^^^^ 3 ^^^^^^
4and at typesyn03.reject.lc:1:6: 4and at ./testdata/language-features/basic-values/typesyn03.reject.lc:1:6:
5type MyUnit = () 5type MyUnit = ()
6 ^^^^^^ 6 ^^^^^^
7------------ trace 7------------ trace
8'MyUnit :: Type 8'MyUnit :: Type
9'MyUnit :: Type 9'MyUnit :: Type
10!already defined 'MyUnit at typesyn03.reject.lc:2:6: 10!already defined 'MyUnit at ./testdata/language-features/basic-values/typesyn03.reject.lc:2:6:
11type MyUnit = () 11type MyUnit = ()
12 ^^^^^^ 12 ^^^^^^
13and at typesyn03.reject.lc:1:6: 13and at ./testdata/language-features/basic-values/typesyn03.reject.lc:1:6:
14type MyUnit = () 14type MyUnit = ()
15 ^^^^^^ 15 ^^^^^^
16------------ tooltips 16------------ tooltips
17typesyn03.reject.lc 1:6-1:12 171:6-1:12
18 Type 18 Type
19typesyn03.reject.lc 1:15-1:17 191:15-1:17
20 Type 20 Type
21typesyn03.reject.lc 2:6-2:12 212:6-2:12
22 Type 22 Type
23typesyn03.reject.lc 2:15-2:17 232:15-2:17
24 Type \ No newline at end of file 24 Type \ No newline at end of file
diff --git a/testdata/language-features/basic-values/typesyn04.reject.out b/testdata/language-features/basic-values/typesyn04.reject.out
index 3ad7f8a7..3979ab13 100644
--- a/testdata/language-features/basic-values/typesyn04.reject.out
+++ b/testdata/language-features/basic-values/typesyn04.reject.out
@@ -1,24 +1,24 @@
1already defined 'MyUnit at typesyn04.reject.lc:2:6: 1already defined 'MyUnit at ./testdata/language-features/basic-values/typesyn04.reject.lc:2:6:
2type MyUnit = () 2type MyUnit = ()
3 ^^^^^^ 3 ^^^^^^
4and at typesyn04.reject.lc:1:6: 4and at ./testdata/language-features/basic-values/typesyn04.reject.lc:1:6:
5type MyUnit = () 5type MyUnit = ()
6 ^^^^^^ 6 ^^^^^^
7------------ trace 7------------ trace
8'MyUnit :: Type 8'MyUnit :: Type
9'MyUnit :: Type 9'MyUnit :: Type
10!already defined 'MyUnit at typesyn04.reject.lc:2:6: 10!already defined 'MyUnit at ./testdata/language-features/basic-values/typesyn04.reject.lc:2:6:
11type MyUnit = () 11type MyUnit = ()
12 ^^^^^^ 12 ^^^^^^
13and at typesyn04.reject.lc:1:6: 13and at ./testdata/language-features/basic-values/typesyn04.reject.lc:1:6:
14type MyUnit = () 14type MyUnit = ()
15 ^^^^^^ 15 ^^^^^^
16------------ tooltips 16------------ tooltips
17typesyn04.reject.lc 1:6-1:12 171:6-1:12
18 Type 18 Type
19typesyn04.reject.lc 1:15-1:17 191:15-1:17
20 Type 20 Type
21typesyn04.reject.lc 2:6-2:12 212:6-2:12
22 Type 22 Type
23typesyn04.reject.lc 2:15-2:17 232:15-2:17
24 Type \ No newline at end of file 24 Type \ No newline at end of file
diff --git a/testdata/language-features/basic-values/where01.out b/testdata/language-features/basic-values/where01.out
index 4c44def7..0f84625e 100644
--- a/testdata/language-features/basic-values/where01.out
+++ b/testdata/language-features/basic-values/where01.out
@@ -55,75 +55,75 @@ value8 = _rhs ()
55value9 :: () 55value9 :: ()
56value9 = _rhs () 56value9 = _rhs ()
57------------ tooltips 57------------ tooltips
58where01.lc 1:1-1:7 581:1-1:7
59 () 59 ()
60where01.lc 1:10-1:12 601:10-1:12
61 () 61 ()
62where01.lc 1:23-1:25 621:23-1:25
63 () 63 ()
64where01.lc 3:1-3:7 643:1-3:7
65 () 65 ()
66where01.lc 3:10-3:11 663:10-3:11
67 () 67 ()
68where01.lc 4:12-4:14 684:12-4:14
69 () 69 ()
70where01.lc 6:1-6:7 706:1-6:7
71 () 71 ()
72where01.lc 6:10-6:11 726:10-6:11
73 () 73 ()
74where01.lc 7:12-7:14 747:12-7:14
75 () 75 ()
76where01.lc 8:12-8:14 768:12-8:14
77 () 77 ()
78where01.lc 10:1-10:7 7810:1-10:7
79 () 79 ()
80where01.lc 10:10-10:11 8010:10-10:11
81 () 81 ()
82where01.lc 12:6-12:8 8212:6-12:8
83 () 83 ()
84where01.lc 13:6-13:8 8413:6-13:8
85 () 85 ()
86where01.lc 15:1-15:7 8615:1-15:7
87 () 87 ()
88where01.lc 15:10-15:11 8815:10-15:11
89 () 89 ()
90where01.lc 17:7-17:9 9017:7-17:9
91 () 91 ()
92where01.lc 18:7-18:9 9218:7-18:9
93 () 93 ()
94where01.lc 20:1-20:7 9420:1-20:7
95 () 95 ()
96where01.lc 20:10-20:12 9620:10-20:12
97 () 97 ()
98where01.lc 22:1-22:7 9822:1-22:7
99 () 99 ()
100where01.lc 22:10-22:12 10022:10-22:12
101 () 101 ()
102where01.lc 25:1-25:7 10225:1-25:7
103 () 103 ()
104where01.lc 25:10-25:12 10425:10-25:12
105 () 105 ()
106where01.lc 30:1-30:7 10630:1-30:7
107 () 107 ()
108where01.lc 30:10-30:11 10830:10-30:11
109 () 109 ()
110where01.lc 34:7-34:9 11034:7-34:9
111 () 111 ()
112where01.lc 35:7-35:9 11235:7-35:9
113 () 113 ()
114where01.lc 37:1-37:8 11437:1-37:8
115 () 115 ()
116where01.lc 37:11-37:12 11637:11-37:12
117 () 117 ()
118where01.lc 39:6-39:8 11839:6-39:8
119 () 119 ()
120where01.lc 40:6-40:8 12040:6-40:8
121 () 121 ()
122where01.lc 42:1-42:8 12242:1-42:8
123 () 123 ()
124where01.lc 42:11-42:12 12442:11-42:12
125 () 125 ()
126where01.lc 43:6-43:8 12643:6-43:8
127 () 127 ()
128where01.lc 44:6-44:8 12844:6-44:8
129 () \ No newline at end of file 129 () \ No newline at end of file
diff --git a/testdata/language-features/basic-values/where02.reject.out b/testdata/language-features/basic-values/where02.reject.out
index 3a8033a4..b9458151 100644
--- a/testdata/language-features/basic-values/where02.reject.out
+++ b/testdata/language-features/basic-values/where02.reject.out
@@ -1,3 +1,3 @@
1testdata/language-features/basic-values/where02.reject.lc:4:5: 1./testdata/language-features/basic-values/where02.reject.lc:4:5:
2unexpected '=' 2unexpected '='
3expecting "->", "::", "=>", "let", "where", ''', '(', '@', '[', '_', '{', end of input, expression, lambda, literal, lowercase ident, rest of expression, swizzling, symbols, or uppercase ident 3expecting "->", "::", "=>", "let", "where", ''', '(', '@', '[', '_', '{', end of input, expression, lambda, literal, lowercase ident, rest of expression, swizzling, symbols, or uppercase ident \ No newline at end of file
diff --git a/testdata/language-features/basic-values/where03.reject.out b/testdata/language-features/basic-values/where03.reject.out
index a2898961..acaf1fc0 100644
--- a/testdata/language-features/basic-values/where03.reject.out
+++ b/testdata/language-features/basic-values/where03.reject.out
@@ -1,3 +1,3 @@
1testdata/language-features/basic-values/where03.reject.lc:4:2: 1./testdata/language-features/basic-values/where03.reject.lc:4:2:
2unexpected 'y' 2unexpected 'y'
3expecting ''', backquoted ident, end of input, expression, lambda, literal, lowercase ident, rest of expression, symbols, or uppercase ident 3expecting ''', backquoted ident, end of input, expression, lambda, literal, lowercase ident, rest of expression, symbols, or uppercase ident \ No newline at end of file
diff --git a/testdata/language-features/basic-values/where04.out b/testdata/language-features/basic-values/where04.out
index 06d51b41..41b46fda 100644
--- a/testdata/language-features/basic-values/where04.out
+++ b/testdata/language-features/basic-values/where04.out
@@ -15,27 +15,27 @@ value2 = _rhs ()
15value3 :: () 15value3 :: ()
16value3 = _rhs () 16value3 = _rhs ()
17------------ tooltips 17------------ tooltips
18where04.lc 1:1-1:7 181:1-1:7
19 () 19 ()
20where04.lc 1:18-1:19 201:18-1:19
21 () 21 ()
22where04.lc 1:30-1:32 221:30-1:32
23 () 23 ()
24where04.lc 1:36-1:37 241:36-1:37
25 () 25 ()
26where04.lc 3:1-3:7 263:1-3:7
27 () 27 ()
28where04.lc 3:18-3:19 283:18-3:19
29 () 29 ()
30where04.lc 4:25-4:27 304:25-4:27
31 () 31 ()
32where04.lc 5:13-5:14 325:13-5:14
33 () 33 ()
34where04.lc 7:1-7:7 347:1-7:7
35 () 35 ()
36where04.lc 7:18-7:19 367:18-7:19
37 () 37 ()
38where04.lc 9:19-9:21 389:19-9:21
39 () 39 ()
40where04.lc 10:13-10:14 4010:13-10:14
41 () \ No newline at end of file 41 () \ No newline at end of file
diff --git a/testdata/language-features/basic-values/where05.out b/testdata/language-features/basic-values/where05.out
index e371d656..c8a2e0a7 100644
--- a/testdata/language-features/basic-values/where05.out
+++ b/testdata/language-features/basic-values/where05.out
@@ -48,59 +48,59 @@ value4
48 = \a b c -> _rhs 48 = \a b c -> _rhs
49 (case'Bool (\_ -> ' ()) () () ((a == b) (fromInt a c 1) (fromInt a c 1))) 49 (case'Bool (\_ -> ' ()) () () ((a == b) (fromInt a c 1) (fromInt a c 1)))
50------------ tooltips 50------------ tooltips
51where05.lc 1:1-1:7 511:1-1:7
52 forall a . (Eq a, Num a) => () 52 forall a . (Eq a, Num a) => ()
53where05.lc 1:10-3:10 531:10-3:10
54 () 54 ()
55where05.lc 1:15-1:16 551:15-1:16
56 _b 56 _b
57where05.lc 2:8-2:9 572:8-2:9
58 () 58 ()
59where05.lc 2:8-3:10 592:8-3:10
60 Bool -> () 60 Bool -> ()
61where05.lc 2:20-2:22 612:20-2:22
62 () 62 ()
63where05.lc 3:8-3:10 633:8-3:10
64 () 64 ()
65where05.lc 5:1-5:7 655:1-5:7
66 forall a . (Eq a, Num a) => () 66 forall a . (Eq a, Num a) => ()
67where05.lc 5:10-8:10 675:10-8:10
68 () 68 ()
69where05.lc 5:15-5:16 695:15-5:16
70 _b 70 _b
71where05.lc 6:8-6:9 716:8-6:9
72 () 72 ()
73where05.lc 6:8-8:10 736:8-8:10
74 Bool -> () 74 Bool -> ()
75where05.lc 7:14-7:16 757:14-7:16
76 () 76 ()
77where05.lc 8:8-8:10 778:8-8:10
78 () 78 ()
79where05.lc 10:1-10:7 7910:1-10:7
80 forall a . (Eq a, Num a) => () 80 forall a . (Eq a, Num a) => ()
81where05.lc 10:10-14:10 8110:10-14:10
82 () 82 ()
83where05.lc 10:15-10:16 8310:15-10:16
84 _b 84 _b
85where05.lc 11:8-11:9 8511:8-11:9
86 () 86 ()
87where05.lc 11:8-14:10 8711:8-14:10
88 Bool -> () 88 Bool -> ()
89where05.lc 13:8-13:10 8913:8-13:10
90 () 90 ()
91where05.lc 14:8-14:10 9114:8-14:10
92 () 92 ()
93where05.lc 16:1-16:7 9316:1-16:7
94 forall a . (Eq a, Num a) => () 94 forall a . (Eq a, Num a) => ()
95where05.lc 16:10-18:10 9516:10-18:10
96 () 96 ()
97where05.lc 16:15-16:16 9716:15-16:16
98 _b 98 _b
99where05.lc 17:8-17:9 9917:8-17:9
100 () 100 ()
101where05.lc 17:8-18:10 10117:8-18:10
102 Bool -> () 102 Bool -> ()
103where05.lc 18:8-18:10 10318:8-18:10
104 () 104 ()
105where05.lc 21:6-21:8 10521:6-21:8
106 () \ No newline at end of file 106 () \ No newline at end of file
diff --git a/testdata/language-features/basic-values/where06.reject.out b/testdata/language-features/basic-values/where06.reject.out
index 8040bdc1..7368bf61 100644
--- a/testdata/language-features/basic-values/where06.reject.out
+++ b/testdata/language-features/basic-values/where06.reject.out
@@ -1,8 +1,8 @@
1testdata/language-features/basic-values/where06.reject.lc:7:1: 1./testdata/language-features/basic-values/where06.reject.lc:7:1:
2redefined x: 2redefined x:
3where06.reject.lc:3:1: 3./testdata/language-features/basic-values/where06.reject.lc:3:1:
4x = y where 4x = y where
5^ 5^
6where06.reject.lc:5:1: 6./testdata/language-features/basic-values/where06.reject.lc:5:1:
7x = 'c' 7x = 'c'
8^ \ No newline at end of file 8^ \ No newline at end of file
diff --git a/testdata/language-features/basic-values/wildcard01.out b/testdata/language-features/basic-values/wildcard01.out
index 0bc8489b..2e1a67d8 100644
--- a/testdata/language-features/basic-values/wildcard01.out
+++ b/testdata/language-features/basic-values/wildcard01.out
@@ -5,7 +5,7 @@ funUnit = _lhs funUnit \(_ :: _) -> _rhs ()
5funUnit :: forall a . a -> () 5funUnit :: forall a . a -> ()
6funUnit = \a _ -> _rhs () 6funUnit = \a _ -> _rhs ()
7------------ tooltips 7------------ tooltips
8wildcard01.lc 1:1-1:8 81:1-1:8
9 forall a . a -> () 9 forall a . a -> ()
10wildcard01.lc 1:13-1:15 101:13-1:15
11 () \ No newline at end of file 11 () \ No newline at end of file
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 16:24:35 +0000