diff options
Diffstat (limited to 'testdata/language-features/basic-values')
38 files changed, 373 insertions, 373 deletions
diff --git a/testdata/language-features/basic-values/case02.out b/testdata/language-features/basic-values/case02.out index 5c602ef2..e1b5a2e5 100644 --- a/testdata/language-features/basic-values/case02.out +++ b/testdata/language-features/basic-values/case02.out | |||
@@ -1,19 +1,19 @@ | |||
1 | main is not found | 1 | main is not found |
2 | ------------ trace | 2 | ------------ trace |
3 | value1 :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Eq [32m[32ma[0;32m[0;32m[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m}->()[0m | 3 | value1 :: [32mforall a . ([32m'Eq [32m[32ma[0;32m[0;32m[0;32m, [32m'Num [32m[32ma[0;32m[0;32m[0;32m) => ()[0m |
4 | value2 :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Eq [32m[32ma[0;32m[0;32m[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m} -> {[32m_[0;32m : [32m'Eq [32m[32ma[0;32m[0;32m[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m}->'String[0m | 4 | value2 :: [32mforall a . ([32m'Eq [32m[32ma[0;32m[0;32m[0;32m, [32m'Num [32m[32ma[0;32m[0;32m[0;32m, [32m'Eq [32m[32ma[0;32m[0;32m[0;32m, [32m'Num [32m[32ma[0;32m[0;32m[0;32m) => 'String[0m |
5 | ------------ tooltips | 5 | ------------ tooltips |
6 | testdata/language-features/basic-values/case02.lc 1:1-1:7 {a} -> {_ : Eq a} -> {_ : Num a}->() | 6 | testdata/language-features/basic-values/case02.lc 1:1-1:7 forall a . (Eq a, Num a) => () |
7 | testdata/language-features/basic-values/case02.lc 1:10-3:10 () | 7 | testdata/language-features/basic-values/case02.lc 1:10-3:10 () |
8 | testdata/language-features/basic-values/case02.lc 1:15-1:16 b_ | 8 | testdata/language-features/basic-values/case02.lc 1:15-1:16 _b |
9 | testdata/language-features/basic-values/case02.lc 2:8-2:10 () | 9 | testdata/language-features/basic-values/case02.lc 2:8-2:10 () |
10 | testdata/language-features/basic-values/case02.lc 2:8-3:10 Bool->() | 10 | testdata/language-features/basic-values/case02.lc 2:8-3:10 Bool -> () |
11 | testdata/language-features/basic-values/case02.lc 3:8-3:10 () | 11 | testdata/language-features/basic-values/case02.lc 3:8-3:10 () |
12 | testdata/language-features/basic-values/case02.lc 5:1-5:7 {a} -> {_ : Eq a} -> {_ : Num a} -> {_ : Eq a} -> {_ : Num a}->String | 12 | testdata/language-features/basic-values/case02.lc 5:1-5:7 forall a . (Eq a, Num a, Eq a, Num a) => String |
13 | testdata/language-features/basic-values/case02.lc 5:10-8:11 String | 13 | testdata/language-features/basic-values/case02.lc 5:10-8:11 String |
14 | testdata/language-features/basic-values/case02.lc 5:15-5:16 b_ | 14 | testdata/language-features/basic-values/case02.lc 5:15-5:16 _b |
15 | testdata/language-features/basic-values/case02.lc 6:8-6:11 String | 15 | testdata/language-features/basic-values/case02.lc 6:8-6:11 String |
16 | testdata/language-features/basic-values/case02.lc 6:8-8:11 Bool->String | 16 | testdata/language-features/basic-values/case02.lc 6:8-8:11 Bool -> String |
17 | testdata/language-features/basic-values/case02.lc 7:8-7:11 String | 17 | testdata/language-features/basic-values/case02.lc 7:8-7:11 String |
18 | testdata/language-features/basic-values/case02.lc 7:8-8:11 Bool->String | String | 18 | testdata/language-features/basic-values/case02.lc 7:8-8:11 Bool -> String | String |
19 | testdata/language-features/basic-values/case02.lc 8:8-8:11 String | 19 | testdata/language-features/basic-values/case02.lc 8:8-8:11 String |
diff --git a/testdata/language-features/basic-values/case03.reject.out b/testdata/language-features/basic-values/case03.reject.out index 8277264e..314fa80e 100644 --- a/testdata/language-features/basic-values/case03.reject.out +++ b/testdata/language-features/basic-values/case03.reject.out | |||
@@ -15,5 +15,5 @@ value1 = case () of | |||
15 | 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 () |
16 | testdata/language-features/basic-values/case03.reject.lc 1:15-1:17 () | 16 | testdata/language-features/basic-values/case03.reject.lc 1:15-1:17 () |
17 | testdata/language-features/basic-values/case03.reject.lc 2:8-2:10 () | 17 | testdata/language-features/basic-values/case03.reject.lc 2:8-2:10 () |
18 | testdata/language-features/basic-values/case03.reject.lc 2:8-3:10 Bool->() | 18 | testdata/language-features/basic-values/case03.reject.lc 2:8-3:10 Bool -> () |
19 | testdata/language-features/basic-values/case03.reject.lc 3:8-3:10 () | 19 | testdata/language-features/basic-values/case03.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 f4f03c51..cfd1d9af 100644 --- a/testdata/language-features/basic-values/case05.out +++ b/testdata/language-features/basic-values/case05.out | |||
@@ -1,15 +1,15 @@ | |||
1 | main is not found | 1 | main is not found |
2 | ------------ trace | 2 | ------------ trace |
3 | value :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Eq [32m[32ma[0;32m[0;32m[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m} -> [32ma[0;32m->'Char[0m | 3 | value :: [32mforall a . ([32m'Eq [32m[32ma[0;32m[0;32m[0;32m, [32m'Num [32m[32ma[0;32m[0;32m[0;32m) => [32ma[0;32m -> 'Char[0m |
4 | ------------ tooltips | 4 | ------------ tooltips |
5 | testdata/language-features/basic-values/case05.lc 1:1-1:6 {a} -> {_ : Eq a} -> {_ : Num a} -> a->Char | 5 | testdata/language-features/basic-values/case05.lc 1:1-1:6 forall a . (Eq a, Num a) => a -> Char |
6 | testdata/language-features/basic-values/case05.lc 1:11-2:11 Char | 6 | testdata/language-features/basic-values/case05.lc 1:11-2:11 Char |
7 | testdata/language-features/basic-values/case05.lc 1:16-1:17 e_ | 7 | testdata/language-features/basic-values/case05.lc 1:16-1:17 _e |
8 | testdata/language-features/basic-values/case05.lc 2:8-2:11 Char | 8 | testdata/language-features/basic-values/case05.lc 2:8-2:11 Char |
9 | ------------ warnings | 9 | ------------ warnings |
10 | Uncovered pattern(s) at testdata/language-features/basic-values/case05.lc:1:16: | 10 | Uncovered pattern(s) at testdata/language-features/basic-values/case05.lc:1:16: |
11 | value x = case x of | 11 | 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 | 15 | ||
diff --git a/testdata/language-features/basic-values/case06.out b/testdata/language-features/basic-values/case06.out index 2867cc57..40e7db3b 100644 --- a/testdata/language-features/basic-values/case06.out +++ b/testdata/language-features/basic-values/case06.out | |||
@@ -1,10 +1,10 @@ | |||
1 | main is not found | 1 | main is not found |
2 | ------------ trace | 2 | ------------ trace |
3 | value :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Eq [32m[32ma[0;32m[0;32m[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m} -> [32ma[0;32m->'Char[0m | 3 | value :: [32mforall a . ([32m'Eq [32m[32ma[0;32m[0;32m[0;32m, [32m'Num [32m[32ma[0;32m[0;32m[0;32m) => [32ma[0;32m -> 'Char[0m |
4 | ------------ tooltips | 4 | ------------ tooltips |
5 | testdata/language-features/basic-values/case06.lc 1:1-1:6 {a} -> {_ : Eq a} -> {_ : Num a} -> a->Char | 5 | testdata/language-features/basic-values/case06.lc 1:1-1:6 forall a . (Eq a, Num a) => a -> Char |
6 | testdata/language-features/basic-values/case06.lc 1:11-3:11 Char | 6 | testdata/language-features/basic-values/case06.lc 1:11-3:11 Char |
7 | testdata/language-features/basic-values/case06.lc 1:16-1:17 e_ | 7 | testdata/language-features/basic-values/case06.lc 1:16-1:17 _e |
8 | testdata/language-features/basic-values/case06.lc 2:8-2:11 Char | 8 | testdata/language-features/basic-values/case06.lc 2:8-2:11 Char |
9 | testdata/language-features/basic-values/case06.lc 2:8-3:11 Bool->Char | 9 | testdata/language-features/basic-values/case06.lc 2:8-3:11 Bool -> Char |
10 | testdata/language-features/basic-values/case06.lc 3:8-3:11 Char | 10 | testdata/language-features/basic-values/case06.lc 3:8-3:11 Char |
diff --git a/testdata/language-features/basic-values/data01.out b/testdata/language-features/basic-values/data01.out index a44de4d8..affad824 100644 --- a/testdata/language-features/basic-values/data01.out +++ b/testdata/language-features/basic-values/data01.out | |||
@@ -4,20 +4,20 @@ main is not found | |||
4 | B :: [32m'A[0m | 4 | B :: [32m'A[0m |
5 | C :: [32m'A[0m | 5 | C :: [32m'A[0m |
6 | D :: [32m'A[0m | 6 | D :: [32m'A[0m |
7 | 'ACase :: [32m([32ma[0;32m : 'A->Type) -> [32m[32ma[0;32m [32mB[0;32m[0;32m -> [32m[32ma[0;32m [32mC[0;32m[0;32m -> [32m[32ma[0;32m [32mD[0;32m[0;32m -> ([32mb[0;32m:'A) -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m | 7 | 'ACase :: [32m([32ma[0;32m :: 'A -> Type) -> [32m[32ma[0;32m [32mB[0;32m[0;32m -> [32m[32ma[0;32m [32mC[0;32m[0;32m -> [32m[32ma[0;32m [32mD[0;32m[0;32m -> ([32mb[0;32m :: 'A) -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m |
8 | match'A :: [32m([32ma[0;32m : Type->Type) -> [32m[32ma[0;32m [32m'A[0;32m[0;32m -> ([32mb[0;32m:Type) -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m | 8 | match'A :: [32m([32ma[0;32m :: Type -> Type) -> [32m[32ma[0;32m [32m'A[0;32m[0;32m -> ([32mb[0;32m :: Type) -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m |
9 | 'E :: [32mType[0m | 9 | 'E :: [32mType[0m |
10 | F :: [32m'E[0m | 10 | F :: [32m'E[0m |
11 | G :: [32m()->'E[0m | 11 | G :: [32m() -> 'E[0m |
12 | H :: [32m'E[0m | 12 | H :: [32m'E[0m |
13 | 'ECase :: [32m([32ma[0;32m : 'E->Type) -> [32m[32ma[0;32m [32mF[0;32m[0;32m -> (([32mb[0;32m:()) -> [32m[32ma[0;32m [32m(G [32mb[0;32m)[0;32m[0;32m) -> [32m[32ma[0;32m [32mH[0;32m[0;32m -> ([32mc[0;32m:'E) -> [32m[32ma[0;32m [32m[32mc[0;32m[0;32m[0;32m[0m | 13 | 'ECase :: [32m([32ma[0;32m :: 'E -> Type) -> [32m[32ma[0;32m [32mF[0;32m[0;32m -> (([32mb[0;32m :: ()) -> [32m[32ma[0;32m [32m(G [32mb[0;32m)[0;32m[0;32m) -> [32m[32ma[0;32m [32mH[0;32m[0;32m -> ([32mc[0;32m :: 'E) -> [32m[32ma[0;32m [32m[32mc[0;32m[0;32m[0;32m[0m |
14 | match'E :: [32m([32ma[0;32m : Type->Type) -> [32m[32ma[0;32m [32m'E[0;32m[0;32m -> ([32mb[0;32m:Type) -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m | 14 | match'E :: [32m([32ma[0;32m :: Type -> Type) -> [32m[32ma[0;32m [32m'E[0;32m[0;32m -> ([32mb[0;32m :: Type) -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m |
15 | 'D1 :: [32mType[0m | 15 | 'D1 :: [32mType[0m |
16 | C1 :: [32m'D1[0m | 16 | C1 :: [32m'D1[0m |
17 | C2 :: [32m()->'D1[0m | 17 | C2 :: [32m() -> 'D1[0m |
18 | C3 :: [32m'D1[0m | 18 | C3 :: [32m'D1[0m |
19 | 'D1Case :: [32m([32ma[0;32m : 'D1->Type) -> [32m[32ma[0;32m [32mC1[0;32m[0;32m -> (([32mb[0;32m:()) -> [32m[32ma[0;32m [32m(C2 [32mb[0;32m)[0;32m[0;32m) -> [32m[32ma[0;32m [32mC3[0;32m[0;32m -> ([32mc[0;32m:'D1) -> [32m[32ma[0;32m [32m[32mc[0;32m[0;32m[0;32m[0m | 19 | 'D1Case :: [32m([32ma[0;32m :: 'D1 -> Type) -> [32m[32ma[0;32m [32mC1[0;32m[0;32m -> (([32mb[0;32m :: ()) -> [32m[32ma[0;32m [32m(C2 [32mb[0;32m)[0;32m[0;32m) -> [32m[32ma[0;32m [32mC3[0;32m[0;32m -> ([32mc[0;32m :: 'D1) -> [32m[32ma[0;32m [32m[32mc[0;32m[0;32m[0;32m[0m |
20 | match'D1 :: [32m([32ma[0;32m : Type->Type) -> [32m[32ma[0;32m [32m'D1[0;32m[0;32m -> ([32mb[0;32m:Type) -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m | 20 | match'D1 :: [32m([32ma[0;32m :: Type -> Type) -> [32m[32ma[0;32m [32m'D1[0;32m[0;32m -> ([32mb[0;32m :: Type) -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m |
21 | ------------ tooltips | 21 | ------------ tooltips |
22 | testdata/language-features/basic-values/data01.lc 1:6-1:7 Type | 22 | testdata/language-features/basic-values/data01.lc 1:6-1:7 Type |
23 | testdata/language-features/basic-values/data01.lc 1:6-1:13 Type | 23 | testdata/language-features/basic-values/data01.lc 1:6-1:13 Type |
@@ -27,12 +27,12 @@ testdata/language-features/basic-values/data01.lc 1:12-1:13 A | |||
27 | testdata/language-features/basic-values/data01.lc 3:6-3:7 Type | 27 | testdata/language-features/basic-values/data01.lc 3:6-3:7 Type |
28 | testdata/language-features/basic-values/data01.lc 3:6-3:22 Type | 28 | testdata/language-features/basic-values/data01.lc 3:6-3:22 Type |
29 | testdata/language-features/basic-values/data01.lc 3:10-3:11 E | 29 | testdata/language-features/basic-values/data01.lc 3:10-3:11 E |
30 | testdata/language-features/basic-values/data01.lc 3:14-3:15 ()->E | E | Type | 30 | testdata/language-features/basic-values/data01.lc 3:14-3:15 () -> E | E | Type |
31 | testdata/language-features/basic-values/data01.lc 3:16-3:18 Type | 31 | testdata/language-features/basic-values/data01.lc 3:16-3:18 Type |
32 | testdata/language-features/basic-values/data01.lc 3:21-3:22 E | 32 | testdata/language-features/basic-values/data01.lc 3:21-3:22 E |
33 | testdata/language-features/basic-values/data01.lc 5:6-5:8 Type | 33 | testdata/language-features/basic-values/data01.lc 5:6-5:8 Type |
34 | testdata/language-features/basic-values/data01.lc 5:6-6:13 Type | 34 | testdata/language-features/basic-values/data01.lc 5:6-6:13 Type |
35 | testdata/language-features/basic-values/data01.lc 5:9-5:11 D1 | 35 | testdata/language-features/basic-values/data01.lc 5:9-5:11 D1 |
36 | testdata/language-features/basic-values/data01.lc 6:5-6:7 ()->D1 | D1 | Type | 36 | testdata/language-features/basic-values/data01.lc 6:5-6:7 () -> D1 | D1 | Type |
37 | testdata/language-features/basic-values/data01.lc 6:7-6:9 Type | 37 | testdata/language-features/basic-values/data01.lc 6:7-6:9 Type |
38 | testdata/language-features/basic-values/data01.lc 6:11-6:13 D1 | 38 | testdata/language-features/basic-values/data01.lc 6:11-6:13 D1 |
diff --git a/testdata/language-features/basic-values/def01.out b/testdata/language-features/basic-values/def01.out index 4fa69d6c..6c174057 100644 --- a/testdata/language-features/basic-values/def01.out +++ b/testdata/language-features/basic-values/def01.out | |||
@@ -1,12 +1,12 @@ | |||
1 | main is not found | 1 | main is not found |
2 | ------------ trace | 2 | ------------ trace |
3 | unit :: [32m()[0m | 3 | unit :: [32m()[0m |
4 | fun1 :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32mb[0;32m[0;32m[0;32m} -> [32ma[0;32m->[32mb[0;32m[0m | 4 | fun1 :: [32mforall a b . [32m'Num [32m[32mb[0;32m[0;32m[0;32m => [32ma[0;32m -> [32mb[0;32m[0m |
5 | fun2 :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> {[32mc[0;32m} -> {[32md[0;32m} -> {[32me[0;32m} -> [32ma[0;32m -> [32mb[0;32m -> [32mc[0;32m -> [32md[0;32m -> [32me[0;32m->'Char[0m | 5 | fun2 :: [32mforall a b c d e . [32ma[0;32m -> [32mb[0;32m -> [32mc[0;32m -> [32md[0;32m -> [32me[0;32m -> 'Char[0m |
6 | ------------ tooltips | 6 | ------------ tooltips |
7 | testdata/language-features/basic-values/def01.lc 1:1-1:5 () | 7 | testdata/language-features/basic-values/def01.lc 1:1-1:5 () |
8 | testdata/language-features/basic-values/def01.lc 1:8-1:10 () | 8 | testdata/language-features/basic-values/def01.lc 1:8-1:10 () |
9 | testdata/language-features/basic-values/def01.lc 3:1-3:5 {a} -> {b} -> {_ : Num b} -> a->b | 9 | testdata/language-features/basic-values/def01.lc 3:1-3:5 forall a b . Num b => a -> b |
10 | testdata/language-features/basic-values/def01.lc 3:10-3:11 b_ | 10 | testdata/language-features/basic-values/def01.lc 3:10-3:11 _b |
11 | testdata/language-features/basic-values/def01.lc 5:1-5:5 {a} -> {b} -> {c} -> {d} -> {e} -> a -> b -> c -> d -> e->Char | 11 | testdata/language-features/basic-values/def01.lc 5:1-5:5 forall a b c d e . a -> b -> c -> d -> e -> Char |
12 | testdata/language-features/basic-values/def01.lc 5:18-5:21 Char | 12 | testdata/language-features/basic-values/def01.lc 5:18-5:21 Char |
diff --git a/testdata/language-features/basic-values/def03.out b/testdata/language-features/basic-values/def03.out index 3161d04a..02db7cba 100644 --- a/testdata/language-features/basic-values/def03.out +++ b/testdata/language-features/basic-values/def03.out | |||
@@ -1,15 +1,15 @@ | |||
1 | main is not found | 1 | main is not found |
2 | ------------ trace | 2 | ------------ trace |
3 | fun :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Eq [32m[32ma[0;32m[0;32m[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m} -> {[32m_[0;32m : [32m'Eq [32m[32ma[0;32m[0;32m[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m} -> [32ma[0;32m->'Char[0m | 3 | fun :: [32mforall a . ([32m'Eq [32m[32ma[0;32m[0;32m[0;32m, [32m'Num [32m[32ma[0;32m[0;32m[0;32m, [32m'Eq [32m[32ma[0;32m[0;32m[0;32m, [32m'Num [32m[32ma[0;32m[0;32m[0;32m) => [32ma[0;32m -> 'Char[0m |
4 | ------------ tooltips | 4 | ------------ tooltips |
5 | testdata/language-features/basic-values/def03.lc 1:1-1:4 {a} -> {_ : Eq a} -> {_ : Num a} -> {_ : Eq a} -> {_ : Num a} -> a->Char | 5 | testdata/language-features/basic-values/def03.lc 1:1-1:4 forall a . (Eq a, Num a, Eq a, Num a) => a -> Char |
6 | testdata/language-features/basic-values/def03.lc 1:9-1:12 Char | 6 | testdata/language-features/basic-values/def03.lc 1:9-1:12 Char |
7 | testdata/language-features/basic-values/def03.lc 1:9-2:12 Bool->Char | 7 | testdata/language-features/basic-values/def03.lc 1:9-2:12 Bool -> Char |
8 | testdata/language-features/basic-values/def03.lc 2:9-2:12 Char | 8 | testdata/language-features/basic-values/def03.lc 2:9-2:12 Char |
9 | ------------ warnings | 9 | ------------ warnings |
10 | Uncovered pattern(s) at testdata/language-features/basic-values/def03.lc:1:1: | 10 | 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 | 15 | ||
diff --git a/testdata/language-features/basic-values/def04.out b/testdata/language-features/basic-values/def04.out index 9b3e36f2..1f3fbeb7 100644 --- a/testdata/language-features/basic-values/def04.out +++ b/testdata/language-features/basic-values/def04.out | |||
@@ -1,17 +1,17 @@ | |||
1 | main is not found | 1 | main is not found |
2 | ------------ trace | 2 | ------------ trace |
3 | fun :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Eq [32m[32ma[0;32m[0;32m[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m} -> {[32m_[0;32m : [32m'Eq [32m[32ma[0;32m[0;32m[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m} -> [32ma[0;32m->'Char[0m | 3 | fun :: [32mforall a . ([32m'Eq [32m[32ma[0;32m[0;32m[0;32m, [32m'Num [32m[32ma[0;32m[0;32m[0;32m, [32m'Eq [32m[32ma[0;32m[0;32m[0;32m, [32m'Num [32m[32ma[0;32m[0;32m[0;32m) => [32ma[0;32m -> 'Char[0m |
4 | fun2 :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> {[32m_[0;32m : [32m'Eq [32m[32ma[0;32m[0;32m[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m} -> {[32m_[0;32m : [32m'Eq [32m[32ma[0;32m[0;32m[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m} -> [32ma[0;32m -> [32mb[0;32m->'Char[0m | 4 | fun2 :: [32mforall a b . ([32m'Eq [32m[32ma[0;32m[0;32m[0;32m, [32m'Num [32m[32ma[0;32m[0;32m[0;32m, [32m'Eq [32m[32ma[0;32m[0;32m[0;32m, [32m'Num [32m[32ma[0;32m[0;32m[0;32m) => [32ma[0;32m -> [32mb[0;32m -> 'Char[0m |
5 | ------------ tooltips | 5 | ------------ tooltips |
6 | testdata/language-features/basic-values/def04.lc 1:1-1:4 {a} -> {_ : Eq a} -> {_ : Num a} -> {_ : Eq a} -> {_ : Num a} -> a->Char | 6 | testdata/language-features/basic-values/def04.lc 1:1-1:4 forall a . (Eq a, Num a, Eq a, Num a) => a -> Char |
7 | testdata/language-features/basic-values/def04.lc 1:9-1:12 Char | 7 | testdata/language-features/basic-values/def04.lc 1:9-1:12 Char |
8 | testdata/language-features/basic-values/def04.lc 1:9-3:12 Bool->Char | 8 | testdata/language-features/basic-values/def04.lc 1:9-3:12 Bool -> Char |
9 | testdata/language-features/basic-values/def04.lc 2:9-2:12 Char | 9 | testdata/language-features/basic-values/def04.lc 2:9-2:12 Char |
10 | testdata/language-features/basic-values/def04.lc 2:9-3:12 Bool->Char | Char | 10 | testdata/language-features/basic-values/def04.lc 2:9-3:12 Bool -> Char | Char |
11 | testdata/language-features/basic-values/def04.lc 3:9-3:12 Char | 11 | testdata/language-features/basic-values/def04.lc 3:9-3:12 Char |
12 | testdata/language-features/basic-values/def04.lc 5:1-5:5 {a} -> {b} -> {_ : Eq a} -> {_ : Num a} -> {_ : Eq a} -> {_ : Num a} -> a -> b->Char | 12 | testdata/language-features/basic-values/def04.lc 5:1-5:5 forall a b . (Eq a, Num a, Eq a, Num a) => a -> b -> Char |
13 | testdata/language-features/basic-values/def04.lc 5:12-5:15 Char | 13 | testdata/language-features/basic-values/def04.lc 5:12-5:15 Char |
14 | testdata/language-features/basic-values/def04.lc 5:12-7:15 Bool->Char | 14 | testdata/language-features/basic-values/def04.lc 5:12-7:15 Bool -> Char |
15 | testdata/language-features/basic-values/def04.lc 6:12-6:15 Char | 15 | testdata/language-features/basic-values/def04.lc 6:12-6:15 Char |
16 | testdata/language-features/basic-values/def04.lc 6:12-7:15 Bool->Char | Char | 16 | testdata/language-features/basic-values/def04.lc 6:12-7:15 Bool -> Char | Char |
17 | testdata/language-features/basic-values/def04.lc 7:12-7:15 Char | 17 | testdata/language-features/basic-values/def04.lc 7:12-7:15 Char |
diff --git a/testdata/language-features/basic-values/def07.reject.out b/testdata/language-features/basic-values/def07.reject.out index e54d61ca..be624025 100644 --- a/testdata/language-features/basic-values/def07.reject.out +++ b/testdata/language-features/basic-values/def07.reject.out | |||
@@ -5,9 +5,9 @@ fun _ = '_' | |||
5 | fun 1 = '1' | 5 | fun 1 = '1' |
6 | ^^^ | 6 | ^^^ |
7 | ------------ trace | 7 | ------------ trace |
8 | fun :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Eq [32m[32ma[0;32m[0;32m[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m} -> {[32m_[0;32m : [32m'Eq [32m[32ma[0;32m[0;32m[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m} -> [32ma[0;32m->'Char[0m | 8 | fun :: [32mforall a . ([32m'Eq [32m[32ma[0;32m[0;32m[0;32m, [32m'Num [32m[32ma[0;32m[0;32m[0;32m, [32m'Eq [32m[32ma[0;32m[0;32m[0;32m, [32m'Num [32m[32ma[0;32m[0;32m[0;32m) => [32ma[0;32m -> 'Char[0m |
9 | fun2 :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> {[32m_[0;32m : [32m'Eq [32m[32ma[0;32m[0;32m[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m} -> [32ma[0;32m -> [32mb[0;32m->'Char[0m | 9 | fun2 :: [32mforall a b . ([32m'Eq [32m[32ma[0;32m[0;32m[0;32m, [32m'Num [32m[32ma[0;32m[0;32m[0;32m) => [32ma[0;32m -> [32mb[0;32m -> 'Char[0m |
10 | fun :: [32m{[32ma[0;32m} -> [32ma[0;32m->'Char[0m | 10 | 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 | ^^^ |
@@ -15,24 +15,24 @@ fun _ = '_' | |||
15 | fun 1 = '1' | 15 | fun 1 = '1' |
16 | ^^^ | 16 | ^^^ |
17 | ------------ tooltips | 17 | ------------ tooltips |
18 | testdata/language-features/basic-values/def07.reject.lc 1:1-1:4 {a} -> {_ : Eq a} -> {_ : Num a} -> {_ : Eq a} -> {_ : Num a} -> a->Char | 18 | testdata/language-features/basic-values/def07.reject.lc 1:1-1:4 forall a . (Eq a, Num a, Eq a, Num a) => a -> Char |
19 | 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 |
20 | testdata/language-features/basic-values/def07.reject.lc 1:9-2:12 Bool->Char | 20 | testdata/language-features/basic-values/def07.reject.lc 1:9-2:12 Bool -> Char |
21 | testdata/language-features/basic-values/def07.reject.lc 2:9-2:12 Char | 21 | testdata/language-features/basic-values/def07.reject.lc 2:9-2:12 Char |
22 | testdata/language-features/basic-values/def07.reject.lc 3:1-3:5 {a} -> {b} -> {_ : Eq a} -> {_ : Num a} -> a -> b->Char | 22 | testdata/language-features/basic-values/def07.reject.lc 3:1-3:5 forall a b . (Eq a, Num a) => a -> b -> Char |
23 | testdata/language-features/basic-values/def07.reject.lc 3:12-3:15 Char | 23 | testdata/language-features/basic-values/def07.reject.lc 3:12-3:15 Char |
24 | testdata/language-features/basic-values/def07.reject.lc 4:1-4:4 {a} -> a->Char | 24 | testdata/language-features/basic-values/def07.reject.lc 4:1-4:4 forall a . a -> Char |
25 | testdata/language-features/basic-values/def07.reject.lc 4:9-4:12 Char | 25 | testdata/language-features/basic-values/def07.reject.lc 4:9-4:12 Char |
26 | ------------ warnings | 26 | ------------ warnings |
27 | Uncovered pattern(s) at testdata/language-features/basic-values/def07.reject.lc:1:1: | 27 | Uncovered pattern(s) at testdata/language-features/basic-values/def07.reject.lc:1:1: |
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 | 32 | ||
33 | Uncovered pattern(s) at testdata/language-features/basic-values/def07.reject.lc:3:1: | 33 | Uncovered pattern(s) at testdata/language-features/basic-values/def07.reject.lc:3:1: |
34 | fun2 1 _ = '1' | 34 | fun2 1 _ = '1' |
35 | ^^^^ | 35 | ^^^^ |
36 | Missing case(s): | 36 | Missing case(s): |
37 | _ _ | False <- fromInt 1 == b_ | 37 | _ _ | False <- fromInt 1 == _b |
38 | 38 | ||
diff --git a/testdata/language-features/basic-values/fixity01.out b/testdata/language-features/basic-values/fixity01.out index 4d3a5cf9..f30cd6fa 100644 --- a/testdata/language-features/basic-values/fixity01.out +++ b/testdata/language-features/basic-values/fixity01.out | |||
@@ -1,15 +1,15 @@ | |||
1 | main is not found | 1 | main is not found |
2 | ------------ trace | 2 | ------------ trace |
3 | funL :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> [32ma[0;32m -> [32mb[0;32m->[32ma[0;32m[0m | 3 | funL :: [32mforall a b . [32ma[0;32m -> [32mb[0;32m -> [32ma[0;32m[0m |
4 | funR :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> [32ma[0;32m -> [32mb[0;32m->[32ma[0;32m[0m | 4 | funR :: [32mforall a b . [32ma[0;32m -> [32mb[0;32m -> [32ma[0;32m[0m |
5 | <<<< :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> [32ma[0;32m -> [32mb[0;32m->[32ma[0;32m[0m | 5 | <<<< :: [32mforall a b . [32ma[0;32m -> [32mb[0;32m -> [32ma[0;32m[0m |
6 | >>>> :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> [32ma[0;32m -> [32mb[0;32m->[32mb[0;32m[0m | 6 | >>>> :: [32mforall a b . [32ma[0;32m -> [32mb[0;32m -> [32mb[0;32m[0m |
7 | ------------ tooltips | 7 | ------------ tooltips |
8 | testdata/language-features/basic-values/fixity01.lc 1:1-1:5 {a} -> {b} -> a -> b->a | 8 | testdata/language-features/basic-values/fixity01.lc 1:1-1:5 forall a b . a -> b -> a |
9 | testdata/language-features/basic-values/fixity01.lc 1:12-1:13 d_ | 9 | testdata/language-features/basic-values/fixity01.lc 1:12-1:13 _d |
10 | testdata/language-features/basic-values/fixity01.lc 2:1-2:5 {a} -> {b} -> a -> b->a | 10 | testdata/language-features/basic-values/fixity01.lc 2:1-2:5 forall a b . a -> b -> a |
11 | testdata/language-features/basic-values/fixity01.lc 2:12-2:13 d_ | 11 | testdata/language-features/basic-values/fixity01.lc 2:12-2:13 _d |
12 | testdata/language-features/basic-values/fixity01.lc 4:3-4:7 {a} -> {b} -> a -> b->a | 12 | testdata/language-features/basic-values/fixity01.lc 4:3-4:7 forall a b . a -> b -> a |
13 | testdata/language-features/basic-values/fixity01.lc 4:12-4:13 d_ | 13 | testdata/language-features/basic-values/fixity01.lc 4:12-4:13 _d |
14 | testdata/language-features/basic-values/fixity01.lc 5:3-5:7 {a} -> {b} -> a -> b->b | 14 | testdata/language-features/basic-values/fixity01.lc 5:3-5:7 forall a b . a -> b -> b |
15 | testdata/language-features/basic-values/fixity01.lc 5:12-5:13 b_ | 15 | testdata/language-features/basic-values/fixity01.lc 5:12-5:13 _b |
diff --git a/testdata/language-features/basic-values/fixity02.out b/testdata/language-features/basic-values/fixity02.out index bed65026..2f87c92d 100644 --- a/testdata/language-features/basic-values/fixity02.out +++ b/testdata/language-features/basic-values/fixity02.out | |||
@@ -1,9 +1,9 @@ | |||
1 | main is not found | 1 | main is not found |
2 | ------------ trace | 2 | ------------ trace |
3 | funL :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> [32ma[0;32m -> [32mb[0;32m->[32ma[0;32m[0m | 3 | funL :: [32mforall a b . [32ma[0;32m -> [32mb[0;32m -> [32ma[0;32m[0m |
4 | funR :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> [32ma[0;32m -> [32mb[0;32m->[32mb[0;32m[0m | 4 | funR :: [32mforall a b . [32ma[0;32m -> [32mb[0;32m -> [32mb[0;32m[0m |
5 | <@ :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> [32ma[0;32m -> [32mb[0;32m->[32ma[0;32m[0m | 5 | <@ :: [32mforall a b . [32ma[0;32m -> [32mb[0;32m -> [32ma[0;32m[0m |
6 | @> :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> [32ma[0;32m -> [32mb[0;32m->[32mb[0;32m[0m | 6 | @> :: [32mforall a b . [32ma[0;32m -> [32mb[0;32m -> [32mb[0;32m[0m |
7 | value1 :: [32m'Float[0m | 7 | value1 :: [32m'Float[0m |
8 | value2 :: [32m'Float[0m | 8 | value2 :: [32m'Float[0m |
9 | value3 :: [32m'Float[0m | 9 | value3 :: [32m'Float[0m |
@@ -21,251 +21,251 @@ funValue6 :: [32m'Char[0m | |||
21 | funValue7 :: [32m'String[0m | 21 | funValue7 :: [32m'String[0m |
22 | funValue8 :: [32m()[0m | 22 | funValue8 :: [32m()[0m |
23 | ------------ tooltips | 23 | ------------ tooltips |
24 | testdata/language-features/basic-values/fixity02.lc 1:1-1:5 {a} -> {b} -> a -> b->a | 24 | testdata/language-features/basic-values/fixity02.lc 1:1-1:5 forall a b . a -> b -> a |
25 | testdata/language-features/basic-values/fixity02.lc 1:12-1:13 d_ | 25 | testdata/language-features/basic-values/fixity02.lc 1:12-1:13 _d |
26 | testdata/language-features/basic-values/fixity02.lc 2:1-2:5 {a} -> {b} -> a -> b->b | 26 | testdata/language-features/basic-values/fixity02.lc 2:1-2:5 forall a b . a -> b -> b |
27 | testdata/language-features/basic-values/fixity02.lc 2:12-2:13 b_ | 27 | testdata/language-features/basic-values/fixity02.lc 2:12-2:13 _b |
28 | testdata/language-features/basic-values/fixity02.lc 4:3-4:5 {a} -> {b} -> a -> b->a | 28 | testdata/language-features/basic-values/fixity02.lc 4:3-4:5 forall a b . a -> b -> a |
29 | testdata/language-features/basic-values/fixity02.lc 4:10-4:11 d_ | 29 | testdata/language-features/basic-values/fixity02.lc 4:10-4:11 _d |
30 | testdata/language-features/basic-values/fixity02.lc 5:3-5:5 {a} -> {b} -> a -> b->b | 30 | testdata/language-features/basic-values/fixity02.lc 5:3-5:5 forall a b . a -> b -> b |
31 | testdata/language-features/basic-values/fixity02.lc 5:10-5:11 b_ | 31 | testdata/language-features/basic-values/fixity02.lc 5:10-5:11 _b |
32 | testdata/language-features/basic-values/fixity02.lc 11:1-11:7 Float | 32 | testdata/language-features/basic-values/fixity02.lc 11:1-11:7 Float |
33 | testdata/language-features/basic-values/fixity02.lc 11:10-11:12 () | 33 | testdata/language-features/basic-values/fixity02.lc 11:10-11:12 () |
34 | testdata/language-features/basic-values/fixity02.lc 11:10-11:15 a_->a_ | 34 | testdata/language-features/basic-values/fixity02.lc 11:10-11:15 _a -> _a |
35 | testdata/language-features/basic-values/fixity02.lc 11:10-11:34 Float | 35 | testdata/language-features/basic-values/fixity02.lc 11:10-11:34 Float |
36 | testdata/language-features/basic-values/fixity02.lc 11:13-11:15 {a} -> {b} -> a -> b->b | 36 | testdata/language-features/basic-values/fixity02.lc 11:13-11:15 forall a b . a -> b -> b |
37 | testdata/language-features/basic-values/fixity02.lc 11:16-11:19 Char | 37 | testdata/language-features/basic-values/fixity02.lc 11:16-11:19 Char |
38 | testdata/language-features/basic-values/fixity02.lc 11:16-11:22 a_->a_ | 38 | testdata/language-features/basic-values/fixity02.lc 11:16-11:22 _a -> _a |
39 | testdata/language-features/basic-values/fixity02.lc 11:16-11:34 Float | 39 | testdata/language-features/basic-values/fixity02.lc 11:16-11:34 Float |
40 | testdata/language-features/basic-values/fixity02.lc 11:20-11:22 {a} -> {b} -> a -> b->b | 40 | testdata/language-features/basic-values/fixity02.lc 11:20-11:22 forall a b . a -> b -> b |
41 | testdata/language-features/basic-values/fixity02.lc 11:23-11:27 String | 41 | testdata/language-features/basic-values/fixity02.lc 11:23-11:27 String |
42 | testdata/language-features/basic-values/fixity02.lc 11:23-11:30 a_->a_ | 42 | testdata/language-features/basic-values/fixity02.lc 11:23-11:30 _a -> _a |
43 | testdata/language-features/basic-values/fixity02.lc 11:23-11:34 Float | 43 | testdata/language-features/basic-values/fixity02.lc 11:23-11:34 Float |
44 | testdata/language-features/basic-values/fixity02.lc 11:28-11:30 {a} -> {b} -> a -> b->b | 44 | testdata/language-features/basic-values/fixity02.lc 11:28-11:30 forall a b . a -> b -> b |
45 | testdata/language-features/basic-values/fixity02.lc 11:31-11:34 Float | 45 | testdata/language-features/basic-values/fixity02.lc 11:31-11:34 Float |
46 | testdata/language-features/basic-values/fixity02.lc 11:38-11:43 Type | 46 | testdata/language-features/basic-values/fixity02.lc 11:38-11:43 Type |
47 | testdata/language-features/basic-values/fixity02.lc 12:1-12:7 Float | 47 | testdata/language-features/basic-values/fixity02.lc 12:1-12:7 Float |
48 | testdata/language-features/basic-values/fixity02.lc 12:10-12:12 () | 48 | testdata/language-features/basic-values/fixity02.lc 12:10-12:12 () |
49 | testdata/language-features/basic-values/fixity02.lc 12:10-12:15 a_->a_ | 49 | testdata/language-features/basic-values/fixity02.lc 12:10-12:15 _a -> _a |
50 | testdata/language-features/basic-values/fixity02.lc 12:10-12:34 Float | 50 | testdata/language-features/basic-values/fixity02.lc 12:10-12:34 Float |
51 | testdata/language-features/basic-values/fixity02.lc 12:13-12:15 {a} -> {b} -> a -> b->b | 51 | testdata/language-features/basic-values/fixity02.lc 12:13-12:15 forall a b . a -> b -> b |
52 | testdata/language-features/basic-values/fixity02.lc 12:16-12:19 Char | 52 | testdata/language-features/basic-values/fixity02.lc 12:16-12:19 Char |
53 | testdata/language-features/basic-values/fixity02.lc 12:16-12:22 a_->Char | 53 | testdata/language-features/basic-values/fixity02.lc 12:16-12:22 _a -> Char |
54 | testdata/language-features/basic-values/fixity02.lc 12:16-12:27 Char | 54 | testdata/language-features/basic-values/fixity02.lc 12:16-12:27 Char |
55 | testdata/language-features/basic-values/fixity02.lc 12:16-12:30 a_->a_ | 55 | testdata/language-features/basic-values/fixity02.lc 12:16-12:30 _a -> _a |
56 | testdata/language-features/basic-values/fixity02.lc 12:16-12:34 Float | 56 | testdata/language-features/basic-values/fixity02.lc 12:16-12:34 Float |
57 | testdata/language-features/basic-values/fixity02.lc 12:20-12:22 {a} -> {b} -> a -> b->a | 57 | testdata/language-features/basic-values/fixity02.lc 12:20-12:22 forall a b . a -> b -> a |
58 | testdata/language-features/basic-values/fixity02.lc 12:23-12:27 String | 58 | testdata/language-features/basic-values/fixity02.lc 12:23-12:27 String |
59 | testdata/language-features/basic-values/fixity02.lc 12:28-12:30 {a} -> {b} -> a -> b->b | 59 | testdata/language-features/basic-values/fixity02.lc 12:28-12:30 forall a b . a -> b -> b |
60 | testdata/language-features/basic-values/fixity02.lc 12:31-12:34 Float | 60 | testdata/language-features/basic-values/fixity02.lc 12:31-12:34 Float |
61 | testdata/language-features/basic-values/fixity02.lc 12:38-12:43 Type | 61 | testdata/language-features/basic-values/fixity02.lc 12:38-12:43 Type |
62 | testdata/language-features/basic-values/fixity02.lc 13:1-13:7 Float | 62 | testdata/language-features/basic-values/fixity02.lc 13:1-13:7 Float |
63 | testdata/language-features/basic-values/fixity02.lc 13:10-13:12 () | 63 | testdata/language-features/basic-values/fixity02.lc 13:10-13:12 () |
64 | testdata/language-features/basic-values/fixity02.lc 13:10-13:15 a_->() | 64 | testdata/language-features/basic-values/fixity02.lc 13:10-13:15 _a -> () |
65 | testdata/language-features/basic-values/fixity02.lc 13:10-13:19 () | 65 | testdata/language-features/basic-values/fixity02.lc 13:10-13:19 () |
66 | testdata/language-features/basic-values/fixity02.lc 13:10-13:22 a_->a_ | 66 | testdata/language-features/basic-values/fixity02.lc 13:10-13:22 _a -> _a |
67 | testdata/language-features/basic-values/fixity02.lc 13:10-13:34 Float | 67 | testdata/language-features/basic-values/fixity02.lc 13:10-13:34 Float |
68 | testdata/language-features/basic-values/fixity02.lc 13:13-13:15 {a} -> {b} -> a -> b->a | 68 | testdata/language-features/basic-values/fixity02.lc 13:13-13:15 forall a b . a -> b -> a |
69 | testdata/language-features/basic-values/fixity02.lc 13:16-13:19 Char | 69 | testdata/language-features/basic-values/fixity02.lc 13:16-13:19 Char |
70 | testdata/language-features/basic-values/fixity02.lc 13:20-13:22 {a} -> {b} -> a -> b->b | 70 | testdata/language-features/basic-values/fixity02.lc 13:20-13:22 forall a b . a -> b -> b |
71 | testdata/language-features/basic-values/fixity02.lc 13:23-13:27 String | 71 | testdata/language-features/basic-values/fixity02.lc 13:23-13:27 String |
72 | testdata/language-features/basic-values/fixity02.lc 13:23-13:30 a_->a_ | 72 | testdata/language-features/basic-values/fixity02.lc 13:23-13:30 _a -> _a |
73 | testdata/language-features/basic-values/fixity02.lc 13:23-13:34 Float | 73 | testdata/language-features/basic-values/fixity02.lc 13:23-13:34 Float |
74 | testdata/language-features/basic-values/fixity02.lc 13:28-13:30 {a} -> {b} -> a -> b->b | 74 | testdata/language-features/basic-values/fixity02.lc 13:28-13:30 forall a b . a -> b -> b |
75 | testdata/language-features/basic-values/fixity02.lc 13:31-13:34 Float | 75 | testdata/language-features/basic-values/fixity02.lc 13:31-13:34 Float |
76 | testdata/language-features/basic-values/fixity02.lc 13:38-13:43 Type | 76 | testdata/language-features/basic-values/fixity02.lc 13:38-13:43 Type |
77 | testdata/language-features/basic-values/fixity02.lc 14:1-14:7 Float | 77 | testdata/language-features/basic-values/fixity02.lc 14:1-14:7 Float |
78 | testdata/language-features/basic-values/fixity02.lc 14:10-14:12 () | 78 | testdata/language-features/basic-values/fixity02.lc 14:10-14:12 () |
79 | testdata/language-features/basic-values/fixity02.lc 14:10-14:15 a_->() | 79 | testdata/language-features/basic-values/fixity02.lc 14:10-14:15 _a -> () |
80 | testdata/language-features/basic-values/fixity02.lc 14:10-14:27 () | 80 | testdata/language-features/basic-values/fixity02.lc 14:10-14:27 () |
81 | testdata/language-features/basic-values/fixity02.lc 14:10-14:30 a_->a_ | 81 | testdata/language-features/basic-values/fixity02.lc 14:10-14:30 _a -> _a |
82 | testdata/language-features/basic-values/fixity02.lc 14:10-14:34 Float | 82 | testdata/language-features/basic-values/fixity02.lc 14:10-14:34 Float |
83 | testdata/language-features/basic-values/fixity02.lc 14:13-14:15 {a} -> {b} -> a -> b->a | 83 | testdata/language-features/basic-values/fixity02.lc 14:13-14:15 forall a b . a -> b -> a |
84 | testdata/language-features/basic-values/fixity02.lc 14:16-14:19 Char | 84 | testdata/language-features/basic-values/fixity02.lc 14:16-14:19 Char |
85 | testdata/language-features/basic-values/fixity02.lc 14:16-14:22 a_->Char | 85 | testdata/language-features/basic-values/fixity02.lc 14:16-14:22 _a -> Char |
86 | testdata/language-features/basic-values/fixity02.lc 14:16-14:27 Char | 86 | testdata/language-features/basic-values/fixity02.lc 14:16-14:27 Char |
87 | testdata/language-features/basic-values/fixity02.lc 14:20-14:22 {a} -> {b} -> a -> b->a | 87 | testdata/language-features/basic-values/fixity02.lc 14:20-14:22 forall a b . a -> b -> a |
88 | testdata/language-features/basic-values/fixity02.lc 14:23-14:27 String | 88 | testdata/language-features/basic-values/fixity02.lc 14:23-14:27 String |
89 | testdata/language-features/basic-values/fixity02.lc 14:28-14:30 {a} -> {b} -> a -> b->b | 89 | testdata/language-features/basic-values/fixity02.lc 14:28-14:30 forall a b . a -> b -> b |
90 | testdata/language-features/basic-values/fixity02.lc 14:31-14:34 Float | 90 | testdata/language-features/basic-values/fixity02.lc 14:31-14:34 Float |
91 | testdata/language-features/basic-values/fixity02.lc 14:38-14:43 Type | 91 | testdata/language-features/basic-values/fixity02.lc 14:38-14:43 Type |
92 | testdata/language-features/basic-values/fixity02.lc 15:1-15:7 String | 92 | testdata/language-features/basic-values/fixity02.lc 15:1-15:7 String |
93 | testdata/language-features/basic-values/fixity02.lc 15:10-15:12 () | 93 | testdata/language-features/basic-values/fixity02.lc 15:10-15:12 () |
94 | testdata/language-features/basic-values/fixity02.lc 15:10-15:15 a_->a_ | 94 | testdata/language-features/basic-values/fixity02.lc 15:10-15:15 _a -> _a |
95 | testdata/language-features/basic-values/fixity02.lc 15:10-15:34 String | 95 | testdata/language-features/basic-values/fixity02.lc 15:10-15:34 String |
96 | testdata/language-features/basic-values/fixity02.lc 15:13-15:15 {a} -> {b} -> a -> b->b | 96 | testdata/language-features/basic-values/fixity02.lc 15:13-15:15 forall a b . a -> b -> b |
97 | testdata/language-features/basic-values/fixity02.lc 15:16-15:19 Char | 97 | testdata/language-features/basic-values/fixity02.lc 15:16-15:19 Char |
98 | testdata/language-features/basic-values/fixity02.lc 15:16-15:22 a_->a_ | 98 | testdata/language-features/basic-values/fixity02.lc 15:16-15:22 _a -> _a |
99 | testdata/language-features/basic-values/fixity02.lc 15:16-15:34 String | 99 | testdata/language-features/basic-values/fixity02.lc 15:16-15:34 String |
100 | testdata/language-features/basic-values/fixity02.lc 15:20-15:22 {a} -> {b} -> a -> b->b | 100 | testdata/language-features/basic-values/fixity02.lc 15:20-15:22 forall a b . a -> b -> b |
101 | testdata/language-features/basic-values/fixity02.lc 15:23-15:27 String | 101 | testdata/language-features/basic-values/fixity02.lc 15:23-15:27 String |
102 | testdata/language-features/basic-values/fixity02.lc 15:23-15:30 a_->String | 102 | testdata/language-features/basic-values/fixity02.lc 15:23-15:30 _a -> String |
103 | testdata/language-features/basic-values/fixity02.lc 15:23-15:34 String | 103 | testdata/language-features/basic-values/fixity02.lc 15:23-15:34 String |
104 | testdata/language-features/basic-values/fixity02.lc 15:28-15:30 {a} -> {b} -> a -> b->a | 104 | testdata/language-features/basic-values/fixity02.lc 15:28-15:30 forall a b . a -> b -> a |
105 | testdata/language-features/basic-values/fixity02.lc 15:31-15:34 Float | 105 | testdata/language-features/basic-values/fixity02.lc 15:31-15:34 Float |
106 | testdata/language-features/basic-values/fixity02.lc 15:38-15:44 Type | 106 | testdata/language-features/basic-values/fixity02.lc 15:38-15:44 Type |
107 | testdata/language-features/basic-values/fixity02.lc 16:1-16:7 Char | 107 | testdata/language-features/basic-values/fixity02.lc 16:1-16:7 Char |
108 | testdata/language-features/basic-values/fixity02.lc 16:10-16:12 () | 108 | testdata/language-features/basic-values/fixity02.lc 16:10-16:12 () |
109 | testdata/language-features/basic-values/fixity02.lc 16:10-16:15 a_->a_ | 109 | testdata/language-features/basic-values/fixity02.lc 16:10-16:15 _a -> _a |
110 | testdata/language-features/basic-values/fixity02.lc 16:10-16:34 Char | 110 | testdata/language-features/basic-values/fixity02.lc 16:10-16:34 Char |
111 | testdata/language-features/basic-values/fixity02.lc 16:13-16:15 {a} -> {b} -> a -> b->b | 111 | testdata/language-features/basic-values/fixity02.lc 16:13-16:15 forall a b . a -> b -> b |
112 | testdata/language-features/basic-values/fixity02.lc 16:16-16:19 Char | 112 | testdata/language-features/basic-values/fixity02.lc 16:16-16:19 Char |
113 | testdata/language-features/basic-values/fixity02.lc 16:16-16:22 a_->Char | 113 | testdata/language-features/basic-values/fixity02.lc 16:16-16:22 _a -> Char |
114 | testdata/language-features/basic-values/fixity02.lc 16:16-16:34 Char | 114 | testdata/language-features/basic-values/fixity02.lc 16:16-16:34 Char |
115 | testdata/language-features/basic-values/fixity02.lc 16:20-16:22 {a} -> {b} -> a -> b->a | 115 | testdata/language-features/basic-values/fixity02.lc 16:20-16:22 forall a b . a -> b -> a |
116 | testdata/language-features/basic-values/fixity02.lc 16:23-16:27 String | 116 | testdata/language-features/basic-values/fixity02.lc 16:23-16:27 String |
117 | testdata/language-features/basic-values/fixity02.lc 16:23-16:30 a_->String | 117 | testdata/language-features/basic-values/fixity02.lc 16:23-16:30 _a -> String |
118 | testdata/language-features/basic-values/fixity02.lc 16:23-16:34 String | 118 | testdata/language-features/basic-values/fixity02.lc 16:23-16:34 String |
119 | testdata/language-features/basic-values/fixity02.lc 16:28-16:30 {a} -> {b} -> a -> b->a | 119 | testdata/language-features/basic-values/fixity02.lc 16:28-16:30 forall a b . a -> b -> a |
120 | testdata/language-features/basic-values/fixity02.lc 16:31-16:34 Float | 120 | testdata/language-features/basic-values/fixity02.lc 16:31-16:34 Float |
121 | testdata/language-features/basic-values/fixity02.lc 16:38-16:42 Type | 121 | testdata/language-features/basic-values/fixity02.lc 16:38-16:42 Type |
122 | testdata/language-features/basic-values/fixity02.lc 17:1-17:7 String | 122 | testdata/language-features/basic-values/fixity02.lc 17:1-17:7 String |
123 | testdata/language-features/basic-values/fixity02.lc 17:10-17:12 () | 123 | testdata/language-features/basic-values/fixity02.lc 17:10-17:12 () |
124 | testdata/language-features/basic-values/fixity02.lc 17:10-17:15 a_->() | 124 | testdata/language-features/basic-values/fixity02.lc 17:10-17:15 _a -> () |
125 | testdata/language-features/basic-values/fixity02.lc 17:10-17:19 () | 125 | testdata/language-features/basic-values/fixity02.lc 17:10-17:19 () |
126 | testdata/language-features/basic-values/fixity02.lc 17:10-17:22 a_->a_ | 126 | testdata/language-features/basic-values/fixity02.lc 17:10-17:22 _a -> _a |
127 | testdata/language-features/basic-values/fixity02.lc 17:10-17:34 String | 127 | testdata/language-features/basic-values/fixity02.lc 17:10-17:34 String |
128 | testdata/language-features/basic-values/fixity02.lc 17:13-17:15 {a} -> {b} -> a -> b->a | 128 | testdata/language-features/basic-values/fixity02.lc 17:13-17:15 forall a b . a -> b -> a |
129 | testdata/language-features/basic-values/fixity02.lc 17:16-17:19 Char | 129 | testdata/language-features/basic-values/fixity02.lc 17:16-17:19 Char |
130 | testdata/language-features/basic-values/fixity02.lc 17:20-17:22 {a} -> {b} -> a -> b->b | 130 | testdata/language-features/basic-values/fixity02.lc 17:20-17:22 forall a b . a -> b -> b |
131 | testdata/language-features/basic-values/fixity02.lc 17:23-17:27 String | 131 | testdata/language-features/basic-values/fixity02.lc 17:23-17:27 String |
132 | testdata/language-features/basic-values/fixity02.lc 17:23-17:30 a_->String | 132 | testdata/language-features/basic-values/fixity02.lc 17:23-17:30 _a -> String |
133 | testdata/language-features/basic-values/fixity02.lc 17:23-17:34 String | 133 | testdata/language-features/basic-values/fixity02.lc 17:23-17:34 String |
134 | testdata/language-features/basic-values/fixity02.lc 17:28-17:30 {a} -> {b} -> a -> b->a | 134 | testdata/language-features/basic-values/fixity02.lc 17:28-17:30 forall a b . a -> b -> a |
135 | testdata/language-features/basic-values/fixity02.lc 17:31-17:34 Float | 135 | testdata/language-features/basic-values/fixity02.lc 17:31-17:34 Float |
136 | testdata/language-features/basic-values/fixity02.lc 17:38-17:44 Type | 136 | testdata/language-features/basic-values/fixity02.lc 17:38-17:44 Type |
137 | testdata/language-features/basic-values/fixity02.lc 18:1-18:7 () | 137 | testdata/language-features/basic-values/fixity02.lc 18:1-18:7 () |
138 | testdata/language-features/basic-values/fixity02.lc 18:10-18:12 () | 138 | testdata/language-features/basic-values/fixity02.lc 18:10-18:12 () |
139 | testdata/language-features/basic-values/fixity02.lc 18:10-18:15 a_->() | 139 | testdata/language-features/basic-values/fixity02.lc 18:10-18:15 _a -> () |
140 | testdata/language-features/basic-values/fixity02.lc 18:10-18:34 () | 140 | testdata/language-features/basic-values/fixity02.lc 18:10-18:34 () |
141 | testdata/language-features/basic-values/fixity02.lc 18:13-18:15 {a} -> {b} -> a -> b->a | 141 | testdata/language-features/basic-values/fixity02.lc 18:13-18:15 forall a b . a -> b -> a |
142 | testdata/language-features/basic-values/fixity02.lc 18:16-18:19 Char | 142 | testdata/language-features/basic-values/fixity02.lc 18:16-18:19 Char |
143 | testdata/language-features/basic-values/fixity02.lc 18:16-18:22 a_->Char | 143 | testdata/language-features/basic-values/fixity02.lc 18:16-18:22 _a -> Char |
144 | testdata/language-features/basic-values/fixity02.lc 18:16-18:34 Char | 144 | testdata/language-features/basic-values/fixity02.lc 18:16-18:34 Char |
145 | testdata/language-features/basic-values/fixity02.lc 18:20-18:22 {a} -> {b} -> a -> b->a | 145 | testdata/language-features/basic-values/fixity02.lc 18:20-18:22 forall a b . a -> b -> a |
146 | testdata/language-features/basic-values/fixity02.lc 18:23-18:27 String | 146 | testdata/language-features/basic-values/fixity02.lc 18:23-18:27 String |
147 | testdata/language-features/basic-values/fixity02.lc 18:23-18:30 a_->String | 147 | testdata/language-features/basic-values/fixity02.lc 18:23-18:30 _a -> String |
148 | testdata/language-features/basic-values/fixity02.lc 18:23-18:34 String | 148 | testdata/language-features/basic-values/fixity02.lc 18:23-18:34 String |
149 | testdata/language-features/basic-values/fixity02.lc 18:28-18:30 {a} -> {b} -> a -> b->a | 149 | testdata/language-features/basic-values/fixity02.lc 18:28-18:30 forall a b . a -> b -> a |
150 | testdata/language-features/basic-values/fixity02.lc 18:31-18:34 Float | 150 | testdata/language-features/basic-values/fixity02.lc 18:31-18:34 Float |
151 | testdata/language-features/basic-values/fixity02.lc 18:38-18:40 Type | 151 | testdata/language-features/basic-values/fixity02.lc 18:38-18:40 Type |
152 | testdata/language-features/basic-values/fixity02.lc 20:1-20:10 Float | 152 | testdata/language-features/basic-values/fixity02.lc 20:1-20:10 Float |
153 | testdata/language-features/basic-values/fixity02.lc 20:13-20:15 () | 153 | testdata/language-features/basic-values/fixity02.lc 20:13-20:15 () |
154 | testdata/language-features/basic-values/fixity02.lc 20:13-20:22 a_->a_ | 154 | testdata/language-features/basic-values/fixity02.lc 20:13-20:22 _a -> _a |
155 | testdata/language-features/basic-values/fixity02.lc 20:13-20:49 Float | 155 | testdata/language-features/basic-values/fixity02.lc 20:13-20:49 Float |
156 | testdata/language-features/basic-values/fixity02.lc 20:16-20:22 {a} -> {b} -> a -> b->b | 156 | testdata/language-features/basic-values/fixity02.lc 20:16-20:22 forall a b . a -> b -> b |
157 | testdata/language-features/basic-values/fixity02.lc 20:23-20:26 Char | 157 | testdata/language-features/basic-values/fixity02.lc 20:23-20:26 Char |
158 | testdata/language-features/basic-values/fixity02.lc 20:23-20:33 a_->a_ | 158 | testdata/language-features/basic-values/fixity02.lc 20:23-20:33 _a -> _a |
159 | testdata/language-features/basic-values/fixity02.lc 20:23-20:49 Float | 159 | testdata/language-features/basic-values/fixity02.lc 20:23-20:49 Float |
160 | testdata/language-features/basic-values/fixity02.lc 20:27-20:33 {a} -> {b} -> a -> b->b | 160 | testdata/language-features/basic-values/fixity02.lc 20:27-20:33 forall a b . a -> b -> b |
161 | testdata/language-features/basic-values/fixity02.lc 20:34-20:38 String | 161 | testdata/language-features/basic-values/fixity02.lc 20:34-20:38 String |
162 | testdata/language-features/basic-values/fixity02.lc 20:34-20:45 a_->a_ | 162 | testdata/language-features/basic-values/fixity02.lc 20:34-20:45 _a -> _a |
163 | testdata/language-features/basic-values/fixity02.lc 20:34-20:49 Float | 163 | testdata/language-features/basic-values/fixity02.lc 20:34-20:49 Float |
164 | testdata/language-features/basic-values/fixity02.lc 20:39-20:45 {a} -> {b} -> a -> b->b | 164 | testdata/language-features/basic-values/fixity02.lc 20:39-20:45 forall a b . a -> b -> b |
165 | testdata/language-features/basic-values/fixity02.lc 20:46-20:49 Float | 165 | testdata/language-features/basic-values/fixity02.lc 20:46-20:49 Float |
166 | testdata/language-features/basic-values/fixity02.lc 20:53-20:58 Type | 166 | testdata/language-features/basic-values/fixity02.lc 20:53-20:58 Type |
167 | testdata/language-features/basic-values/fixity02.lc 21:1-21:10 Float | 167 | testdata/language-features/basic-values/fixity02.lc 21:1-21:10 Float |
168 | testdata/language-features/basic-values/fixity02.lc 21:13-21:15 () | 168 | testdata/language-features/basic-values/fixity02.lc 21:13-21:15 () |
169 | testdata/language-features/basic-values/fixity02.lc 21:13-21:22 a_->a_ | 169 | testdata/language-features/basic-values/fixity02.lc 21:13-21:22 _a -> _a |
170 | testdata/language-features/basic-values/fixity02.lc 21:13-21:49 Float | 170 | testdata/language-features/basic-values/fixity02.lc 21:13-21:49 Float |
171 | testdata/language-features/basic-values/fixity02.lc 21:16-21:22 {a} -> {b} -> a -> b->b | 171 | testdata/language-features/basic-values/fixity02.lc 21:16-21:22 forall a b . a -> b -> b |
172 | testdata/language-features/basic-values/fixity02.lc 21:23-21:26 Char | 172 | testdata/language-features/basic-values/fixity02.lc 21:23-21:26 Char |
173 | testdata/language-features/basic-values/fixity02.lc 21:23-21:33 a_->Char | 173 | testdata/language-features/basic-values/fixity02.lc 21:23-21:33 _a -> Char |
174 | testdata/language-features/basic-values/fixity02.lc 21:23-21:38 Char | 174 | testdata/language-features/basic-values/fixity02.lc 21:23-21:38 Char |
175 | testdata/language-features/basic-values/fixity02.lc 21:23-21:45 a_->a_ | 175 | testdata/language-features/basic-values/fixity02.lc 21:23-21:45 _a -> _a |
176 | testdata/language-features/basic-values/fixity02.lc 21:23-21:49 Float | 176 | testdata/language-features/basic-values/fixity02.lc 21:23-21:49 Float |
177 | testdata/language-features/basic-values/fixity02.lc 21:27-21:33 {a} -> {b} -> a -> b->a | 177 | testdata/language-features/basic-values/fixity02.lc 21:27-21:33 forall a b . a -> b -> a |
178 | testdata/language-features/basic-values/fixity02.lc 21:34-21:38 String | 178 | testdata/language-features/basic-values/fixity02.lc 21:34-21:38 String |
179 | testdata/language-features/basic-values/fixity02.lc 21:39-21:45 {a} -> {b} -> a -> b->b | 179 | testdata/language-features/basic-values/fixity02.lc 21:39-21:45 forall a b . a -> b -> b |
180 | testdata/language-features/basic-values/fixity02.lc 21:46-21:49 Float | 180 | testdata/language-features/basic-values/fixity02.lc 21:46-21:49 Float |
181 | testdata/language-features/basic-values/fixity02.lc 21:53-21:58 Type | 181 | testdata/language-features/basic-values/fixity02.lc 21:53-21:58 Type |
182 | testdata/language-features/basic-values/fixity02.lc 22:1-22:10 Float | 182 | testdata/language-features/basic-values/fixity02.lc 22:1-22:10 Float |
183 | testdata/language-features/basic-values/fixity02.lc 22:13-22:15 () | 183 | testdata/language-features/basic-values/fixity02.lc 22:13-22:15 () |
184 | testdata/language-features/basic-values/fixity02.lc 22:13-22:22 a_->() | 184 | testdata/language-features/basic-values/fixity02.lc 22:13-22:22 _a -> () |
185 | testdata/language-features/basic-values/fixity02.lc 22:13-22:26 () | 185 | testdata/language-features/basic-values/fixity02.lc 22:13-22:26 () |
186 | testdata/language-features/basic-values/fixity02.lc 22:13-22:33 a_->a_ | 186 | testdata/language-features/basic-values/fixity02.lc 22:13-22:33 _a -> _a |
187 | testdata/language-features/basic-values/fixity02.lc 22:13-22:49 Float | 187 | testdata/language-features/basic-values/fixity02.lc 22:13-22:49 Float |
188 | testdata/language-features/basic-values/fixity02.lc 22:16-22:22 {a} -> {b} -> a -> b->a | 188 | testdata/language-features/basic-values/fixity02.lc 22:16-22:22 forall a b . a -> b -> a |
189 | testdata/language-features/basic-values/fixity02.lc 22:23-22:26 Char | 189 | testdata/language-features/basic-values/fixity02.lc 22:23-22:26 Char |
190 | testdata/language-features/basic-values/fixity02.lc 22:27-22:33 {a} -> {b} -> a -> b->b | 190 | testdata/language-features/basic-values/fixity02.lc 22:27-22:33 forall a b . a -> b -> b |
191 | testdata/language-features/basic-values/fixity02.lc 22:34-22:38 String | 191 | testdata/language-features/basic-values/fixity02.lc 22:34-22:38 String |
192 | testdata/language-features/basic-values/fixity02.lc 22:34-22:45 a_->a_ | 192 | testdata/language-features/basic-values/fixity02.lc 22:34-22:45 _a -> _a |
193 | testdata/language-features/basic-values/fixity02.lc 22:34-22:49 Float | 193 | testdata/language-features/basic-values/fixity02.lc 22:34-22:49 Float |
194 | testdata/language-features/basic-values/fixity02.lc 22:39-22:45 {a} -> {b} -> a -> b->b | 194 | testdata/language-features/basic-values/fixity02.lc 22:39-22:45 forall a b . a -> b -> b |
195 | testdata/language-features/basic-values/fixity02.lc 22:46-22:49 Float | 195 | testdata/language-features/basic-values/fixity02.lc 22:46-22:49 Float |
196 | testdata/language-features/basic-values/fixity02.lc 22:53-22:58 Type | 196 | testdata/language-features/basic-values/fixity02.lc 22:53-22:58 Type |
197 | testdata/language-features/basic-values/fixity02.lc 23:1-23:10 Float | 197 | testdata/language-features/basic-values/fixity02.lc 23:1-23:10 Float |
198 | testdata/language-features/basic-values/fixity02.lc 23:13-23:15 () | 198 | testdata/language-features/basic-values/fixity02.lc 23:13-23:15 () |
199 | testdata/language-features/basic-values/fixity02.lc 23:13-23:22 a_->() | 199 | testdata/language-features/basic-values/fixity02.lc 23:13-23:22 _a -> () |
200 | testdata/language-features/basic-values/fixity02.lc 23:13-23:38 () | 200 | testdata/language-features/basic-values/fixity02.lc 23:13-23:38 () |
201 | testdata/language-features/basic-values/fixity02.lc 23:13-23:45 a_->a_ | 201 | testdata/language-features/basic-values/fixity02.lc 23:13-23:45 _a -> _a |
202 | testdata/language-features/basic-values/fixity02.lc 23:13-23:49 Float | 202 | testdata/language-features/basic-values/fixity02.lc 23:13-23:49 Float |
203 | testdata/language-features/basic-values/fixity02.lc 23:16-23:22 {a} -> {b} -> a -> b->a | 203 | testdata/language-features/basic-values/fixity02.lc 23:16-23:22 forall a b . a -> b -> a |
204 | testdata/language-features/basic-values/fixity02.lc 23:23-23:26 Char | 204 | testdata/language-features/basic-values/fixity02.lc 23:23-23:26 Char |
205 | testdata/language-features/basic-values/fixity02.lc 23:23-23:33 a_->Char | 205 | testdata/language-features/basic-values/fixity02.lc 23:23-23:33 _a -> Char |
206 | testdata/language-features/basic-values/fixity02.lc 23:23-23:38 Char | 206 | testdata/language-features/basic-values/fixity02.lc 23:23-23:38 Char |
207 | testdata/language-features/basic-values/fixity02.lc 23:27-23:33 {a} -> {b} -> a -> b->a | 207 | testdata/language-features/basic-values/fixity02.lc 23:27-23:33 forall a b . a -> b -> a |
208 | testdata/language-features/basic-values/fixity02.lc 23:34-23:38 String | 208 | testdata/language-features/basic-values/fixity02.lc 23:34-23:38 String |
209 | testdata/language-features/basic-values/fixity02.lc 23:39-23:45 {a} -> {b} -> a -> b->b | 209 | testdata/language-features/basic-values/fixity02.lc 23:39-23:45 forall a b . a -> b -> b |
210 | testdata/language-features/basic-values/fixity02.lc 23:46-23:49 Float | 210 | testdata/language-features/basic-values/fixity02.lc 23:46-23:49 Float |
211 | testdata/language-features/basic-values/fixity02.lc 23:53-23:58 Type | 211 | testdata/language-features/basic-values/fixity02.lc 23:53-23:58 Type |
212 | testdata/language-features/basic-values/fixity02.lc 24:1-24:10 String | 212 | testdata/language-features/basic-values/fixity02.lc 24:1-24:10 String |
213 | testdata/language-features/basic-values/fixity02.lc 24:13-24:15 () | 213 | testdata/language-features/basic-values/fixity02.lc 24:13-24:15 () |
214 | testdata/language-features/basic-values/fixity02.lc 24:13-24:22 a_->a_ | 214 | testdata/language-features/basic-values/fixity02.lc 24:13-24:22 _a -> _a |
215 | testdata/language-features/basic-values/fixity02.lc 24:13-24:49 String | 215 | testdata/language-features/basic-values/fixity02.lc 24:13-24:49 String |
216 | testdata/language-features/basic-values/fixity02.lc 24:16-24:22 {a} -> {b} -> a -> b->b | 216 | testdata/language-features/basic-values/fixity02.lc 24:16-24:22 forall a b . a -> b -> b |
217 | testdata/language-features/basic-values/fixity02.lc 24:23-24:26 Char | 217 | testdata/language-features/basic-values/fixity02.lc 24:23-24:26 Char |
218 | testdata/language-features/basic-values/fixity02.lc 24:23-24:33 a_->a_ | 218 | testdata/language-features/basic-values/fixity02.lc 24:23-24:33 _a -> _a |
219 | testdata/language-features/basic-values/fixity02.lc 24:23-24:49 String | 219 | testdata/language-features/basic-values/fixity02.lc 24:23-24:49 String |
220 | testdata/language-features/basic-values/fixity02.lc 24:27-24:33 {a} -> {b} -> a -> b->b | 220 | testdata/language-features/basic-values/fixity02.lc 24:27-24:33 forall a b . a -> b -> b |
221 | testdata/language-features/basic-values/fixity02.lc 24:34-24:38 String | 221 | testdata/language-features/basic-values/fixity02.lc 24:34-24:38 String |
222 | testdata/language-features/basic-values/fixity02.lc 24:34-24:45 a_->String | 222 | testdata/language-features/basic-values/fixity02.lc 24:34-24:45 _a -> String |
223 | testdata/language-features/basic-values/fixity02.lc 24:34-24:49 String | 223 | testdata/language-features/basic-values/fixity02.lc 24:34-24:49 String |
224 | testdata/language-features/basic-values/fixity02.lc 24:39-24:45 {a} -> {b} -> a -> b->a | 224 | testdata/language-features/basic-values/fixity02.lc 24:39-24:45 forall a b . a -> b -> a |
225 | testdata/language-features/basic-values/fixity02.lc 24:46-24:49 Float | 225 | testdata/language-features/basic-values/fixity02.lc 24:46-24:49 Float |
226 | testdata/language-features/basic-values/fixity02.lc 24:53-24:59 Type | 226 | testdata/language-features/basic-values/fixity02.lc 24:53-24:59 Type |
227 | testdata/language-features/basic-values/fixity02.lc 25:1-25:10 Char | 227 | testdata/language-features/basic-values/fixity02.lc 25:1-25:10 Char |
228 | testdata/language-features/basic-values/fixity02.lc 25:13-25:15 () | 228 | testdata/language-features/basic-values/fixity02.lc 25:13-25:15 () |
229 | testdata/language-features/basic-values/fixity02.lc 25:13-25:22 a_->a_ | 229 | testdata/language-features/basic-values/fixity02.lc 25:13-25:22 _a -> _a |
230 | testdata/language-features/basic-values/fixity02.lc 25:13-25:49 Char | 230 | testdata/language-features/basic-values/fixity02.lc 25:13-25:49 Char |
231 | testdata/language-features/basic-values/fixity02.lc 25:16-25:22 {a} -> {b} -> a -> b->b | 231 | testdata/language-features/basic-values/fixity02.lc 25:16-25:22 forall a b . a -> b -> b |
232 | testdata/language-features/basic-values/fixity02.lc 25:23-25:26 Char | 232 | testdata/language-features/basic-values/fixity02.lc 25:23-25:26 Char |
233 | testdata/language-features/basic-values/fixity02.lc 25:23-25:33 a_->Char | 233 | testdata/language-features/basic-values/fixity02.lc 25:23-25:33 _a -> Char |
234 | testdata/language-features/basic-values/fixity02.lc 25:23-25:49 Char | 234 | testdata/language-features/basic-values/fixity02.lc 25:23-25:49 Char |
235 | testdata/language-features/basic-values/fixity02.lc 25:27-25:33 {a} -> {b} -> a -> b->a | 235 | testdata/language-features/basic-values/fixity02.lc 25:27-25:33 forall a b . a -> b -> a |
236 | testdata/language-features/basic-values/fixity02.lc 25:34-25:38 String | 236 | testdata/language-features/basic-values/fixity02.lc 25:34-25:38 String |
237 | testdata/language-features/basic-values/fixity02.lc 25:34-25:45 a_->String | 237 | testdata/language-features/basic-values/fixity02.lc 25:34-25:45 _a -> String |
238 | testdata/language-features/basic-values/fixity02.lc 25:34-25:49 String | 238 | testdata/language-features/basic-values/fixity02.lc 25:34-25:49 String |
239 | testdata/language-features/basic-values/fixity02.lc 25:39-25:45 {a} -> {b} -> a -> b->a | 239 | testdata/language-features/basic-values/fixity02.lc 25:39-25:45 forall a b . a -> b -> a |
240 | testdata/language-features/basic-values/fixity02.lc 25:46-25:49 Float | 240 | testdata/language-features/basic-values/fixity02.lc 25:46-25:49 Float |
241 | testdata/language-features/basic-values/fixity02.lc 25:53-25:57 Type | 241 | testdata/language-features/basic-values/fixity02.lc 25:53-25:57 Type |
242 | testdata/language-features/basic-values/fixity02.lc 26:1-26:10 String | 242 | testdata/language-features/basic-values/fixity02.lc 26:1-26:10 String |
243 | testdata/language-features/basic-values/fixity02.lc 26:13-26:15 () | 243 | testdata/language-features/basic-values/fixity02.lc 26:13-26:15 () |
244 | testdata/language-features/basic-values/fixity02.lc 26:13-26:22 a_->() | 244 | testdata/language-features/basic-values/fixity02.lc 26:13-26:22 _a -> () |
245 | testdata/language-features/basic-values/fixity02.lc 26:13-26:26 () | 245 | testdata/language-features/basic-values/fixity02.lc 26:13-26:26 () |
246 | testdata/language-features/basic-values/fixity02.lc 26:13-26:33 a_->a_ | 246 | testdata/language-features/basic-values/fixity02.lc 26:13-26:33 _a -> _a |
247 | testdata/language-features/basic-values/fixity02.lc 26:13-26:49 String | 247 | testdata/language-features/basic-values/fixity02.lc 26:13-26:49 String |
248 | testdata/language-features/basic-values/fixity02.lc 26:16-26:22 {a} -> {b} -> a -> b->a | 248 | testdata/language-features/basic-values/fixity02.lc 26:16-26:22 forall a b . a -> b -> a |
249 | testdata/language-features/basic-values/fixity02.lc 26:23-26:26 Char | 249 | testdata/language-features/basic-values/fixity02.lc 26:23-26:26 Char |
250 | testdata/language-features/basic-values/fixity02.lc 26:27-26:33 {a} -> {b} -> a -> b->b | 250 | testdata/language-features/basic-values/fixity02.lc 26:27-26:33 forall a b . a -> b -> b |
251 | testdata/language-features/basic-values/fixity02.lc 26:34-26:38 String | 251 | testdata/language-features/basic-values/fixity02.lc 26:34-26:38 String |
252 | testdata/language-features/basic-values/fixity02.lc 26:34-26:45 a_->String | 252 | testdata/language-features/basic-values/fixity02.lc 26:34-26:45 _a -> String |
253 | testdata/language-features/basic-values/fixity02.lc 26:34-26:49 String | 253 | testdata/language-features/basic-values/fixity02.lc 26:34-26:49 String |
254 | testdata/language-features/basic-values/fixity02.lc 26:39-26:45 {a} -> {b} -> a -> b->a | 254 | testdata/language-features/basic-values/fixity02.lc 26:39-26:45 forall a b . a -> b -> a |
255 | testdata/language-features/basic-values/fixity02.lc 26:46-26:49 Float | 255 | testdata/language-features/basic-values/fixity02.lc 26:46-26:49 Float |
256 | testdata/language-features/basic-values/fixity02.lc 26:53-26:59 Type | 256 | testdata/language-features/basic-values/fixity02.lc 26:53-26:59 Type |
257 | testdata/language-features/basic-values/fixity02.lc 27:1-27:10 () | 257 | testdata/language-features/basic-values/fixity02.lc 27:1-27:10 () |
258 | testdata/language-features/basic-values/fixity02.lc 27:13-27:15 () | 258 | testdata/language-features/basic-values/fixity02.lc 27:13-27:15 () |
259 | testdata/language-features/basic-values/fixity02.lc 27:13-27:22 a_->() | 259 | testdata/language-features/basic-values/fixity02.lc 27:13-27:22 _a -> () |
260 | testdata/language-features/basic-values/fixity02.lc 27:13-27:49 () | 260 | testdata/language-features/basic-values/fixity02.lc 27:13-27:49 () |
261 | testdata/language-features/basic-values/fixity02.lc 27:16-27:22 {a} -> {b} -> a -> b->a | 261 | testdata/language-features/basic-values/fixity02.lc 27:16-27:22 forall a b . a -> b -> a |
262 | testdata/language-features/basic-values/fixity02.lc 27:23-27:26 Char | 262 | testdata/language-features/basic-values/fixity02.lc 27:23-27:26 Char |
263 | testdata/language-features/basic-values/fixity02.lc 27:23-27:33 a_->Char | 263 | testdata/language-features/basic-values/fixity02.lc 27:23-27:33 _a -> Char |
264 | testdata/language-features/basic-values/fixity02.lc 27:23-27:49 Char | 264 | testdata/language-features/basic-values/fixity02.lc 27:23-27:49 Char |
265 | testdata/language-features/basic-values/fixity02.lc 27:27-27:33 {a} -> {b} -> a -> b->a | 265 | testdata/language-features/basic-values/fixity02.lc 27:27-27:33 forall a b . a -> b -> a |
266 | testdata/language-features/basic-values/fixity02.lc 27:34-27:38 String | 266 | testdata/language-features/basic-values/fixity02.lc 27:34-27:38 String |
267 | testdata/language-features/basic-values/fixity02.lc 27:34-27:45 a_->String | 267 | testdata/language-features/basic-values/fixity02.lc 27:34-27:45 _a -> String |
268 | testdata/language-features/basic-values/fixity02.lc 27:34-27:49 String | 268 | testdata/language-features/basic-values/fixity02.lc 27:34-27:49 String |
269 | testdata/language-features/basic-values/fixity02.lc 27:39-27:45 {a} -> {b} -> a -> b->a | 269 | testdata/language-features/basic-values/fixity02.lc 27:39-27:45 forall a b . a -> b -> a |
270 | testdata/language-features/basic-values/fixity02.lc 27:46-27:49 Float | 270 | testdata/language-features/basic-values/fixity02.lc 27:46-27:49 Float |
271 | testdata/language-features/basic-values/fixity02.lc 27:53-27:55 Type | 271 | testdata/language-features/basic-values/fixity02.lc 27:53-27:55 Type |
diff --git a/testdata/language-features/basic-values/if01.out b/testdata/language-features/basic-values/if01.out index d9211a28..991efd46 100644 --- a/testdata/language-features/basic-values/if01.out +++ b/testdata/language-features/basic-values/if01.out | |||
@@ -6,12 +6,12 @@ value2 :: [32m'Float[0m | |||
6 | testdata/language-features/basic-values/if01.lc 1:1-1:7 () | 6 | testdata/language-features/basic-values/if01.lc 1:1-1:7 () |
7 | testdata/language-features/basic-values/if01.lc 1:10-1:33 () | 7 | testdata/language-features/basic-values/if01.lc 1:10-1:33 () |
8 | testdata/language-features/basic-values/if01.lc 1:13-1:17 Bool | 8 | testdata/language-features/basic-values/if01.lc 1:13-1:17 Bool |
9 | testdata/language-features/basic-values/if01.lc 1:13-1:25 ()->() | 9 | testdata/language-features/basic-values/if01.lc 1:13-1:25 () -> () |
10 | testdata/language-features/basic-values/if01.lc 1:23-1:25 () | 10 | testdata/language-features/basic-values/if01.lc 1:23-1:25 () |
11 | testdata/language-features/basic-values/if01.lc 1:31-1:33 () | 11 | testdata/language-features/basic-values/if01.lc 1:31-1:33 () |
12 | testdata/language-features/basic-values/if01.lc 2:1-2:7 Float | 12 | testdata/language-features/basic-values/if01.lc 2:1-2:7 Float |
13 | testdata/language-features/basic-values/if01.lc 2:10-2:36 Float | 13 | testdata/language-features/basic-values/if01.lc 2:10-2:36 Float |
14 | testdata/language-features/basic-values/if01.lc 2:13-2:18 Bool | 14 | testdata/language-features/basic-values/if01.lc 2:13-2:18 Bool |
15 | testdata/language-features/basic-values/if01.lc 2:13-2:27 Float->Float | 15 | testdata/language-features/basic-values/if01.lc 2:13-2:27 Float -> Float |
16 | testdata/language-features/basic-values/if01.lc 2:24-2:27 Float | 16 | testdata/language-features/basic-values/if01.lc 2:24-2:27 Float |
17 | testdata/language-features/basic-values/if01.lc 2:33-2:36 Float | 17 | testdata/language-features/basic-values/if01.lc 2:33-2:36 Float |
diff --git a/testdata/language-features/basic-values/if04.reject.out b/testdata/language-features/basic-values/if04.reject.out index eed0fc59..23a77a44 100644 --- a/testdata/language-features/basic-values/if04.reject.out +++ b/testdata/language-features/basic-values/if04.reject.out | |||
@@ -19,6 +19,6 @@ value1 = if True then () else '_' | |||
19 | 19 | ||
20 | ------------ tooltips | 20 | ------------ tooltips |
21 | 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 |
22 | testdata/language-features/basic-values/if04.reject.lc 1:13-1:25 ()->() | 22 | testdata/language-features/basic-values/if04.reject.lc 1:13-1:25 () -> () |
23 | testdata/language-features/basic-values/if04.reject.lc 1:23-1:25 () | 23 | testdata/language-features/basic-values/if04.reject.lc 1:23-1:25 () |
24 | testdata/language-features/basic-values/if04.reject.lc 1:31-1:34 Char | 24 | testdata/language-features/basic-values/if04.reject.lc 1:31-1:34 Char |
diff --git a/testdata/language-features/basic-values/infix01.out b/testdata/language-features/basic-values/infix01.out index d4e62854..33ab245c 100644 --- a/testdata/language-features/basic-values/infix01.out +++ b/testdata/language-features/basic-values/infix01.out | |||
@@ -1,13 +1,13 @@ | |||
1 | main is not found | 1 | main is not found |
2 | ------------ trace | 2 | ------------ trace |
3 | fun :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> [32ma[0;32m -> [32mb[0;32m->()[0m | 3 | fun :: [32mforall a b . [32ma[0;32m -> [32mb[0;32m -> ()[0m |
4 | value :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> [32ma[0;32m -> [32mb[0;32m->()[0m | 4 | value :: [32mforall a b . [32ma[0;32m -> [32mb[0;32m -> ()[0m |
5 | ------------ tooltips | 5 | ------------ tooltips |
6 | testdata/language-features/basic-values/infix01.lc 1:1-1:4 {a} -> {b} -> a -> b->() | 6 | testdata/language-features/basic-values/infix01.lc 1:1-1:4 forall a b . a -> b -> () |
7 | testdata/language-features/basic-values/infix01.lc 1:11-1:13 () | 7 | testdata/language-features/basic-values/infix01.lc 1:11-1:13 () |
8 | testdata/language-features/basic-values/infix01.lc 3:1-3:6 {a} -> {b} -> a -> b->() | 8 | testdata/language-features/basic-values/infix01.lc 3:1-3:6 forall a b . a -> b -> () |
9 | testdata/language-features/basic-values/infix01.lc 3:13-3:14 f_ | 9 | testdata/language-features/basic-values/infix01.lc 3:13-3:14 _f |
10 | testdata/language-features/basic-values/infix01.lc 3:13-3:20 a_->() | 10 | testdata/language-features/basic-values/infix01.lc 3:13-3:20 _a -> () |
11 | testdata/language-features/basic-values/infix01.lc 3:13-3:22 () | 11 | testdata/language-features/basic-values/infix01.lc 3:13-3:22 () |
12 | testdata/language-features/basic-values/infix01.lc 3:15-3:20 {a} -> {b} -> a -> b->() | 12 | testdata/language-features/basic-values/infix01.lc 3:15-3:20 forall a b . a -> b -> () |
13 | testdata/language-features/basic-values/infix01.lc 3:21-3:22 c_ | 13 | testdata/language-features/basic-values/infix01.lc 3:21-3:22 _c |
diff --git a/testdata/language-features/basic-values/infix02.out b/testdata/language-features/basic-values/infix02.out index c5c2b99c..11e17685 100644 --- a/testdata/language-features/basic-values/infix02.out +++ b/testdata/language-features/basic-values/infix02.out | |||
@@ -1,13 +1,13 @@ | |||
1 | main is not found | 1 | main is not found |
2 | ------------ trace | 2 | ------------ trace |
3 | fun :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> {[32mc[0;32m} -> [32ma[0;32m -> [32mb[0;32m -> [32mc[0;32m->()[0m | 3 | fun :: [32mforall a b c . [32ma[0;32m -> [32mb[0;32m -> [32mc[0;32m -> ()[0m |
4 | value :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> {[32mc[0;32m} -> [32ma[0;32m -> [32mb[0;32m -> [32mc[0;32m->()[0m | 4 | value :: [32mforall a b c . [32ma[0;32m -> [32mb[0;32m -> [32mc[0;32m -> ()[0m |
5 | ------------ tooltips | 5 | ------------ tooltips |
6 | testdata/language-features/basic-values/infix02.lc 1:1-1:4 {a} -> {b} -> {c} -> a -> b -> c->() | 6 | testdata/language-features/basic-values/infix02.lc 1:1-1:4 forall a b c . a -> b -> c -> () |
7 | testdata/language-features/basic-values/infix02.lc 1:13-1:15 () | 7 | testdata/language-features/basic-values/infix02.lc 1:13-1:15 () |
8 | testdata/language-features/basic-values/infix02.lc 3:1-3:6 {a} -> {b} -> {c} -> a -> b -> c->() | 8 | testdata/language-features/basic-values/infix02.lc 3:1-3:6 forall a b c . a -> b -> c -> () |
9 | testdata/language-features/basic-values/infix02.lc 3:13-3:14 g_ | 9 | testdata/language-features/basic-values/infix02.lc 3:13-3:14 _g |
10 | testdata/language-features/basic-values/infix02.lc 3:13-3:20 b_ -> a_->() | 10 | testdata/language-features/basic-values/infix02.lc 3:13-3:20 _b -> _a -> () |
11 | testdata/language-features/basic-values/infix02.lc 3:13-3:22 a_->() | 11 | testdata/language-features/basic-values/infix02.lc 3:13-3:22 _a -> () |
12 | testdata/language-features/basic-values/infix02.lc 3:15-3:20 {a} -> {b} -> {c} -> a -> b -> c->() | 12 | testdata/language-features/basic-values/infix02.lc 3:15-3:20 forall a b c . a -> b -> c -> () |
13 | testdata/language-features/basic-values/infix02.lc 3:21-3:22 d_ | 13 | testdata/language-features/basic-values/infix02.lc 3:21-3:22 _d |
diff --git a/testdata/language-features/basic-values/infix03.out b/testdata/language-features/basic-values/infix03.out index dcdc1bb6..dcab8247 100644 --- a/testdata/language-features/basic-values/infix03.out +++ b/testdata/language-features/basic-values/infix03.out | |||
@@ -1,33 +1,33 @@ | |||
1 | main is not found | 1 | main is not found |
2 | ------------ trace | 2 | ------------ trace |
3 | 'D :: [32mType[0m | 3 | 'D :: [32mType[0m |
4 | D2 :: [32m() -> ()->'D[0m | 4 | D2 :: [32m() -> () -> 'D[0m |
5 | D3 :: [32m() -> () -> ()->'D[0m | 5 | D3 :: [32m() -> () -> () -> 'D[0m |
6 | 'DCase :: [32m([32ma[0;32m : 'D->Type) -> (([32mb[0;32m:()) -> ([32mc[0;32m:()) -> [32m[32ma[0;32m [32m(D2 [32mb[0;32m [32mc[0;32m)[0;32m[0;32m) -> (([32md[0;32m:()) -> ([32me[0;32m:()) -> ([32mf[0;32m:()) -> [32m[32ma[0;32m [32m(D3 [32md[0;32m [32me[0;32m [32mf[0;32m)[0;32m[0;32m) -> ([32mg[0;32m:'D) -> [32m[32ma[0;32m [32m[32mg[0;32m[0;32m[0;32m[0m | 6 | 'DCase :: [32m([32ma[0;32m :: 'D -> Type) -> (([32mb[0;32m :: ()) -> ([32mc[0;32m :: ()) -> [32m[32ma[0;32m [32m(D2 [32mb[0;32m [32mc[0;32m)[0;32m[0;32m) -> (([32md[0;32m :: ()) -> ([32me[0;32m :: ()) -> ([32mf[0;32m :: ()) -> [32m[32ma[0;32m [32m(D3 [32md[0;32m [32me[0;32m [32mf[0;32m)[0;32m[0;32m) -> ([32mg[0;32m :: 'D) -> [32m[32ma[0;32m [32m[32mg[0;32m[0;32m[0;32m[0m |
7 | match'D :: [32m([32ma[0;32m : Type->Type) -> [32m[32ma[0;32m [32m'D[0;32m[0;32m -> ([32mb[0;32m:Type) -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m | 7 | match'D :: [32m([32ma[0;32m :: Type -> Type) -> [32m[32ma[0;32m [32m'D[0;32m[0;32m -> ([32mb[0;32m :: Type) -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m -> [32m[32ma[0;32m [32m[32mb[0;32m[0;32m[0;32m[0m |
8 | d2 :: [32m() -> ()->'D[0m | 8 | d2 :: [32m() -> () -> 'D[0m |
9 | d3 :: [32m() -> () -> ()->'D[0m | 9 | d3 :: [32m() -> () -> () -> 'D[0m |
10 | ------------ tooltips | 10 | ------------ tooltips |
11 | testdata/language-features/basic-values/infix03.lc 1:6-1:7 Type | 11 | testdata/language-features/basic-values/infix03.lc 1:6-1:7 Type |
12 | testdata/language-features/basic-values/infix03.lc 1:6-1:18 Type | 12 | testdata/language-features/basic-values/infix03.lc 1:6-1:18 Type |
13 | testdata/language-features/basic-values/infix03.lc 1:6-2:12 Type | 13 | testdata/language-features/basic-values/infix03.lc 1:6-2:12 Type |
14 | testdata/language-features/basic-values/infix03.lc 1:6-2:21 Type | 14 | testdata/language-features/basic-values/infix03.lc 1:6-2:21 Type |
15 | testdata/language-features/basic-values/infix03.lc 1:10-1:12 () -> ()->D | D | Type | 15 | testdata/language-features/basic-values/infix03.lc 1:10-1:12 () -> () -> D | D | Type |
16 | testdata/language-features/basic-values/infix03.lc 1:13-1:15 Type | 16 | testdata/language-features/basic-values/infix03.lc 1:13-1:15 Type |
17 | testdata/language-features/basic-values/infix03.lc 1:16-1:18 Type | 17 | testdata/language-features/basic-values/infix03.lc 1:16-1:18 Type |
18 | testdata/language-features/basic-values/infix03.lc 2:10-2:12 () -> () -> ()->D | D | Type | 18 | testdata/language-features/basic-values/infix03.lc 2:10-2:12 () -> () -> () -> D | D | Type |
19 | testdata/language-features/basic-values/infix03.lc 2:13-2:15 Type | 19 | testdata/language-features/basic-values/infix03.lc 2:13-2:15 Type |
20 | testdata/language-features/basic-values/infix03.lc 2:16-2:18 Type | 20 | testdata/language-features/basic-values/infix03.lc 2:16-2:18 Type |
21 | testdata/language-features/basic-values/infix03.lc 2:19-2:21 Type | 21 | testdata/language-features/basic-values/infix03.lc 2:19-2:21 Type |
22 | testdata/language-features/basic-values/infix03.lc 4:1-4:3 () -> ()->D | 22 | testdata/language-features/basic-values/infix03.lc 4:1-4:3 () -> () -> D |
23 | testdata/language-features/basic-values/infix03.lc 4:10-4:11 d_ | 23 | testdata/language-features/basic-values/infix03.lc 4:10-4:11 _d |
24 | testdata/language-features/basic-values/infix03.lc 4:10-4:16 ()->D | 24 | testdata/language-features/basic-values/infix03.lc 4:10-4:16 () -> D |
25 | testdata/language-features/basic-values/infix03.lc 4:10-4:18 D | 25 | testdata/language-features/basic-values/infix03.lc 4:10-4:18 D |
26 | testdata/language-features/basic-values/infix03.lc 4:12-4:16 () -> ()->D | 26 | testdata/language-features/basic-values/infix03.lc 4:12-4:16 () -> () -> D |
27 | testdata/language-features/basic-values/infix03.lc 4:17-4:18 b_ | 27 | testdata/language-features/basic-values/infix03.lc 4:17-4:18 _b |
28 | testdata/language-features/basic-values/infix03.lc 6:1-6:3 () -> () -> ()->D | 28 | testdata/language-features/basic-values/infix03.lc 6:1-6:3 () -> () -> () -> D |
29 | testdata/language-features/basic-values/infix03.lc 6:10-6:11 d_ | 29 | testdata/language-features/basic-values/infix03.lc 6:10-6:11 _d |
30 | testdata/language-features/basic-values/infix03.lc 6:10-6:16 () -> ()->D | 30 | testdata/language-features/basic-values/infix03.lc 6:10-6:16 () -> () -> D |
31 | testdata/language-features/basic-values/infix03.lc 6:10-6:18 ()->D | 31 | testdata/language-features/basic-values/infix03.lc 6:10-6:18 () -> D |
32 | testdata/language-features/basic-values/infix03.lc 6:12-6:16 () -> () -> ()->D | 32 | testdata/language-features/basic-values/infix03.lc 6:12-6:16 () -> () -> () -> D |
33 | testdata/language-features/basic-values/infix03.lc 6:17-6:18 b_ | 33 | testdata/language-features/basic-values/infix03.lc 6:17-6:18 _b |
diff --git a/testdata/language-features/basic-values/lambda01.out b/testdata/language-features/basic-values/lambda01.out index 14711679..e2c51312 100644 --- a/testdata/language-features/basic-values/lambda01.out +++ b/testdata/language-features/basic-values/lambda01.out | |||
@@ -1,15 +1,15 @@ | |||
1 | main is not found | 1 | main is not found |
2 | ------------ trace | 2 | ------------ trace |
3 | fun1 :: [32m{[32ma[0;32m} -> [32ma[0;32m->()[0m | 3 | fun1 :: [32mforall a . [32ma[0;32m -> ()[0m |
4 | fun2 :: [32m{[32ma[0;32m} -> [32ma[0;32m->()[0m | 4 | fun2 :: [32mforall a . [32ma[0;32m -> ()[0m |
5 | fun3 :: [32m{[32ma[0;32m} -> [32ma[0;32m->()[0m | 5 | fun3 :: [32mforall a . [32ma[0;32m -> ()[0m |
6 | fun4 :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> {[32mc[0;32m} -> {[32md[0;32m} -> {[32me[0;32m} -> {[32mf[0;32m} -> {[32mg[0;32m} -> {[32mh[0;32m} -> {[32mi[0;32m} -> [32ma[0;32m -> [32mb[0;32m -> [32mc[0;32m -> [32md[0;32m -> [32me[0;32m -> [32mf[0;32m -> [32mg[0;32m -> [32mh[0;32m -> [32mi[0;32m->()[0m | 6 | fun4 :: [32mforall a b c d e f g h i . [32ma[0;32m -> [32mb[0;32m -> [32mc[0;32m -> [32md[0;32m -> [32me[0;32m -> [32mf[0;32m -> [32mg[0;32m -> [32mh[0;32m -> [32mi[0;32m -> ()[0m |
7 | ------------ tooltips | 7 | ------------ tooltips |
8 | testdata/language-features/basic-values/lambda01.lc 1:1-1:5 {a} -> a->() | 8 | testdata/language-features/basic-values/lambda01.lc 1:1-1:5 forall a . a -> () |
9 | testdata/language-features/basic-values/lambda01.lc 1:14-1:16 () | 9 | testdata/language-features/basic-values/lambda01.lc 1:14-1:16 () |
10 | testdata/language-features/basic-values/lambda01.lc 2:1-2:5 {a} -> a->() | 10 | testdata/language-features/basic-values/lambda01.lc 2:1-2:5 forall a . a -> () |
11 | testdata/language-features/basic-values/lambda01.lc 2:15-2:17 () | 11 | testdata/language-features/basic-values/lambda01.lc 2:15-2:17 () |
12 | testdata/language-features/basic-values/lambda01.lc 3:1-3:5 {a} -> a->() | 12 | testdata/language-features/basic-values/lambda01.lc 3:1-3:5 forall a . a -> () |
13 | testdata/language-features/basic-values/lambda01.lc 3:13-3:15 () | 13 | testdata/language-features/basic-values/lambda01.lc 3:13-3:15 () |
14 | testdata/language-features/basic-values/lambda01.lc 4:1-4:5 {a} -> {b} -> {c} -> {d} -> {e} -> {f} -> {g} -> {h} -> {i} -> a -> b -> c -> d -> e -> f -> g -> h -> i->() | 14 | testdata/language-features/basic-values/lambda01.lc 4:1-4:5 forall a b c d e f g h i . a -> b -> c -> d -> e -> f -> g -> h -> i -> () |
15 | testdata/language-features/basic-values/lambda01.lc 5:28-5:30 () | 15 | testdata/language-features/basic-values/lambda01.lc 5:28-5:30 () |
diff --git a/testdata/language-features/basic-values/lambda03.out b/testdata/language-features/basic-values/lambda03.out index 7d9a98ae..902fdc98 100644 --- a/testdata/language-features/basic-values/lambda03.out +++ b/testdata/language-features/basic-values/lambda03.out | |||
@@ -1,9 +1,9 @@ | |||
1 | main is not found | 1 | main is not found |
2 | ------------ trace | 2 | ------------ trace |
3 | fun1 :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> {[32mc[0;32m} -> [32ma[0;32m -> [32mb[0;32m -> [32mc[0;32m->[32mb[0;32m[0m | 3 | fun1 :: [32mforall a b c . [32ma[0;32m -> [32mb[0;32m -> [32mc[0;32m -> [32mb[0;32m[0m |
4 | fun2 :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> {[32mc[0;32m} -> {[32md[0;32m} -> [32ma[0;32m -> [32mb[0;32m -> [32mc[0;32m -> [32md[0;32m->[32ma[0;32m[0m | 4 | fun2 :: [32mforall a b c d . [32ma[0;32m -> [32mb[0;32m -> [32mc[0;32m -> [32md[0;32m -> [32ma[0;32m[0m |
5 | ------------ tooltips | 5 | ------------ tooltips |
6 | testdata/language-features/basic-values/lambda03.lc 1:1-1:5 {a} -> {b} -> {c} -> a -> b -> c->b | 6 | testdata/language-features/basic-values/lambda03.lc 1:1-1:5 forall a b c . a -> b -> c -> b |
7 | testdata/language-features/basic-values/lambda03.lc 1:22-1:23 d_ | 7 | testdata/language-features/basic-values/lambda03.lc 1:22-1:23 _d |
8 | testdata/language-features/basic-values/lambda03.lc 2:1-2:5 {a} -> {b} -> {c} -> {d} -> a -> b -> c -> d->a | 8 | testdata/language-features/basic-values/lambda03.lc 2:1-2:5 forall a b c d . a -> b -> c -> d -> a |
9 | testdata/language-features/basic-values/lambda03.lc 2:25-2:26 h_ | 9 | testdata/language-features/basic-values/lambda03.lc 2:25-2:26 _h |
diff --git a/testdata/language-features/basic-values/let01.out b/testdata/language-features/basic-values/let01.out index 4c4793b6..8ab8c8e0 100644 --- a/testdata/language-features/basic-values/let01.out +++ b/testdata/language-features/basic-values/let01.out | |||
@@ -1,25 +1,25 @@ | |||
1 | main is not found | 1 | main is not found |
2 | ------------ trace | 2 | ------------ trace |
3 | value1 :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m}->[32ma[0;32m[0m | 3 | value1 :: [32mforall a . [32m'Num [32m[32ma[0;32m[0;32m[0;32m => [32ma[0;32m[0m |
4 | value2 :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m}->[32ma[0;32m[0m | 4 | value2 :: [32mforall a . [32m'Num [32m[32ma[0;32m[0;32m[0;32m => [32ma[0;32m[0m |
5 | value3 :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m}->[32ma[0;32m[0m | 5 | value3 :: [32mforall a . [32m'Num [32m[32ma[0;32m[0;32m[0;32m => [32ma[0;32m[0m |
6 | value4 :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m}->[32ma[0;32m[0m | 6 | value4 :: [32mforall a . [32m'Num [32m[32ma[0;32m[0;32m[0;32m => [32ma[0;32m[0m |
7 | value5 :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m}->[32ma[0;32m[0m | 7 | value5 :: [32mforall a . [32m'Num [32m[32ma[0;32m[0;32m[0;32m => [32ma[0;32m[0m |
8 | ------------ tooltips | 8 | ------------ tooltips |
9 | testdata/language-features/basic-values/let01.lc 1:1-1:7 {a} -> {_ : Num a}->a | 9 | testdata/language-features/basic-values/let01.lc 1:1-1:7 forall a . Num a => a |
10 | testdata/language-features/basic-values/let01.lc 1:18-1:19 b_ | 10 | testdata/language-features/basic-values/let01.lc 1:18-1:19 _b |
11 | testdata/language-features/basic-values/let01.lc 1:23-1:24 b_ | 11 | testdata/language-features/basic-values/let01.lc 1:23-1:24 _b |
12 | testdata/language-features/basic-values/let01.lc 3:1-3:7 {a} -> {_ : Num a}->a | 12 | testdata/language-features/basic-values/let01.lc 3:1-3:7 forall a . Num a => a |
13 | testdata/language-features/basic-values/let01.lc 4:11-4:12 b_ | 13 | testdata/language-features/basic-values/let01.lc 4:11-4:12 _b |
14 | testdata/language-features/basic-values/let01.lc 5:6-5:7 b_ | 14 | testdata/language-features/basic-values/let01.lc 5:6-5:7 _b |
15 | testdata/language-features/basic-values/let01.lc 7:1-7:7 {a} -> {_ : Num a}->a | 15 | testdata/language-features/basic-values/let01.lc 7:1-7:7 forall a . Num a => a |
16 | testdata/language-features/basic-values/let01.lc 8:11-8:12 b_ | 16 | testdata/language-features/basic-values/let01.lc 8:11-8:12 _b |
17 | testdata/language-features/basic-values/let01.lc 9:11-9:14 Char | 17 | testdata/language-features/basic-values/let01.lc 9:11-9:14 Char |
18 | testdata/language-features/basic-values/let01.lc 10:6-10:7 b_ | 18 | testdata/language-features/basic-values/let01.lc 10:6-10:7 _b |
19 | testdata/language-features/basic-values/let01.lc 12:1-12:7 {a} -> {_ : Num a}->a | 19 | testdata/language-features/basic-values/let01.lc 12:1-12:7 forall a . Num a => a |
20 | testdata/language-features/basic-values/let01.lc 12:18-12:19 b_ | 20 | testdata/language-features/basic-values/let01.lc 12:18-12:19 _b |
21 | testdata/language-features/basic-values/let01.lc 13:13-13:14 b_ | 21 | testdata/language-features/basic-values/let01.lc 13:13-13:14 _b |
22 | testdata/language-features/basic-values/let01.lc 15:1-15:7 {a} -> {_ : Num a}->a | 22 | testdata/language-features/basic-values/let01.lc 15:1-15:7 forall a . Num a => a |
23 | testdata/language-features/basic-values/let01.lc 15:18-15:19 b_ | 23 | testdata/language-features/basic-values/let01.lc 15:18-15:19 _b |
24 | testdata/language-features/basic-values/let01.lc 16:18-16:19 b_ | 24 | testdata/language-features/basic-values/let01.lc 16:18-16:19 _b |
25 | testdata/language-features/basic-values/let01.lc 17:13-17:14 b_ | 25 | testdata/language-features/basic-values/let01.lc 17:13-17:14 _b |
diff --git a/testdata/language-features/basic-values/let02.out b/testdata/language-features/basic-values/let02.out index 95f6541e..bee7d640 100644 --- a/testdata/language-features/basic-values/let02.out +++ b/testdata/language-features/basic-values/let02.out | |||
@@ -7,7 +7,7 @@ testdata/language-features/basic-values/let02.lc 2:11-2:13 () | |||
7 | testdata/language-features/basic-values/let02.lc 3:19-3:22 Char | 7 | testdata/language-features/basic-values/let02.lc 3:19-3:22 Char |
8 | testdata/language-features/basic-values/let02.lc 3:26-3:28 () | 8 | testdata/language-features/basic-values/let02.lc 3:26-3:28 () |
9 | testdata/language-features/basic-values/let02.lc 5:17-5:19 () | 9 | testdata/language-features/basic-values/let02.lc 5:17-5:19 () |
10 | testdata/language-features/basic-values/let02.lc 6:17-6:18 b_ | 10 | testdata/language-features/basic-values/let02.lc 6:17-6:18 _b |
11 | testdata/language-features/basic-values/let02.lc 7:17-7:24 String | 11 | testdata/language-features/basic-values/let02.lc 7:17-7:24 String |
12 | testdata/language-features/basic-values/let02.lc 8:12-8:15 Char | 12 | testdata/language-features/basic-values/let02.lc 8:12-8:15 Char |
13 | testdata/language-features/basic-values/let02.lc 9:6-9:8 () | 13 | testdata/language-features/basic-values/let02.lc 9:6-9:8 () |
diff --git a/testdata/language-features/basic-values/literal01.out b/testdata/language-features/basic-values/literal01.out index dd36d512..0f7b3dbf 100644 --- a/testdata/language-features/basic-values/literal01.out +++ b/testdata/language-features/basic-values/literal01.out | |||
@@ -1,20 +1,20 @@ | |||
1 | main is not found | 1 | main is not found |
2 | ------------ trace | 2 | ------------ trace |
3 | intValue1 :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m}->[32ma[0;32m[0m | 3 | intValue1 :: [32mforall a . [32m'Num [32m[32ma[0;32m[0;32m[0;32m => [32ma[0;32m[0m |
4 | intValue2 :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m}->[32ma[0;32m[0m | 4 | intValue2 :: [32mforall a . [32m'Num [32m[32ma[0;32m[0;32m[0;32m => [32ma[0;32m[0m |
5 | intValue3 :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m}->[32ma[0;32m[0m | 5 | intValue3 :: [32mforall a . [32m'Num [32m[32ma[0;32m[0;32m[0;32m => [32ma[0;32m[0m |
6 | floatValue1 :: [32m'Float[0m | 6 | floatValue1 :: [32m'Float[0m |
7 | floatValue2 :: [32m'Float[0m | 7 | floatValue2 :: [32m'Float[0m |
8 | charValue :: [32m'Char[0m | 8 | charValue :: [32m'Char[0m |
9 | stringValue1 :: [32m'String[0m | 9 | stringValue1 :: [32m'String[0m |
10 | stringValue2 :: [32m'String[0m | 10 | stringValue2 :: [32m'String[0m |
11 | ------------ tooltips | 11 | ------------ tooltips |
12 | testdata/language-features/basic-values/literal01.lc 1:1-1:10 {a} -> {_ : Num a}->a | 12 | testdata/language-features/basic-values/literal01.lc 1:1-1:10 forall a . Num a => a |
13 | testdata/language-features/basic-values/literal01.lc 1:13-1:14 b_ | 13 | testdata/language-features/basic-values/literal01.lc 1:13-1:14 _b |
14 | testdata/language-features/basic-values/literal01.lc 2:1-2:10 {a} -> {_ : Num a}->a | 14 | testdata/language-features/basic-values/literal01.lc 2:1-2:10 forall a . Num a => a |
15 | testdata/language-features/basic-values/literal01.lc 2:13-2:14 b_ | 15 | testdata/language-features/basic-values/literal01.lc 2:13-2:14 _b |
16 | testdata/language-features/basic-values/literal01.lc 3:1-3:10 {a} -> {_ : Num a}->a | 16 | testdata/language-features/basic-values/literal01.lc 3:1-3:10 forall a . Num a => a |
17 | testdata/language-features/basic-values/literal01.lc 3:13-3:18 b_ | 17 | testdata/language-features/basic-values/literal01.lc 3:13-3:18 _b |
18 | testdata/language-features/basic-values/literal01.lc 5:1-5:12 Float | 18 | testdata/language-features/basic-values/literal01.lc 5:1-5:12 Float |
19 | testdata/language-features/basic-values/literal01.lc 5:15-5:18 Float | 19 | testdata/language-features/basic-values/literal01.lc 5:15-5:18 Float |
20 | testdata/language-features/basic-values/literal01.lc 6:1-6:12 Float | 20 | testdata/language-features/basic-values/literal01.lc 6:1-6:12 Float |
diff --git a/testdata/language-features/basic-values/operator01.out b/testdata/language-features/basic-values/operator01.out index 78e55853..597a3a00 100644 --- a/testdata/language-features/basic-values/operator01.out +++ b/testdata/language-features/basic-values/operator01.out | |||
@@ -1,15 +1,15 @@ | |||
1 | main is not found | 1 | main is not found |
2 | ------------ trace | 2 | ------------ trace |
3 | #$# :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> [32ma[0;32m -> [32mb[0;32m->()[0m | 3 | #$# :: [32mforall a b . [32ma[0;32m -> [32mb[0;32m -> ()[0m |
4 | $$# :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> [32ma[0;32m -> [32mb[0;32m->()[0m | 4 | $$# :: [32mforall a b . [32ma[0;32m -> [32mb[0;32m -> ()[0m |
5 | $$$# :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> [32ma[0;32m -> [32mb[0;32m->()[0m | 5 | $$$# :: [32mforall a b . [32ma[0;32m -> [32mb[0;32m -> ()[0m |
6 | $$$ :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> [32ma[0;32m -> [32mb[0;32m->()[0m | 6 | $$$ :: [32mforall a b . [32ma[0;32m -> [32mb[0;32m -> ()[0m |
7 | ------------ tooltips | 7 | ------------ tooltips |
8 | testdata/language-features/basic-values/operator01.lc 1:3-1:6 {a} -> {b} -> a -> b->() | 8 | testdata/language-features/basic-values/operator01.lc 1:3-1:6 forall a b . a -> b -> () |
9 | testdata/language-features/basic-values/operator01.lc 1:11-1:13 () | 9 | testdata/language-features/basic-values/operator01.lc 1:11-1:13 () |
10 | testdata/language-features/basic-values/operator01.lc 3:3-3:6 {a} -> {b} -> a -> b->() | 10 | testdata/language-features/basic-values/operator01.lc 3:3-3:6 forall a b . a -> b -> () |
11 | testdata/language-features/basic-values/operator01.lc 3:8-3:10 () | 11 | testdata/language-features/basic-values/operator01.lc 3:8-3:10 () |
12 | testdata/language-features/basic-values/operator01.lc 5:3-5:7 {a} -> {b} -> a -> b->() | 12 | testdata/language-features/basic-values/operator01.lc 5:3-5:7 forall a b . a -> b -> () |
13 | testdata/language-features/basic-values/operator01.lc 6:3-6:5 () | 13 | testdata/language-features/basic-values/operator01.lc 6:3-6:5 () |
14 | testdata/language-features/basic-values/operator01.lc 8:3-8:6 {a} -> {b} -> a -> b->() | 14 | testdata/language-features/basic-values/operator01.lc 8:3-8:6 forall a b . a -> b -> () |
15 | testdata/language-features/basic-values/operator01.lc 8:11-8:13 () | 15 | testdata/language-features/basic-values/operator01.lc 8:11-8:13 () |
diff --git a/testdata/language-features/basic-values/operator02.reject.out b/testdata/language-features/basic-values/operator02.reject.out index 8e5ed72c..93092e52 100644 --- a/testdata/language-features/basic-values/operator02.reject.out +++ b/testdata/language-features/basic-values/operator02.reject.out | |||
@@ -5,9 +5,9 @@ a #$# b = () | |||
5 | a #$# b = () | 5 | a #$# b = () |
6 | ^^^ | 6 | ^^^ |
7 | ------------ trace | 7 | ------------ trace |
8 | #$# :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> [32ma[0;32m -> [32mb[0;32m->()[0m | 8 | #$# :: [32mforall a b . [32ma[0;32m -> [32mb[0;32m -> ()[0m |
9 | fun :: [32m{[32ma[0;32m} -> [32ma[0;32m->()[0m | 9 | fun :: [32mforall a . [32ma[0;32m -> ()[0m |
10 | #$# :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> [32ma[0;32m -> [32mb[0;32m->()[0m | 10 | #$# :: [32mforall a b . [32ma[0;32m -> [32mb[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 | ^^^ |
@@ -15,9 +15,9 @@ a #$# b = () | |||
15 | a #$# b = () | 15 | a #$# b = () |
16 | ^^^ | 16 | ^^^ |
17 | ------------ tooltips | 17 | ------------ tooltips |
18 | 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 forall a b . a -> b -> () |
19 | 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 () |
20 | testdata/language-features/basic-values/operator02.reject.lc 2:1-2:4 {a} -> a->() | 20 | testdata/language-features/basic-values/operator02.reject.lc 2:1-2:4 forall a . a -> () |
21 | testdata/language-features/basic-values/operator02.reject.lc 2:9-2:11 () | 21 | testdata/language-features/basic-values/operator02.reject.lc 2:9-2:11 () |
22 | testdata/language-features/basic-values/operator02.reject.lc 3:3-3:6 {a} -> {b} -> a -> b->() | 22 | testdata/language-features/basic-values/operator02.reject.lc 3:3-3:6 forall a b . a -> b -> () |
23 | testdata/language-features/basic-values/operator02.reject.lc 3:11-3:13 () | 23 | testdata/language-features/basic-values/operator02.reject.lc 3:11-3:13 () |
diff --git a/testdata/language-features/basic-values/operator05.out b/testdata/language-features/basic-values/operator05.out index 16c940fc..30b3fcac 100644 --- a/testdata/language-features/basic-values/operator05.out +++ b/testdata/language-features/basic-values/operator05.out | |||
@@ -5,7 +5,7 @@ value1 :: [32m()[0m | |||
5 | testdata/language-features/basic-values/operator05.lc 1:1-1:7 () | 5 | testdata/language-features/basic-values/operator05.lc 1:1-1:7 () |
6 | testdata/language-features/basic-values/operator05.lc 1:24-1:26 () | 6 | testdata/language-features/basic-values/operator05.lc 1:24-1:26 () |
7 | testdata/language-features/basic-values/operator05.lc 2:13-2:15 () | 7 | testdata/language-features/basic-values/operator05.lc 2:13-2:15 () |
8 | testdata/language-features/basic-values/operator05.lc 2:13-2:19 a_->() | 8 | testdata/language-features/basic-values/operator05.lc 2:13-2:19 _a -> () |
9 | testdata/language-features/basic-values/operator05.lc 2:13-2:22 () | 9 | testdata/language-features/basic-values/operator05.lc 2:13-2:22 () |
10 | testdata/language-features/basic-values/operator05.lc 2:16-2:19 {a} -> {b} -> a -> b->() | 10 | testdata/language-features/basic-values/operator05.lc 2:16-2:19 forall a b . a -> b -> () |
11 | testdata/language-features/basic-values/operator05.lc 2:20-2:22 () | 11 | testdata/language-features/basic-values/operator05.lc 2:20-2:22 () |
diff --git a/testdata/language-features/basic-values/operator06.out b/testdata/language-features/basic-values/operator06.out index c37005c3..4fa5381e 100644 --- a/testdata/language-features/basic-values/operator06.out +++ b/testdata/language-features/basic-values/operator06.out | |||
@@ -4,8 +4,8 @@ value1 :: [32m()[0m | |||
4 | ------------ tooltips | 4 | ------------ tooltips |
5 | testdata/language-features/basic-values/operator06.lc 1:1-1:7 () | 5 | testdata/language-features/basic-values/operator06.lc 1:1-1:7 () |
6 | testdata/language-features/basic-values/operator06.lc 1:10-1:12 () | 6 | testdata/language-features/basic-values/operator06.lc 1:10-1:12 () |
7 | testdata/language-features/basic-values/operator06.lc 1:10-1:16 a_->() | 7 | testdata/language-features/basic-values/operator06.lc 1:10-1:16 _a -> () |
8 | testdata/language-features/basic-values/operator06.lc 1:10-1:19 () | 8 | testdata/language-features/basic-values/operator06.lc 1:10-1:19 () |
9 | testdata/language-features/basic-values/operator06.lc 1:13-1:16 {a} -> {b} -> a -> b->() | 9 | testdata/language-features/basic-values/operator06.lc 1:13-1:16 forall a b . a -> b -> () |
10 | testdata/language-features/basic-values/operator06.lc 1:17-1:19 () | 10 | testdata/language-features/basic-values/operator06.lc 1:17-1:19 () |
11 | testdata/language-features/basic-values/operator06.lc 2:19-2:21 () | 11 | testdata/language-features/basic-values/operator06.lc 2:19-2:21 () |
diff --git a/testdata/language-features/basic-values/shadowing01.out b/testdata/language-features/basic-values/shadowing01.out index dad7b72b..8956a8a3 100644 --- a/testdata/language-features/basic-values/shadowing01.out +++ b/testdata/language-features/basic-values/shadowing01.out | |||
@@ -5,7 +5,7 @@ value :: [32m'Char[0m | |||
5 | testdata/language-features/basic-values/shadowing01.lc 1:1-1:6 Char | 5 | testdata/language-features/basic-values/shadowing01.lc 1:1-1:6 Char |
6 | testdata/language-features/basic-values/shadowing01.lc 2:11-2:14 Char | 6 | testdata/language-features/basic-values/shadowing01.lc 2:11-2:14 Char |
7 | testdata/language-features/basic-values/shadowing01.lc 3:11-3:18 String | 7 | testdata/language-features/basic-values/shadowing01.lc 3:11-3:18 String |
8 | testdata/language-features/basic-values/shadowing01.lc 5:17-5:18 b_ | 8 | testdata/language-features/basic-values/shadowing01.lc 5:17-5:18 _b |
9 | testdata/language-features/basic-values/shadowing01.lc 6:17-6:21 Float | 9 | testdata/language-features/basic-values/shadowing01.lc 6:17-6:21 Float |
10 | testdata/language-features/basic-values/shadowing01.lc 7:25-7:27 () | 10 | testdata/language-features/basic-values/shadowing01.lc 7:25-7:27 () |
11 | testdata/language-features/basic-values/shadowing01.lc 8:25-8:28 Char | 11 | testdata/language-features/basic-values/shadowing01.lc 8:25-8:28 Char |
diff --git a/testdata/language-features/basic-values/shadowing02.out b/testdata/language-features/basic-values/shadowing02.out index a3acdba8..201f5f75 100644 --- a/testdata/language-features/basic-values/shadowing02.out +++ b/testdata/language-features/basic-values/shadowing02.out | |||
@@ -1,23 +1,23 @@ | |||
1 | main is not found | 1 | main is not found |
2 | ------------ trace | 2 | ------------ trace |
3 | c :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m}->[32ma[0;32m[0m | 3 | c :: [32mforall a . [32m'Num [32m[32ma[0;32m[0;32m[0;32m => [32ma[0;32m[0m |
4 | world :: [32m'String[0m | 4 | world :: [32m'String[0m |
5 | value2 :: [32m'Char[0m | 5 | value2 :: [32m'Char[0m |
6 | ------------ tooltips | 6 | ------------ tooltips |
7 | testdata/language-features/basic-values/shadowing02.lc 1:1-1:2 {a} -> {_ : Num a}->a | 7 | testdata/language-features/basic-values/shadowing02.lc 1:1-1:2 forall a . Num a => a |
8 | testdata/language-features/basic-values/shadowing02.lc 1:5-1:6 b_ | 8 | testdata/language-features/basic-values/shadowing02.lc 1:5-1:6 _b |
9 | testdata/language-features/basic-values/shadowing02.lc 2:1-2:6 String | 9 | testdata/language-features/basic-values/shadowing02.lc 2:1-2:6 String |
10 | testdata/language-features/basic-values/shadowing02.lc 2:9-2:16 String | 10 | testdata/language-features/basic-values/shadowing02.lc 2:9-2:16 String |
11 | testdata/language-features/basic-values/shadowing02.lc 3:1-3:7 Char | 11 | testdata/language-features/basic-values/shadowing02.lc 3:1-3:7 Char |
12 | testdata/language-features/basic-values/shadowing02.lc 4:11-4:14 Char | 12 | testdata/language-features/basic-values/shadowing02.lc 4:11-4:14 Char |
13 | testdata/language-features/basic-values/shadowing02.lc 5:11-5:18 String | 13 | testdata/language-features/basic-values/shadowing02.lc 5:11-5:18 String |
14 | testdata/language-features/basic-values/shadowing02.lc 6:11-6:14 b_ | 14 | testdata/language-features/basic-values/shadowing02.lc 6:11-6:14 _b |
15 | testdata/language-features/basic-values/shadowing02.lc 8:17-8:18 b_ | 15 | testdata/language-features/basic-values/shadowing02.lc 8:17-8:18 _b |
16 | testdata/language-features/basic-values/shadowing02.lc 9:17-9:21 Float | 16 | testdata/language-features/basic-values/shadowing02.lc 9:17-9:21 Float |
17 | testdata/language-features/basic-values/shadowing02.lc 10:25-10:27 () | 17 | testdata/language-features/basic-values/shadowing02.lc 10:25-10:27 () |
18 | testdata/language-features/basic-values/shadowing02.lc 11:25-11:28 Char | 18 | testdata/language-features/basic-values/shadowing02.lc 11:25-11:28 Char |
19 | testdata/language-features/basic-values/shadowing02.lc 12:25-12:29 Float | 19 | testdata/language-features/basic-values/shadowing02.lc 12:25-12:29 Float |
20 | testdata/language-features/basic-values/shadowing02.lc 13:25-13:26 {a} -> {_ : Num a}->a | 20 | testdata/language-features/basic-values/shadowing02.lc 13:25-13:26 forall a . Num a => a |
21 | testdata/language-features/basic-values/shadowing02.lc 14:20-14:25 String | 21 | testdata/language-features/basic-values/shadowing02.lc 14:20-14:25 String |
22 | testdata/language-features/basic-values/shadowing02.lc 15:14-15:16 () | 22 | testdata/language-features/basic-values/shadowing02.lc 15:14-15:16 () |
23 | testdata/language-features/basic-values/shadowing02.lc 16:6-16:9 Char | 23 | testdata/language-features/basic-values/shadowing02.lc 16:6-16:9 Char |
diff --git a/testdata/language-features/basic-values/shadowing03.out b/testdata/language-features/basic-values/shadowing03.out index f4b60d48..23d28466 100644 --- a/testdata/language-features/basic-values/shadowing03.out +++ b/testdata/language-features/basic-values/shadowing03.out | |||
@@ -1,6 +1,6 @@ | |||
1 | main is not found | 1 | main is not found |
2 | ------------ trace | 2 | ------------ trace |
3 | x :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> [32ma[0;32m -> [32mb[0;32m->()[0m | 3 | x :: [32mforall a b . [32ma[0;32m -> [32mb[0;32m -> ()[0m |
4 | ------------ tooltips | 4 | ------------ tooltips |
5 | testdata/language-features/basic-values/shadowing03.lc 1:1-1:2 {a} -> {b} -> a -> b->() | 5 | testdata/language-features/basic-values/shadowing03.lc 1:1-1:2 forall a b . a -> b -> () |
6 | testdata/language-features/basic-values/shadowing03.lc 1:9-1:11 () | 6 | testdata/language-features/basic-values/shadowing03.lc 1:9-1:11 () |
diff --git a/testdata/language-features/basic-values/shadowing04.out b/testdata/language-features/basic-values/shadowing04.out index b1a26817..70a54caa 100644 --- a/testdata/language-features/basic-values/shadowing04.out +++ b/testdata/language-features/basic-values/shadowing04.out | |||
@@ -1,6 +1,6 @@ | |||
1 | main is not found | 1 | main is not found |
2 | ------------ trace | 2 | ------------ trace |
3 | __ :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> [32ma[0;32m -> [32mb[0;32m->()[0m | 3 | __ :: [32mforall a b . [32ma[0;32m -> [32mb[0;32m -> ()[0m |
4 | ------------ tooltips | 4 | ------------ tooltips |
5 | testdata/language-features/basic-values/shadowing04.lc 1:1-1:3 {a} -> {b} -> a -> b->() | 5 | testdata/language-features/basic-values/shadowing04.lc 1:1-1:3 forall a b . a -> b -> () |
6 | testdata/language-features/basic-values/shadowing04.lc 1:11-1:13 () | 6 | testdata/language-features/basic-values/shadowing04.lc 1:11-1:13 () |
diff --git a/testdata/language-features/basic-values/tuple02.out b/testdata/language-features/basic-values/tuple02.out index 90605d50..649fc85f 100644 --- a/testdata/language-features/basic-values/tuple02.out +++ b/testdata/language-features/basic-values/tuple02.out | |||
@@ -1,12 +1,12 @@ | |||
1 | main is not found | 1 | main is not found |
2 | ------------ trace | 2 | ------------ trace |
3 | tuple1 :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m}->([32ma[0;32m, 'Float, 'Char, 'String, ())[0m | 3 | tuple1 :: [32mforall a . [32m'Num [32m[32ma[0;32m[0;32m[0;32m => ([32ma[0;32m, 'Float, 'Char, 'String, ())[0m |
4 | tuple2 :: [32m((), ())[0m | 4 | tuple2 :: [32m((), ())[0m |
5 | tuple3 :: [32m(('String, 'Char), ())[0m | 5 | tuple3 :: [32m(('String, 'Char), ())[0m |
6 | ------------ tooltips | 6 | ------------ tooltips |
7 | testdata/language-features/basic-values/tuple02.lc 1:1-1:7 {a} -> {_ : Num a}->(a, Float, Char, String, ()) | 7 | testdata/language-features/basic-values/tuple02.lc 1:1-1:7 forall a . Num a => (a, Float, Char, String, ()) |
8 | testdata/language-features/basic-values/tuple02.lc 1:10-1:33 (b_, Float, Char, String, ()) | 8 | testdata/language-features/basic-values/tuple02.lc 1:10-1:33 (_b, Float, Char, String, ()) |
9 | testdata/language-features/basic-values/tuple02.lc 1:11-1:12 b_ | 9 | testdata/language-features/basic-values/tuple02.lc 1:11-1:12 _b |
10 | testdata/language-features/basic-values/tuple02.lc 1:13-1:16 Float | 10 | testdata/language-features/basic-values/tuple02.lc 1:13-1:16 Float |
11 | testdata/language-features/basic-values/tuple02.lc 1:13-1:32 (Float, Char, String, ()) | 11 | testdata/language-features/basic-values/tuple02.lc 1:13-1:32 (Float, Char, String, ()) |
12 | testdata/language-features/basic-values/tuple02.lc 1:17-1:20 Char | 12 | testdata/language-features/basic-values/tuple02.lc 1:17-1:20 Char |
diff --git a/testdata/language-features/basic-values/typesig03.out b/testdata/language-features/basic-values/typesig03.out index 720df136..68d312c9 100644 --- a/testdata/language-features/basic-values/typesig03.out +++ b/testdata/language-features/basic-values/typesig03.out | |||
@@ -1,23 +1,23 @@ | |||
1 | main is not found | 1 | main is not found |
2 | ------------ trace | 2 | ------------ trace |
3 | fun1 :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> {[32mc[0;32m} -> [32ma[0;32m -> [32mb[0;32m -> [32mc[0;32m->()[0m | 3 | fun1 :: [32mforall a b c . [32ma[0;32m -> [32mb[0;32m -> [32mc[0;32m -> ()[0m |
4 | fun2 :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> {[32mc[0;32m} -> [32ma[0;32m -> [32mb[0;32m -> [32mc[0;32m->()[0m | 4 | fun2 :: [32mforall a b c . [32ma[0;32m -> [32mb[0;32m -> [32mc[0;32m -> ()[0m |
5 | ------------ tooltips | 5 | ------------ tooltips |
6 | testdata/language-features/basic-values/typesig03.lc 1:9-1:10 f_ | 6 | testdata/language-features/basic-values/typesig03.lc 1:9-1:10 _f |
7 | testdata/language-features/basic-values/typesig03.lc 1:9-1:26 Type | 7 | testdata/language-features/basic-values/typesig03.lc 1:9-1:26 Type |
8 | testdata/language-features/basic-values/typesig03.lc 1:14-1:15 e_ | 8 | testdata/language-features/basic-values/typesig03.lc 1:14-1:15 _e |
9 | testdata/language-features/basic-values/typesig03.lc 1:14-1:26 Type | 9 | testdata/language-features/basic-values/typesig03.lc 1:14-1:26 Type |
10 | testdata/language-features/basic-values/typesig03.lc 1:19-1:20 d_ | 10 | testdata/language-features/basic-values/typesig03.lc 1:19-1:20 _d |
11 | testdata/language-features/basic-values/typesig03.lc 1:19-1:26 Type | 11 | testdata/language-features/basic-values/typesig03.lc 1:19-1:26 Type |
12 | testdata/language-features/basic-values/typesig03.lc 1:24-1:26 Type | 12 | testdata/language-features/basic-values/typesig03.lc 1:24-1:26 Type |
13 | testdata/language-features/basic-values/typesig03.lc 2:1-2:5 {a} -> {b} -> {c} -> a -> b -> c->() | 13 | testdata/language-features/basic-values/typesig03.lc 2:1-2:5 forall a b c . a -> b -> c -> () |
14 | testdata/language-features/basic-values/typesig03.lc 2:14-2:16 () | c_ -> b_ -> a_->() | c_ -> b_->() | c_->() | 14 | testdata/language-features/basic-values/typesig03.lc 2:14-2:16 () | _c -> () | _c -> _b -> () | _c -> _b -> _a -> () |
15 | testdata/language-features/basic-values/typesig03.lc 4:7-4:8 f_ | 15 | testdata/language-features/basic-values/typesig03.lc 4:7-4:8 _f |
16 | testdata/language-features/basic-values/typesig03.lc 4:7-4:18 Type | 16 | testdata/language-features/basic-values/typesig03.lc 4:7-4:18 Type |
17 | testdata/language-features/basic-values/typesig03.lc 4:10-4:11 e_ | 17 | testdata/language-features/basic-values/typesig03.lc 4:10-4:11 _e |
18 | testdata/language-features/basic-values/typesig03.lc 4:10-4:18 Type | 18 | testdata/language-features/basic-values/typesig03.lc 4:10-4:18 Type |
19 | testdata/language-features/basic-values/typesig03.lc 4:13-4:14 d_ | 19 | testdata/language-features/basic-values/typesig03.lc 4:13-4:14 _d |
20 | testdata/language-features/basic-values/typesig03.lc 4:13-4:18 Type | 20 | testdata/language-features/basic-values/typesig03.lc 4:13-4:18 Type |
21 | testdata/language-features/basic-values/typesig03.lc 4:16-4:18 Type | 21 | testdata/language-features/basic-values/typesig03.lc 4:16-4:18 Type |
22 | testdata/language-features/basic-values/typesig03.lc 5:1-5:5 {a} -> {b} -> {c} -> a -> b -> c->() | 22 | testdata/language-features/basic-values/typesig03.lc 5:1-5:5 forall a b c . a -> b -> c -> () |
23 | testdata/language-features/basic-values/typesig03.lc 5:14-5:16 () | c_ -> b_ -> a_->() | c_ -> b_->() | c_->() | 23 | testdata/language-features/basic-values/typesig03.lc 5:14-5:16 () | _c -> () | _c -> _b -> () | _c -> _b -> _a -> () |
diff --git a/testdata/language-features/basic-values/typesig04.out b/testdata/language-features/basic-values/typesig04.out index 9d7d2072..3059a3ac 100644 --- a/testdata/language-features/basic-values/typesig04.out +++ b/testdata/language-features/basic-values/typesig04.out | |||
@@ -1,21 +1,21 @@ | |||
1 | main is not found | 1 | main is not found |
2 | ------------ trace | 2 | ------------ trace |
3 | fun1 :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> {[32mc[0;32m} -> [32ma[0;32m -> ([32mb[0;32m->[32mc[0;32m)->()[0m | 3 | fun1 :: [32mforall a b c . [32ma[0;32m -> ([32mb[0;32m -> [32mc[0;32m) -> ()[0m |
4 | fun2 :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> {[32mc[0;32m} -> [32ma[0;32m -> ([32mb[0;32m->[32mc[0;32m)->()[0m | 4 | fun2 :: [32mforall a b c . [32ma[0;32m -> ([32mb[0;32m -> [32mc[0;32m) -> ()[0m |
5 | ------------ tooltips | 5 | ------------ tooltips |
6 | testdata/language-features/basic-values/typesig04.lc 1:9-1:10 f_ | 6 | testdata/language-features/basic-values/typesig04.lc 1:9-1:10 _f |
7 | testdata/language-features/basic-values/typesig04.lc 1:9-1:28 Type | 7 | testdata/language-features/basic-values/typesig04.lc 1:9-1:28 Type |
8 | testdata/language-features/basic-values/typesig04.lc 1:14-1:28 Type | 8 | testdata/language-features/basic-values/typesig04.lc 1:14-1:28 Type |
9 | testdata/language-features/basic-values/typesig04.lc 1:15-1:16 e_ | 9 | testdata/language-features/basic-values/typesig04.lc 1:15-1:16 _e |
10 | testdata/language-features/basic-values/typesig04.lc 1:20-1:21 Type | d_ | 10 | testdata/language-features/basic-values/typesig04.lc 1:20-1:21 Type | _d |
11 | testdata/language-features/basic-values/typesig04.lc 1:26-1:28 Type | 11 | testdata/language-features/basic-values/typesig04.lc 1:26-1:28 Type |
12 | testdata/language-features/basic-values/typesig04.lc 2:1-2:5 {a} -> {b} -> {c} -> a -> (b->c)->() | 12 | testdata/language-features/basic-values/typesig04.lc 2:1-2:5 forall a b c . a -> (b -> c) -> () |
13 | testdata/language-features/basic-values/typesig04.lc 2:12-2:14 () | (c_->b_)->() | c_ -> (b_->a_)->() | 13 | testdata/language-features/basic-values/typesig04.lc 2:12-2:14 () | (_c -> _b) -> () | _c -> (_b -> _a) -> () |
14 | testdata/language-features/basic-values/typesig04.lc 4:7-4:8 f_ | 14 | testdata/language-features/basic-values/typesig04.lc 4:7-4:8 _f |
15 | testdata/language-features/basic-values/typesig04.lc 4:7-4:20 Type | 15 | testdata/language-features/basic-values/typesig04.lc 4:7-4:20 Type |
16 | testdata/language-features/basic-values/typesig04.lc 4:10-4:20 Type | 16 | testdata/language-features/basic-values/typesig04.lc 4:10-4:20 Type |
17 | testdata/language-features/basic-values/typesig04.lc 4:11-4:12 e_ | 17 | testdata/language-features/basic-values/typesig04.lc 4:11-4:12 _e |
18 | testdata/language-features/basic-values/typesig04.lc 4:14-4:15 Type | d_ | 18 | testdata/language-features/basic-values/typesig04.lc 4:14-4:15 Type | _d |
19 | testdata/language-features/basic-values/typesig04.lc 4:18-4:20 Type | 19 | testdata/language-features/basic-values/typesig04.lc 4:18-4:20 Type |
20 | testdata/language-features/basic-values/typesig04.lc 5:1-5:5 {a} -> {b} -> {c} -> a -> (b->c)->() | 20 | testdata/language-features/basic-values/typesig04.lc 5:1-5:5 forall a b c . a -> (b -> c) -> () |
21 | testdata/language-features/basic-values/typesig04.lc 5:12-5:14 () | (c_->b_)->() | c_ -> (b_->a_)->() | 21 | testdata/language-features/basic-values/typesig04.lc 5:12-5:14 () | (_c -> _b) -> () | _c -> (_b -> _a) -> () |
diff --git a/testdata/language-features/basic-values/typesig05.out b/testdata/language-features/basic-values/typesig05.out index a2d2e91d..1e8fa0f6 100644 --- a/testdata/language-features/basic-values/typesig05.out +++ b/testdata/language-features/basic-values/typesig05.out | |||
@@ -1,41 +1,41 @@ | |||
1 | main is not found | 1 | main is not found |
2 | ------------ trace | 2 | ------------ trace |
3 | funL :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> [32ma[0;32m -> [32mb[0;32m->[32ma[0;32m[0m | 3 | funL :: [32mforall a b . [32ma[0;32m -> [32mb[0;32m -> [32ma[0;32m[0m |
4 | funR :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> [32ma[0;32m -> [32mb[0;32m->[32mb[0;32m[0m | 4 | funR :: [32mforall a b . [32ma[0;32m -> [32mb[0;32m -> [32mb[0;32m[0m |
5 | value1 :: [32m'Char[0m | 5 | value1 :: [32m'Char[0m |
6 | value2 :: [32m'String[0m | 6 | value2 :: [32m'String[0m |
7 | value3 :: [32m'Char[0m | 7 | value3 :: [32m'Char[0m |
8 | value4 :: [32m'String[0m | 8 | value4 :: [32m'String[0m |
9 | ------------ tooltips | 9 | ------------ tooltips |
10 | testdata/language-features/basic-values/typesig05.lc 1:1-1:5 {a} -> {b} -> a -> b->a | 10 | testdata/language-features/basic-values/typesig05.lc 1:1-1:5 forall a b . a -> b -> a |
11 | testdata/language-features/basic-values/typesig05.lc 1:12-1:13 d_ | 11 | testdata/language-features/basic-values/typesig05.lc 1:12-1:13 _d |
12 | testdata/language-features/basic-values/typesig05.lc 2:1-2:5 {a} -> {b} -> a -> b->b | 12 | testdata/language-features/basic-values/typesig05.lc 2:1-2:5 forall a b . a -> b -> b |
13 | testdata/language-features/basic-values/typesig05.lc 2:12-2:13 b_ | 13 | testdata/language-features/basic-values/typesig05.lc 2:12-2:13 _b |
14 | testdata/language-features/basic-values/typesig05.lc 4:1-4:7 Char | 14 | testdata/language-features/basic-values/typesig05.lc 4:1-4:7 Char |
15 | testdata/language-features/basic-values/typesig05.lc 4:10-4:14 {a} -> {b} -> a -> b->a | 15 | testdata/language-features/basic-values/typesig05.lc 4:10-4:14 forall a b . a -> b -> a |
16 | testdata/language-features/basic-values/typesig05.lc 4:10-4:18 a_->Char | 16 | testdata/language-features/basic-values/typesig05.lc 4:10-4:18 _a -> Char |
17 | testdata/language-features/basic-values/typesig05.lc 4:10-4:22 Char | 17 | testdata/language-features/basic-values/typesig05.lc 4:10-4:22 Char |
18 | testdata/language-features/basic-values/typesig05.lc 4:15-4:18 Char | 18 | testdata/language-features/basic-values/typesig05.lc 4:15-4:18 Char |
19 | testdata/language-features/basic-values/typesig05.lc 4:19-4:22 String | 19 | testdata/language-features/basic-values/typesig05.lc 4:19-4:22 String |
20 | testdata/language-features/basic-values/typesig05.lc 4:26-4:30 Type | 20 | testdata/language-features/basic-values/typesig05.lc 4:26-4:30 Type |
21 | testdata/language-features/basic-values/typesig05.lc 5:1-5:7 String | 21 | testdata/language-features/basic-values/typesig05.lc 5:1-5:7 String |
22 | testdata/language-features/basic-values/typesig05.lc 5:10-5:14 {a} -> {b} -> a -> b->b | 22 | testdata/language-features/basic-values/typesig05.lc 5:10-5:14 forall a b . a -> b -> b |
23 | testdata/language-features/basic-values/typesig05.lc 5:10-5:18 a_->a_ | 23 | testdata/language-features/basic-values/typesig05.lc 5:10-5:18 _a -> _a |
24 | testdata/language-features/basic-values/typesig05.lc 5:10-5:22 String | 24 | testdata/language-features/basic-values/typesig05.lc 5:10-5:22 String |
25 | testdata/language-features/basic-values/typesig05.lc 5:15-5:18 Char | 25 | testdata/language-features/basic-values/typesig05.lc 5:15-5:18 Char |
26 | testdata/language-features/basic-values/typesig05.lc 5:19-5:22 String | 26 | testdata/language-features/basic-values/typesig05.lc 5:19-5:22 String |
27 | testdata/language-features/basic-values/typesig05.lc 5:26-5:32 Type | 27 | testdata/language-features/basic-values/typesig05.lc 5:26-5:32 Type |
28 | testdata/language-features/basic-values/typesig05.lc 7:11-7:15 Type | 28 | testdata/language-features/basic-values/typesig05.lc 7:11-7:15 Type |
29 | testdata/language-features/basic-values/typesig05.lc 8:1-8:7 Char | 29 | testdata/language-features/basic-values/typesig05.lc 8:1-8:7 Char |
30 | testdata/language-features/basic-values/typesig05.lc 8:10-8:14 {a} -> {b} -> a -> b->a | 30 | testdata/language-features/basic-values/typesig05.lc 8:10-8:14 forall a b . a -> b -> a |
31 | testdata/language-features/basic-values/typesig05.lc 8:10-8:18 a_->Char | 31 | testdata/language-features/basic-values/typesig05.lc 8:10-8:18 _a -> Char |
32 | testdata/language-features/basic-values/typesig05.lc 8:10-8:22 Char | 32 | testdata/language-features/basic-values/typesig05.lc 8:10-8:22 Char |
33 | testdata/language-features/basic-values/typesig05.lc 8:15-8:18 Char | 33 | testdata/language-features/basic-values/typesig05.lc 8:15-8:18 Char |
34 | testdata/language-features/basic-values/typesig05.lc 8:19-8:22 String | 34 | testdata/language-features/basic-values/typesig05.lc 8:19-8:22 String |
35 | testdata/language-features/basic-values/typesig05.lc 10:11-10:17 Type | 35 | testdata/language-features/basic-values/typesig05.lc 10:11-10:17 Type |
36 | testdata/language-features/basic-values/typesig05.lc 11:1-11:7 String | 36 | testdata/language-features/basic-values/typesig05.lc 11:1-11:7 String |
37 | testdata/language-features/basic-values/typesig05.lc 11:10-11:14 {a} -> {b} -> a -> b->b | 37 | testdata/language-features/basic-values/typesig05.lc 11:10-11:14 forall a b . a -> b -> b |
38 | testdata/language-features/basic-values/typesig05.lc 11:10-11:18 a_->a_ | 38 | testdata/language-features/basic-values/typesig05.lc 11:10-11:18 _a -> _a |
39 | testdata/language-features/basic-values/typesig05.lc 11:10-11:22 String | 39 | testdata/language-features/basic-values/typesig05.lc 11:10-11:22 String |
40 | testdata/language-features/basic-values/typesig05.lc 11:15-11:18 Char | 40 | testdata/language-features/basic-values/typesig05.lc 11:15-11:18 Char |
41 | testdata/language-features/basic-values/typesig05.lc 11:19-11:22 String | 41 | testdata/language-features/basic-values/typesig05.lc 11:19-11:22 String |
diff --git a/testdata/language-features/basic-values/typesig06.out b/testdata/language-features/basic-values/typesig06.out index 2335d27b..a5bcd427 100644 --- a/testdata/language-features/basic-values/typesig06.out +++ b/testdata/language-features/basic-values/typesig06.out | |||
@@ -1,25 +1,25 @@ | |||
1 | main is not found | 1 | main is not found |
2 | ------------ trace | 2 | ------------ trace |
3 | funL :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> [32ma[0;32m -> [32mb[0;32m->[32ma[0;32m[0m | 3 | funL :: [32mforall a b . [32ma[0;32m -> [32mb[0;32m -> [32ma[0;32m[0m |
4 | <@ :: [32m{[32ma[0;32m} -> {[32mb[0;32m} -> [32ma[0;32m -> [32mb[0;32m->[32ma[0;32m[0m | 4 | <@ :: [32mforall a b . [32ma[0;32m -> [32mb[0;32m -> [32ma[0;32m[0m |
5 | value1 :: [32m'String[0m | 5 | value1 :: [32m'String[0m |
6 | value2 :: [32m'String[0m | 6 | value2 :: [32m'String[0m |
7 | ------------ tooltips | 7 | ------------ tooltips |
8 | testdata/language-features/basic-values/typesig06.lc 1:1-1:5 {a} -> {b} -> a -> b->a | 8 | testdata/language-features/basic-values/typesig06.lc 1:1-1:5 forall a b . a -> b -> a |
9 | testdata/language-features/basic-values/typesig06.lc 1:12-1:13 d_ | 9 | testdata/language-features/basic-values/typesig06.lc 1:12-1:13 _d |
10 | testdata/language-features/basic-values/typesig06.lc 2:3-2:5 {a} -> {b} -> a -> b->a | 10 | testdata/language-features/basic-values/typesig06.lc 2:3-2:5 forall a b . a -> b -> a |
11 | testdata/language-features/basic-values/typesig06.lc 2:10-2:11 d_ | 11 | testdata/language-features/basic-values/typesig06.lc 2:10-2:11 _d |
12 | testdata/language-features/basic-values/typesig06.lc 4:1-4:7 String | 12 | testdata/language-features/basic-values/typesig06.lc 4:1-4:7 String |
13 | testdata/language-features/basic-values/typesig06.lc 4:10-4:14 String | 13 | testdata/language-features/basic-values/typesig06.lc 4:10-4:14 String |
14 | testdata/language-features/basic-values/typesig06.lc 4:10-4:17 a_->String | 14 | testdata/language-features/basic-values/typesig06.lc 4:10-4:17 _a -> String |
15 | testdata/language-features/basic-values/typesig06.lc 4:10-4:21 String | 15 | testdata/language-features/basic-values/typesig06.lc 4:10-4:21 String |
16 | testdata/language-features/basic-values/typesig06.lc 4:15-4:17 {a} -> {b} -> a -> b->a | 16 | testdata/language-features/basic-values/typesig06.lc 4:15-4:17 forall a b . a -> b -> a |
17 | testdata/language-features/basic-values/typesig06.lc 4:18-4:21 Float | 17 | testdata/language-features/basic-values/typesig06.lc 4:18-4:21 Float |
18 | testdata/language-features/basic-values/typesig06.lc 4:25-4:31 Type | 18 | testdata/language-features/basic-values/typesig06.lc 4:25-4:31 Type |
19 | testdata/language-features/basic-values/typesig06.lc 5:1-5:7 String | 19 | testdata/language-features/basic-values/typesig06.lc 5:1-5:7 String |
20 | testdata/language-features/basic-values/typesig06.lc 5:10-5:14 String | 20 | testdata/language-features/basic-values/typesig06.lc 5:10-5:14 String |
21 | testdata/language-features/basic-values/typesig06.lc 5:10-5:21 a_->String | 21 | testdata/language-features/basic-values/typesig06.lc 5:10-5:21 _a -> String |
22 | testdata/language-features/basic-values/typesig06.lc 5:10-5:25 String | 22 | testdata/language-features/basic-values/typesig06.lc 5:10-5:25 String |
23 | testdata/language-features/basic-values/typesig06.lc 5:15-5:21 {a} -> {b} -> a -> b->a | 23 | testdata/language-features/basic-values/typesig06.lc 5:15-5:21 forall a b . a -> b -> a |
24 | testdata/language-features/basic-values/typesig06.lc 5:22-5:25 Float | 24 | testdata/language-features/basic-values/typesig06.lc 5:22-5:25 Float |
25 | testdata/language-features/basic-values/typesig06.lc 5:29-5:35 Type | 25 | testdata/language-features/basic-values/typesig06.lc 5:29-5:35 Type |
diff --git a/testdata/language-features/basic-values/typesig07.out b/testdata/language-features/basic-values/typesig07.out index 402f8630..d8beb681 100644 --- a/testdata/language-features/basic-values/typesig07.out +++ b/testdata/language-features/basic-values/typesig07.out | |||
@@ -3,24 +3,24 @@ main is not found | |||
3 | value1 :: [32m'Int[0m | 3 | value1 :: [32m'Int[0m |
4 | value2 :: [32m'Int[0m | 4 | value2 :: [32m'Int[0m |
5 | value3 :: [32m'Int[0m | 5 | value3 :: [32m'Int[0m |
6 | value4 :: [32m() -> ()->()[0m | 6 | value4 :: [32m() -> () -> ()[0m |
7 | @@@ :: [32m() -> ()->()[0m | 7 | @@@ :: [32m() -> () -> ()[0m |
8 | value6 :: [32m() -> ()->()[0m | 8 | value6 :: [32m() -> () -> ()[0m |
9 | ------------ tooltips | 9 | ------------ tooltips |
10 | testdata/language-features/basic-values/typesig07.lc 1:27-1:30 Type | 10 | testdata/language-features/basic-values/typesig07.lc 1:27-1:30 Type |
11 | testdata/language-features/basic-values/typesig07.lc 3:1-3:7 Int | 11 | testdata/language-features/basic-values/typesig07.lc 3:1-3:7 Int |
12 | testdata/language-features/basic-values/typesig07.lc 3:10-3:11 b_ | 12 | testdata/language-features/basic-values/typesig07.lc 3:10-3:11 _b |
13 | testdata/language-features/basic-values/typesig07.lc 4:1-4:7 Int | 13 | testdata/language-features/basic-values/typesig07.lc 4:1-4:7 Int |
14 | testdata/language-features/basic-values/typesig07.lc 4:10-4:11 b_ | 14 | testdata/language-features/basic-values/typesig07.lc 4:10-4:11 _b |
15 | testdata/language-features/basic-values/typesig07.lc 5:1-5:7 Int | 15 | testdata/language-features/basic-values/typesig07.lc 5:1-5:7 Int |
16 | testdata/language-features/basic-values/typesig07.lc 5:10-5:11 b_ | 16 | testdata/language-features/basic-values/typesig07.lc 5:10-5:11 _b |
17 | testdata/language-features/basic-values/typesig07.lc 8:12-8:14 Type | 17 | testdata/language-features/basic-values/typesig07.lc 8:12-8:14 Type |
18 | testdata/language-features/basic-values/typesig07.lc 8:18-8:20 Type | 18 | testdata/language-features/basic-values/typesig07.lc 8:18-8:20 Type |
19 | testdata/language-features/basic-values/typesig07.lc 8:18-8:26 Type | 19 | testdata/language-features/basic-values/typesig07.lc 8:18-8:26 Type |
20 | testdata/language-features/basic-values/typesig07.lc 8:24-8:26 Type | 20 | testdata/language-features/basic-values/typesig07.lc 8:24-8:26 Type |
21 | testdata/language-features/basic-values/typesig07.lc 10:1-10:7 () -> ()->() | 21 | testdata/language-features/basic-values/typesig07.lc 10:1-10:7 () -> () -> () |
22 | testdata/language-features/basic-values/typesig07.lc 10:14-10:16 () | () -> ()->() | ()->() | 22 | testdata/language-features/basic-values/typesig07.lc 10:14-10:16 () | () -> () | () -> () -> () |
23 | testdata/language-features/basic-values/typesig07.lc 11:3-11:6 () -> ()->() | 23 | testdata/language-features/basic-values/typesig07.lc 11:3-11:6 () -> () -> () |
24 | testdata/language-features/basic-values/typesig07.lc 11:11-11:13 () | () -> ()->() | ()->() | 24 | testdata/language-features/basic-values/typesig07.lc 11:11-11:13 () | () -> () | () -> () -> () |
25 | testdata/language-features/basic-values/typesig07.lc 12:1-12:7 () -> ()->() | 25 | testdata/language-features/basic-values/typesig07.lc 12:1-12:7 () -> () -> () |
26 | testdata/language-features/basic-values/typesig07.lc 12:14-12:16 () | () -> ()->() | ()->() | 26 | testdata/language-features/basic-values/typesig07.lc 12:14-12:16 () | () -> () | () -> () -> () |
diff --git a/testdata/language-features/basic-values/typesyn02.out b/testdata/language-features/basic-values/typesyn02.out index dc6e687e..858e7b33 100644 --- a/testdata/language-features/basic-values/typesyn02.out +++ b/testdata/language-features/basic-values/typesyn02.out | |||
@@ -1,14 +1,14 @@ | |||
1 | main is not found | 1 | main is not found |
2 | ------------ trace | 2 | ------------ trace |
3 | 'MyUnit :: [32mType[0m | 3 | 'MyUnit :: [32mType[0m |
4 | fun :: [32m{[32ma[0;32m} -> [32ma[0;32m -> ()->()[0m | 4 | fun :: [32mforall a . [32ma[0;32m -> () -> ()[0m |
5 | ------------ tooltips | 5 | ------------ tooltips |
6 | testdata/language-features/basic-values/typesyn02.lc 1:6-1:12 Type | 6 | testdata/language-features/basic-values/typesyn02.lc 1:6-1:12 Type |
7 | testdata/language-features/basic-values/typesyn02.lc 1:15-1:17 Type | 7 | testdata/language-features/basic-values/typesyn02.lc 1:15-1:17 Type |
8 | testdata/language-features/basic-values/typesyn02.lc 3:8-3:9 b_ | 8 | testdata/language-features/basic-values/typesyn02.lc 3:8-3:9 _b |
9 | testdata/language-features/basic-values/typesyn02.lc 3:8-3:29 Type | 9 | testdata/language-features/basic-values/typesyn02.lc 3:8-3:29 Type |
10 | testdata/language-features/basic-values/typesyn02.lc 3:13-3:19 Type | 10 | testdata/language-features/basic-values/typesyn02.lc 3:13-3:19 Type |
11 | testdata/language-features/basic-values/typesyn02.lc 3:13-3:29 Type | 11 | testdata/language-features/basic-values/typesyn02.lc 3:13-3:29 Type |
12 | testdata/language-features/basic-values/typesyn02.lc 3:23-3:29 Type | 12 | testdata/language-features/basic-values/typesyn02.lc 3:23-3:29 Type |
13 | testdata/language-features/basic-values/typesyn02.lc 4:1-4:4 {a} -> a -> ()->() | 13 | testdata/language-features/basic-values/typesyn02.lc 4:1-4:4 forall a . a -> () -> () |
14 | testdata/language-features/basic-values/typesyn02.lc 4:12-4:14 () | ()->() | a_ -> ()->() | 14 | testdata/language-features/basic-values/typesyn02.lc 4:12-4:14 () | () -> () | _a -> () -> () |
diff --git a/testdata/language-features/basic-values/where05.out b/testdata/language-features/basic-values/where05.out index 95f7c3c3..a0785fa9 100644 --- a/testdata/language-features/basic-values/where05.out +++ b/testdata/language-features/basic-values/where05.out | |||
@@ -1,35 +1,35 @@ | |||
1 | main is not found | 1 | main is not found |
2 | ------------ trace | 2 | ------------ trace |
3 | value1 :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Eq [32m[32ma[0;32m[0;32m[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m}->()[0m | 3 | value1 :: [32mforall a . ([32m'Eq [32m[32ma[0;32m[0;32m[0;32m, [32m'Num [32m[32ma[0;32m[0;32m[0;32m) => ()[0m |
4 | value2 :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Eq [32m[32ma[0;32m[0;32m[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m}->()[0m | 4 | value2 :: [32mforall a . ([32m'Eq [32m[32ma[0;32m[0;32m[0;32m, [32m'Num [32m[32ma[0;32m[0;32m[0;32m) => ()[0m |
5 | value3 :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Eq [32m[32ma[0;32m[0;32m[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m}->()[0m | 5 | value3 :: [32mforall a . ([32m'Eq [32m[32ma[0;32m[0;32m[0;32m, [32m'Num [32m[32ma[0;32m[0;32m[0;32m) => ()[0m |
6 | value4 :: [32m{[32ma[0;32m} -> {[32m_[0;32m : [32m'Eq [32m[32ma[0;32m[0;32m[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m}->()[0m | 6 | value4 :: [32mforall a . ([32m'Eq [32m[32ma[0;32m[0;32m[0;32m, [32m'Num [32m[32ma[0;32m[0;32m[0;32m) => ()[0m |
7 | ------------ tooltips | 7 | ------------ tooltips |
8 | testdata/language-features/basic-values/where05.lc 1:1-1:7 {a} -> {_ : Eq a} -> {_ : Num a}->() | 8 | testdata/language-features/basic-values/where05.lc 1:1-1:7 forall a . (Eq a, Num a) => () |
9 | testdata/language-features/basic-values/where05.lc 1:10-3:10 () | 9 | testdata/language-features/basic-values/where05.lc 1:10-3:10 () |
10 | testdata/language-features/basic-values/where05.lc 1:15-1:16 b_ | 10 | testdata/language-features/basic-values/where05.lc 1:15-1:16 _b |
11 | testdata/language-features/basic-values/where05.lc 2:8-2:9 () | 11 | testdata/language-features/basic-values/where05.lc 2:8-2:9 () |
12 | testdata/language-features/basic-values/where05.lc 2:8-3:10 Bool->() | 12 | testdata/language-features/basic-values/where05.lc 2:8-3:10 Bool -> () |
13 | testdata/language-features/basic-values/where05.lc 2:20-2:22 () | 13 | testdata/language-features/basic-values/where05.lc 2:20-2:22 () |
14 | testdata/language-features/basic-values/where05.lc 3:8-3:10 () | 14 | testdata/language-features/basic-values/where05.lc 3:8-3:10 () |
15 | testdata/language-features/basic-values/where05.lc 5:1-5:7 {a} -> {_ : Eq a} -> {_ : Num a}->() | 15 | testdata/language-features/basic-values/where05.lc 5:1-5:7 forall a . (Eq a, Num a) => () |
16 | testdata/language-features/basic-values/where05.lc 5:10-8:10 () | 16 | testdata/language-features/basic-values/where05.lc 5:10-8:10 () |
17 | testdata/language-features/basic-values/where05.lc 5:15-5:16 b_ | 17 | testdata/language-features/basic-values/where05.lc 5:15-5:16 _b |
18 | testdata/language-features/basic-values/where05.lc 6:8-6:9 () | 18 | testdata/language-features/basic-values/where05.lc 6:8-6:9 () |
19 | testdata/language-features/basic-values/where05.lc 6:8-8:10 Bool->() | 19 | testdata/language-features/basic-values/where05.lc 6:8-8:10 Bool -> () |
20 | testdata/language-features/basic-values/where05.lc 7:14-7:16 () | 20 | testdata/language-features/basic-values/where05.lc 7:14-7:16 () |
21 | testdata/language-features/basic-values/where05.lc 8:8-8:10 () | 21 | testdata/language-features/basic-values/where05.lc 8:8-8:10 () |
22 | testdata/language-features/basic-values/where05.lc 10:1-10:7 {a} -> {_ : Eq a} -> {_ : Num a}->() | 22 | testdata/language-features/basic-values/where05.lc 10:1-10:7 forall a . (Eq a, Num a) => () |
23 | testdata/language-features/basic-values/where05.lc 10:10-14:10 () | 23 | testdata/language-features/basic-values/where05.lc 10:10-14:10 () |
24 | testdata/language-features/basic-values/where05.lc 10:15-10:16 b_ | 24 | testdata/language-features/basic-values/where05.lc 10:15-10:16 _b |
25 | testdata/language-features/basic-values/where05.lc 11:8-11:9 () | 25 | testdata/language-features/basic-values/where05.lc 11:8-11:9 () |
26 | testdata/language-features/basic-values/where05.lc 11:8-14:10 Bool->() | 26 | testdata/language-features/basic-values/where05.lc 11:8-14:10 Bool -> () |
27 | testdata/language-features/basic-values/where05.lc 13:8-13:10 () | 27 | testdata/language-features/basic-values/where05.lc 13:8-13:10 () |
28 | testdata/language-features/basic-values/where05.lc 14:8-14:10 () | 28 | testdata/language-features/basic-values/where05.lc 14:8-14:10 () |
29 | testdata/language-features/basic-values/where05.lc 16:1-16:7 {a} -> {_ : Eq a} -> {_ : Num a}->() | 29 | testdata/language-features/basic-values/where05.lc 16:1-16:7 forall a . (Eq a, Num a) => () |
30 | testdata/language-features/basic-values/where05.lc 16:10-18:10 () | 30 | testdata/language-features/basic-values/where05.lc 16:10-18:10 () |
31 | testdata/language-features/basic-values/where05.lc 16:15-16:16 b_ | 31 | testdata/language-features/basic-values/where05.lc 16:15-16:16 _b |
32 | testdata/language-features/basic-values/where05.lc 17:8-17:9 () | 32 | testdata/language-features/basic-values/where05.lc 17:8-17:9 () |
33 | testdata/language-features/basic-values/where05.lc 17:8-18:10 Bool->() | 33 | testdata/language-features/basic-values/where05.lc 17:8-18:10 Bool -> () |
34 | testdata/language-features/basic-values/where05.lc 18:8-18:10 () | 34 | testdata/language-features/basic-values/where05.lc 18:8-18:10 () |
35 | testdata/language-features/basic-values/where05.lc 21:6-21:8 () | 35 | testdata/language-features/basic-values/where05.lc 21:6-21:8 () |
diff --git a/testdata/language-features/basic-values/wildcard01.out b/testdata/language-features/basic-values/wildcard01.out index dd651320..891a7edd 100644 --- a/testdata/language-features/basic-values/wildcard01.out +++ b/testdata/language-features/basic-values/wildcard01.out | |||
@@ -1,6 +1,6 @@ | |||
1 | main is not found | 1 | main is not found |
2 | ------------ trace | 2 | ------------ trace |
3 | funUnit :: [32m{[32ma[0;32m} -> [32ma[0;32m->()[0m | 3 | funUnit :: [32mforall a . [32ma[0;32m -> ()[0m |
4 | ------------ tooltips | 4 | ------------ tooltips |
5 | testdata/language-features/basic-values/wildcard01.lc 1:1-1:8 {a} -> a->() | 5 | testdata/language-features/basic-values/wildcard01.lc 1:1-1:8 forall a . a -> () |
6 | testdata/language-features/basic-values/wildcard01.lc 1:13-1:15 () | 6 | testdata/language-features/basic-values/wildcard01.lc 1:13-1:15 () |