main is not found
------------ trace
id :: {a} -> a->a
'X :: {a} -> a->Type
'XCase :: {a} -> {b:a} -> (d : 'X a b -> Type) -> (e : 'X a b) -> d e
match'X :: (b : Type->Type) -> ({c} -> d:c -> b ('X c d)) -> f:Type -> b f -> b f
x :: 'X (Type -> Type->Type) (\c:Type d:Type -> (c, d))
------------ tooltips
testdata/traceTest.lc 6:1-6:3  {a} -> a->a
testdata/traceTest.lc 6:8-6:9  V1
testdata/traceTest.lc 8:6-8:7  Type | {a} -> a->Type
testdata/traceTest.lc 8:6-8:18  Type
testdata/traceTest.lc 8:17-8:18  Type
testdata/traceTest.lc 10:6-10:7  {a} -> a->Type
testdata/traceTest.lc 10:6-10:25  Type
testdata/traceTest.lc 10:19-10:20  V4
testdata/traceTest.lc 10:19-10:23  List Type
testdata/traceTest.lc 10:22-10:23  List Type | V2
testdata/traceTest.lc 11:1-11:2  X (Type -> Type->Type) (\c:Type d:Type -> (c, d))
testdata/traceTest.lc 11:5-11:14  {a}->a