blob: e7af8716f361f7ecd13a64f89b35ddd08797c266 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
main is not found
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:17-10:24 Type
testdata/traceTest.lc 10:19-10:20 V3
testdata/traceTest.lc 10:22-10:23 V1
testdata/traceTest.lc 11:1-11:2 X (Type -> Type->Type) (\c:Type d:Type -> Tuple2 c d)
testdata/traceTest.lc 11:5-11:14 X (Type -> Type->Type) (\c:Type d:Type -> Tuple2 c d)
|