diff options
author | Csaba Hruska <csaba.hruska@gmail.com> | 2016-01-19 16:10:43 +0100 |
---|---|---|
committer | Csaba Hruska <csaba.hruska@gmail.com> | 2016-01-19 16:10:49 +0100 |
commit | be93cb71dc582a4b40ce3e68bbd058b0e318b688 (patch) | |
tree | bcce84604c0d90b6888d367a55270ddaf589afdd /testdata/zip01.out | |
parent | 03c8e879558f8e16e49b21d493a82ba9657f7d13 (diff) |
update test output
Diffstat (limited to 'testdata/zip01.out')
-rw-r--r-- | testdata/zip01.out | 36 |
1 files changed, 18 insertions, 18 deletions
diff --git a/testdata/zip01.out b/testdata/zip01.out index 3d2954c5..a3c1bbcd 100644 --- a/testdata/zip01.out +++ b/testdata/zip01.out | |||
@@ -1,20 +1,20 @@ | |||
1 | main is not found | 1 | main is not found |
2 | tooltips: | 2 | tooltips: |
3 | ./testdata/accept/zip01.lc 2:1-2:5 {a} -> a->a -> a | 3 | testdata/zip01.lc 2:1-2:5 {a} -> a->a -> a |
4 | ./testdata/accept/zip01.lc 1:9-4:27 V0->V1 | 4 | testdata/zip01.lc 1:9-4:27 V0->V1 |
5 | ./testdata/accept/zip01.lc 1:9-4:27 V1 | 5 | testdata/zip01.lc 1:9-4:27 V1 |
6 | ./testdata/accept/zip01.lc 1:9-1:30 Type | 6 | testdata/zip01.lc 1:9-1:30 Type |
7 | ./testdata/accept/zip01.lc 1:9-1:30 V3 | 7 | testdata/zip01.lc 1:9-1:30 V3 |
8 | ./testdata/accept/zip01.lc 1:9-1:30 V2 | 8 | testdata/zip01.lc 1:9-1:30 V2 |
9 | ./testdata/accept/zip01.lc 1:24-1:29 Type -> Type->Type | 9 | testdata/zip01.lc 1:24-1:29 Type -> Type->Type |
10 | ./testdata/accept/zip01.lc 4:22-4:27 {a} -> {b} -> 'List a -> 'List b -> 'List ('Tuple2 a b) | 10 | testdata/zip01.lc 4:22-4:27 {a} -> {b} -> 'List a -> 'List b -> 'List ('Tuple2 a b) |
11 | ./testdata/accept/zip01.lc 4:22-4:27 {a} -> 'List V1 -> 'List a -> 'List ('Tuple2 V3 a) | 11 | testdata/zip01.lc 4:22-4:27 {a} -> 'List V1 -> 'List a -> 'List ('Tuple2 V3 a) |
12 | ./testdata/accept/zip01.lc 4:22-4:27 'List V1 -> 'List V1 -> 'List ('Tuple2 V3 V2) | 12 | testdata/zip01.lc 4:22-4:27 'List V1 -> 'List V1 -> 'List ('Tuple2 V3 V2) |
13 | ./testdata/accept/zip01.lc 4:22-4:27 'List V1 -> 'List ('Tuple2 V3 V2) | 13 | testdata/zip01.lc 4:22-4:27 'List V1 -> 'List ('Tuple2 V3 V2) |
14 | ./testdata/accept/zip01.lc 4:22-4:27 'List ('Tuple2 V3 V2) | 14 | testdata/zip01.lc 4:22-4:27 'List ('Tuple2 V3 V2) |
15 | ./testdata/accept/zip01.lc 4:22-4:27 V1 -> 'List V2 -> 'List V2 | 15 | testdata/zip01.lc 4:22-4:27 V1 -> 'List V2 -> 'List V2 |
16 | ./testdata/accept/zip01.lc 4:22-4:27 'List V2 -> 'List V2 | 16 | testdata/zip01.lc 4:22-4:27 'List V2 -> 'List V2 |
17 | ./testdata/accept/zip01.lc 4:22-4:27 'List V2 | 17 | testdata/zip01.lc 4:22-4:27 'List V2 |
18 | ./testdata/accept/zip01.lc 4:22-4:27 V0 | 18 | testdata/zip01.lc 4:22-4:27 V0 |
19 | ./testdata/accept/zip01.lc 4:22-4:27 {a} -> {b} -> a -> b -> 'Tuple2 a b | 19 | testdata/zip01.lc 4:22-4:27 {a} -> {b} -> a -> b -> 'Tuple2 a b |
20 | ./testdata/accept/zip01.lc 2:1-2:5 {a} -> {b} -> 'List a -> 'List b -> 'List ('Tuple2 a b) | 20 | testdata/zip01.lc 2:1-2:5 {a} -> {b} -> 'List a -> 'List b -> 'List ('Tuple2 a b) |