blob: 0995aa5c1c2d0b74cb54d53e1d97b473dff88c4d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
main is not found
tooltips:
testdata/zip01.lc 2:1-2:5 {a} -> a->a -> a
testdata/zip01.lc 1:9-4:40 V0->V1
testdata/zip01.lc 1:9-4:40 V1
testdata/zip01.lc 1:9-1:30 Type
testdata/zip01.lc 1:10-1:11 Type
testdata/zip01.lc 1:10-1:11 V3
testdata/zip01.lc 1:16-1:30 Type
testdata/zip01.lc 1:17-1:18 Type
testdata/zip01.lc 1:17-1:18 V2
testdata/zip01.lc 1:23-1:30 Type
testdata/zip01.lc 1:24-1:29 Type
testdata/zip01.lc 1:24-1:29 Type -> Type->Type
testdata/zip01.lc 1:25-1:26 Type
testdata/zip01.lc 1:27-1:28 Type
testdata/zip01.lc 4:22-4:40 {a} -> {b} -> 'List a -> 'List b -> 'List ('Tuple2 a b)
testdata/zip01.lc 4:22-4:40 {a} -> 'List V1 -> 'List a -> 'List ('Tuple2 V3 a)
testdata/zip01.lc 4:22-4:40 'List V1 -> 'List V1 -> 'List ('Tuple2 V3 V2)
testdata/zip01.lc 4:22-4:40 'List V1 -> 'List ('Tuple2 V3 V2)
testdata/zip01.lc 4:22-4:40 'List ('Tuple2 V3 V2)
testdata/zip01.lc 4:22-4:40 V1 -> 'List V2 -> 'List V2
testdata/zip01.lc 4:22-4:40 'List V2 -> 'List V2
testdata/zip01.lc 4:22-4:40 'List V2
testdata/zip01.lc 4:28-4:29 {a} -> a -> 'List a -> 'List a
testdata/zip01.lc 4:22-4:27 V0
testdata/zip01.lc 4:22-4:27 {a} -> {b} -> a -> b -> 'Tuple2 a b
testdata/zip01.lc 4:23-4:24 V1
testdata/zip01.lc 4:23-4:24 V10
testdata/zip01.lc 4:25-4:26 V0
testdata/zip01.lc 4:25-4:26 V4
testdata/zip01.lc 4:30-4:40 'List ('Tuple2 V6 V2)
testdata/zip01.lc 4:30-4:34 {a} -> {b} -> 'List a -> 'List b -> 'List ('Tuple2 a b)
testdata/zip01.lc 4:35-4:37 'List V1
testdata/zip01.lc 4:35-4:37 'List V8
testdata/zip01.lc 4:38-4:40 'List V2
testdata/zip01.lc 2:1-2:5 {a} -> {b} -> 'List a -> 'List b -> 'List ('Tuple2 a b)
|
