blob: 9c4e33f2af2804e6b94b2d5a83bc981275585c8f (
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
|
main is not found
------------ trace
'A :: [32mType[39m[K
B :: [32m'A[39m[K
C :: [32m'A[39m[K
D :: [32m'A[39m[K
'ACase :: [32m(b : 'A->Type) -> b B -> b C -> b D -> f:'A -> b f[39m[K
match'A :: [32m(b : Type->Type) -> b 'A -> d:Type -> b d -> b d[39m[K
'E :: [32mType[39m[K
F :: [32m'E[39m[K
G :: [32m()->'E[39m[K
H :: [32m'E[39m[K
'ECase :: [32m(b : 'E->Type) -> b F -> (d:() -> b (G d)) -> b H -> g:'E -> b g[39m[K
match'E :: [32m(b : Type->Type) -> b 'E -> d:Type -> b d -> b d[39m[K
'D1 :: [32mType[39m[K
C1 :: [32m'D1[39m[K
C2 :: [32m()->'D1[39m[K
C3 :: [32m'D1[39m[K
'D1Case :: [32m(b : 'D1->Type) -> b C1 -> (d:() -> b (C2 d)) -> b C3 -> g:'D1 -> b g[39m[K
match'D1 :: [32m(b : Type->Type) -> b 'D1 -> d:Type -> b d -> b d[39m[K
------------ 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: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:11-6:13 D1
|