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/primes.out | |
| parent | 03c8e879558f8e16e49b21d493a82ba9657f7d13 (diff) | |
update test output
Diffstat (limited to 'testdata/primes.out')
| -rw-r--r-- | testdata/primes.out | 232 |
1 files changed, 116 insertions, 116 deletions
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 @@ | |||
| 1 | main is not found | 1 | main is not found |
| 2 | tooltips: | 2 | tooltips: |
| 3 | ./testdata/accept/primes.lc 4:6-4:10 Type->Type | 3 | testdata/primes.lc 4:6-4:10 Type->Type |
| 4 | ./testdata/accept/primes.lc 4:6-4:10 Type | 4 | testdata/primes.lc 4:6-4:10 Type |
| 5 | ./testdata/accept/primes.lc 4:15-4:18 {a} -> 'List a | 5 | testdata/primes.lc 4:15-4:18 {a} -> 'List a |
| 6 | ./testdata/accept/primes.lc 4:6-4:35 Type | 6 | testdata/primes.lc 4:6-4:35 Type |
| 7 | ./testdata/accept/primes.lc 4:26-4:27 Type | 7 | testdata/primes.lc 4:26-4:27 Type |
| 8 | ./testdata/accept/primes.lc 4:29-4:33 Type->Type | 8 | testdata/primes.lc 4:29-4:33 Type->Type |
| 9 | ./testdata/accept/primes.lc 4:34-4:35 Type | 9 | testdata/primes.lc 4:34-4:35 Type |
| 10 | ./testdata/accept/primes.lc 4:21-4:25 {a} -> a -> 'List a -> 'List a | 10 | testdata/primes.lc 4:21-4:25 {a} -> a -> 'List a -> 'List a |
| 11 | ./testdata/accept/primes.lc 10:3-10:4 {a} -> {b} -> a->b -> a->b | 11 | testdata/primes.lc 10:3-10:4 {a} -> {b} -> a->b -> a->b |
| 12 | ./testdata/accept/primes.lc 12:1-12:3 {a} -> a->a | 12 | testdata/primes.lc 12:1-12:3 {a} -> a->a |
| 13 | ./testdata/accept/primes.lc 14:11-14:13 {a} -> a->a | 13 | testdata/primes.lc 14:11-14:13 {a} -> a->a |
| 14 | ./testdata/accept/primes.lc 14:1-14:8 {a} -> a->a | 14 | testdata/primes.lc 14:1-14:8 {a} -> a->a |
| 15 | ./testdata/accept/primes.lc 16:1-16:6 {a} -> a->a -> a | 15 | testdata/primes.lc 16:1-16:6 {a} -> a->a -> a |
| 16 | ./testdata/accept/primes.lc 16:1-16:6 {a} -> {b} -> (b -> a->a) -> a -> 'List b -> a | 16 | testdata/primes.lc 16:1-16:6 {a} -> {b} -> (b -> a->a) -> a -> 'List b -> a |
| 17 | ./testdata/accept/primes.lc 24:12-24:17 {a} -> {b} -> (b -> a->a) -> a -> 'List b -> a | 17 | testdata/primes.lc 24:12-24:17 {a} -> {b} -> (b -> a->a) -> a -> 'List b -> a |
| 18 | ./testdata/accept/primes.lc 24:19-24:53 V0 -> V2->V3 | 18 | testdata/primes.lc 24:19-24:53 V0 -> V2->V3 |
| 19 | ./testdata/accept/primes.lc 24:19-24:53 V2->V3 | 19 | testdata/primes.lc 24:19-24:53 V2->V3 |
| 20 | ./testdata/accept/primes.lc 24:28-24:53 V3 | 20 | testdata/primes.lc 24:28-24:53 V3 |
| 21 | ./testdata/accept/primes.lc 24:28-24:53 {a} -> 'Bool -> a -> a->a | 21 | testdata/primes.lc 24:28-24:53 {a} -> 'Bool -> a -> a->a |
| 22 | ./testdata/accept/primes.lc 24:33-24:34 'Bool | 22 | testdata/primes.lc 24:33-24:34 'Bool |
| 23 | ./testdata/accept/primes.lc 24:33-24:34 V6 | 23 | testdata/primes.lc 24:33-24:34 V6 |
| 24 | ./testdata/accept/primes.lc 24:40-24:45 V0 | 24 | testdata/primes.lc 24:40-24:45 V0 |
| 25 | ./testdata/accept/primes.lc 24:40-24:41 V0 | 25 | testdata/primes.lc 24:40-24:41 V0 |
| 26 | ./testdata/accept/primes.lc 24:40-24:41 V4 | 26 | testdata/primes.lc 24:40-24:41 V4 |
| 27 | ./testdata/accept/primes.lc 24:43-24:45 'List V2 | 27 | testdata/primes.lc 24:43-24:45 'List V2 |
| 28 | ./testdata/accept/primes.lc 24:43-24:45 V3 | 28 | testdata/primes.lc 24:43-24:45 V3 |
| 29 | ./testdata/accept/primes.lc 24:51-24:53 'List V2 | 29 | testdata/primes.lc 24:51-24:53 'List V2 |
| 30 | ./testdata/accept/primes.lc 24:1-24:7 {a} -> a->'Bool -> 'List a -> 'List a | 30 | testdata/primes.lc 24:1-24:7 {a} -> a->'Bool -> 'List a -> 'List a |
| 31 | ./testdata/accept/primes.lc 27:14-27:19 V0 | 31 | testdata/primes.lc 27:14-27:19 V0 |
| 32 | ./testdata/accept/primes.lc 27:14-27:19 'Bool | 32 | testdata/primes.lc 27:14-27:19 'Bool |
| 33 | ./testdata/accept/primes.lc 26:1-26:5 'Bool | 33 | testdata/primes.lc 26:1-26:5 'Bool |
| 34 | ./testdata/accept/primes.lc 26:1-26:5 V2 | 34 | testdata/primes.lc 26:1-26:5 V2 |
| 35 | ./testdata/accept/primes.lc 26:6-26:8 'Bool -> 'Bool->'Bool | 35 | testdata/primes.lc 26:6-26:8 'Bool -> 'Bool->'Bool |
| 36 | ./testdata/accept/primes.lc 29:7-29:12 {a} -> {b} -> (b -> a->a) -> a -> 'List b -> a | 36 | testdata/primes.lc 29:7-29:12 {a} -> {b} -> (b -> a->a) -> a -> 'List b -> a |
| 37 | ./testdata/accept/primes.lc 29:13-29:17 V0 -> V2->V3 | 37 | testdata/primes.lc 29:13-29:17 V0 -> V2->V3 |
| 38 | ./testdata/accept/primes.lc 29:13-29:17 'Bool -> 'Bool->'Bool | 38 | testdata/primes.lc 29:13-29:17 'Bool -> 'Bool->'Bool |
| 39 | ./testdata/accept/primes.lc 29:18-29:22 'Bool | 39 | testdata/primes.lc 29:18-29:22 'Bool |
| 40 | ./testdata/accept/primes.lc 29:1-29:4 'List 'Bool -> 'Bool | 40 | testdata/primes.lc 29:1-29:4 'List 'Bool -> 'Bool |
| 41 | ./testdata/accept/primes.lc 31:9-31:14 {a} -> {b} -> (b -> a->a) -> a -> 'List b -> a | 41 | testdata/primes.lc 31:9-31:14 {a} -> {b} -> (b -> a->a) -> a -> 'List b -> a |
| 42 | ./testdata/accept/primes.lc 31:16-31:32 V0 -> V2->V3 | 42 | testdata/primes.lc 31:16-31:32 V0 -> V2->V3 |
| 43 | ./testdata/accept/primes.lc 31:16-31:32 V2->V3 | 43 | testdata/primes.lc 31:16-31:32 V2->V3 |
| 44 | ./testdata/accept/primes.lc 31:27-31:32 V3 | 44 | testdata/primes.lc 31:27-31:32 V3 |
| 45 | ./testdata/accept/primes.lc 31:27-31:28 V0 | 45 | testdata/primes.lc 31:27-31:28 V0 |
| 46 | ./testdata/accept/primes.lc 31:27-31:28 V6 | 46 | testdata/primes.lc 31:27-31:28 V6 |
| 47 | ./testdata/accept/primes.lc 31:30-31:32 'List V0 | 47 | testdata/primes.lc 31:30-31:32 'List V0 |
| 48 | ./testdata/accept/primes.lc 31:1-31:4 {a} -> {b} -> a->b -> 'List a -> 'List b | 48 | testdata/primes.lc 31:1-31:4 {a} -> {b} -> a->b -> 'List a -> 'List b |
| 49 | ./testdata/accept/primes.lc 33:7-33:17 'Int -> 'Int->'Int | 49 | testdata/primes.lc 33:7-33:17 'Int -> 'Int->'Int |
| 50 | ./testdata/accept/primes.lc 33:1-33:4 'Int -> 'Int->'Int | 50 | testdata/primes.lc 33:1-33:4 'Int -> 'Int->'Int |
| 51 | ./testdata/accept/primes.lc 34:11-34:20 'Float->'Int | 51 | testdata/primes.lc 34:11-34:20 'Float->'Int |
| 52 | ./testdata/accept/primes.lc 34:22-34:51 'Float | 52 | testdata/primes.lc 34:22-34:51 'Float |
| 53 | ./testdata/accept/primes.lc 34:22-34:35 'Float->'Float | 53 | testdata/primes.lc 34:22-34:35 'Float->'Float |
| 54 | ./testdata/accept/primes.lc 34:37-34:51 'Float | 54 | testdata/primes.lc 34:37-34:51 'Float |
| 55 | ./testdata/accept/primes.lc 34:37-34:51 'Int->'Float | 55 | testdata/primes.lc 34:37-34:51 'Int->'Float |
| 56 | ./testdata/accept/primes.lc 34:1-34:6 'Int->'Int | 56 | testdata/primes.lc 34:1-34:6 'Int->'Int |
| 57 | ./testdata/accept/primes.lc 35:7-35:17 'Int -> 'Int->'Int | 57 | testdata/primes.lc 35:7-35:17 'Int -> 'Int->'Int |
| 58 | ./testdata/accept/primes.lc 35:1-35:4 'Int -> 'Int->'Int | 58 | testdata/primes.lc 35:1-35:4 'Int -> 'Int->'Int |
| 59 | ./testdata/accept/primes.lc 36:7-36:17 'Int -> 'Int->'Int | 59 | testdata/primes.lc 36:7-36:17 'Int -> 'Int->'Int |
| 60 | ./testdata/accept/primes.lc 36:1-36:4 'Int -> 'Int->'Int | 60 | testdata/primes.lc 36:1-36:4 'Int -> 'Int->'Int |
| 61 | ./testdata/accept/primes.lc 40:10-40:15 V0 | 61 | testdata/primes.lc 40:10-40:15 V0 |
| 62 | ./testdata/accept/primes.lc 40:10-40:15 'Bool | 62 | testdata/primes.lc 40:10-40:15 'Bool |
| 63 | ./testdata/accept/primes.lc 39:11-39:15 'Bool | 63 | testdata/primes.lc 39:11-39:15 'Bool |
| 64 | ./testdata/accept/primes.lc 39:5-39:7 'Ordering | 64 | testdata/primes.lc 39:5-39:7 'Ordering |
| 65 | ./testdata/accept/primes.lc 39:5-39:7 V1 | 65 | testdata/primes.lc 39:5-39:7 V1 |
| 66 | ./testdata/accept/primes.lc 38:15-38:29 'Ordering | 66 | testdata/primes.lc 38:15-38:29 'Ordering |
| 67 | ./testdata/accept/primes.lc 38:15-38:29 'Int -> 'Int->'Ordering | 67 | testdata/primes.lc 38:15-38:29 'Int -> 'Int->'Ordering |
| 68 | ./testdata/accept/primes.lc 38:3-38:5 'Int -> 'Int->'Bool | 68 | testdata/primes.lc 38:3-38:5 'Int -> 'Int->'Bool |
| 69 | ./testdata/accept/primes.lc 44:10-44:14 V0 | 69 | testdata/primes.lc 44:10-44:14 V0 |
| 70 | ./testdata/accept/primes.lc 44:10-44:14 'Bool | 70 | testdata/primes.lc 44:10-44:14 'Bool |
| 71 | ./testdata/accept/primes.lc 43:11-43:16 'Bool | 71 | testdata/primes.lc 43:11-43:16 'Bool |
| 72 | ./testdata/accept/primes.lc 43:5-43:7 'Ordering | 72 | testdata/primes.lc 43:5-43:7 'Ordering |
| 73 | ./testdata/accept/primes.lc 43:5-43:7 V1 | 73 | testdata/primes.lc 43:5-43:7 V1 |
| 74 | ./testdata/accept/primes.lc 42:15-42:29 'Ordering | 74 | testdata/primes.lc 42:15-42:29 'Ordering |
| 75 | ./testdata/accept/primes.lc 42:15-42:29 'Int -> 'Int->'Ordering | 75 | testdata/primes.lc 42:15-42:29 'Int -> 'Int->'Ordering |
| 76 | ./testdata/accept/primes.lc 42:3-42:5 'Int -> 'Int->'Bool | 76 | testdata/primes.lc 42:3-42:5 'Int -> 'Int->'Bool |
| 77 | ./testdata/accept/primes.lc 46:13-46:17 V0 | 77 | testdata/primes.lc 46:13-46:17 V0 |
| 78 | ./testdata/accept/primes.lc 46:13-46:17 'Bool | 78 | testdata/primes.lc 46:13-46:17 'Bool |
| 79 | ./testdata/accept/primes.lc 47:12-47:17 'Bool | 79 | testdata/primes.lc 47:12-47:17 'Bool |
| 80 | ./testdata/accept/primes.lc 46:5-46:10 'Bool | 80 | testdata/primes.lc 46:5-46:10 'Bool |
| 81 | ./testdata/accept/primes.lc 46:5-46:10 V1 | 81 | testdata/primes.lc 46:5-46:10 V1 |
| 82 | ./testdata/accept/primes.lc 46:1-46:4 'Bool->'Bool | 82 | testdata/primes.lc 46:1-46:4 'Bool->'Bool |
| 83 | ./testdata/accept/primes.lc 51:10-51:13 V1->V1 | 83 | testdata/primes.lc 51:10-51:13 V1->V1 |
| 84 | ./testdata/accept/primes.lc 51:10-51:13 'Bool->'Bool | 84 | testdata/primes.lc 51:10-51:13 'Bool->'Bool |
| 85 | ./testdata/accept/primes.lc 51:3-51:5 'Int -> 'Int->'Bool | 85 | testdata/primes.lc 51:3-51:5 'Int -> 'Int->'Bool |
| 86 | ./testdata/accept/primes.lc 53:1-53:10 {a} -> a->a -> a | 86 | testdata/primes.lc 53:1-53:10 {a} -> a->a -> a |
| 87 | ./testdata/accept/primes.lc 53:14-53:26 V0->V1 | 87 | testdata/primes.lc 53:14-53:26 V0->V1 |
| 88 | ./testdata/accept/primes.lc 53:14-53:26 V1 | 88 | testdata/primes.lc 53:14-53:26 V1 |
| 89 | ./testdata/accept/primes.lc 53:23-53:26 V1 -> 'List V2 -> 'List V2 | 89 | testdata/primes.lc 53:23-53:26 V1 -> 'List V2 -> 'List V2 |
| 90 | ./testdata/accept/primes.lc 53:23-53:26 'List V2 -> 'List V2 | 90 | testdata/primes.lc 53:23-53:26 'List V2 -> 'List V2 |
| 91 | ./testdata/accept/primes.lc 53:23-53:26 'List V2 | 91 | testdata/primes.lc 53:23-53:26 'List V2 |
| 92 | ./testdata/accept/primes.lc 53:23-53:26 'Bool | 92 | testdata/primes.lc 53:23-53:26 'Bool |
| 93 | ./testdata/accept/primes.lc 53:23-53:24 V6 | 93 | testdata/primes.lc 53:23-53:24 V6 |
| 94 | ./testdata/accept/primes.lc 53:25-53:26 V5 | 94 | testdata/primes.lc 53:25-53:26 V5 |
| 95 | ./testdata/accept/primes.lc 53:14-53:19 'List V0 | 95 | testdata/primes.lc 53:14-53:19 'List V0 |
| 96 | ./testdata/accept/primes.lc 53:14-53:19 V2 | 96 | testdata/primes.lc 53:14-53:19 V2 |
| 97 | ./testdata/accept/primes.lc 53:1-53:10 {a} -> a->'Bool -> 'List a -> 'List a | 97 | testdata/primes.lc 53:1-53:10 {a} -> a->'Bool -> 'List a -> 'List a |
| 98 | ./testdata/accept/primes.lc 56:1-56:5 {a} -> a->a -> a | 98 | testdata/primes.lc 56:1-56:5 {a} -> a->a -> a |
| 99 | ./testdata/accept/primes.lc 56:23-56:24 V0->V1 | 99 | testdata/primes.lc 56:23-56:24 V0->V1 |
| 100 | ./testdata/accept/primes.lc 56:23-56:24 V1 | 100 | testdata/primes.lc 56:23-56:24 V1 |
| 101 | ./testdata/accept/primes.lc 56:23-56:24 'List V1 | 101 | testdata/primes.lc 56:23-56:24 'List V1 |
| 102 | ./testdata/accept/primes.lc 56:23-56:24 'Int | 102 | testdata/primes.lc 56:23-56:24 'Int |
| 103 | ./testdata/accept/primes.lc 56:23-56:24 V0 | 103 | testdata/primes.lc 56:23-56:24 V0 |
| 104 | ./testdata/accept/primes.lc 56:1-56:5 'Int -> 'List 'Int | 104 | testdata/primes.lc 56:1-56:5 'Int -> 'List 'Int |
| 105 | ./testdata/accept/primes.lc 61:8-61:10 {a} -> a->a -> a | 105 | testdata/primes.lc 61:8-61:10 {a} -> a->a -> a |
| 106 | ./testdata/accept/primes.lc 61:2-62:27 V0->V1 | 106 | testdata/primes.lc 61:2-62:27 V0->V1 |
| 107 | ./testdata/accept/primes.lc 61:2-62:27 V1 | 107 | testdata/primes.lc 61:2-62:27 V1 |
| 108 | ./testdata/accept/primes.lc 61:11-62:27 V1 -> 'List V2 -> V2 | 108 | testdata/primes.lc 61:11-62:27 V1 -> 'List V2 -> V2 |
| 109 | ./testdata/accept/primes.lc 61:11-62:27 'List V2 -> V2 | 109 | testdata/primes.lc 61:11-62:27 'List V2 -> V2 |
| 110 | ./testdata/accept/primes.lc 61:11-62:27 V2 | 110 | testdata/primes.lc 61:11-62:27 V2 |
| 111 | ./testdata/accept/primes.lc 62:26-62:27 V0 | 111 | testdata/primes.lc 62:26-62:27 V0 |
| 112 | ./testdata/accept/primes.lc 62:26-62:27 'Int | 112 | testdata/primes.lc 62:26-62:27 'Int |
| 113 | ./testdata/accept/primes.lc 62:26-62:27 V3 | 113 | testdata/primes.lc 62:26-62:27 V3 |
| 114 | ./testdata/accept/primes.lc 61:11-61:12 'Ordering | 114 | testdata/primes.lc 61:11-61:12 'Ordering |
| 115 | ./testdata/accept/primes.lc 61:11-61:12 'Int | 115 | testdata/primes.lc 61:11-61:12 'Int |
| 116 | ./testdata/accept/primes.lc 61:2-61:6 'List V0 | 116 | testdata/primes.lc 61:2-61:6 'List V0 |
| 117 | ./testdata/accept/primes.lc 61:2-61:6 V3 | 117 | testdata/primes.lc 61:2-61:6 V3 |
| 118 | ./testdata/accept/primes.lc 61:8-61:10 {a} -> 'List a -> 'Int->a | 118 | testdata/primes.lc 61:8-61:10 {a} -> 'List a -> 'Int->a |