summaryrefslogtreecommitdiff
path: root/testdata/language-features
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-04-29 12:52:37 +0200
committerPéter Diviánszky <divipp@gmail.com>2016-04-29 12:52:37 +0200
commite57768c37bc8cbc85b58bf47a71562d0d782c698 (patch)
tree471ede50cbdc347faab61667e19c2e3350f4c200 /testdata/language-features
parent58a479b781935155e09f565d2488693850bf21c6 (diff)
use Doc instead of String is several places
Diffstat (limited to 'testdata/language-features')
-rw-r--r--testdata/language-features/adt/adt02.reject.out2
-rw-r--r--testdata/language-features/adt/gadt04.reject.out4
-rw-r--r--testdata/language-features/as-pattern/as-pattern02.reject.out1
-rw-r--r--testdata/language-features/basic-list/list07.reject.out2
-rw-r--r--testdata/language-features/basic-list/list10.reject.out2
-rw-r--r--testdata/language-features/basic-list/list14.reject.out2
-rw-r--r--testdata/language-features/basic-list/list15.reject.out2
-rw-r--r--testdata/language-features/basic-list/list16.reject.out2
-rw-r--r--testdata/language-features/basic-list/listcomp08.reject.out2
-rw-r--r--testdata/language-features/basic-values/case03.reject.out2
-rw-r--r--testdata/language-features/basic-values/case04.reject.out2
-rw-r--r--testdata/language-features/basic-values/case05.out1
-rw-r--r--testdata/language-features/basic-values/def02.reject.out1
-rw-r--r--testdata/language-features/basic-values/def03.out3
-rw-r--r--testdata/language-features/basic-values/def07.reject.out8
-rw-r--r--testdata/language-features/basic-values/if03.reject.out2
-rw-r--r--testdata/language-features/basic-values/if04.reject.out2
-rw-r--r--testdata/language-features/basic-values/operator02.reject.out4
-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.out4
-rw-r--r--testdata/language-features/basic-values/typesyn03.reject.out4
-rw-r--r--testdata/language-features/basic-values/typesyn04.reject.out4
-rw-r--r--testdata/language-features/guard/guard02.reject.out2
-rw-r--r--testdata/language-features/guard/guard05.reject.out2
-rw-r--r--testdata/language-features/guard/guard12.reject.out2
-rw-r--r--testdata/language-features/module/import04.reject.out4
-rw-r--r--testdata/language-features/module/import10.reject.out4
-rw-r--r--testdata/language-features/module/import11.reject.out4
-rw-r--r--testdata/language-features/pattern/uncovered.out5
30 files changed, 26 insertions, 61 deletions
diff --git a/testdata/language-features/adt/adt02.reject.out b/testdata/language-features/adt/adt02.reject.out
index 34674b0a..44db093f 100644
--- a/testdata/language-features/adt/adt02.reject.out
+++ b/testdata/language-features/adt/adt02.reject.out
@@ -4,7 +4,6 @@ with
4'Int 4'Int
5 5
6in proj 6in proj
7
8------------ trace 7------------ trace
9'Data3 :: Type 8'Data3 :: Type
10Data3 :: 'Bool -> 'Char -> 'Bool -> 'Data3 9Data3 :: 'Bool -> 'Char -> 'Bool -> 'Data3
@@ -17,7 +16,6 @@ with
17'Int 16'Int
18 17
19in proj 18in proj
20
21------------ tooltips 19------------ tooltips
22testdata/language-features/adt/adt02.reject.lc 2:6-2:11 Type 20testdata/language-features/adt/adt02.reject.lc 2:6-2:11 Type
23testdata/language-features/adt/adt02.reject.lc 2:6-5:25 Type 21testdata/language-features/adt/adt02.reject.lc 2:6-5:25 Type
diff --git a/testdata/language-features/adt/gadt04.reject.out b/testdata/language-features/adt/gadt04.reject.out
index 425f7213..fc2b7c30 100644
--- a/testdata/language-features/adt/gadt04.reject.out
+++ b/testdata/language-features/adt/gadt04.reject.out
@@ -1,7 +1,7 @@
1already defined Value at testdata/language-features/adt/gadt04.reject.lc:6:3: 1already defined Value at testdata/language-features/adt/gadt04.reject.lc:6:3:
2 Value :: a -> forall m . M2 a m 2 Value :: a -> forall m . M2 a m
3 ^^^^^ 3 ^^^^^
4 and at testdata/language-features/adt/gadt04.reject.lc:3:3: 4and at testdata/language-features/adt/gadt04.reject.lc:3:3:
5 Value :: a -> forall m . M a m 5 Value :: a -> forall m . M a m
6 ^^^^^ 6 ^^^^^
7------------ trace 7------------ trace
@@ -14,7 +14,7 @@ Value :: forall a . a -> forall (b :: 'String) . 'M2 a[0;
14!already defined Value at testdata/language-features/adt/gadt04.reject.lc:6:3: 14!already defined Value at testdata/language-features/adt/gadt04.reject.lc:6:3:
15 Value :: a -> forall m . M2 a m 15 Value :: a -> forall m . M2 a m
16 ^^^^^ 16 ^^^^^
17 and at testdata/language-features/adt/gadt04.reject.lc:3:3: 17and at testdata/language-features/adt/gadt04.reject.lc:3:3:
18 Value :: a -> forall m . M a m 18 Value :: a -> forall m . M a m
19 ^^^^^ 19 ^^^^^
20------------ tooltips 20------------ tooltips
diff --git a/testdata/language-features/as-pattern/as-pattern02.reject.out b/testdata/language-features/as-pattern/as-pattern02.reject.out
index cca9bd79..9e6ac4ce 100644
--- a/testdata/language-features/as-pattern/as-pattern02.reject.out
+++ b/testdata/language-features/as-pattern/as-pattern02.reject.out
@@ -6,4 +6,3 @@ f x@[x:xs] = x:xs
6testdata/language-features/as-pattern/as-pattern02.reject.lc:2:6: 6testdata/language-features/as-pattern/as-pattern02.reject.lc:2:6:
7f x@[x:xs] = x:xs 7f x@[x:xs] = x:xs
8 ^ 8 ^
9
diff --git a/testdata/language-features/basic-list/list07.reject.out b/testdata/language-features/basic-list/list07.reject.out
index 01bf6d20..27c8a2e3 100644
--- a/testdata/language-features/basic-list/list07.reject.out
+++ b/testdata/language-features/basic-list/list07.reject.out
@@ -4,7 +4,6 @@ with
4'Char 4'Char
5 5
6in builtin Nil 6in builtin Nil
7
8------------ trace 7------------ trace
9!type error: can not unify 8!type error: can not unify
10'Float 9'Float
@@ -12,7 +11,6 @@ with
12'Char 11'Char
13 12
14in builtin Nil 13in builtin Nil
15
16------------ tooltips 14------------ tooltips
17testdata/language-features/basic-list/list07.reject.lc 1:10-1:11 _b 15testdata/language-features/basic-list/list07.reject.lc 1:10-1:11 _b
18testdata/language-features/basic-list/list07.reject.lc 1:12-1:15 Float 16testdata/language-features/basic-list/list07.reject.lc 1:12-1:15 Float
diff --git a/testdata/language-features/basic-list/list10.reject.out b/testdata/language-features/basic-list/list10.reject.out
index 0855f067..186dc9c6 100644
--- a/testdata/language-features/basic-list/list10.reject.out
+++ b/testdata/language-features/basic-list/list10.reject.out
@@ -4,7 +4,6 @@ with
4'Float 4'Float
5 5
6in builtin Nil 6in builtin Nil
7
8------------ trace 7------------ trace
9!type error: can not unify 8!type error: can not unify
10'Int 9'Int
@@ -12,7 +11,6 @@ with
12'Float 11'Float
13 12
14in builtin Nil 13in builtin Nil
15
16------------ tooltips 14------------ tooltips
17testdata/language-features/basic-list/list10.reject.lc 1:10-1:11 _b 15testdata/language-features/basic-list/list10.reject.lc 1:10-1:11 _b
18testdata/language-features/basic-list/list10.reject.lc 1:12-1:15 Float 16testdata/language-features/basic-list/list10.reject.lc 1:12-1:15 Float
diff --git a/testdata/language-features/basic-list/list14.reject.out b/testdata/language-features/basic-list/list14.reject.out
index bfd60997..c8abf9be 100644
--- a/testdata/language-features/basic-list/list14.reject.out
+++ b/testdata/language-features/basic-list/list14.reject.out
@@ -6,7 +6,6 @@ with
6in testdata/language-features/basic-list/list14.reject.lc:1:17: 6in testdata/language-features/basic-list/list14.reject.lc:1:17:
7value = 'h':'i':() 7value = 'h':'i':()
8 ^^ 8 ^^
9
10------------ trace 9------------ trace
11!type error: can not unify 10!type error: can not unify
12'List 'Char 11'List 'Char
@@ -16,7 +15,6 @@ with
16in testdata/language-features/basic-list/list14.reject.lc:1:17: 15in testdata/language-features/basic-list/list14.reject.lc:1:17:
17value = 'h':'i':() 16value = 'h':'i':()
18 ^^ 17 ^^
19
20------------ tooltips 18------------ tooltips
21testdata/language-features/basic-list/list14.reject.lc 1:9-1:12 Char 19testdata/language-features/basic-list/list14.reject.lc 1:9-1:12 Char
22testdata/language-features/basic-list/list14.reject.lc 1:9-1:13 List Char -> List Char 20testdata/language-features/basic-list/list14.reject.lc 1:9-1:13 List Char -> List Char
diff --git a/testdata/language-features/basic-list/list15.reject.out b/testdata/language-features/basic-list/list15.reject.out
index 081eabad..96a8907d 100644
--- a/testdata/language-features/basic-list/list15.reject.out
+++ b/testdata/language-features/basic-list/list15.reject.out
@@ -6,7 +6,6 @@ with
6in testdata/language-features/basic-list/list15.reject.lc:1:20: 6in testdata/language-features/basic-list/list15.reject.lc:1:20:
7value = 'h':'i':():[] 7value = 'h':'i':():[]
8 ^^ 8 ^^
9
10------------ trace 9------------ trace
11!type error: can not unify 10!type error: can not unify
12'Char 11'Char
@@ -16,7 +15,6 @@ with
16in testdata/language-features/basic-list/list15.reject.lc:1:20: 15in testdata/language-features/basic-list/list15.reject.lc:1:20:
17value = 'h':'i':():[] 16value = 'h':'i':():[]
18 ^^ 17 ^^
19
20------------ tooltips 18------------ tooltips
21testdata/language-features/basic-list/list15.reject.lc 1:9-1:12 Char 19testdata/language-features/basic-list/list15.reject.lc 1:9-1:12 Char
22testdata/language-features/basic-list/list15.reject.lc 1:9-1:13 List Char -> List Char 20testdata/language-features/basic-list/list15.reject.lc 1:9-1:13 List Char -> List Char
diff --git a/testdata/language-features/basic-list/list16.reject.out b/testdata/language-features/basic-list/list16.reject.out
index 4f8d50a1..e109192d 100644
--- a/testdata/language-features/basic-list/list16.reject.out
+++ b/testdata/language-features/basic-list/list16.reject.out
@@ -6,7 +6,6 @@ with
6in testdata/language-features/basic-list/list16.reject.lc:1:13: 6in testdata/language-features/basic-list/list16.reject.lc:1:13:
7value = 'h':'i' 7value = 'h':'i'
8 ^^^ 8 ^^^
9
10------------ trace 9------------ trace
11!type error: can not unify 10!type error: can not unify
12'List 'Char 11'List 'Char
@@ -16,7 +15,6 @@ with
16in testdata/language-features/basic-list/list16.reject.lc:1:13: 15in testdata/language-features/basic-list/list16.reject.lc:1:13:
17value = 'h':'i' 16value = 'h':'i'
18 ^^^ 17 ^^^
19
20------------ tooltips 18------------ tooltips
21testdata/language-features/basic-list/list16.reject.lc 1:9-1:12 Char 19testdata/language-features/basic-list/list16.reject.lc 1:9-1:12 Char
22testdata/language-features/basic-list/list16.reject.lc 1:9-1:13 List Char -> List Char 20testdata/language-features/basic-list/list16.reject.lc 1:9-1:13 List Char -> List Char
diff --git a/testdata/language-features/basic-list/listcomp08.reject.out b/testdata/language-features/basic-list/listcomp08.reject.out
index 35f2448e..3a989de0 100644
--- a/testdata/language-features/basic-list/listcomp08.reject.out
+++ b/testdata/language-features/basic-list/listcomp08.reject.out
@@ -6,7 +6,6 @@ with
6in testdata/language-features/basic-list/listcomp08.reject.lc:1:23: 6in testdata/language-features/basic-list/listcomp08.reject.lc:1:23:
7value = [x | x <- [], "not Bool"] 7value = [x | x <- [], "not Bool"]
8 ^^^^^^^^^^ 8 ^^^^^^^^^^
9
10------------ trace 9------------ trace
11!type error: can not unify 10!type error: can not unify
12'Bool 11'Bool
@@ -16,7 +15,6 @@ with
16in testdata/language-features/basic-list/listcomp08.reject.lc:1:23: 15in testdata/language-features/basic-list/listcomp08.reject.lc:1:23:
17value = [x | x <- [], "not Bool"] 16value = [x | x <- [], "not Bool"]
18 ^^^^^^^^^^ 17 ^^^^^^^^^^
19
20------------ tooltips 18------------ tooltips
21testdata/language-features/basic-list/listcomp08.reject.lc 1:10-1:33 _b -> List _a 19testdata/language-features/basic-list/listcomp08.reject.lc 1:10-1:33 _b -> List _a
22testdata/language-features/basic-list/listcomp08.reject.lc 1:23-1:33 String 20testdata/language-features/basic-list/listcomp08.reject.lc 1:23-1:33 String
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:
3value1 = case () of 3value1 = 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 ???
9in testdata/language-features/basic-values/case03.reject.lc:1:10: 8in testdata/language-features/basic-values/case03.reject.lc:1:10:
10value1 = case () of 9value1 = case () of
11 1 -> () 10 1 -> ()
12 _ -> () 11 _ -> ()
13
14------------ tooltips 12------------ tooltips
15testdata/language-features/basic-values/case03.reject.lc 1:10-3:10 () 13testdata/language-features/basic-values/case03.reject.lc 1:10-3:10 ()
16testdata/language-features/basic-values/case03.reject.lc 1:15-1:17 () 14testdata/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
6in testdata/language-features/basic-values/case04.reject.lc:2:8: 6in 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() 11()
@@ -16,7 +15,6 @@ with
16in testdata/language-features/basic-values/case04.reject.lc:2:8: 15in testdata/language-features/basic-values/case04.reject.lc:2:8:
17 1 -> '1' 16 1 -> '1'
18 ^^^ 17 ^^^
19
20------------ tooltips 18------------ tooltips
21testdata/language-features/basic-values/case04.reject.lc 2:8-2:11 Char 19testdata/language-features/basic-values/case04.reject.lc 2:8-2:11 Char
22testdata/language-features/basic-values/case04.reject.lc 3:8-3:10 () 20testdata/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 ^
13Missing case(s): 13Missing 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'
6testdata/language-features/basic-values/def02.reject.lc:1:8: 6testdata/language-features/basic-values/def02.reject.lc:1:8:
7fun1 x x = 'c' 7fun1 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:
11fun 1 = '1' 11fun 1 = '1'
12fun 2 = '2' 12fun 2 = '2'
13Missing case(s): 13Missing 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 @@
1already defined fun at testdata/language-features/basic-values/def07.reject.lc:4:1: 1already defined fun at testdata/language-features/basic-values/def07.reject.lc:4:1:
2fun _ = '_' 2fun _ = '_'
3^^^ 3^^^
4 and at testdata/language-features/basic-values/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
@@ -11,7 +11,7 @@ fun :: forall a . a -> 'Char
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:
12fun _ = '_' 12fun _ = '_'
13^^^ 13^^^
14 and at testdata/language-features/basic-values/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
@@ -28,11 +28,9 @@ Uncovered pattern(s) at testdata/language-features/basic-values/def07.reject.lc:
28fun 1 = '1' 28fun 1 = '1'
29fun 2 = '2' 29fun 2 = '2'
30Missing case(s): 30Missing case(s):
31 _ | False <- fromInt 1 == _a, False <- fromInt 2 == _a 31 _ | False <- fromInt 1 == _a , False <- fromInt 2 == _a
32
33Uncovered pattern(s) at testdata/language-features/basic-values/def07.reject.lc:3:1: 32Uncovered pattern(s) at testdata/language-features/basic-values/def07.reject.lc:3:1:
34fun2 1 _ = '1' 33fun2 1 _ = '1'
35^^^^ 34^^^^
36Missing case(s): 35Missing 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
6in testdata/language-features/basic-values/if03.reject.lc:1:13: 6in testdata/language-features/basic-values/if03.reject.lc:1:13:
7value1 = if () then () else () 7value1 = if () then () else ()
8 ^^ 8 ^^
9
10------------ trace 9------------ trace
11!type error: can not unify 10!type error: can not unify
12'Bool 11'Bool
@@ -16,6 +15,5 @@ with
16in testdata/language-features/basic-values/if03.reject.lc:1:13: 15in testdata/language-features/basic-values/if03.reject.lc:1:13:
17value1 = if () then () else () 16value1 = if () then () else ()
18 ^^ 17 ^^
19
20------------ tooltips 18------------ tooltips
21testdata/language-features/basic-values/if03.reject.lc 1:13-1:15 () 19testdata/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
6in testdata/language-features/basic-values/if04.reject.lc:1:31: 6in testdata/language-features/basic-values/if04.reject.lc:1:31:
7value1 = if True then () else '_' 7value1 = if True then () else '_'
8 ^^^ 8 ^^^
9
10------------ trace 9------------ trace
11!type error: can not unify 10!type error: can not unify
12() 11()
@@ -16,7 +15,6 @@ with
16in testdata/language-features/basic-values/if04.reject.lc:1:31: 15in testdata/language-features/basic-values/if04.reject.lc:1:31:
17value1 = if True then () else '_' 16value1 = if True then () else '_'
18 ^^^ 17 ^^^
19
20------------ tooltips 18------------ tooltips
21testdata/language-features/basic-values/if04.reject.lc 1:13-1:17 Bool 19testdata/language-features/basic-values/if04.reject.lc 1:13-1:17 Bool
22testdata/language-features/basic-values/if04.reject.lc 1:13-1:25 () -> () 20testdata/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 @@
1already defined #$# at testdata/language-features/basic-values/operator02.reject.lc:3:3: 1already defined #$# at testdata/language-features/basic-values/operator02.reject.lc:3:3:
2a #$# b = () 2a #$# b = ()
3 ^^^ 3 ^^^
4 and at testdata/language-features/basic-values/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
@@ -11,7 +11,7 @@ fun :: forall a . a -> ()
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:
12a #$# b = () 12a #$# b = ()
13 ^^^ 13 ^^^
14 and at testdata/language-features/basic-values/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
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 @@
1Operator precedences don't match: 1Operator precedences don't match:
2Infix 5 at testdata/language-features/basic-values/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 testdata/language-features/basic-values/operator07.reject.lc:11:18: 5infixl 5 at testdata/language-features/basic-values/operator07.reject.lc:11:18:
6main = () @&> () <@& () 6main = () @&> () <@& ()
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 @@
1Operator precedences don't match: 1Operator precedences don't match:
2Infix 5 at testdata/language-features/basic-values/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 testdata/language-features/basic-values/operator08.reject.lc:10:13: 5infixl 5 at testdata/language-features/basic-values/operator08.reject.lc:10:13:
6x = (@&> () <@& ()) 6x = (@&> () <@& ())
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 @@
1already defined unit at testdata/language-features/basic-values/redefine01.reject.lc:3:1: 1already defined unit at testdata/language-features/basic-values/redefine01.reject.lc:3:1:
2unit = () 2unit = ()
3^^^^ 3^^^^
4 and at testdata/language-features/basic-values/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
@@ -11,7 +11,7 @@ unit :: ()
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:
12unit = () 12unit = ()
13^^^^ 13^^^^
14 and at testdata/language-features/basic-values/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
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 @@
1already defined 'MyUnit at testdata/language-features/basic-values/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 ^^^^^^
4 and at testdata/language-features/basic-values/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
@@ -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:
11type MyUnit = () 11type MyUnit = ()
12 ^^^^^^ 12 ^^^^^^
13 and at testdata/language-features/basic-values/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
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 @@
1already defined 'MyUnit at testdata/language-features/basic-values/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 ^^^^^^
4 and at testdata/language-features/basic-values/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
@@ -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:
11type MyUnit = () 11type MyUnit = ()
12 ^^^^^^ 12 ^^^^^^
13 and at testdata/language-features/basic-values/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
diff --git a/testdata/language-features/guard/guard02.reject.out b/testdata/language-features/guard/guard02.reject.out
index 3cff76bd..cd5b17c1 100644
--- a/testdata/language-features/guard/guard02.reject.out
+++ b/testdata/language-features/guard/guard02.reject.out
@@ -6,7 +6,6 @@ with
6in testdata/language-features/guard/guard02.reject.lc:2:12: 6in testdata/language-features/guard/guard02.reject.lc:2:12:
7 | True = () 7 | True = ()
8 ^^ 8 ^^
9
10------------ trace 9------------ trace
11!type error: can not unify 10!type error: can not unify
12'String 11'String
@@ -16,7 +15,6 @@ with
16in testdata/language-features/guard/guard02.reject.lc:2:12: 15in testdata/language-features/guard/guard02.reject.lc:2:12:
17 | True = () 16 | True = ()
18 ^^ 17 ^^
19
20------------ tooltips 18------------ tooltips
21testdata/language-features/guard/guard02.reject.lc 2:12-2:14 () 19testdata/language-features/guard/guard02.reject.lc 2:12-2:14 ()
22testdata/language-features/guard/guard02.reject.lc 3:5-3:10 Bool 20testdata/language-features/guard/guard02.reject.lc 3:5-3:10 Bool
diff --git a/testdata/language-features/guard/guard05.reject.out b/testdata/language-features/guard/guard05.reject.out
index 99275e00..23bf1739 100644
--- a/testdata/language-features/guard/guard05.reject.out
+++ b/testdata/language-features/guard/guard05.reject.out
@@ -6,7 +6,6 @@ with
6in testdata/language-features/guard/guard05.reject.lc:1:9: 6in testdata/language-features/guard/guard05.reject.lc:1:9:
7value | () = "wrong" 7value | () = "wrong"
8 ^^ 8 ^^
9
10------------ trace 9------------ trace
11!type error: can not unify 10!type error: can not unify
12'Bool 11'Bool
@@ -16,7 +15,6 @@ with
16in testdata/language-features/guard/guard05.reject.lc:1:9: 15in testdata/language-features/guard/guard05.reject.lc:1:9:
17value | () = "wrong" 16value | () = "wrong"
18 ^^ 17 ^^
19
20------------ tooltips 18------------ tooltips
21testdata/language-features/guard/guard05.reject.lc 1:9-1:11 () 19testdata/language-features/guard/guard05.reject.lc 1:9-1:11 ()
22testdata/language-features/guard/guard05.reject.lc 1:14-1:21 String 20testdata/language-features/guard/guard05.reject.lc 1:14-1:21 String
diff --git a/testdata/language-features/guard/guard12.reject.out b/testdata/language-features/guard/guard12.reject.out
index ca6c50ab..f1f024d7 100644
--- a/testdata/language-features/guard/guard12.reject.out
+++ b/testdata/language-features/guard/guard12.reject.out
@@ -6,7 +6,6 @@ with
6in testdata/language-features/guard/guard12.reject.lc:1:13: 6in testdata/language-features/guard/guard12.reject.lc:1:13:
7fun x | x = () | otherwise = 'a' 7fun x | x = () | otherwise = 'a'
8 ^^ 8 ^^
9
10------------ trace 9------------ trace
11!type error: can not unify 10!type error: can not unify
12'Char 11'Char
@@ -16,7 +15,6 @@ with
16in testdata/language-features/guard/guard12.reject.lc:1:13: 15in testdata/language-features/guard/guard12.reject.lc:1:13:
17fun x | x = () | otherwise = 'a' 16fun x | x = () | otherwise = 'a'
18 ^^ 17 ^^
19
20------------ tooltips 18------------ tooltips
21testdata/language-features/guard/guard12.reject.lc 1:13-1:15 () 19testdata/language-features/guard/guard12.reject.lc 1:13-1:15 ()
22testdata/language-features/guard/guard12.reject.lc 1:30-1:33 Char 20testdata/language-features/guard/guard12.reject.lc 1:30-1:33 Char
diff --git a/testdata/language-features/module/import04.reject.out b/testdata/language-features/module/import04.reject.out
index 82543ceb..85752b47 100644
--- a/testdata/language-features/module/import04.reject.out
+++ b/testdata/language-features/module/import04.reject.out
@@ -1,7 +1,7 @@
1already defined hello at testdata/language-features/module/import04.reject.lc:4:1: 1already defined hello at testdata/language-features/module/import04.reject.lc:4:1:
2hello = "hello" 2hello = "hello"
3^^^^^ 3^^^^^
4 and at testdata/language-features/module/Hello01.lc:3:1: 4and at testdata/language-features/module/Hello01.lc:3:1:
5hello = "hello" 5hello = "hello"
6^^^^^ 6^^^^^
7------------ trace 7------------ trace
@@ -9,7 +9,7 @@ hello :: 'String
9!already defined hello at testdata/language-features/module/import04.reject.lc:4:1: 9!already defined hello at testdata/language-features/module/import04.reject.lc:4:1:
10hello = "hello" 10hello = "hello"
11^^^^^ 11^^^^^
12 and at testdata/language-features/module/Hello01.lc:3:1: 12and at testdata/language-features/module/Hello01.lc:3:1:
13hello = "hello" 13hello = "hello"
14^^^^^ 14^^^^^
15------------ tooltips 15------------ tooltips
diff --git a/testdata/language-features/module/import10.reject.out b/testdata/language-features/module/import10.reject.out
index 7f8c8d2d..5a61239c 100644
--- a/testdata/language-features/module/import10.reject.out
+++ b/testdata/language-features/module/import10.reject.out
@@ -1,7 +1,7 @@
1already defined 'MyUnit at testdata/language-features/module/import10.reject.lc:3:6: 1already defined 'MyUnit at testdata/language-features/module/import10.reject.lc:3:6:
2type MyUnit = () 2type MyUnit = ()
3 ^^^^^^ 3 ^^^^^^
4 and at testdata/language-features/module/TypeSyn01Mod.lc:2:6: 4and at testdata/language-features/module/TypeSyn01Mod.lc:2:6:
5type MyUnit = () 5type MyUnit = ()
6 ^^^^^^ 6 ^^^^^^
7------------ trace 7------------ trace
@@ -9,7 +9,7 @@ type MyUnit = ()
9!already defined 'MyUnit at testdata/language-features/module/import10.reject.lc:3:6: 9!already defined 'MyUnit at testdata/language-features/module/import10.reject.lc:3:6:
10type MyUnit = () 10type MyUnit = ()
11 ^^^^^^ 11 ^^^^^^
12 and at testdata/language-features/module/TypeSyn01Mod.lc:2:6: 12and at testdata/language-features/module/TypeSyn01Mod.lc:2:6:
13type MyUnit = () 13type MyUnit = ()
14 ^^^^^^ 14 ^^^^^^
15------------ tooltips 15------------ tooltips
diff --git a/testdata/language-features/module/import11.reject.out b/testdata/language-features/module/import11.reject.out
index 531e98a6..f686f7e8 100644
--- a/testdata/language-features/module/import11.reject.out
+++ b/testdata/language-features/module/import11.reject.out
@@ -1,7 +1,7 @@
1already defined 'MyUnit at testdata/language-features/module/import11.reject.lc:3:6: 1already defined 'MyUnit at testdata/language-features/module/import11.reject.lc:3:6:
2type MyUnit = () 2type MyUnit = ()
3 ^^^^^^ 3 ^^^^^^
4 and at testdata/language-features/module/TypeSyn01Mod.lc:2:6: 4and at testdata/language-features/module/TypeSyn01Mod.lc:2:6:
5type MyUnit = () 5type MyUnit = ()
6 ^^^^^^ 6 ^^^^^^
7------------ trace 7------------ trace
@@ -9,7 +9,7 @@ type MyUnit = ()
9!already defined 'MyUnit at testdata/language-features/module/import11.reject.lc:3:6: 9!already defined 'MyUnit at testdata/language-features/module/import11.reject.lc:3:6:
10type MyUnit = () 10type MyUnit = ()
11 ^^^^^^ 11 ^^^^^^
12 and at testdata/language-features/module/TypeSyn01Mod.lc:2:6: 12and at testdata/language-features/module/TypeSyn01Mod.lc:2:6:
13type MyUnit = () 13type MyUnit = ()
14 ^^^^^^ 14 ^^^^^^
15------------ tooltips 15------------ tooltips
diff --git a/testdata/language-features/pattern/uncovered.out b/testdata/language-features/pattern/uncovered.out
index e24ca6ec..f51d2e84 100644
--- a/testdata/language-features/pattern/uncovered.out
+++ b/testdata/language-features/pattern/uncovered.out
@@ -15,6 +15,5 @@ f _ True False = 0
15f False _ True = 1 15f False _ True = 1
16f True False _ = 2 16f True False _ = 2
17Missing case(s): 17Missing case(s):
18 False False False 18 False False False
19 True True True 19 True True True
20