blob: a44de4d8156fb887ef9f2e28939491149f02d39f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
main is not found
------------ trace
'A :: [32mType[0m
B :: [32m'A[0m
C :: [32m'A[0m
D :: [32m'A[0m
'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
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
'E :: [32mType[0m
F :: [32m'E[0m
G :: [32m()->'E[0m
H :: [32m'E[0m
'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
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
'D1 :: [32mType[0m
C1 :: [32m'D1[0m
C2 :: [32m()->'D1[0m
C3 :: [32m'D1[0m
'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
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
------------ tooltips
testdata/language-features/basic-values/data01.lc 1:6-1:7 Type
testdata/language-features/basic-values/data01.lc 1:6-1:13 Type
testdata/language-features/basic-values/data01.lc 1:8-1:9 A
testdata/language-features/basic-values/data01.lc 1:10-1:11 A
testdata/language-features/basic-values/data01.lc 1:12-1:13 A
testdata/language-features/basic-values/data01.lc 3:6-3:7 Type
testdata/language-features/basic-values/data01.lc 3:6-3:22 Type
testdata/language-features/basic-values/data01.lc 3:10-3:11 E
testdata/language-features/basic-values/data01.lc 3:14-3:15 ()->E | E | Type
testdata/language-features/basic-values/data01.lc 3:16-3:18 Type
testdata/language-features/basic-values/data01.lc 3:21-3:22 E
testdata/language-features/basic-values/data01.lc 5:6-5:8 Type
testdata/language-features/basic-values/data01.lc 5:6-6:13 Type
testdata/language-features/basic-values/data01.lc 5:9-5:11 D1
testdata/language-features/basic-values/data01.lc 6:5-6:7 ()->D1 | D1 | Type
testdata/language-features/basic-values/data01.lc 6:7-6:9 Type
testdata/language-features/basic-values/data01.lc 6:11-6:13 D1
|
