main is not found
------------ trace
'A :: Type
B :: 'A
C :: 'A
D :: 'A
'ACase :: (a : 'A->Type) -> a B -> a C -> a D -> (b:'A) -> a b
match'A :: (a : Type->Type) -> a 'A -> (b:Type) -> a b -> a b
'E :: Type
F :: 'E
G :: ()->'E
H :: 'E
'ECase :: (a : 'E->Type) -> a F -> ((b:()) -> a (G b)) -> a H -> (c:'E) -> a c
match'E :: (a : Type->Type) -> a 'E -> (b:Type) -> a b -> a b
'D1 :: Type
C1 :: 'D1
C2 :: ()->'D1
C3 :: 'D1
'D1Case :: (a : 'D1->Type) -> a C1 -> ((b:()) -> a (C2 b)) -> a C3 -> (c:'D1) -> a c
match'D1 :: (a : Type->Type) -> a 'D1 -> (b:Type) -> a b -> a b
------------ 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