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/primes.out | 232 ++++++++++++++++++++++++++-------------------------- 1 file changed, 116 insertions(+), 116 deletions(-) (limited to 'testdata/primes.out') diff --git a/testdata/primes.out b/testdata/primes.out index e37ac5de..b6f8c6ef 100644 --- a/testdata/primes.out +++ b/testdata/primes.out @@ -1,118 +1,118 @@ main is not found tooltips: -./testdata/accept/primes.lc 4:6-4:10 Type->Type -./testdata/accept/primes.lc 4:6-4:10 Type -./testdata/accept/primes.lc 4:15-4:18 {a} -> 'List a -./testdata/accept/primes.lc 4:6-4:35 Type -./testdata/accept/primes.lc 4:26-4:27 Type -./testdata/accept/primes.lc 4:29-4:33 Type->Type -./testdata/accept/primes.lc 4:34-4:35 Type -./testdata/accept/primes.lc 4:21-4:25 {a} -> a -> 'List a -> 'List a -./testdata/accept/primes.lc 10:3-10:4 {a} -> {b} -> a->b -> a->b -./testdata/accept/primes.lc 12:1-12:3 {a} -> a->a -./testdata/accept/primes.lc 14:11-14:13 {a} -> a->a -./testdata/accept/primes.lc 14:1-14:8 {a} -> a->a -./testdata/accept/primes.lc 16:1-16:6 {a} -> a->a -> a -./testdata/accept/primes.lc 16:1-16:6 {a} -> {b} -> (b -> a->a) -> a -> 'List b -> a -./testdata/accept/primes.lc 24:12-24:17 {a} -> {b} -> (b -> a->a) -> a -> 'List b -> a -./testdata/accept/primes.lc 24:19-24:53 V0 -> V2->V3 -./testdata/accept/primes.lc 24:19-24:53 V2->V3 -./testdata/accept/primes.lc 24:28-24:53 V3 -./testdata/accept/primes.lc 24:28-24:53 {a} -> 'Bool -> a -> a->a -./testdata/accept/primes.lc 24:33-24:34 'Bool -./testdata/accept/primes.lc 24:33-24:34 V6 -./testdata/accept/primes.lc 24:40-24:45 V0 -./testdata/accept/primes.lc 24:40-24:41 V0 -./testdata/accept/primes.lc 24:40-24:41 V4 -./testdata/accept/primes.lc 24:43-24:45 'List V2 -./testdata/accept/primes.lc 24:43-24:45 V3 -./testdata/accept/primes.lc 24:51-24:53 'List V2 -./testdata/accept/primes.lc 24:1-24:7 {a} -> a->'Bool -> 'List a -> 'List a -./testdata/accept/primes.lc 27:14-27:19 V0 -./testdata/accept/primes.lc 27:14-27:19 'Bool -./testdata/accept/primes.lc 26:1-26:5 'Bool -./testdata/accept/primes.lc 26:1-26:5 V2 -./testdata/accept/primes.lc 26:6-26:8 'Bool -> 'Bool->'Bool -./testdata/accept/primes.lc 29:7-29:12 {a} -> {b} -> (b -> a->a) -> a -> 'List b -> a -./testdata/accept/primes.lc 29:13-29:17 V0 -> V2->V3 -./testdata/accept/primes.lc 29:13-29:17 'Bool -> 'Bool->'Bool -./testdata/accept/primes.lc 29:18-29:22 'Bool -./testdata/accept/primes.lc 29:1-29:4 'List 'Bool -> 'Bool -./testdata/accept/primes.lc 31:9-31:14 {a} -> {b} -> (b -> a->a) -> a -> 'List b -> a -./testdata/accept/primes.lc 31:16-31:32 V0 -> V2->V3 -./testdata/accept/primes.lc 31:16-31:32 V2->V3 -./testdata/accept/primes.lc 31:27-31:32 V3 -./testdata/accept/primes.lc 31:27-31:28 V0 -./testdata/accept/primes.lc 31:27-31:28 V6 -./testdata/accept/primes.lc 31:30-31:32 'List V0 -./testdata/accept/primes.lc 31:1-31:4 {a} -> {b} -> a->b -> 'List a -> 'List b -./testdata/accept/primes.lc 33:7-33:17 'Int -> 'Int->'Int -./testdata/accept/primes.lc 33:1-33:4 'Int -> 'Int->'Int -./testdata/accept/primes.lc 34:11-34:20 'Float->'Int -./testdata/accept/primes.lc 34:22-34:51 'Float -./testdata/accept/primes.lc 34:22-34:35 'Float->'Float -./testdata/accept/primes.lc 34:37-34:51 'Float -./testdata/accept/primes.lc 34:37-34:51 'Int->'Float -./testdata/accept/primes.lc 34:1-34:6 'Int->'Int -./testdata/accept/primes.lc 35:7-35:17 'Int -> 'Int->'Int -./testdata/accept/primes.lc 35:1-35:4 'Int -> 'Int->'Int -./testdata/accept/primes.lc 36:7-36:17 'Int -> 'Int->'Int -./testdata/accept/primes.lc 36:1-36:4 'Int -> 'Int->'Int -./testdata/accept/primes.lc 40:10-40:15 V0 -./testdata/accept/primes.lc 40:10-40:15 'Bool -./testdata/accept/primes.lc 39:11-39:15 'Bool -./testdata/accept/primes.lc 39:5-39:7 'Ordering -./testdata/accept/primes.lc 39:5-39:7 V1 -./testdata/accept/primes.lc 38:15-38:29 'Ordering -./testdata/accept/primes.lc 38:15-38:29 'Int -> 'Int->'Ordering -./testdata/accept/primes.lc 38:3-38:5 'Int -> 'Int->'Bool -./testdata/accept/primes.lc 44:10-44:14 V0 -./testdata/accept/primes.lc 44:10-44:14 'Bool -./testdata/accept/primes.lc 43:11-43:16 'Bool -./testdata/accept/primes.lc 43:5-43:7 'Ordering -./testdata/accept/primes.lc 43:5-43:7 V1 -./testdata/accept/primes.lc 42:15-42:29 'Ordering -./testdata/accept/primes.lc 42:15-42:29 'Int -> 'Int->'Ordering -./testdata/accept/primes.lc 42:3-42:5 'Int -> 'Int->'Bool -./testdata/accept/primes.lc 46:13-46:17 V0 -./testdata/accept/primes.lc 46:13-46:17 'Bool -./testdata/accept/primes.lc 47:12-47:17 'Bool -./testdata/accept/primes.lc 46:5-46:10 'Bool -./testdata/accept/primes.lc 46:5-46:10 V1 -./testdata/accept/primes.lc 46:1-46:4 'Bool->'Bool -./testdata/accept/primes.lc 51:10-51:13 V1->V1 -./testdata/accept/primes.lc 51:10-51:13 'Bool->'Bool -./testdata/accept/primes.lc 51:3-51:5 'Int -> 'Int->'Bool -./testdata/accept/primes.lc 53:1-53:10 {a} -> a->a -> a -./testdata/accept/primes.lc 53:14-53:26 V0->V1 -./testdata/accept/primes.lc 53:14-53:26 V1 -./testdata/accept/primes.lc 53:23-53:26 V1 -> 'List V2 -> 'List V2 -./testdata/accept/primes.lc 53:23-53:26 'List V2 -> 'List V2 -./testdata/accept/primes.lc 53:23-53:26 'List V2 -./testdata/accept/primes.lc 53:23-53:26 'Bool -./testdata/accept/primes.lc 53:23-53:24 V6 -./testdata/accept/primes.lc 53:25-53:26 V5 -./testdata/accept/primes.lc 53:14-53:19 'List V0 -./testdata/accept/primes.lc 53:14-53:19 V2 -./testdata/accept/primes.lc 53:1-53:10 {a} -> a->'Bool -> 'List a -> 'List a -./testdata/accept/primes.lc 56:1-56:5 {a} -> a->a -> a -./testdata/accept/primes.lc 56:23-56:24 V0->V1 -./testdata/accept/primes.lc 56:23-56:24 V1 -./testdata/accept/primes.lc 56:23-56:24 'List V1 -./testdata/accept/primes.lc 56:23-56:24 'Int -./testdata/accept/primes.lc 56:23-56:24 V0 -./testdata/accept/primes.lc 56:1-56:5 'Int -> 'List 'Int -./testdata/accept/primes.lc 61:8-61:10 {a} -> a->a -> a -./testdata/accept/primes.lc 61:2-62:27 V0->V1 -./testdata/accept/primes.lc 61:2-62:27 V1 -./testdata/accept/primes.lc 61:11-62:27 V1 -> 'List V2 -> V2 -./testdata/accept/primes.lc 61:11-62:27 'List V2 -> V2 -./testdata/accept/primes.lc 61:11-62:27 V2 -./testdata/accept/primes.lc 62:26-62:27 V0 -./testdata/accept/primes.lc 62:26-62:27 'Int -./testdata/accept/primes.lc 62:26-62:27 V3 -./testdata/accept/primes.lc 61:11-61:12 'Ordering -./testdata/accept/primes.lc 61:11-61:12 'Int -./testdata/accept/primes.lc 61:2-61:6 'List V0 -./testdata/accept/primes.lc 61:2-61:6 V3 -./testdata/accept/primes.lc 61:8-61:10 {a} -> 'List a -> 'Int->a +testdata/primes.lc 4:6-4:10 Type->Type +testdata/primes.lc 4:6-4:10 Type +testdata/primes.lc 4:15-4:18 {a} -> 'List a +testdata/primes.lc 4:6-4:35 Type +testdata/primes.lc 4:26-4:27 Type +testdata/primes.lc 4:29-4:33 Type->Type +testdata/primes.lc 4:34-4:35 Type +testdata/primes.lc 4:21-4:25 {a} -> a -> 'List a -> 'List a +testdata/primes.lc 10:3-10:4 {a} -> {b} -> a->b -> a->b +testdata/primes.lc 12:1-12:3 {a} -> a->a +testdata/primes.lc 14:11-14:13 {a} -> a->a +testdata/primes.lc 14:1-14:8 {a} -> a->a +testdata/primes.lc 16:1-16:6 {a} -> a->a -> a +testdata/primes.lc 16:1-16:6 {a} -> {b} -> (b -> a->a) -> a -> 'List b -> a +testdata/primes.lc 24:12-24:17 {a} -> {b} -> (b -> a->a) -> a -> 'List b -> a +testdata/primes.lc 24:19-24:53 V0 -> V2->V3 +testdata/primes.lc 24:19-24:53 V2->V3 +testdata/primes.lc 24:28-24:53 V3 +testdata/primes.lc 24:28-24:53 {a} -> 'Bool -> a -> a->a +testdata/primes.lc 24:33-24:34 'Bool +testdata/primes.lc 24:33-24:34 V6 +testdata/primes.lc 24:40-24:45 V0 +testdata/primes.lc 24:40-24:41 V0 +testdata/primes.lc 24:40-24:41 V4 +testdata/primes.lc 24:43-24:45 'List V2 +testdata/primes.lc 24:43-24:45 V3 +testdata/primes.lc 24:51-24:53 'List V2 +testdata/primes.lc 24:1-24:7 {a} -> a->'Bool -> 'List a -> 'List a +testdata/primes.lc 27:14-27:19 V0 +testdata/primes.lc 27:14-27:19 'Bool +testdata/primes.lc 26:1-26:5 'Bool +testdata/primes.lc 26:1-26:5 V2 +testdata/primes.lc 26:6-26:8 'Bool -> 'Bool->'Bool +testdata/primes.lc 29:7-29:12 {a} -> {b} -> (b -> a->a) -> a -> 'List b -> a +testdata/primes.lc 29:13-29:17 V0 -> V2->V3 +testdata/primes.lc 29:13-29:17 'Bool -> 'Bool->'Bool +testdata/primes.lc 29:18-29:22 'Bool +testdata/primes.lc 29:1-29:4 'List 'Bool -> 'Bool +testdata/primes.lc 31:9-31:14 {a} -> {b} -> (b -> a->a) -> a -> 'List b -> a +testdata/primes.lc 31:16-31:32 V0 -> V2->V3 +testdata/primes.lc 31:16-31:32 V2->V3 +testdata/primes.lc 31:27-31:32 V3 +testdata/primes.lc 31:27-31:28 V0 +testdata/primes.lc 31:27-31:28 V6 +testdata/primes.lc 31:30-31:32 'List V0 +testdata/primes.lc 31:1-31:4 {a} -> {b} -> a->b -> 'List a -> 'List b +testdata/primes.lc 33:7-33:17 'Int -> 'Int->'Int +testdata/primes.lc 33:1-33:4 'Int -> 'Int->'Int +testdata/primes.lc 34:11-34:20 'Float->'Int +testdata/primes.lc 34:22-34:51 'Float +testdata/primes.lc 34:22-34:35 'Float->'Float +testdata/primes.lc 34:37-34:51 'Float +testdata/primes.lc 34:37-34:51 'Int->'Float +testdata/primes.lc 34:1-34:6 'Int->'Int +testdata/primes.lc 35:7-35:17 'Int -> 'Int->'Int +testdata/primes.lc 35:1-35:4 'Int -> 'Int->'Int +testdata/primes.lc 36:7-36:17 'Int -> 'Int->'Int +testdata/primes.lc 36:1-36:4 'Int -> 'Int->'Int +testdata/primes.lc 40:10-40:15 V0 +testdata/primes.lc 40:10-40:15 'Bool +testdata/primes.lc 39:11-39:15 'Bool +testdata/primes.lc 39:5-39:7 'Ordering +testdata/primes.lc 39:5-39:7 V1 +testdata/primes.lc 38:15-38:29 'Ordering +testdata/primes.lc 38:15-38:29 'Int -> 'Int->'Ordering +testdata/primes.lc 38:3-38:5 'Int -> 'Int->'Bool +testdata/primes.lc 44:10-44:14 V0 +testdata/primes.lc 44:10-44:14 'Bool +testdata/primes.lc 43:11-43:16 'Bool +testdata/primes.lc 43:5-43:7 'Ordering +testdata/primes.lc 43:5-43:7 V1 +testdata/primes.lc 42:15-42:29 'Ordering +testdata/primes.lc 42:15-42:29 'Int -> 'Int->'Ordering +testdata/primes.lc 42:3-42:5 'Int -> 'Int->'Bool +testdata/primes.lc 46:13-46:17 V0 +testdata/primes.lc 46:13-46:17 'Bool +testdata/primes.lc 47:12-47:17 'Bool +testdata/primes.lc 46:5-46:10 'Bool +testdata/primes.lc 46:5-46:10 V1 +testdata/primes.lc 46:1-46:4 'Bool->'Bool +testdata/primes.lc 51:10-51:13 V1->V1 +testdata/primes.lc 51:10-51:13 'Bool->'Bool +testdata/primes.lc 51:3-51:5 'Int -> 'Int->'Bool +testdata/primes.lc 53:1-53:10 {a} -> a->a -> a +testdata/primes.lc 53:14-53:26 V0->V1 +testdata/primes.lc 53:14-53:26 V1 +testdata/primes.lc 53:23-53:26 V1 -> 'List V2 -> 'List V2 +testdata/primes.lc 53:23-53:26 'List V2 -> 'List V2 +testdata/primes.lc 53:23-53:26 'List V2 +testdata/primes.lc 53:23-53:26 'Bool +testdata/primes.lc 53:23-53:24 V6 +testdata/primes.lc 53:25-53:26 V5 +testdata/primes.lc 53:14-53:19 'List V0 +testdata/primes.lc 53:14-53:19 V2 +testdata/primes.lc 53:1-53:10 {a} -> a->'Bool -> 'List a -> 'List a +testdata/primes.lc 56:1-56:5 {a} -> a->a -> a +testdata/primes.lc 56:23-56:24 V0->V1 +testdata/primes.lc 56:23-56:24 V1 +testdata/primes.lc 56:23-56:24 'List V1 +testdata/primes.lc 56:23-56:24 'Int +testdata/primes.lc 56:23-56:24 V0 +testdata/primes.lc 56:1-56:5 'Int -> 'List 'Int +testdata/primes.lc 61:8-61:10 {a} -> a->a -> a +testdata/primes.lc 61:2-62:27 V0->V1 +testdata/primes.lc 61:2-62:27 V1 +testdata/primes.lc 61:11-62:27 V1 -> 'List V2 -> V2 +testdata/primes.lc 61:11-62:27 'List V2 -> V2 +testdata/primes.lc 61:11-62:27 V2 +testdata/primes.lc 62:26-62:27 V0 +testdata/primes.lc 62:26-62:27 'Int +testdata/primes.lc 62:26-62:27 V3 +testdata/primes.lc 61:11-61:12 'Ordering +testdata/primes.lc 61:11-61:12 'Int +testdata/primes.lc 61:2-61:6 'List V0 +testdata/primes.lc 61:2-61:6 V3 +testdata/primes.lc 61:8-61:10 {a} -> 'List a -> 'Int->a -- cgit v1.2.3