summaryrefslogtreecommitdiff
path: root/testdata/zip01.out
diff options
context:
space:
mode:
authorCsaba Hruska <csaba.hruska@gmail.com>2016-01-19 16:10:43 +0100
committerCsaba Hruska <csaba.hruska@gmail.com>2016-01-19 16:10:49 +0100
commitbe93cb71dc582a4b40ce3e68bbd058b0e318b688 (patch)
treebcce84604c0d90b6888d367a55270ddaf589afdd /testdata/zip01.out
parent03c8e879558f8e16e49b21d493a82ba9657f7d13 (diff)
update test output
Diffstat (limited to 'testdata/zip01.out')
-rw-r--r--testdata/zip01.out36
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 @@
1main is not found 1main is not found
2tooltips: 2tooltips:
3./testdata/accept/zip01.lc 2:1-2:5 {a} -> a->a -> a 3testdata/zip01.lc 2:1-2:5 {a} -> a->a -> a
4./testdata/accept/zip01.lc 1:9-4:27 V0->V1 4testdata/zip01.lc 1:9-4:27 V0->V1
5./testdata/accept/zip01.lc 1:9-4:27 V1 5testdata/zip01.lc 1:9-4:27 V1
6./testdata/accept/zip01.lc 1:9-1:30 Type 6testdata/zip01.lc 1:9-1:30 Type
7./testdata/accept/zip01.lc 1:9-1:30 V3 7testdata/zip01.lc 1:9-1:30 V3
8./testdata/accept/zip01.lc 1:9-1:30 V2 8testdata/zip01.lc 1:9-1:30 V2
9./testdata/accept/zip01.lc 1:24-1:29 Type -> Type->Type 9testdata/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) 10testdata/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) 11testdata/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) 12testdata/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) 13testdata/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) 14testdata/zip01.lc 4:22-4:27 'List ('Tuple2 V3 V2)
15./testdata/accept/zip01.lc 4:22-4:27 V1 -> 'List V2 -> 'List V2 15testdata/zip01.lc 4:22-4:27 V1 -> 'List V2 -> 'List V2
16./testdata/accept/zip01.lc 4:22-4:27 'List V2 -> 'List V2 16testdata/zip01.lc 4:22-4:27 'List V2 -> 'List V2
17./testdata/accept/zip01.lc 4:22-4:27 'List V2 17testdata/zip01.lc 4:22-4:27 'List V2
18./testdata/accept/zip01.lc 4:22-4:27 V0 18testdata/zip01.lc 4:22-4:27 V0
19./testdata/accept/zip01.lc 4:22-4:27 {a} -> {b} -> a -> b -> 'Tuple2 a b 19testdata/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) 20testdata/zip01.lc 2:1-2:5 {a} -> {b} -> 'List a -> 'List b -> 'List ('Tuple2 a b)