diff options
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 | |
parent | 58a479b781935155e09f565d2488693850bf21c6 (diff) |
use Doc instead of String is several places
Diffstat (limited to 'testdata/language-features')
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 | [32m'Int[0m | 4 | [32m'Int[0m |
5 | 5 | ||
6 | in proj | 6 | in proj |
7 | |||
8 | ------------ trace | 7 | ------------ trace |
9 | 'Data3 :: [32mType[0m | 8 | 'Data3 :: [32mType[0m |
10 | Data3 :: [32m'Bool -> 'Char -> 'Bool -> 'Data3[0m | 9 | Data3 :: [32m'Bool -> 'Char -> 'Bool -> 'Data3[0m |
@@ -17,7 +16,6 @@ with | |||
17 | [32m'Int[0m | 16 | [32m'Int[0m |
18 | 17 | ||
19 | in proj | 18 | in proj |
20 | |||
21 | ------------ tooltips | 19 | ------------ tooltips |
22 | testdata/language-features/adt/adt02.reject.lc 2:6-2:11 Type | 20 | testdata/language-features/adt/adt02.reject.lc 2:6-2:11 Type |
23 | testdata/language-features/adt/adt02.reject.lc 2:6-5:25 Type | 21 | testdata/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 @@ | |||
1 | already defined Value at testdata/language-features/adt/gadt04.reject.lc:6:3: | 1 | already 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: | 4 | and 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 :: [32mforall a . [32ma[0;32m -> forall (b :: 'String) . 'M2 [32ma[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: | 17 | and 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 | |||
6 | testdata/language-features/as-pattern/as-pattern02.reject.lc:2:6: | 6 | testdata/language-features/as-pattern/as-pattern02.reject.lc:2:6: |
7 | f x@[x:xs] = x:xs | 7 | f 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 | [32m'Char[0m | 4 | [32m'Char[0m |
5 | 5 | ||
6 | in builtin Nil | 6 | in builtin Nil |
7 | |||
8 | ------------ trace | 7 | ------------ trace |
9 | !type error: can not unify | 8 | !type error: can not unify |
10 | [32m'Float[0m | 9 | [32m'Float[0m |
@@ -12,7 +11,6 @@ with | |||
12 | [32m'Char[0m | 11 | [32m'Char[0m |
13 | 12 | ||
14 | in builtin Nil | 13 | in builtin Nil |
15 | |||
16 | ------------ tooltips | 14 | ------------ tooltips |
17 | testdata/language-features/basic-list/list07.reject.lc 1:10-1:11 _b | 15 | testdata/language-features/basic-list/list07.reject.lc 1:10-1:11 _b |
18 | testdata/language-features/basic-list/list07.reject.lc 1:12-1:15 Float | 16 | testdata/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 | [32m'Float[0m | 4 | [32m'Float[0m |
5 | 5 | ||
6 | in builtin Nil | 6 | in builtin Nil |
7 | |||
8 | ------------ trace | 7 | ------------ trace |
9 | !type error: can not unify | 8 | !type error: can not unify |
10 | [32m'Int[0m | 9 | [32m'Int[0m |
@@ -12,7 +11,6 @@ with | |||
12 | [32m'Float[0m | 11 | [32m'Float[0m |
13 | 12 | ||
14 | in builtin Nil | 13 | in builtin Nil |
15 | |||
16 | ------------ tooltips | 14 | ------------ tooltips |
17 | testdata/language-features/basic-list/list10.reject.lc 1:10-1:11 _b | 15 | testdata/language-features/basic-list/list10.reject.lc 1:10-1:11 _b |
18 | testdata/language-features/basic-list/list10.reject.lc 1:12-1:15 Float | 16 | testdata/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 | |||
6 | in testdata/language-features/basic-list/list14.reject.lc:1:17: | 6 | in testdata/language-features/basic-list/list14.reject.lc:1:17: |
7 | value = 'h':'i':() | 7 | value = 'h':'i':() |
8 | ^^ | 8 | ^^ |
9 | |||
10 | ------------ trace | 9 | ------------ trace |
11 | !type error: can not unify | 10 | !type error: can not unify |
12 | [32m'List 'Char[0m | 11 | [32m'List 'Char[0m |
@@ -16,7 +15,6 @@ with | |||
16 | in testdata/language-features/basic-list/list14.reject.lc:1:17: | 15 | in testdata/language-features/basic-list/list14.reject.lc:1:17: |
17 | value = 'h':'i':() | 16 | value = 'h':'i':() |
18 | ^^ | 17 | ^^ |
19 | |||
20 | ------------ tooltips | 18 | ------------ tooltips |
21 | testdata/language-features/basic-list/list14.reject.lc 1:9-1:12 Char | 19 | testdata/language-features/basic-list/list14.reject.lc 1:9-1:12 Char |
22 | testdata/language-features/basic-list/list14.reject.lc 1:9-1:13 List Char -> List Char | 20 | testdata/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 | |||
6 | in testdata/language-features/basic-list/list15.reject.lc:1:20: | 6 | in testdata/language-features/basic-list/list15.reject.lc:1:20: |
7 | value = 'h':'i':():[] | 7 | value = 'h':'i':():[] |
8 | ^^ | 8 | ^^ |
9 | |||
10 | ------------ trace | 9 | ------------ trace |
11 | !type error: can not unify | 10 | !type error: can not unify |
12 | [32m'Char[0m | 11 | [32m'Char[0m |
@@ -16,7 +15,6 @@ with | |||
16 | in testdata/language-features/basic-list/list15.reject.lc:1:20: | 15 | in testdata/language-features/basic-list/list15.reject.lc:1:20: |
17 | value = 'h':'i':():[] | 16 | value = 'h':'i':():[] |
18 | ^^ | 17 | ^^ |
19 | |||
20 | ------------ tooltips | 18 | ------------ tooltips |
21 | testdata/language-features/basic-list/list15.reject.lc 1:9-1:12 Char | 19 | testdata/language-features/basic-list/list15.reject.lc 1:9-1:12 Char |
22 | testdata/language-features/basic-list/list15.reject.lc 1:9-1:13 List Char -> List Char | 20 | testdata/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 | |||
6 | in testdata/language-features/basic-list/list16.reject.lc:1:13: | 6 | in testdata/language-features/basic-list/list16.reject.lc:1:13: |
7 | value = 'h':'i' | 7 | value = 'h':'i' |
8 | ^^^ | 8 | ^^^ |
9 | |||
10 | ------------ trace | 9 | ------------ trace |
11 | !type error: can not unify | 10 | !type error: can not unify |
12 | [32m'List 'Char[0m | 11 | [32m'List 'Char[0m |
@@ -16,7 +15,6 @@ with | |||
16 | in testdata/language-features/basic-list/list16.reject.lc:1:13: | 15 | in testdata/language-features/basic-list/list16.reject.lc:1:13: |
17 | value = 'h':'i' | 16 | value = 'h':'i' |
18 | ^^^ | 17 | ^^^ |
19 | |||
20 | ------------ tooltips | 18 | ------------ tooltips |
21 | testdata/language-features/basic-list/list16.reject.lc 1:9-1:12 Char | 19 | testdata/language-features/basic-list/list16.reject.lc 1:9-1:12 Char |
22 | testdata/language-features/basic-list/list16.reject.lc 1:9-1:13 List Char -> List Char | 20 | testdata/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 | |||
6 | in testdata/language-features/basic-list/listcomp08.reject.lc:1:23: | 6 | in testdata/language-features/basic-list/listcomp08.reject.lc:1:23: |
7 | value = [x | x <- [], "not Bool"] | 7 | value = [x | x <- [], "not Bool"] |
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,7 +15,6 @@ with | |||
16 | in testdata/language-features/basic-list/listcomp08.reject.lc:1:23: | 15 | in testdata/language-features/basic-list/listcomp08.reject.lc:1:23: |
17 | value = [x | x <- [], "not Bool"] | 16 | value = [x | x <- [], "not Bool"] |
18 | ^^^^^^^^^^ | 17 | ^^^^^^^^^^ |
19 | |||
20 | ------------ tooltips | 18 | ------------ tooltips |
21 | testdata/language-features/basic-list/listcomp08.reject.lc 1:10-1:33 _b -> List _a | 19 | testdata/language-features/basic-list/listcomp08.reject.lc 1:10-1:33 _b -> List _a |
22 | testdata/language-features/basic-list/listcomp08.reject.lc 1:23-1:33 String | 20 | testdata/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: | |||
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 |
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 | |||
6 | in testdata/language-features/guard/guard02.reject.lc:2:12: | 6 | in 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 | [32m'String[0m | 11 | [32m'String[0m |
@@ -16,7 +15,6 @@ with | |||
16 | in testdata/language-features/guard/guard02.reject.lc:2:12: | 15 | in testdata/language-features/guard/guard02.reject.lc:2:12: |
17 | | True = () | 16 | | True = () |
18 | ^^ | 17 | ^^ |
19 | |||
20 | ------------ tooltips | 18 | ------------ tooltips |
21 | testdata/language-features/guard/guard02.reject.lc 2:12-2:14 () | 19 | testdata/language-features/guard/guard02.reject.lc 2:12-2:14 () |
22 | testdata/language-features/guard/guard02.reject.lc 3:5-3:10 Bool | 20 | testdata/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 | |||
6 | in testdata/language-features/guard/guard05.reject.lc:1:9: | 6 | in testdata/language-features/guard/guard05.reject.lc:1:9: |
7 | value | () = "wrong" | 7 | value | () = "wrong" |
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,7 +15,6 @@ with | |||
16 | in testdata/language-features/guard/guard05.reject.lc:1:9: | 15 | in testdata/language-features/guard/guard05.reject.lc:1:9: |
17 | value | () = "wrong" | 16 | value | () = "wrong" |
18 | ^^ | 17 | ^^ |
19 | |||
20 | ------------ tooltips | 18 | ------------ tooltips |
21 | testdata/language-features/guard/guard05.reject.lc 1:9-1:11 () | 19 | testdata/language-features/guard/guard05.reject.lc 1:9-1:11 () |
22 | testdata/language-features/guard/guard05.reject.lc 1:14-1:21 String | 20 | testdata/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 | |||
6 | in testdata/language-features/guard/guard12.reject.lc:1:13: | 6 | in testdata/language-features/guard/guard12.reject.lc:1:13: |
7 | fun x | x = () | otherwise = 'a' | 7 | fun x | x = () | otherwise = 'a' |
8 | ^^ | 8 | ^^ |
9 | |||
10 | ------------ trace | 9 | ------------ trace |
11 | !type error: can not unify | 10 | !type error: can not unify |
12 | [32m'Char[0m | 11 | [32m'Char[0m |
@@ -16,7 +15,6 @@ with | |||
16 | in testdata/language-features/guard/guard12.reject.lc:1:13: | 15 | in testdata/language-features/guard/guard12.reject.lc:1:13: |
17 | fun x | x = () | otherwise = 'a' | 16 | fun x | x = () | otherwise = 'a' |
18 | ^^ | 17 | ^^ |
19 | |||
20 | ------------ tooltips | 18 | ------------ tooltips |
21 | testdata/language-features/guard/guard12.reject.lc 1:13-1:15 () | 19 | testdata/language-features/guard/guard12.reject.lc 1:13-1:15 () |
22 | testdata/language-features/guard/guard12.reject.lc 1:30-1:33 Char | 20 | testdata/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 @@ | |||
1 | already defined hello at testdata/language-features/module/import04.reject.lc:4:1: | 1 | already defined hello at testdata/language-features/module/import04.reject.lc:4:1: |
2 | hello = "hello" | 2 | hello = "hello" |
3 | ^^^^^ | 3 | ^^^^^ |
4 | and at testdata/language-features/module/Hello01.lc:3:1: | 4 | and at testdata/language-features/module/Hello01.lc:3:1: |
5 | hello = "hello" | 5 | hello = "hello" |
6 | ^^^^^ | 6 | ^^^^^ |
7 | ------------ trace | 7 | ------------ trace |
@@ -9,7 +9,7 @@ hello :: [32m'String[0m | |||
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: |
10 | hello = "hello" | 10 | hello = "hello" |
11 | ^^^^^ | 11 | ^^^^^ |
12 | and at testdata/language-features/module/Hello01.lc:3:1: | 12 | and at testdata/language-features/module/Hello01.lc:3:1: |
13 | hello = "hello" | 13 | hello = "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 @@ | |||
1 | already defined 'MyUnit at testdata/language-features/module/import10.reject.lc:3:6: | 1 | already defined 'MyUnit at testdata/language-features/module/import10.reject.lc:3:6: |
2 | type MyUnit = () | 2 | type MyUnit = () |
3 | ^^^^^^ | 3 | ^^^^^^ |
4 | and at testdata/language-features/module/TypeSyn01Mod.lc:2:6: | 4 | and at testdata/language-features/module/TypeSyn01Mod.lc:2:6: |
5 | type MyUnit = () | 5 | type 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: |
10 | type MyUnit = () | 10 | type MyUnit = () |
11 | ^^^^^^ | 11 | ^^^^^^ |
12 | and at testdata/language-features/module/TypeSyn01Mod.lc:2:6: | 12 | and at testdata/language-features/module/TypeSyn01Mod.lc:2:6: |
13 | type MyUnit = () | 13 | type 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 @@ | |||
1 | already defined 'MyUnit at testdata/language-features/module/import11.reject.lc:3:6: | 1 | already defined 'MyUnit at testdata/language-features/module/import11.reject.lc:3:6: |
2 | type MyUnit = () | 2 | type MyUnit = () |
3 | ^^^^^^ | 3 | ^^^^^^ |
4 | and at testdata/language-features/module/TypeSyn01Mod.lc:2:6: | 4 | and at testdata/language-features/module/TypeSyn01Mod.lc:2:6: |
5 | type MyUnit = () | 5 | type 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: |
10 | type MyUnit = () | 10 | type MyUnit = () |
11 | ^^^^^^ | 11 | ^^^^^^ |
12 | and at testdata/language-features/module/TypeSyn01Mod.lc:2:6: | 12 | and at testdata/language-features/module/TypeSyn01Mod.lc:2:6: |
13 | type MyUnit = () | 13 | type 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 | |||
15 | f False _ True = 1 | 15 | f False _ True = 1 |
16 | f True False _ = 2 | 16 | f True False _ = 2 |
17 | Missing case(s): | 17 | Missing case(s): |
18 | False False False | 18 | False False False |
19 | True True True | 19 | True True True |
20 | |||