diff options
Diffstat (limited to 'testdata')
30 files changed, 120 insertions, 39 deletions
diff --git a/testdata/adhoc.reject.out b/testdata/adhoc.reject.out index cd0ede7d..f7f62c5d 100644 --- a/testdata/adhoc.reject.out +++ b/testdata/adhoc.reject.out | |||
@@ -9,7 +9,9 @@ A :: [32m'A[39m[K | |||
9 | 'ACase :: [32m(b : 'A->Type) -> b A -> d:'A -> b d[39m[K | 9 | 'ACase :: [32m(b : 'A->Type) -> b A -> d:'A -> b d[39m[K |
10 | match'A :: [32m(b : Type->Type) -> b 'A -> d:Type -> b d -> b d[39m[K | 10 | match'A :: [32m(b : Type->Type) -> b 'A -> d:Type -> b d -> b d[39m[K |
11 | !type error: no instance of 'Component on ??? | 11 | !type error: no instance of 'Component on ??? |
12 | in testdata/adhoc.reject.lc:4:5 | 12 | in testdata/adhoc.reject.lc:4:5: |
13 | x = one :: Vec 4 A | ||
14 | ^^^ | ||
13 | 15 | ||
14 | ------------ tooltips | 16 | ------------ tooltips |
15 | testdata/adhoc.reject.lc 2:6-2:7 Type | 17 | testdata/adhoc.reject.lc 2:6-2:7 Type |
diff --git a/testdata/data.reject.out b/testdata/data.reject.out index 88df338f..50aeb5df 100644 --- a/testdata/data.reject.out +++ b/testdata/data.reject.out | |||
@@ -3,6 +3,8 @@ data Data1 = Data1 a b c | |||
3 | ^ | 3 | ^ |
4 | ------------ trace | 4 | ------------ trace |
5 | 'Data1 :: [32mType[39m[K | 5 | 'Data1 :: [32mType[39m[K |
6 | !can't find: a in testdata/data.reject.lc:1:20 | 6 | !can't find: a in testdata/data.reject.lc:1:20: |
7 | data Data1 = Data1 a b c | ||
8 | ^ | ||
7 | ------------ tooltips | 9 | ------------ tooltips |
8 | testdata/data.reject.lc 1:6-1:11 Type | 10 | testdata/data.reject.lc 1:6-1:11 Type |
diff --git a/testdata/framebuffer02.reject.out b/testdata/framebuffer02.reject.out index 0e41a37a..08a153e6 100644 --- a/testdata/framebuffer02.reject.out +++ b/testdata/framebuffer02.reject.out | |||
@@ -15,7 +15,11 @@ in testdata/framebuffer02.reject.lc:2:17: | |||
15 | with | 15 | with |
16 | [32m1[m | 16 | [32m1[m |
17 | 17 | ||
18 | in testdata/framebuffer02.reject.lc:2:17 | 18 | in testdata/framebuffer02.reject.lc:2:17: |
19 | let frame = FrameBuffer (colorImage1 (V4 0.0 0.0 0.4 1.0) | ||
20 | ,ColorImage @2 (V4 1.0 1.0 1.0 1.0) | ||
21 | ,colorImage1 1.0 | ||
22 | ) | ||
19 | 23 | ||
20 | ------------ tooltips | 24 | ------------ tooltips |
21 | testdata/framebuffer02.reject.lc 2:17-2:28 {a : List Type} -> {b : 'sameLayerCounts a} -> HList a -> FrameBuffer (ImageLC ('head Type a)) ('map Type ImageKind GetImageKind a) | 25 | testdata/framebuffer02.reject.lc 2:17-2:28 {a : List Type} -> {b : 'sameLayerCounts a} -> HList a -> FrameBuffer (ImageLC ('head Type a)) ('map Type ImageKind GetImageKind a) |
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 |
diff --git a/testdata/nameclash01.reject.out b/testdata/nameclash01.reject.out index b5c8ab87..2f824e15 100644 --- a/testdata/nameclash01.reject.out +++ b/testdata/nameclash01.reject.out | |||
@@ -13,7 +13,9 @@ in testdata/nameclash01.reject.lc:2:48: | |||
13 | with | 13 | with |
14 | [32m'Image 1 (Color ([32m'VecScalar [32m1[m [32m'Float[m[m))[m | 14 | [32m'Image 1 (Color ([32m'VecScalar [32m1[m [32m'Float[m[m))[m |
15 | 15 | ||
16 | in testdata/nameclash01.reject.lc:2:48 | 16 | in testdata/nameclash01.reject.lc:2:48: |
17 | let FrameBuffer = FrameBuffer (colorImage1 1.0) | ||
18 | ^^^ | ||
17 | 19 | ||
18 | ------------ tooltips | 20 | ------------ tooltips |
19 | testdata/nameclash01.reject.lc 2:23-2:34 {a : List Type} -> {b : 'sameLayerCounts a} -> HList a -> FrameBuffer (ImageLC ('head Type a)) ('map Type ImageKind GetImageKind a) | 21 | testdata/nameclash01.reject.lc 2:23-2:34 {a : List Type} -> {b : 'sameLayerCounts a} -> HList a -> FrameBuffer (ImageLC ('head Type a)) ('map Type ImageKind GetImageKind a) |
diff --git a/testdata/record01.reject.out b/testdata/record01.reject.out index 26bb76e4..84273e80 100644 --- a/testdata/record01.reject.out +++ b/testdata/record01.reject.out | |||
@@ -13,7 +13,9 @@ in testdata/record01.reject.lc:26:15: | |||
13 | with | 13 | with |
14 | [32m'Float[m | 14 | [32m'Float[m |
15 | 15 | ||
16 | in testdata/record01.reject.lc:26:15 | 16 | in testdata/record01.reject.lc:26:15: |
17 | in ScreenOut record.fieldA | ||
18 | ^^^^^^ | ||
17 | 19 | ||
18 | ------------ tooltips | 20 | ------------ tooltips |
19 | testdata/record01.reject.lc 2:16-2:21 (BlendEquation, BlendEquation) -> ((BlendingFactor, BlendingFactor), (BlendingFactor, BlendingFactor)) -> Vec 4 Float -> Blending Float | 21 | testdata/record01.reject.lc 2:16-2:21 (BlendEquation, BlendEquation) -> ((BlendingFactor, BlendingFactor), (BlendingFactor, BlendingFactor)) -> Vec 4 Float -> Blending Float |
diff --git a/testdata/scope01.reject.out b/testdata/scope01.reject.out index 8473a5fa..5e807a95 100644 --- a/testdata/scope01.reject.out +++ b/testdata/scope01.reject.out | |||
@@ -2,6 +2,8 @@ can't find: frame' in testdata/scope01.reject.lc:3:8: | |||
2 | in frame' | 2 | in frame' |
3 | ^^^^^^ | 3 | ^^^^^^ |
4 | ------------ trace | 4 | ------------ trace |
5 | !can't find: frame' in testdata/scope01.reject.lc:3:8 | 5 | !can't find: frame' in testdata/scope01.reject.lc:3:8: |
6 | in frame' | ||
7 | ^^^^^^ | ||
6 | ------------ tooltips | 8 | ------------ tooltips |
7 | testdata/scope01.reject.lc 2:17-2:20 Float | 9 | testdata/scope01.reject.lc 2:17-2:20 Float |