use Doc instead of String is several places

author: Péter Diviánszky <divipp@gmail.com> 2016-04-29 12:52:37 +0200
committer: Péter Diviánszky <divipp@gmail.com> 2016-04-29 12:52:37 +0200
commit: e57768c37bc8cbc85b58bf47a71562d0d782c698 (patch)
tree: 471ede50cbdc347faab61667e19c2e3350f4c200 /testdata/language-features/basic-values
parent: 58a479b781935155e09f565d2488693850bf21c6 (diff)
14 files changed, 16 insertions, 29 deletions
diff --git a/testdata/language-features/basic-values/case03.reject.out b/testdata/language-features/basic-values/case03.reject.out
index 314fa80e..a964eb15 100644
--- a/testdata/language-features/basic-values/case03.reject.out
+++ b/testdata/language-features/basic-values/case03.reject.out
@@ -3,14 +3,12 @@ in testdata/language-features/basic-values/case03.reject.lc:1:10:
 value1 = case () of
  1 -> ()
  _ -> ()
 ------------ trace
 !type error: no instance of 'Num on ???
 in testdata/language-features/basic-values/case03.reject.lc:1:10:
 value1 = case () of
  1 -> ()
  _ -> ()
 ------------ tooltips
 testdata/language-features/basic-values/case03.reject.lc 1:10-3:10  ()
 testdata/language-features/basic-values/case03.reject.lc 1:15-1:17  ()
diff --git a/testdata/language-features/basic-values/case04.reject.out b/testdata/language-features/basic-values/case04.reject.out
index 7bb41248..ff2abacc 100644
--- a/testdata/language-features/basic-values/case04.reject.out
+++ b/testdata/language-features/basic-values/case04.reject.out
@@ -6,7 +6,6 @@ with
 in testdata/language-features/basic-values/case04.reject.lc:2:8:
  1 -> '1'
       ^^^
 ------------ trace
 !type error: can not unify
 [32m()[0m
@@ -16,7 +15,6 @@ with
 in testdata/language-features/basic-values/case04.reject.lc:2:8:
  1 -> '1'
       ^^^
 ------------ tooltips
 testdata/language-features/basic-values/case04.reject.lc 2:8-2:11  Char
 testdata/language-features/basic-values/case04.reject.lc 3:8-3:10  ()
diff --git a/testdata/language-features/basic-values/case05.out b/testdata/language-features/basic-values/case05.out
index cfd1d9af..717b0920 100644
--- a/testdata/language-features/basic-values/case05.out
+++ b/testdata/language-features/basic-values/case05.out
@@ -12,4 +12,3 @@ value x = case x of
               ^
 Missing case(s):
  _ | False <- fromInt 1 == _a
diff --git a/testdata/language-features/basic-values/def02.reject.out b/testdata/language-features/basic-values/def02.reject.out
index 615d9afa..eca7cb70 100644
--- a/testdata/language-features/basic-values/def02.reject.out
+++ b/testdata/language-features/basic-values/def02.reject.out
@@ -6,4 +6,3 @@ fun1 x x = 'c'
 testdata/language-features/basic-values/def02.reject.lc:1:8:
 fun1 x x = 'c'
       ^
diff --git a/testdata/language-features/basic-values/def03.out b/testdata/language-features/basic-values/def03.out
index 02db7cba..bd9e7133 100644
--- a/testdata/language-features/basic-values/def03.out
+++ b/testdata/language-features/basic-values/def03.out
@@ -11,5 +11,4 @@ Uncovered pattern(s) at testdata/language-features/basic-values/def03.lc:1:1:
 fun 1 = '1'
 fun 2 = '2'
 Missing case(s):
-  _ | False <- fromInt 1 == _a, False <- fromInt 2 == _a
+  _ | False <- fromInt 1 == _a , False <- fromInt 2 == _a
diff --git a/testdata/language-features/basic-values/def07.reject.out b/testdata/language-features/basic-values/def07.reject.out
index be624025..c52ecc70 100644
--- a/testdata/language-features/basic-values/def07.reject.out
+++ b/testdata/language-features/basic-values/def07.reject.out
@@ -1,7 +1,7 @@
 already defined fun at testdata/language-features/basic-values/def07.reject.lc:4:1:
 fun _ = '_'
 ^^^
- and at testdata/language-features/basic-values/def07.reject.lc:1:1:
+and at testdata/language-features/basic-values/def07.reject.lc:1:1:
 fun 1 = '1'
 ^^^
 ------------ trace
@@ -11,7 +11,7 @@ fun :: [32mforall a . [32ma[0;32m -> 'Char[0m
 !already defined fun at testdata/language-features/basic-values/def07.reject.lc:4:1:
 fun _ = '_'
 ^^^
- and at testdata/language-features/basic-values/def07.reject.lc:1:1:
+and at testdata/language-features/basic-values/def07.reject.lc:1:1:
 fun 1 = '1'
 ^^^
 ------------ tooltips
@@ -28,11 +28,9 @@ Uncovered pattern(s) at testdata/language-features/basic-values/def07.reject.lc:
 fun 1 = '1'
 fun 2 = '2'
 Missing case(s):
-  _ | False <- fromInt 1 == _a, False <- fromInt 2 == _a
+  _ | False <- fromInt 1 == _a , False <- fromInt 2 == _a
 Uncovered pattern(s) at testdata/language-features/basic-values/def07.reject.lc:3:1:
 fun2 1 _ = '1'
 ^^^^
 Missing case(s):
  _ _ | False <- fromInt 1 == _b
diff --git a/testdata/language-features/basic-values/if03.reject.out b/testdata/language-features/basic-values/if03.reject.out
index 83ed5e90..125dd5b5 100644
--- a/testdata/language-features/basic-values/if03.reject.out
+++ b/testdata/language-features/basic-values/if03.reject.out
@@ -6,7 +6,6 @@ with
 in testdata/language-features/basic-values/if03.reject.lc:1:13:
 value1 = if () then () else ()
            ^^
 ------------ trace
 !type error: can not unify
 [32m'Bool[0m
@@ -16,6 +15,5 @@ with
 in testdata/language-features/basic-values/if03.reject.lc:1:13:
 value1 = if () then () else ()
            ^^
 ------------ tooltips
 testdata/language-features/basic-values/if03.reject.lc 1:13-1:15  ()
diff --git a/testdata/language-features/basic-values/if04.reject.out b/testdata/language-features/basic-values/if04.reject.out
index 23a77a44..6313eddc 100644
--- a/testdata/language-features/basic-values/if04.reject.out
+++ b/testdata/language-features/basic-values/if04.reject.out
@@ -6,7 +6,6 @@ with
 in testdata/language-features/basic-values/if04.reject.lc:1:31:
 value1 = if True then () else '_'
                              ^^^
 ------------ trace
 !type error: can not unify
 [32m()[0m
@@ -16,7 +15,6 @@ with
 in testdata/language-features/basic-values/if04.reject.lc:1:31:
 value1 = if True then () else '_'
                              ^^^
 ------------ tooltips
 testdata/language-features/basic-values/if04.reject.lc 1:13-1:17  Bool
 testdata/language-features/basic-values/if04.reject.lc 1:13-1:25  () -> ()
diff --git a/testdata/language-features/basic-values/operator02.reject.out b/testdata/language-features/basic-values/operator02.reject.out
index 93092e52..cbf2cb0f 100644
--- a/testdata/language-features/basic-values/operator02.reject.out
+++ b/testdata/language-features/basic-values/operator02.reject.out
@@ -1,7 +1,7 @@
 already defined #$# at testdata/language-features/basic-values/operator02.reject.lc:3:3:
 a #$# b = ()
  ^^^
- and at testdata/language-features/basic-values/operator02.reject.lc:1:3:
+and at testdata/language-features/basic-values/operator02.reject.lc:1:3:
 a #$# b = ()
  ^^^
 ------------ trace
@@ -11,7 +11,7 @@ fun :: [32mforall a . [32ma[0;32m -> ()[0m
 !already defined #$# at testdata/language-features/basic-values/operator02.reject.lc:3:3:
 a #$# b = ()
  ^^^
- and at testdata/language-features/basic-values/operator02.reject.lc:1:3:
+and at testdata/language-features/basic-values/operator02.reject.lc:1:3:
 a #$# b = ()
  ^^^
 ------------ tooltips
diff --git a/testdata/language-features/basic-values/operator07.reject.out b/testdata/language-features/basic-values/operator07.reject.out
index be6ea8f3..bc594c9e 100644
--- a/testdata/language-features/basic-values/operator07.reject.out
+++ b/testdata/language-features/basic-values/operator07.reject.out
@@ -1,7 +1,7 @@
 Operator precedences don't match:
-Infix 5 at testdata/language-features/basic-values/operator07.reject.lc:11:11:
+infix 5 at testdata/language-features/basic-values/operator07.reject.lc:11:11:
 main = () @&> () <@& ()
          ^^^
-InfixL 5 at testdata/language-features/basic-values/operator07.reject.lc:11:18:
+infixl 5 at testdata/language-features/basic-values/operator07.reject.lc:11:18:
 main = () @&> () <@& ()
                 ^^^
diff --git a/testdata/language-features/basic-values/operator08.reject.out b/testdata/language-features/basic-values/operator08.reject.out
index 8721d19f..eb50a28a 100644
--- a/testdata/language-features/basic-values/operator08.reject.out
+++ b/testdata/language-features/basic-values/operator08.reject.out
@@ -1,7 +1,7 @@
 Operator precedences don't match:
-Infix 5 at testdata/language-features/basic-values/operator08.reject.lc:10:6:
+infix 5 at testdata/language-features/basic-values/operator08.reject.lc:10:6:
 x = (@&> () <@& ())
     ^^^
-InfixL 5 at testdata/language-features/basic-values/operator08.reject.lc:10:13:
+infixl 5 at testdata/language-features/basic-values/operator08.reject.lc:10:13:
 x = (@&> () <@& ())
            ^^^
diff --git a/testdata/language-features/basic-values/redefine01.reject.out b/testdata/language-features/basic-values/redefine01.reject.out
index 04a3868f..5bd93d2a 100644
--- a/testdata/language-features/basic-values/redefine01.reject.out
+++ b/testdata/language-features/basic-values/redefine01.reject.out
@@ -1,7 +1,7 @@
 already defined unit at testdata/language-features/basic-values/redefine01.reject.lc:3:1:
 unit = ()
 ^^^^
- and at testdata/language-features/basic-values/redefine01.reject.lc:1:1:
+and at testdata/language-features/basic-values/redefine01.reject.lc:1:1:
 unit = ()
 ^^^^
 ------------ trace
@@ -11,7 +11,7 @@ unit :: [32m()[0m
 !already defined unit at testdata/language-features/basic-values/redefine01.reject.lc:3:1:
 unit = ()
 ^^^^
- and at testdata/language-features/basic-values/redefine01.reject.lc:1:1:
+and at testdata/language-features/basic-values/redefine01.reject.lc:1:1:
 unit = ()
 ^^^^
 ------------ tooltips
diff --git a/testdata/language-features/basic-values/typesyn03.reject.out b/testdata/language-features/basic-values/typesyn03.reject.out
index c0fb5268..cf08db7a 100644
--- a/testdata/language-features/basic-values/typesyn03.reject.out
+++ b/testdata/language-features/basic-values/typesyn03.reject.out
@@ -1,7 +1,7 @@
 already defined 'MyUnit at testdata/language-features/basic-values/typesyn03.reject.lc:2:6:
 type MyUnit = ()
     ^^^^^^
- and at testdata/language-features/basic-values/typesyn03.reject.lc:1:6:
+and at testdata/language-features/basic-values/typesyn03.reject.lc:1:6:
 type MyUnit = ()
     ^^^^^^
 ------------ trace
@@ -10,7 +10,7 @@ type MyUnit = ()
 !already defined 'MyUnit at testdata/language-features/basic-values/typesyn03.reject.lc:2:6:
 type MyUnit = ()
     ^^^^^^
- and at testdata/language-features/basic-values/typesyn03.reject.lc:1:6:
+and at testdata/language-features/basic-values/typesyn03.reject.lc:1:6:
 type MyUnit = ()
     ^^^^^^
 ------------ tooltips
diff --git a/testdata/language-features/basic-values/typesyn04.reject.out b/testdata/language-features/basic-values/typesyn04.reject.out
index c903ddb8..94fc1e8c 100644
--- a/testdata/language-features/basic-values/typesyn04.reject.out
+++ b/testdata/language-features/basic-values/typesyn04.reject.out
@@ -1,7 +1,7 @@
 already defined 'MyUnit at testdata/language-features/basic-values/typesyn04.reject.lc:2:6:
 type MyUnit = ()
     ^^^^^^
- and at testdata/language-features/basic-values/typesyn04.reject.lc:1:6:
+and at testdata/language-features/basic-values/typesyn04.reject.lc:1:6:
 type MyUnit = ()
     ^^^^^^
 ------------ trace
@@ -10,7 +10,7 @@ type MyUnit = ()
 !already defined 'MyUnit at testdata/language-features/basic-values/typesyn04.reject.lc:2:6:
 type MyUnit = ()
     ^^^^^^
- and at testdata/language-features/basic-values/typesyn04.reject.lc:1:6:
+and at testdata/language-features/basic-values/typesyn04.reject.lc:1:6:
 type MyUnit = ()
     ^^^^^^
 ------------ tooltips
author	Péter Diviánszky <divipp@gmail.com>	2016-04-29 12:52:37 +0200
committer	Péter Diviánszky <divipp@gmail.com>	2016-04-29 12:52:37 +0200
commit	e57768c37bc8cbc85b58bf47a71562d0d782c698 (patch)
tree	471ede50cbdc347faab61667e19c2e3350f4c200 /testdata/language-features/basic-values
parent	58a479b781935155e09f565d2488693850bf21c6 (diff)

diff --git a/testdata/language-features/basic-values/case03.reject.out b/testdata/language-features/basic-values/case03.reject.out index 314fa80e..a964eb15 100644 --- a/testdata/language-features/basic-values/case03.reject.out +++ b/testdata/language-features/basic-values/case03.reject.out
@@ -3,14 +3,12 @@ in testdata/language-features/basic-values/case03.reject.lc:1:10:
3	value1 = case () of	3	value1 = case () of
4	1 -> ()	4	1 -> ()
5	_ -> ()	5	_ -> ()
6
7	------------ trace	6	------------ trace
8	!type error: no instance of 'Num on ???	7	!type error: no instance of 'Num on ???
9	in testdata/language-features/basic-values/case03.reject.lc:1:10:	8	in testdata/language-features/basic-values/case03.reject.lc:1:10:
10	value1 = case () of	9	value1 = case () of
11	1 -> ()	10	1 -> ()
12	_ -> ()	11	_ -> ()
13
14	------------ tooltips	12	------------ tooltips
15	testdata/language-features/basic-values/case03.reject.lc 1:10-3:10 ()	13	testdata/language-features/basic-values/case03.reject.lc 1:10-3:10 ()
16	testdata/language-features/basic-values/case03.reject.lc 1:15-1:17 ()	14	testdata/language-features/basic-values/case03.reject.lc 1:15-1:17 ()


diff --git a/testdata/language-features/basic-values/case04.reject.out b/testdata/language-features/basic-values/case04.reject.out index 7bb41248..ff2abacc 100644 --- a/testdata/language-features/basic-values/case04.reject.out +++ b/testdata/language-features/basic-values/case04.reject.out
@@ -6,7 +6,6 @@ with
6	in testdata/language-features/basic-values/case04.reject.lc:2:8:	6	in testdata/language-features/basic-values/case04.reject.lc:2:8:
7	1 -> '1'	7	1 -> '1'
8	^^^	8	^^^
9
10	------------ trace	9	------------ trace
11	!type error: can not unify	10	!type error: can not unify
12	[32m()[0m	11	[32m()[0m
@@ -16,7 +15,6 @@ with
16	in testdata/language-features/basic-values/case04.reject.lc:2:8:	15	in testdata/language-features/basic-values/case04.reject.lc:2:8:
17	1 -> '1'	16	1 -> '1'
18	^^^	17	^^^
19
20	------------ tooltips	18	------------ tooltips
21	testdata/language-features/basic-values/case04.reject.lc 2:8-2:11 Char	19	testdata/language-features/basic-values/case04.reject.lc 2:8-2:11 Char
22	testdata/language-features/basic-values/case04.reject.lc 3:8-3:10 ()	20	testdata/language-features/basic-values/case04.reject.lc 3:8-3:10 ()


diff --git a/testdata/language-features/basic-values/case05.out b/testdata/language-features/basic-values/case05.out index cfd1d9af..717b0920 100644 --- a/testdata/language-features/basic-values/case05.out +++ b/testdata/language-features/basic-values/case05.out
@@ -12,4 +12,3 @@ value x = case x of
12	^	12	^
13	Missing case(s):	13	Missing case(s):
14	_ \| False <- fromInt 1 == _a	14	_ \| False <- fromInt 1 == _a
15


diff --git a/testdata/language-features/basic-values/def02.reject.out b/testdata/language-features/basic-values/def02.reject.out index 615d9afa..eca7cb70 100644 --- a/testdata/language-features/basic-values/def02.reject.out +++ b/testdata/language-features/basic-values/def02.reject.out
@@ -6,4 +6,3 @@ fun1 x x = 'c'
6	testdata/language-features/basic-values/def02.reject.lc:1:8:	6	testdata/language-features/basic-values/def02.reject.lc:1:8:
7	fun1 x x = 'c'	7	fun1 x x = 'c'
8	^	8	^
9


diff --git a/testdata/language-features/basic-values/def03.out b/testdata/language-features/basic-values/def03.out index 02db7cba..bd9e7133 100644 --- a/testdata/language-features/basic-values/def03.out +++ b/testdata/language-features/basic-values/def03.out
@@ -11,5 +11,4 @@ Uncovered pattern(s) at testdata/language-features/basic-values/def03.lc:1:1:
11	fun 1 = '1'	11	fun 1 = '1'
12	fun 2 = '2'	12	fun 2 = '2'
13	Missing case(s):	13	Missing case(s):
14	_ \| False <- fromInt 1 == _a, False <- fromInt 2 == _a	14	_ \| False <- fromInt 1 == _a , False <- fromInt 2 == _a
15


diff --git a/testdata/language-features/basic-values/def07.reject.out b/testdata/language-features/basic-values/def07.reject.out index be624025..c52ecc70 100644 --- a/testdata/language-features/basic-values/def07.reject.out +++ b/testdata/language-features/basic-values/def07.reject.out
@@ -1,7 +1,7 @@
1	already defined fun at testdata/language-features/basic-values/def07.reject.lc:4:1:	1	already defined fun at testdata/language-features/basic-values/def07.reject.lc:4:1:
2	fun _ = '_'	2	fun _ = '_'
3	^^^	3	^^^
4	and at testdata/language-features/basic-values/def07.reject.lc:1:1:	4	and at testdata/language-features/basic-values/def07.reject.lc:1:1:
5	fun 1 = '1'	5	fun 1 = '1'
6	^^^	6	^^^
7	------------ trace	7	------------ trace
@@ -11,7 +11,7 @@ fun :: [32mforall a . [32ma[0;32m -> 'Char[0m
11	!already defined fun at testdata/language-features/basic-values/def07.reject.lc:4:1:	11	!already defined fun at testdata/language-features/basic-values/def07.reject.lc:4:1:
12	fun _ = '_'	12	fun _ = '_'
13	^^^	13	^^^
14	and at testdata/language-features/basic-values/def07.reject.lc:1:1:	14	and at testdata/language-features/basic-values/def07.reject.lc:1:1:
15	fun 1 = '1'	15	fun 1 = '1'
16	^^^	16	^^^
17	------------ tooltips	17	------------ tooltips
@@ -28,11 +28,9 @@ Uncovered pattern(s) at testdata/language-features/basic-values/def07.reject.lc:
28	fun 1 = '1'	28	fun 1 = '1'
29	fun 2 = '2'	29	fun 2 = '2'
30	Missing case(s):	30	Missing case(s):
31	_ \| False <- fromInt 1 == _a, False <- fromInt 2 == _a	31	_ \| False <- fromInt 1 == _a , False <- fromInt 2 == _a
32
33	Uncovered pattern(s) at testdata/language-features/basic-values/def07.reject.lc:3:1:	32	Uncovered pattern(s) at testdata/language-features/basic-values/def07.reject.lc:3:1:
34	fun2 1 _ = '1'	33	fun2 1 _ = '1'
35	^^^^	34	^^^^
36	Missing case(s):	35	Missing case(s):
37	_ _ \| False <- fromInt 1 == _b	36	_ _ \| False <- fromInt 1 == _b
38


diff --git a/testdata/language-features/basic-values/if03.reject.out b/testdata/language-features/basic-values/if03.reject.out index 83ed5e90..125dd5b5 100644 --- a/testdata/language-features/basic-values/if03.reject.out +++ b/testdata/language-features/basic-values/if03.reject.out
@@ -6,7 +6,6 @@ with
6	in testdata/language-features/basic-values/if03.reject.lc:1:13:	6	in testdata/language-features/basic-values/if03.reject.lc:1:13:
7	value1 = if () then () else ()	7	value1 = if () then () else ()
8	^^	8	^^
9
10	------------ trace	9	------------ trace
11	!type error: can not unify	10	!type error: can not unify
12	[32m'Bool[0m	11	[32m'Bool[0m
@@ -16,6 +15,5 @@ with
16	in testdata/language-features/basic-values/if03.reject.lc:1:13:	15	in testdata/language-features/basic-values/if03.reject.lc:1:13:
17	value1 = if () then () else ()	16	value1 = if () then () else ()
18	^^	17	^^
19
20	------------ tooltips	18	------------ tooltips
21	testdata/language-features/basic-values/if03.reject.lc 1:13-1:15 ()	19	testdata/language-features/basic-values/if03.reject.lc 1:13-1:15 ()


diff --git a/testdata/language-features/basic-values/if04.reject.out b/testdata/language-features/basic-values/if04.reject.out index 23a77a44..6313eddc 100644 --- a/testdata/language-features/basic-values/if04.reject.out +++ b/testdata/language-features/basic-values/if04.reject.out
@@ -6,7 +6,6 @@ with
6	in testdata/language-features/basic-values/if04.reject.lc:1:31:	6	in testdata/language-features/basic-values/if04.reject.lc:1:31:
7	value1 = if True then () else '_'	7	value1 = if True then () else '_'
8	^^^	8	^^^
9
10	------------ trace	9	------------ trace
11	!type error: can not unify	10	!type error: can not unify
12	[32m()[0m	11	[32m()[0m
@@ -16,7 +15,6 @@ with
16	in testdata/language-features/basic-values/if04.reject.lc:1:31:	15	in testdata/language-features/basic-values/if04.reject.lc:1:31:
17	value1 = if True then () else '_'	16	value1 = if True then () else '_'
18	^^^	17	^^^
19
20	------------ tooltips	18	------------ tooltips
21	testdata/language-features/basic-values/if04.reject.lc 1:13-1:17 Bool	19	testdata/language-features/basic-values/if04.reject.lc 1:13-1:17 Bool
22	testdata/language-features/basic-values/if04.reject.lc 1:13-1:25 () -> ()	20	testdata/language-features/basic-values/if04.reject.lc 1:13-1:25 () -> ()


diff --git a/testdata/language-features/basic-values/operator02.reject.out b/testdata/language-features/basic-values/operator02.reject.out index 93092e52..cbf2cb0f 100644 --- a/testdata/language-features/basic-values/operator02.reject.out +++ b/testdata/language-features/basic-values/operator02.reject.out
@@ -1,7 +1,7 @@
1	already defined #$# at testdata/language-features/basic-values/operator02.reject.lc:3:3:	1	already defined #$# at testdata/language-features/basic-values/operator02.reject.lc:3:3:
2	a #$# b = ()	2	a #$# b = ()
3	^^^	3	^^^
4	and at testdata/language-features/basic-values/operator02.reject.lc:1:3:	4	and at testdata/language-features/basic-values/operator02.reject.lc:1:3:
5	a #$# b = ()	5	a #$# b = ()
6	^^^	6	^^^
7	------------ trace	7	------------ trace
@@ -11,7 +11,7 @@ fun :: [32mforall a . [32ma[0;32m -> ()[0m
11	!already defined #$# at testdata/language-features/basic-values/operator02.reject.lc:3:3:	11	!already defined #$# at testdata/language-features/basic-values/operator02.reject.lc:3:3:
12	a #$# b = ()	12	a #$# b = ()
13	^^^	13	^^^
14	and at testdata/language-features/basic-values/operator02.reject.lc:1:3:	14	and at testdata/language-features/basic-values/operator02.reject.lc:1:3:
15	a #$# b = ()	15	a #$# b = ()
16	^^^	16	^^^
17	------------ tooltips	17	------------ tooltips


diff --git a/testdata/language-features/basic-values/operator07.reject.out b/testdata/language-features/basic-values/operator07.reject.out index be6ea8f3..bc594c9e 100644 --- a/testdata/language-features/basic-values/operator07.reject.out +++ b/testdata/language-features/basic-values/operator07.reject.out
@@ -1,7 +1,7 @@
1	Operator precedences don't match:	1	Operator precedences don't match:
2	Infix 5 at testdata/language-features/basic-values/operator07.reject.lc:11:11:	2	infix 5 at testdata/language-features/basic-values/operator07.reject.lc:11:11:
3	main = () @&> () <@& ()	3	main = () @&> () <@& ()
4	^^^	4	^^^
5	InfixL 5 at testdata/language-features/basic-values/operator07.reject.lc:11:18:	5	infixl 5 at testdata/language-features/basic-values/operator07.reject.lc:11:18:
6	main = () @&> () <@& ()	6	main = () @&> () <@& ()
7	^^^	7	^^^


diff --git a/testdata/language-features/basic-values/operator08.reject.out b/testdata/language-features/basic-values/operator08.reject.out index 8721d19f..eb50a28a 100644 --- a/testdata/language-features/basic-values/operator08.reject.out +++ b/testdata/language-features/basic-values/operator08.reject.out
@@ -1,7 +1,7 @@
1	Operator precedences don't match:	1	Operator precedences don't match:
2	Infix 5 at testdata/language-features/basic-values/operator08.reject.lc:10:6:	2	infix 5 at testdata/language-features/basic-values/operator08.reject.lc:10:6:
3	x = (@&> () <@& ())	3	x = (@&> () <@& ())
4	^^^	4	^^^
5	InfixL 5 at testdata/language-features/basic-values/operator08.reject.lc:10:13:	5	infixl 5 at testdata/language-features/basic-values/operator08.reject.lc:10:13:
6	x = (@&> () <@& ())	6	x = (@&> () <@& ())
7	^^^	7	^^^


diff --git a/testdata/language-features/basic-values/redefine01.reject.out b/testdata/language-features/basic-values/redefine01.reject.out index 04a3868f..5bd93d2a 100644 --- a/testdata/language-features/basic-values/redefine01.reject.out +++ b/testdata/language-features/basic-values/redefine01.reject.out
@@ -1,7 +1,7 @@
1	already defined unit at testdata/language-features/basic-values/redefine01.reject.lc:3:1:	1	already defined unit at testdata/language-features/basic-values/redefine01.reject.lc:3:1:
2	unit = ()	2	unit = ()
3	^^^^	3	^^^^
4	and at testdata/language-features/basic-values/redefine01.reject.lc:1:1:	4	and at testdata/language-features/basic-values/redefine01.reject.lc:1:1:
5	unit = ()	5	unit = ()
6	^^^^	6	^^^^
7	------------ trace	7	------------ trace
@@ -11,7 +11,7 @@ unit :: [32m()[0m
11	!already defined unit at testdata/language-features/basic-values/redefine01.reject.lc:3:1:	11	!already defined unit at testdata/language-features/basic-values/redefine01.reject.lc:3:1:
12	unit = ()	12	unit = ()
13	^^^^	13	^^^^
14	and at testdata/language-features/basic-values/redefine01.reject.lc:1:1:	14	and at testdata/language-features/basic-values/redefine01.reject.lc:1:1:
15	unit = ()	15	unit = ()
16	^^^^	16	^^^^
17	------------ tooltips	17	------------ tooltips


diff --git a/testdata/language-features/basic-values/typesyn03.reject.out b/testdata/language-features/basic-values/typesyn03.reject.out index c0fb5268..cf08db7a 100644 --- a/testdata/language-features/basic-values/typesyn03.reject.out +++ b/testdata/language-features/basic-values/typesyn03.reject.out
@@ -1,7 +1,7 @@
1	already defined 'MyUnit at testdata/language-features/basic-values/typesyn03.reject.lc:2:6:	1	already defined 'MyUnit at testdata/language-features/basic-values/typesyn03.reject.lc:2:6:
2	type MyUnit = ()	2	type MyUnit = ()
3	^^^^^^	3	^^^^^^
4	and at testdata/language-features/basic-values/typesyn03.reject.lc:1:6:	4	and at testdata/language-features/basic-values/typesyn03.reject.lc:1:6:
5	type MyUnit = ()	5	type MyUnit = ()
6	^^^^^^	6	^^^^^^
7	------------ trace	7	------------ trace
@@ -10,7 +10,7 @@ type MyUnit = ()
10	!already defined 'MyUnit at testdata/language-features/basic-values/typesyn03.reject.lc:2:6:	10	!already defined 'MyUnit at testdata/language-features/basic-values/typesyn03.reject.lc:2:6:
11	type MyUnit = ()	11	type MyUnit = ()
12	^^^^^^	12	^^^^^^
13	and at testdata/language-features/basic-values/typesyn03.reject.lc:1:6:	13	and at testdata/language-features/basic-values/typesyn03.reject.lc:1:6:
14	type MyUnit = ()	14	type MyUnit = ()
15	^^^^^^	15	^^^^^^
16	------------ tooltips	16	------------ tooltips


diff --git a/testdata/language-features/basic-values/typesyn04.reject.out b/testdata/language-features/basic-values/typesyn04.reject.out index c903ddb8..94fc1e8c 100644 --- a/testdata/language-features/basic-values/typesyn04.reject.out +++ b/testdata/language-features/basic-values/typesyn04.reject.out
@@ -1,7 +1,7 @@
1	already defined 'MyUnit at testdata/language-features/basic-values/typesyn04.reject.lc:2:6:	1	already defined 'MyUnit at testdata/language-features/basic-values/typesyn04.reject.lc:2:6:
2	type MyUnit = ()	2	type MyUnit = ()
3	^^^^^^	3	^^^^^^
4	and at testdata/language-features/basic-values/typesyn04.reject.lc:1:6:	4	and at testdata/language-features/basic-values/typesyn04.reject.lc:1:6:
5	type MyUnit = ()	5	type MyUnit = ()
6	^^^^^^	6	^^^^^^
7	------------ trace	7	------------ trace
@@ -10,7 +10,7 @@ type MyUnit = ()
10	!already defined 'MyUnit at testdata/language-features/basic-values/typesyn04.reject.lc:2:6:	10	!already defined 'MyUnit at testdata/language-features/basic-values/typesyn04.reject.lc:2:6:
11	type MyUnit = ()	11	type MyUnit = ()
12	^^^^^^	12	^^^^^^
13	and at testdata/language-features/basic-values/typesyn04.reject.lc:1:6:	13	and at testdata/language-features/basic-values/typesyn04.reject.lc:1:6:
14	type MyUnit = ()	14	type MyUnit = ()
15	^^^^^^	15	^^^^^^
16	------------ tooltips	16	------------ tooltips