diff options
Diffstat (limited to 'testdata/zip01.out')
-rw-r--r-- | testdata/zip01.out | 86 |
1 files changed, 57 insertions, 29 deletions
diff --git a/testdata/zip01.out b/testdata/zip01.out index deb2cf14..21511345 100644 --- a/testdata/zip01.out +++ b/testdata/zip01.out | |||
@@ -13,33 +13,61 @@ zip2 | |||
13 | . List g -> List h -> List (HList ('Cons g ('Cons h 'Nil))) | 13 | . List g -> List h -> List (HList ('Cons g ('Cons h 'Nil))) |
14 | main is not found | 14 | main is not found |
15 | ------------ trace | 15 | ------------ trace |
16 | zip2 :: [32mforall a b . List [32ma[0;32m -> List [32mb[0;32m -> List ([32ma[0;32m, [32mb[0;32m)[0m | 16 | zip2 :: forall a b . List a -> List b -> List (a, b) |
17 | ------------ tooltips | 17 | ------------ tooltips |
18 | testdata/zip01.lc 1:9-1:12 Type | 18 | testdata/zip01.lc 1:9-1:12 |
19 | testdata/zip01.lc 1:9-1:30 Type | 19 | Type |
20 | testdata/zip01.lc 1:9-4:40 _a -> _a | forall a b . List a -> List b -> List (a, b) | 20 | testdata/zip01.lc 1:9-1:30 |
21 | testdata/zip01.lc 1:10-1:11 _d | 21 | Type | Type |
22 | testdata/zip01.lc 1:16-1:19 Type | 22 | testdata/zip01.lc 1:9-4:40 |
23 | testdata/zip01.lc 1:16-1:30 Type | 23 | forall a b . List a -> List b -> List (a, b) |
24 | testdata/zip01.lc 1:17-1:18 _c | 24 | testdata/zip01.lc 1:10-1:11 |
25 | testdata/zip01.lc 1:23-1:30 Type | 25 | _d |
26 | testdata/zip01.lc 1:24-1:29 Type | 26 | testdata/zip01.lc 1:16-1:19 |
27 | testdata/zip01.lc 1:25-1:26 Type | 27 | Type |
28 | testdata/zip01.lc 1:25-1:28 List Type | 28 | testdata/zip01.lc 1:16-1:30 |
29 | testdata/zip01.lc 1:27-1:28 List Type | Type | 29 | Type |
30 | testdata/zip01.lc 2:1-2:5 forall a b . List a -> List b -> List (a, b) | 30 | testdata/zip01.lc 1:17-1:18 |
31 | testdata/zip01.lc 2:22-2:24 forall a . List a | 31 | _c |
32 | testdata/zip01.lc 2:22-4:40 List (_d, _c) | List _a -> List (_a, _d) | List _b -> List (_c, _b) | List _b -> List _a -> List (_b, _a) | 32 | testdata/zip01.lc 1:23-1:30 |
33 | testdata/zip01.lc 3:22-3:24 forall a . List a | 33 | Type | Type |
34 | testdata/zip01.lc 3:22-4:40 List (_c, _f) | List _a -> List (_e, _a) | List _c -> List _b | _b -> List _b -> List _a | 34 | testdata/zip01.lc 1:24-1:29 |
35 | testdata/zip01.lc 4:22-4:27 (_h, _d) | 35 | Type |
36 | testdata/zip01.lc 4:22-4:29 List (_h, _d) -> List (_h, _d) | 36 | testdata/zip01.lc 1:25-1:26 |
37 | testdata/zip01.lc 4:22-4:40 List (_g, _c) | List _c -> List _b | _b -> List _b -> List _a | 37 | Type |
38 | testdata/zip01.lc 4:23-4:24 _k | 38 | testdata/zip01.lc 1:25-1:28 |
39 | testdata/zip01.lc 4:25-4:26 ((_d)) | _g | 39 | List Type |
40 | testdata/zip01.lc 4:28-4:29 forall a . a -> List a -> List a | 40 | testdata/zip01.lc 1:27-1:28 |
41 | testdata/zip01.lc 4:30-4:34 forall a b . List a -> List b -> List (a, b) | 41 | Type | List Type |
42 | testdata/zip01.lc 4:30-4:37 List _a -> List (_h, _a) | 42 | testdata/zip01.lc 2:1-2:5 |
43 | testdata/zip01.lc 4:30-4:40 List (_g, _c) | 43 | forall a b . List a -> List b -> List (a, b) |
44 | testdata/zip01.lc 4:35-4:37 List _i | 44 | testdata/zip01.lc 2:22-2:24 |
45 | testdata/zip01.lc 4:38-4:40 List _c | 45 | forall a . List a |
46 | testdata/zip01.lc 2:22-4:40 | ||
47 | List _a -> List (_a, _d) | List (_d, _c) | ||
48 | testdata/zip01.lc 3:22-3:24 | ||
49 | forall a . List a | ||
50 | testdata/zip01.lc 3:22-4:40 | ||
51 | List _a -> List (_e, _a) | List (_c, _f) | ||
52 | testdata/zip01.lc 4:22-4:27 | ||
53 | (_h, _d) | ||
54 | testdata/zip01.lc 4:22-4:29 | ||
55 | List (_h, _d) -> List (_h, _d) | ||
56 | testdata/zip01.lc 4:22-4:40 | ||
57 | List (_g, _c) | ||
58 | testdata/zip01.lc 4:23-4:24 | ||
59 | _k | ||
60 | testdata/zip01.lc 4:25-4:26 | ||
61 | _g | ((_d)) | ||
62 | testdata/zip01.lc 4:28-4:29 | ||
63 | forall a . a -> List a -> List a | ||
64 | testdata/zip01.lc 4:30-4:34 | ||
65 | forall a b . List a -> List b -> List (a, b) | ||
66 | testdata/zip01.lc 4:30-4:37 | ||
67 | List _a -> List (_h, _a) | ||
68 | testdata/zip01.lc 4:30-4:40 | ||
69 | List (_g, _c) | ||
70 | testdata/zip01.lc 4:35-4:37 | ||
71 | List _i | ||
72 | testdata/zip01.lc 4:38-4:40 | ||
73 | List _c \ No newline at end of file | ||