blob: 5512d82bcdce1ecd83ffc36936a401eedce1b7a4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
main is not found
tooltips:
testdata/traceTest.lc 6:1-6:3 {a} -> a->a
testdata/traceTest.lc 8:17-8:18 Type
testdata/traceTest.lc 8:6-8:7 {a} -> a->Type
testdata/traceTest.lc 10:6-10:24 Type
testdata/traceTest.lc 10:6-10:7 {a} -> a->Type
testdata/traceTest.lc 10:9-10:24 V0
testdata/traceTest.lc 10:18-10:24 Type -> Type->Type
testdata/traceTest.lc 10:19-10:20 Type
testdata/traceTest.lc 10:19-10:20 V3
testdata/traceTest.lc 10:22-10:23 Type
testdata/traceTest.lc 10:22-10:23 V1
testdata/traceTest.lc 11:5-11:14 'X (Type -> Type->Type) (\c:Type d:Type -> 'Tuple2 c d)
testdata/traceTest.lc 11:1-11:2 'X (Type -> Type->Type) (\c:Type d:Type -> 'Tuple2 c d)
|