diff options
Diffstat (limited to 'testdata/language-features/basic-values')
9 files changed, 43 insertions, 14 deletions
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 |