blob: a3c1bbcd68ed9e011226b6826547a9013c5f61a9 (
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/zip01.lc 2:1-2:5 {a} -> a->a -> a
testdata/zip01.lc 1:9-4:27 V0->V1
testdata/zip01.lc 1:9-4:27 V1
testdata/zip01.lc 1:9-1:30 Type
testdata/zip01.lc 1:9-1:30 V3
testdata/zip01.lc 1:9-1:30 V2
testdata/zip01.lc 1:24-1:29 Type -> Type->Type
testdata/zip01.lc 4:22-4:27 {a} -> {b} -> 'List a -> 'List b -> 'List ('Tuple2 a b)
testdata/zip01.lc 4:22-4:27 {a} -> 'List V1 -> 'List a -> 'List ('Tuple2 V3 a)
testdata/zip01.lc 4:22-4:27 'List V1 -> 'List V1 -> 'List ('Tuple2 V3 V2)
testdata/zip01.lc 4:22-4:27 'List V1 -> 'List ('Tuple2 V3 V2)
testdata/zip01.lc 4:22-4:27 'List ('Tuple2 V3 V2)
testdata/zip01.lc 4:22-4:27 V1 -> 'List V2 -> 'List V2
testdata/zip01.lc 4:22-4:27 'List V2 -> 'List V2
testdata/zip01.lc 4:22-4:27 'List V2
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 2:1-2:5 {a} -> {b} -> 'List a -> 'List b -> 'List ('Tuple2 a b)
|
