diff options
Diffstat (limited to 'testdata/language-features')
24 files changed, 100 insertions, 33 deletions
diff --git a/testdata/language-features/adt/adt03.reject.out b/testdata/language-features/adt/adt03.reject.out index 1e0ced78..0091dc83 100644 --- a/testdata/language-features/adt/adt03.reject.out +++ b/testdata/language-features/adt/adt03.reject.out | |||
@@ -3,6 +3,8 @@ data Data3 = Data3 a b c | |||
3 | ^ | 3 | ^ |
4 | ------------ trace | 4 | ------------ trace |
5 | 'Data3 :: [32mType[39m[K | 5 | 'Data3 :: [32mType[39m[K |
6 | !can't find: a in testdata/language-features/adt/adt03.reject.lc:2:20 | 6 | !can't find: a in testdata/language-features/adt/adt03.reject.lc:2:20: |
7 | data Data3 = Data3 a b c | ||
8 | ^ | ||
7 | ------------ tooltips | 9 | ------------ tooltips |
8 | testdata/language-features/adt/adt03.reject.lc 2:6-2:11 Type | 10 | testdata/language-features/adt/adt03.reject.lc 2:6-2:11 Type |
diff --git a/testdata/language-features/adt/adt04.reject.out b/testdata/language-features/adt/adt04.reject.out index 0cc615ae..bae22981 100644 --- a/testdata/language-features/adt/adt04.reject.out +++ b/testdata/language-features/adt/adt04.reject.out | |||
@@ -3,6 +3,8 @@ data Data3 = Data3 { x :: a , y :: b , z :: c } | |||
3 | ^ | 3 | ^ |
4 | ------------ trace | 4 | ------------ trace |
5 | 'Data3 :: [32mType[39m[K | 5 | 'Data3 :: [32mType[39m[K |
6 | !can't find: a in testdata/language-features/adt/adt04.reject.lc:2:27 | 6 | !can't find: a in testdata/language-features/adt/adt04.reject.lc:2:27: |
7 | data Data3 = Data3 { x :: a , y :: b , z :: c } | ||
8 | ^ | ||
7 | ------------ tooltips | 9 | ------------ tooltips |
8 | testdata/language-features/adt/adt04.reject.lc 2:6-2:11 Type | 10 | testdata/language-features/adt/adt04.reject.lc 2:6-2:11 Type |
diff --git a/testdata/language-features/adt/gadt04.reject.out b/testdata/language-features/adt/gadt04.reject.out index 61bd1a2e..5cd84905 100644 --- a/testdata/language-features/adt/gadt04.reject.out +++ b/testdata/language-features/adt/gadt04.reject.out | |||
@@ -11,8 +11,12 @@ Value :: [32m{a} -> a -> {c:'String} -> 'M a c[39m[K | |||
11 | match'M :: [32m(b : Type->Type) -> (c:Type -> d:'String -> b ('M c d)) -> f:Type -> b f -> b f[39m[K | 11 | match'M :: [32m(b : Type->Type) -> (c:Type -> d:'String -> b ('M c d)) -> f:Type -> b f -> b f[39m[K |
12 | 'M2 :: [32mType -> 'String->Type[39m[K | 12 | 'M2 :: [32mType -> 'String->Type[39m[K |
13 | Value :: [32m{a} -> a -> {c:'String} -> 'M2 a c[39m[K | 13 | Value :: [32m{a} -> a -> {c:'String} -> 'M2 a c[39m[K |
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 | and at testdata/language-features/adt/gadt04.reject.lc:3:3 | 15 | Value :: a -> forall m . M2 a m |
16 | ^^^^^ | ||
17 | and at testdata/language-features/adt/gadt04.reject.lc:3:3: | ||
18 | Value :: a -> forall m . M a m | ||
19 | ^^^^^ | ||
16 | ------------ tooltips | 20 | ------------ tooltips |
17 | testdata/language-features/adt/gadt04.reject.lc 2:6-2:7 Type | Type -> String->Type | 21 | testdata/language-features/adt/gadt04.reject.lc 2:6-2:7 Type | Type -> String->Type |
18 | testdata/language-features/adt/gadt04.reject.lc 2:6-3:33 Type | 22 | testdata/language-features/adt/gadt04.reject.lc 2:6-3:33 Type |
diff --git a/testdata/language-features/basic-list/list14.reject.out b/testdata/language-features/basic-list/list14.reject.out index 5e9348fe..2d6d00ea 100644 --- a/testdata/language-features/basic-list/list14.reject.out +++ b/testdata/language-features/basic-list/list14.reject.out | |||
@@ -13,7 +13,9 @@ value = 'h':'i':() | |||
13 | with | 13 | with |
14 | [32m()[m | 14 | [32m()[m |
15 | 15 | ||
16 | in testdata/language-features/basic-list/list14.reject.lc:1:17 | 16 | in testdata/language-features/basic-list/list14.reject.lc:1:17: |
17 | value = 'h':'i':() | ||
18 | ^^ | ||
17 | 19 | ||
18 | ------------ tooltips | 20 | ------------ tooltips |
19 | testdata/language-features/basic-list/list14.reject.lc 1:9-1:12 Char | 21 | testdata/language-features/basic-list/list14.reject.lc 1:9-1:12 Char |
diff --git a/testdata/language-features/basic-list/list15.reject.out b/testdata/language-features/basic-list/list15.reject.out index c6f19a6e..50962086 100644 --- a/testdata/language-features/basic-list/list15.reject.out +++ b/testdata/language-features/basic-list/list15.reject.out | |||
@@ -13,7 +13,9 @@ value = 'h':'i':():[] | |||
13 | with | 13 | with |
14 | [32m()[m | 14 | [32m()[m |
15 | 15 | ||
16 | in testdata/language-features/basic-list/list15.reject.lc:1:20 | 16 | in testdata/language-features/basic-list/list15.reject.lc:1:20: |
17 | value = 'h':'i':():[] | ||
18 | ^^ | ||
17 | 19 | ||
18 | ------------ tooltips | 20 | ------------ tooltips |
19 | testdata/language-features/basic-list/list15.reject.lc 1:9-1:12 Char | 21 | testdata/language-features/basic-list/list15.reject.lc 1:9-1:12 Char |
diff --git a/testdata/language-features/basic-list/list16.reject.out b/testdata/language-features/basic-list/list16.reject.out index 7f5383c9..a409c05b 100644 --- a/testdata/language-features/basic-list/list16.reject.out +++ b/testdata/language-features/basic-list/list16.reject.out | |||
@@ -13,7 +13,9 @@ value = 'h':'i' | |||
13 | with | 13 | with |
14 | [32m'Char[m | 14 | [32m'Char[m |
15 | 15 | ||
16 | in testdata/language-features/basic-list/list16.reject.lc:1:13 | 16 | in testdata/language-features/basic-list/list16.reject.lc:1:13: |
17 | value = 'h':'i' | ||
18 | ^^^ | ||
17 | 19 | ||
18 | ------------ tooltips | 20 | ------------ tooltips |
19 | testdata/language-features/basic-list/list16.reject.lc 1:9-1:12 Char | 21 | testdata/language-features/basic-list/list16.reject.lc 1:9-1:12 Char |
diff --git a/testdata/language-features/basic-list/listcomp08.reject.out b/testdata/language-features/basic-list/listcomp08.reject.out index b3258802..4eae6c46 100644 --- a/testdata/language-features/basic-list/listcomp08.reject.out +++ b/testdata/language-features/basic-list/listcomp08.reject.out | |||
@@ -13,7 +13,9 @@ value = [x | x <- [], "not Bool"] | |||
13 | with | 13 | with |
14 | [32m'String[m | 14 | [32m'String[m |
15 | 15 | ||
16 | in testdata/language-features/basic-list/listcomp08.reject.lc:1:23 | 16 | in testdata/language-features/basic-list/listcomp08.reject.lc:1:23: |
17 | value = [x | x <- [], "not Bool"] | ||
18 | ^^^^^^^^^^ | ||
17 | 19 | ||
18 | ------------ tooltips | 20 | ------------ tooltips |
19 | testdata/language-features/basic-list/listcomp08.reject.lc 1:10-1:33 V1 -> List V1 | 21 | testdata/language-features/basic-list/listcomp08.reject.lc 1:10-1:33 V1 -> List V1 |
diff --git a/testdata/language-features/basic-values/case03.reject.out b/testdata/language-features/basic-values/case03.reject.out index d9c29820..8277264e 100644 --- a/testdata/language-features/basic-values/case03.reject.out +++ b/testdata/language-features/basic-values/case03.reject.out | |||
@@ -6,7 +6,10 @@ value1 = case () of | |||
6 | 6 | ||
7 | ------------ trace | 7 | ------------ trace |
8 | !type error: no instance of 'Num on ??? | 8 | !type error: no instance of 'Num on ??? |
9 | in testdata/language-features/basic-values/case03.reject.lc:1:10 | 9 | in testdata/language-features/basic-values/case03.reject.lc:1:10: |
10 | value1 = case () of | ||
11 | 1 -> () | ||
12 | _ -> () | ||
10 | 13 | ||
11 | ------------ tooltips | 14 | ------------ tooltips |
12 | testdata/language-features/basic-values/case03.reject.lc 1:10-3:10 () | 15 | testdata/language-features/basic-values/case03.reject.lc 1:10-3:10 () |
diff --git a/testdata/language-features/basic-values/case04.reject.out b/testdata/language-features/basic-values/case04.reject.out index 80f6a2cb..426c62f7 100644 --- a/testdata/language-features/basic-values/case04.reject.out +++ b/testdata/language-features/basic-values/case04.reject.out | |||
@@ -13,7 +13,9 @@ in testdata/language-features/basic-values/case04.reject.lc:2:8: | |||
13 | with | 13 | with |
14 | [32m'Char[m | 14 | [32m'Char[m |
15 | 15 | ||
16 | in testdata/language-features/basic-values/case04.reject.lc:2:8 | 16 | in testdata/language-features/basic-values/case04.reject.lc:2:8: |
17 | 1 -> '1' | ||
18 | ^^^ | ||
17 | 19 | ||
18 | ------------ tooltips | 20 | ------------ tooltips |
19 | testdata/language-features/basic-values/case04.reject.lc 2:8-2:11 Char | 21 | testdata/language-features/basic-values/case04.reject.lc 2:8-2:11 Char |
diff --git a/testdata/language-features/basic-values/def07.reject.out b/testdata/language-features/basic-values/def07.reject.out index a8c509d2..20b424fc 100644 --- a/testdata/language-features/basic-values/def07.reject.out +++ b/testdata/language-features/basic-values/def07.reject.out | |||
@@ -8,8 +8,12 @@ fun 1 = '1' | |||
8 | fun :: [32m{a} -> {b : 'Eq a} -> {c : 'Num a} -> {d : 'Eq a} -> {e : 'Num a} -> a->'Char[39m[K | 8 | fun :: [32m{a} -> {b : 'Eq a} -> {c : 'Num a} -> {d : 'Eq a} -> {e : 'Num a} -> a->'Char[39m[K |
9 | fun2 :: [32m{a} -> {b} -> {c : 'Eq a} -> {d : 'Num a} -> a -> b->'Char[39m[K | 9 | fun2 :: [32m{a} -> {b} -> {c : 'Eq a} -> {d : 'Num a} -> a -> b->'Char[39m[K |
10 | fun :: [32m{a} -> a->'Char[39m[K | 10 | fun :: [32m{a} -> a->'Char[39m[K |
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 | and at testdata/language-features/basic-values/def07.reject.lc:1:1 | 12 | fun _ = '_' |
13 | ^^^ | ||
14 | and at testdata/language-features/basic-values/def07.reject.lc:1:1: | ||
15 | fun 1 = '1' | ||
16 | ^^^ | ||
13 | ------------ tooltips | 17 | ------------ tooltips |
14 | testdata/language-features/basic-values/def07.reject.lc 1:1-1:4 {a} -> {b : Eq a} -> {c : Num a} -> {d : Eq a} -> {e : Num a} -> a->Char | 18 | testdata/language-features/basic-values/def07.reject.lc 1:1-1:4 {a} -> {b : Eq a} -> {c : Num a} -> {d : Eq a} -> {e : Num a} -> a->Char |
15 | testdata/language-features/basic-values/def07.reject.lc 1:9-1:12 Char | 19 | testdata/language-features/basic-values/def07.reject.lc 1:9-1:12 Char |
diff --git a/testdata/language-features/basic-values/if03.reject.out b/testdata/language-features/basic-values/if03.reject.out index 7b4c5822..aeb988f9 100644 --- a/testdata/language-features/basic-values/if03.reject.out +++ b/testdata/language-features/basic-values/if03.reject.out | |||
@@ -13,7 +13,9 @@ value1 = if () then () else () | |||
13 | with | 13 | with |
14 | [32m()[m | 14 | [32m()[m |
15 | 15 | ||
16 | in testdata/language-features/basic-values/if03.reject.lc:1:13 | 16 | in testdata/language-features/basic-values/if03.reject.lc:1:13: |
17 | value1 = if () then () else () | ||
18 | ^^ | ||
17 | 19 | ||
18 | ------------ tooltips | 20 | ------------ tooltips |
19 | testdata/language-features/basic-values/if03.reject.lc 1:13-1:15 () | 21 | 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 e8a8d1dc..d882b6a8 100644 --- a/testdata/language-features/basic-values/if04.reject.out +++ b/testdata/language-features/basic-values/if04.reject.out | |||
@@ -13,7 +13,9 @@ value1 = if True then () else '_' | |||
13 | with | 13 | with |
14 | [32m'Char[m | 14 | [32m'Char[m |
15 | 15 | ||
16 | in testdata/language-features/basic-values/if04.reject.lc:1:31 | 16 | in testdata/language-features/basic-values/if04.reject.lc:1:31: |
17 | value1 = if True then () else '_' | ||
18 | ^^^ | ||
17 | 19 | ||
18 | ------------ tooltips | 20 | ------------ tooltips |
19 | testdata/language-features/basic-values/if04.reject.lc 1:13-1:17 Bool | 21 | testdata/language-features/basic-values/if04.reject.lc 1:13-1:17 Bool |
diff --git a/testdata/language-features/basic-values/operator02.reject.out b/testdata/language-features/basic-values/operator02.reject.out index 8f42573e..31d8ce8c 100644 --- a/testdata/language-features/basic-values/operator02.reject.out +++ b/testdata/language-features/basic-values/operator02.reject.out | |||
@@ -8,8 +8,12 @@ a #$# b = () | |||
8 | #$# :: [32m{a} -> {b} -> a -> b->()[39m[K | 8 | #$# :: [32m{a} -> {b} -> a -> b->()[39m[K |
9 | fun :: [32m{a} -> a->()[39m[K | 9 | fun :: [32m{a} -> a->()[39m[K |
10 | #$# :: [32m{a} -> {b} -> a -> b->()[39m[K | 10 | #$# :: [32m{a} -> {b} -> a -> b->()[39m[K |
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 | and at testdata/language-features/basic-values/operator02.reject.lc:1:3 | 12 | a #$# b = () |
13 | ^^^ | ||
14 | and at testdata/language-features/basic-values/operator02.reject.lc:1:3: | ||
15 | a #$# b = () | ||
16 | ^^^ | ||
13 | ------------ tooltips | 17 | ------------ tooltips |
14 | testdata/language-features/basic-values/operator02.reject.lc 1:3-1:6 {a} -> {b} -> a -> b->() | 18 | testdata/language-features/basic-values/operator02.reject.lc 1:3-1:6 {a} -> {b} -> a -> b->() |
15 | testdata/language-features/basic-values/operator02.reject.lc 1:11-1:13 () | 19 | testdata/language-features/basic-values/operator02.reject.lc 1:11-1:13 () |
diff --git a/testdata/language-features/basic-values/redefine01.reject.out b/testdata/language-features/basic-values/redefine01.reject.out index 8e8e26de..b532c14d 100644 --- a/testdata/language-features/basic-values/redefine01.reject.out +++ b/testdata/language-features/basic-values/redefine01.reject.out | |||
@@ -8,8 +8,12 @@ unit = () | |||
8 | unit :: [32m()[39m[K | 8 | unit :: [32m()[39m[K |
9 | tuple :: [32m()[39m[K | 9 | tuple :: [32m()[39m[K |
10 | unit :: [32m()[39m[K | 10 | unit :: [32m()[39m[K |
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 | and at testdata/language-features/basic-values/redefine01.reject.lc:1:1 | 12 | unit = () |
13 | ^^^^ | ||
14 | and at testdata/language-features/basic-values/redefine01.reject.lc:1:1: | ||
15 | unit = () | ||
16 | ^^^^ | ||
13 | ------------ tooltips | 17 | ------------ tooltips |
14 | testdata/language-features/basic-values/redefine01.reject.lc 1:1-1:5 () | 18 | testdata/language-features/basic-values/redefine01.reject.lc 1:1-1:5 () |
15 | testdata/language-features/basic-values/redefine01.reject.lc 1:8-1:10 () | 19 | testdata/language-features/basic-values/redefine01.reject.lc 1:8-1:10 () |
diff --git a/testdata/language-features/basic-values/typesyn03.reject.out b/testdata/language-features/basic-values/typesyn03.reject.out index 334be67f..b980b47f 100644 --- a/testdata/language-features/basic-values/typesyn03.reject.out +++ b/testdata/language-features/basic-values/typesyn03.reject.out | |||
@@ -7,8 +7,12 @@ type MyUnit = () | |||
7 | ------------ trace | 7 | ------------ trace |
8 | 'MyUnit :: [32mType[39m[K | 8 | 'MyUnit :: [32mType[39m[K |
9 | 'MyUnit :: [32mType[39m[K | 9 | 'MyUnit :: [32mType[39m[K |
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 | and at testdata/language-features/basic-values/typesyn03.reject.lc:1:6 | 11 | type MyUnit = () |
12 | ^^^^^^ | ||
13 | and at testdata/language-features/basic-values/typesyn03.reject.lc:1:6: | ||
14 | type MyUnit = () | ||
15 | ^^^^^^ | ||
12 | ------------ tooltips | 16 | ------------ tooltips |
13 | testdata/language-features/basic-values/typesyn03.reject.lc 1:6-1:12 Type | 17 | testdata/language-features/basic-values/typesyn03.reject.lc 1:6-1:12 Type |
14 | testdata/language-features/basic-values/typesyn03.reject.lc 2:6-2:12 Type | 18 | testdata/language-features/basic-values/typesyn03.reject.lc 2:6-2:12 Type |
diff --git a/testdata/language-features/basic-values/typesyn04.reject.out b/testdata/language-features/basic-values/typesyn04.reject.out index 8dcdc1a5..2fd21298 100644 --- a/testdata/language-features/basic-values/typesyn04.reject.out +++ b/testdata/language-features/basic-values/typesyn04.reject.out | |||
@@ -7,8 +7,12 @@ type MyUnit = () | |||
7 | ------------ trace | 7 | ------------ trace |
8 | 'MyUnit :: [32mType[39m[K | 8 | 'MyUnit :: [32mType[39m[K |
9 | 'MyUnit :: [32mType[39m[K | 9 | 'MyUnit :: [32mType[39m[K |
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 | and at testdata/language-features/basic-values/typesyn04.reject.lc:1:6 | 11 | type MyUnit = () |
12 | ^^^^^^ | ||
13 | and at testdata/language-features/basic-values/typesyn04.reject.lc:1:6: | ||
14 | type MyUnit = () | ||
15 | ^^^^^^ | ||
12 | ------------ tooltips | 16 | ------------ tooltips |
13 | testdata/language-features/basic-values/typesyn04.reject.lc 1:6-1:12 Type | 17 | testdata/language-features/basic-values/typesyn04.reject.lc 1:6-1:12 Type |
14 | testdata/language-features/basic-values/typesyn04.reject.lc 2:6-2:12 Type | 18 | testdata/language-features/basic-values/typesyn04.reject.lc 2:6-2:12 Type |
diff --git a/testdata/language-features/guard/guard02.reject.out b/testdata/language-features/guard/guard02.reject.out index 6f58ae6e..d06c5b7e 100644 --- a/testdata/language-features/guard/guard02.reject.out +++ b/testdata/language-features/guard/guard02.reject.out | |||
@@ -13,7 +13,9 @@ in testdata/language-features/guard/guard02.reject.lc:2:12: | |||
13 | with | 13 | with |
14 | [32m()[m | 14 | [32m()[m |
15 | 15 | ||
16 | in testdata/language-features/guard/guard02.reject.lc:2:12 | 16 | in testdata/language-features/guard/guard02.reject.lc:2:12: |
17 | | True = () | ||
18 | ^^ | ||
17 | 19 | ||
18 | ------------ tooltips | 20 | ------------ tooltips |
19 | testdata/language-features/guard/guard02.reject.lc 2:12-2:14 () | 21 | testdata/language-features/guard/guard02.reject.lc 2:12-2:14 () |
diff --git a/testdata/language-features/guard/guard05.reject.out b/testdata/language-features/guard/guard05.reject.out index 0dad2d09..7b407416 100644 --- a/testdata/language-features/guard/guard05.reject.out +++ b/testdata/language-features/guard/guard05.reject.out | |||
@@ -13,7 +13,9 @@ value | () = "wrong" | |||
13 | with | 13 | with |
14 | [32m()[m | 14 | [32m()[m |
15 | 15 | ||
16 | in testdata/language-features/guard/guard05.reject.lc:1:9 | 16 | in testdata/language-features/guard/guard05.reject.lc:1:9: |
17 | value | () = "wrong" | ||
18 | ^^ | ||
17 | 19 | ||
18 | ------------ tooltips | 20 | ------------ tooltips |
19 | testdata/language-features/guard/guard05.reject.lc 1:9-1:11 () | 21 | testdata/language-features/guard/guard05.reject.lc 1:9-1:11 () |
diff --git a/testdata/language-features/guard/guard12.reject.out b/testdata/language-features/guard/guard12.reject.out index bc3fb97a..2ede7989 100644 --- a/testdata/language-features/guard/guard12.reject.out +++ b/testdata/language-features/guard/guard12.reject.out | |||
@@ -13,7 +13,9 @@ fun x | x = () | otherwise = 'a' | |||
13 | with | 13 | with |
14 | [32m()[m | 14 | [32m()[m |
15 | 15 | ||
16 | in testdata/language-features/guard/guard12.reject.lc:1:13 | 16 | in testdata/language-features/guard/guard12.reject.lc:1:13: |
17 | fun x | x = () | otherwise = 'a' | ||
18 | ^^ | ||
17 | 19 | ||
18 | ------------ tooltips | 20 | ------------ tooltips |
19 | testdata/language-features/guard/guard12.reject.lc 1:13-1:15 () | 21 | testdata/language-features/guard/guard12.reject.lc 1:13-1:15 () |
diff --git a/testdata/language-features/module/import02.reject.out b/testdata/language-features/module/import02.reject.out index 4aa1b9c7..0bf4a3d4 100644 --- a/testdata/language-features/module/import02.reject.out +++ b/testdata/language-features/module/import02.reject.out | |||
@@ -2,4 +2,6 @@ can't find: hello2 in testdata/language-features/module/import02.reject.lc:4:5: | |||
2 | x = hello2 | 2 | x = hello2 |
3 | ^^^^^^ | 3 | ^^^^^^ |
4 | ------------ trace | 4 | ------------ trace |
5 | !can't find: hello2 in testdata/language-features/module/import02.reject.lc:4:5 | 5 | !can't find: hello2 in testdata/language-features/module/import02.reject.lc:4:5: |
6 | x = hello2 | ||
7 | ^^^^^^ | ||
diff --git a/testdata/language-features/module/import03.reject.out b/testdata/language-features/module/import03.reject.out index 16ec4bc4..eed9a289 100644 --- a/testdata/language-features/module/import03.reject.out +++ b/testdata/language-features/module/import03.reject.out | |||
@@ -2,4 +2,6 @@ can't find: world in testdata/language-features/module/import03.reject.lc:3:5: | |||
2 | x = world | 2 | x = world |
3 | ^^^^^ | 3 | ^^^^^ |
4 | ------------ trace | 4 | ------------ trace |
5 | !can't find: world in testdata/language-features/module/import03.reject.lc:3:5 | 5 | !can't find: world in testdata/language-features/module/import03.reject.lc:3:5: |
6 | x = world | ||
7 | ^^^^^ | ||
diff --git a/testdata/language-features/module/import04.reject.out b/testdata/language-features/module/import04.reject.out index 5980131e..21739b37 100644 --- a/testdata/language-features/module/import04.reject.out +++ b/testdata/language-features/module/import04.reject.out | |||
@@ -6,8 +6,12 @@ hello = "hello" | |||
6 | ^^^^^ | 6 | ^^^^^ |
7 | ------------ trace | 7 | ------------ trace |
8 | hello :: [32m'String[39m[K | 8 | hello :: [32m'String[39m[K |
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 | and at testdata/language-features/module/Hello01.lc:3:1 | 10 | hello = "hello" |
11 | ^^^^^ | ||
12 | and at testdata/language-features/module/Hello01.lc:3:1: | ||
13 | hello = "hello" | ||
14 | ^^^^^ | ||
11 | ------------ tooltips | 15 | ------------ tooltips |
12 | testdata/language-features/module/import04.reject.lc 4:1-4:6 String | 16 | testdata/language-features/module/import04.reject.lc 4:1-4:6 String |
13 | testdata/language-features/module/import04.reject.lc 4:9-4:16 String | 17 | testdata/language-features/module/import04.reject.lc 4:9-4:16 String |
diff --git a/testdata/language-features/module/import10.reject.out b/testdata/language-features/module/import10.reject.out index 450d9b59..d4f63553 100644 --- a/testdata/language-features/module/import10.reject.out +++ b/testdata/language-features/module/import10.reject.out | |||
@@ -6,7 +6,11 @@ type MyUnit = () | |||
6 | ^^^^^^ | 6 | ^^^^^^ |
7 | ------------ trace | 7 | ------------ trace |
8 | 'MyUnit :: [32mType[39m[K | 8 | 'MyUnit :: [32mType[39m[K |
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 | and at testdata/language-features/module/TypeSyn01Mod.lc:2:6 | 10 | type MyUnit = () |
11 | ^^^^^^ | ||
12 | and at testdata/language-features/module/TypeSyn01Mod.lc:2:6: | ||
13 | type MyUnit = () | ||
14 | ^^^^^^ | ||
11 | ------------ tooltips | 15 | ------------ tooltips |
12 | testdata/language-features/module/import10.reject.lc 3:6-3:12 Type | 16 | testdata/language-features/module/import10.reject.lc 3:6-3:12 Type |
diff --git a/testdata/language-features/module/import11.reject.out b/testdata/language-features/module/import11.reject.out index 3769cc07..c2d3550a 100644 --- a/testdata/language-features/module/import11.reject.out +++ b/testdata/language-features/module/import11.reject.out | |||
@@ -6,7 +6,11 @@ type MyUnit = () | |||
6 | ^^^^^^ | 6 | ^^^^^^ |
7 | ------------ trace | 7 | ------------ trace |
8 | 'MyUnit :: [32mType[39m[K | 8 | 'MyUnit :: [32mType[39m[K |
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 | and at testdata/language-features/module/TypeSyn01Mod.lc:2:6 | 10 | type MyUnit = () |
11 | ^^^^^^ | ||
12 | and at testdata/language-features/module/TypeSyn01Mod.lc:2:6: | ||
13 | type MyUnit = () | ||
14 | ^^^^^^ | ||
11 | ------------ tooltips | 15 | ------------ tooltips |
12 | testdata/language-features/module/import11.reject.lc 3:6-3:12 Type | 16 | testdata/language-features/module/import11.reject.lc 3:6-3:12 Type |