blob: 7c284a8ec0a037f056c74c513fbd92e8c067d8b8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
main is not found
tooltips:
testdata/traceTest.lc 6:8-6:9 V1
testdata/traceTest.lc 6:1-6:3 {a} -> a->a
testdata/traceTest.lc 8:17-8:18 Type->Type
testdata/traceTest.lc 8:17-8:18 Type
testdata/traceTest.lc 8:6-8:7 {a} -> a->Type
testdata/traceTest.lc 8:6-8:18 Type->Type
testdata/traceTest.lc 8:6-8:18 Type
testdata/traceTest.lc 8:6-8:7 Type->Type
testdata/traceTest.lc 8:6-8:7 Type
testdata/traceTest.lc 10:6-10:25 Type
testdata/traceTest.lc 10:6-10:7 {a} -> a->Type
testdata/traceTest.lc 10:8-10:25 V0
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)
|
