From be93cb71dc582a4b40ce3e68bbd058b0e318b688 Mon Sep 17 00:00:00 2001 From: Csaba Hruska Date: Tue, 19 Jan 2016 16:10:43 +0100 Subject: update test output --- testdata/zip01.out | 36 ++++++++++++++++++------------------ 1 file changed, 18 insertions(+), 18 deletions(-) (limited to 'testdata/zip01.out') 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 @@ main is not found tooltips: -./testdata/accept/zip01.lc 2:1-2:5 {a} -> a->a -> a -./testdata/accept/zip01.lc 1:9-4:27 V0->V1 -./testdata/accept/zip01.lc 1:9-4:27 V1 -./testdata/accept/zip01.lc 1:9-1:30 Type -./testdata/accept/zip01.lc 1:9-1:30 V3 -./testdata/accept/zip01.lc 1:9-1:30 V2 -./testdata/accept/zip01.lc 1:24-1:29 Type -> Type->Type -./testdata/accept/zip01.lc 4:22-4:27 {a} -> {b} -> 'List a -> 'List b -> 'List ('Tuple2 a b) -./testdata/accept/zip01.lc 4:22-4:27 {a} -> 'List V1 -> 'List a -> 'List ('Tuple2 V3 a) -./testdata/accept/zip01.lc 4:22-4:27 'List V1 -> 'List V1 -> 'List ('Tuple2 V3 V2) -./testdata/accept/zip01.lc 4:22-4:27 'List V1 -> 'List ('Tuple2 V3 V2) -./testdata/accept/zip01.lc 4:22-4:27 'List ('Tuple2 V3 V2) -./testdata/accept/zip01.lc 4:22-4:27 V1 -> 'List V2 -> 'List V2 -./testdata/accept/zip01.lc 4:22-4:27 'List V2 -> 'List V2 -./testdata/accept/zip01.lc 4:22-4:27 'List V2 -./testdata/accept/zip01.lc 4:22-4:27 V0 -./testdata/accept/zip01.lc 4:22-4:27 {a} -> {b} -> a -> b -> 'Tuple2 a b -./testdata/accept/zip01.lc 2:1-2:5 {a} -> {b} -> 'List a -> 'List b -> 'List ('Tuple2 a b) +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) -- cgit v1.2.3