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
|
main is not found
------------ trace
zip2 :: [32m{a} -> {b} -> 'List a -> 'List b -> 'List (a, b)[39m[K
------------ tooltips
testdata/zip01.lc 1:9-1:30 Type
testdata/zip01.lc 1:9-4:40 V0->V1 | {a} -> {b} -> List a -> List b -> List (a, b)
testdata/zip01.lc 1:10-1:11 V3
testdata/zip01.lc 1:16-1:30 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:25-1:26 Type
testdata/zip01.lc 1:25-1:28 List Type
testdata/zip01.lc 1:27-1:28 List Type | Type
testdata/zip01.lc 2:1-2:5 {a} -> {b} -> List a -> List b -> List (a, b)
testdata/zip01.lc 2:22-2:24 {a} -> List a
testdata/zip01.lc 2:22-4:40 List (V3, V2) | List V0 -> List (V1, V4) | List V1 -> List (V3, V2) | List V1 -> List V1 -> List (V3, V2)
testdata/zip01.lc 3:22-3:24 {a} -> List a
testdata/zip01.lc 3:22-4:40 List (V2, V5) | List V0 -> List (V5, V1) | List V2 -> List V2 | V1 -> List V2 -> List V2
testdata/zip01.lc 4:22-4:27 (V7, V3)
testdata/zip01.lc 4:22-4:29 List (V7, V3) -> List (V8, V4)
testdata/zip01.lc 4:22-4:40 List (V6, V2) | List V2 -> List V2 | V1 -> List V2 -> List V2
testdata/zip01.lc 4:23-4:24 V10
testdata/zip01.lc 4:25-4:26 ((V3)) | V6
testdata/zip01.lc 4:28-4:29 {a} -> a -> List a -> List a
testdata/zip01.lc 4:30-4:34 {a} -> {b} -> List a -> List b -> List (a, b)
testdata/zip01.lc 4:30-4:37 List V0 -> List (V8, V1)
testdata/zip01.lc 4:30-4:40 List (V6, V2)
testdata/zip01.lc 4:35-4:37 List V8
testdata/zip01.lc 4:38-4:40 List V2
|