summaryrefslogtreecommitdiff
path: root/testdata/primes.out
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-01-19 12:47:45 +0100
committerPéter Diviánszky <divipp@gmail.com>2016-01-19 17:40:42 +0100
commitb1cb27d9a162b51b764f8fd7d860b27263479484 (patch)
treea520f94549217e8d5fbc98620ce65550821ddef4 /testdata/primes.out
parent123447170ec2d85752f04a94b423babe7f2f490e (diff)
don't evaluate expressions at the end of inference
Diffstat (limited to 'testdata/primes.out')
-rw-r--r--testdata/primes.out205
1 files changed, 101 insertions, 104 deletions
diff --git a/testdata/primes.out b/testdata/primes.out
index b6f8c6ef..964cfed4 100644
--- a/testdata/primes.out
+++ b/testdata/primes.out
@@ -10,109 +10,106 @@ testdata/primes.lc 4:34-4:35 Type
10testdata/primes.lc 4:21-4:25 {a} -> a -> 'List a -> 'List a 10testdata/primes.lc 4:21-4:25 {a} -> a -> 'List a -> 'List a
11testdata/primes.lc 10:3-10:4 {a} -> {b} -> a->b -> a->b 11testdata/primes.lc 10:3-10:4 {a} -> {b} -> a->b -> a->b
12testdata/primes.lc 12:1-12:3 {a} -> a->a 12testdata/primes.lc 12:1-12:3 {a} -> a->a
13testdata/primes.lc 14:11-14:13 {a} -> a->a 13testdata/primes.lc 14:1-14:6 {a} -> a->a -> a
14testdata/primes.lc 14:1-14:8 {a} -> a->a 14testdata/primes.lc 14:1-14:6 {a} -> {b} -> (b -> a->a) -> a -> 'List b -> a
15testdata/primes.lc 16:1-16:6 {a} -> a->a -> a 15testdata/primes.lc 22:12-22:17 {a} -> {b} -> (b -> a->a) -> a -> 'List b -> a
16testdata/primes.lc 16:1-16:6 {a} -> {b} -> (b -> a->a) -> a -> 'List b -> a 16testdata/primes.lc 22:19-22:53 V0 -> V2->V3
17testdata/primes.lc 24:12-24:17 {a} -> {b} -> (b -> a->a) -> a -> 'List b -> a 17testdata/primes.lc 22:19-22:53 V2->V3
18testdata/primes.lc 24:19-24:53 V0 -> V2->V3 18testdata/primes.lc 22:28-22:53 V3
19testdata/primes.lc 24:19-24:53 V2->V3 19testdata/primes.lc 22:28-22:53 {a} -> 'Bool -> a -> a->a
20testdata/primes.lc 24:28-24:53 V3 20testdata/primes.lc 22:33-22:34 'Bool
21testdata/primes.lc 24:28-24:53 {a} -> 'Bool -> a -> a->a 21testdata/primes.lc 22:33-22:34 V6
22testdata/primes.lc 24:33-24:34 'Bool 22testdata/primes.lc 22:40-22:45 V0
23testdata/primes.lc 24:33-24:34 V6 23testdata/primes.lc 22:40-22:41 V0
24testdata/primes.lc 24:40-24:45 V0 24testdata/primes.lc 22:40-22:41 V4
25testdata/primes.lc 24:40-24:41 V0 25testdata/primes.lc 22:43-22:45 'List V2
26testdata/primes.lc 24:40-24:41 V4 26testdata/primes.lc 22:43-22:45 V3
27testdata/primes.lc 24:43-24:45 'List V2 27testdata/primes.lc 22:51-22:53 'List V2
28testdata/primes.lc 24:43-24:45 V3 28testdata/primes.lc 22:1-22:7 {a} -> a->'Bool -> 'List a -> 'List a
29testdata/primes.lc 24:51-24:53 'List V2 29testdata/primes.lc 25:14-25:19 V0
30testdata/primes.lc 24:1-24:7 {a} -> a->'Bool -> 'List a -> 'List a 30testdata/primes.lc 25:14-25:19 'Bool
31testdata/primes.lc 27:14-27:19 V0 31testdata/primes.lc 24:1-24:5 'Bool
32testdata/primes.lc 27:14-27:19 'Bool 32testdata/primes.lc 24:1-24:5 V2
33testdata/primes.lc 26:1-26:5 'Bool 33testdata/primes.lc 24:6-24:8 'Bool -> 'Bool->'Bool
34testdata/primes.lc 26:1-26:5 V2 34testdata/primes.lc 27:7-27:12 {a} -> {b} -> (b -> a->a) -> a -> 'List b -> a
35testdata/primes.lc 26:6-26:8 'Bool -> 'Bool->'Bool 35testdata/primes.lc 27:13-27:17 V0 -> V2->V3
36testdata/primes.lc 29:7-29:12 {a} -> {b} -> (b -> a->a) -> a -> 'List b -> a 36testdata/primes.lc 27:13-27:17 'Bool -> 'Bool->'Bool
37testdata/primes.lc 29:13-29:17 V0 -> V2->V3 37testdata/primes.lc 27:18-27:22 'Bool
38testdata/primes.lc 29:13-29:17 'Bool -> 'Bool->'Bool 38testdata/primes.lc 27:1-27:4 'List 'Bool -> 'Bool
39testdata/primes.lc 29:18-29:22 'Bool 39testdata/primes.lc 29:9-29:14 {a} -> {b} -> (b -> a->a) -> a -> 'List b -> a
40testdata/primes.lc 29:1-29:4 'List 'Bool -> 'Bool 40testdata/primes.lc 29:16-29:32 V0 -> V2->V3
41testdata/primes.lc 31:9-31:14 {a} -> {b} -> (b -> a->a) -> a -> 'List b -> a 41testdata/primes.lc 29:16-29:32 V2->V3
42testdata/primes.lc 31:16-31:32 V0 -> V2->V3 42testdata/primes.lc 29:27-29:32 V3
43testdata/primes.lc 31:16-31:32 V2->V3 43testdata/primes.lc 29:27-29:28 V0
44testdata/primes.lc 31:27-31:32 V3 44testdata/primes.lc 29:27-29:28 V6
45testdata/primes.lc 31:27-31:28 V0 45testdata/primes.lc 29:30-29:32 'List V0
46testdata/primes.lc 31:27-31:28 V6 46testdata/primes.lc 29:1-29:4 {a} -> {b} -> a->b -> 'List a -> 'List b
47testdata/primes.lc 31:30-31:32 'List V0 47testdata/primes.lc 31:7-31:17 'Int -> 'Int->'Int
48testdata/primes.lc 31:1-31:4 {a} -> {b} -> a->b -> 'List a -> 'List b 48testdata/primes.lc 31:1-31:4 'Int -> 'Int->'Int
49testdata/primes.lc 32:11-32:20 'Float->'Int
50testdata/primes.lc 32:22-32:51 'Float
51testdata/primes.lc 32:22-32:35 'Float->'Float
52testdata/primes.lc 32:37-32:51 'Float
53testdata/primes.lc 32:37-32:51 'Int->'Float
54testdata/primes.lc 32:1-32:6 'Int->'Int
49testdata/primes.lc 33:7-33:17 'Int -> 'Int->'Int 55testdata/primes.lc 33:7-33:17 'Int -> 'Int->'Int
50testdata/primes.lc 33:1-33:4 'Int -> 'Int->'Int 56testdata/primes.lc 33:1-33:4 'Int -> 'Int->'Int
51testdata/primes.lc 34:11-34:20 'Float->'Int 57testdata/primes.lc 34:7-34:17 'Int -> 'Int->'Int
52testdata/primes.lc 34:22-34:51 'Float 58testdata/primes.lc 34:1-34:4 'Int -> 'Int->'Int
53testdata/primes.lc 34:22-34:35 'Float->'Float 59testdata/primes.lc 38:10-38:15 V0
54testdata/primes.lc 34:37-34:51 'Float 60testdata/primes.lc 38:10-38:15 'Bool
55testdata/primes.lc 34:37-34:51 'Int->'Float 61testdata/primes.lc 37:11-37:15 'Bool
56testdata/primes.lc 34:1-34:6 'Int->'Int 62testdata/primes.lc 37:5-37:7 'Ordering
57testdata/primes.lc 35:7-35:17 'Int -> 'Int->'Int 63testdata/primes.lc 37:5-37:7 V1
58testdata/primes.lc 35:1-35:4 'Int -> 'Int->'Int 64testdata/primes.lc 36:15-36:29 'Ordering
59testdata/primes.lc 36:7-36:17 'Int -> 'Int->'Int 65testdata/primes.lc 36:15-36:29 'Int -> 'Int->'Ordering
60testdata/primes.lc 36:1-36:4 'Int -> 'Int->'Int 66testdata/primes.lc 36:3-36:5 'Int -> 'Int->'Bool
61testdata/primes.lc 40:10-40:15 V0 67testdata/primes.lc 42:10-42:14 V0
62testdata/primes.lc 40:10-40:15 'Bool 68testdata/primes.lc 42:10-42:14 'Bool
63testdata/primes.lc 39:11-39:15 'Bool 69testdata/primes.lc 41:11-41:16 'Bool
64testdata/primes.lc 39:5-39:7 'Ordering 70testdata/primes.lc 41:5-41:7 'Ordering
65testdata/primes.lc 39:5-39:7 V1 71testdata/primes.lc 41:5-41:7 V1
66testdata/primes.lc 38:15-38:29 'Ordering 72testdata/primes.lc 40:15-40:29 'Ordering
67testdata/primes.lc 38:15-38:29 'Int -> 'Int->'Ordering 73testdata/primes.lc 40:15-40:29 'Int -> 'Int->'Ordering
68testdata/primes.lc 38:3-38:5 'Int -> 'Int->'Bool 74testdata/primes.lc 40:3-40:5 'Int -> 'Int->'Bool
69testdata/primes.lc 44:10-44:14 V0 75testdata/primes.lc 44:13-44:17 V0
70testdata/primes.lc 44:10-44:14 'Bool 76testdata/primes.lc 44:13-44:17 'Bool
71testdata/primes.lc 43:11-43:16 'Bool 77testdata/primes.lc 45:12-45:17 'Bool
72testdata/primes.lc 43:5-43:7 'Ordering 78testdata/primes.lc 44:5-44:10 'Bool
73testdata/primes.lc 43:5-43:7 V1 79testdata/primes.lc 44:5-44:10 V1
74testdata/primes.lc 42:15-42:29 'Ordering 80testdata/primes.lc 44:1-44:4 'Bool->'Bool
75testdata/primes.lc 42:15-42:29 'Int -> 'Int->'Ordering 81testdata/primes.lc 49:10-49:13 V1->V1
76testdata/primes.lc 42:3-42:5 'Int -> 'Int->'Bool 82testdata/primes.lc 49:10-49:13 'Bool->'Bool
77testdata/primes.lc 46:13-46:17 V0 83testdata/primes.lc 49:3-49:5 'Int -> 'Int->'Bool
78testdata/primes.lc 46:13-46:17 'Bool 84testdata/primes.lc 51:1-51:10 {a} -> a->a -> a
79testdata/primes.lc 47:12-47:17 'Bool 85testdata/primes.lc 51:14-51:26 V0->V1
80testdata/primes.lc 46:5-46:10 'Bool 86testdata/primes.lc 51:14-51:26 V1
81testdata/primes.lc 46:5-46:10 V1 87testdata/primes.lc 51:23-51:26 V1 -> 'List V2 -> 'List V2
82testdata/primes.lc 46:1-46:4 'Bool->'Bool 88testdata/primes.lc 51:23-51:26 'List V2 -> 'List V2
83testdata/primes.lc 51:10-51:13 V1->V1 89testdata/primes.lc 51:23-51:26 'List V2
84testdata/primes.lc 51:10-51:13 'Bool->'Bool 90testdata/primes.lc 51:23-51:26 'Bool
85testdata/primes.lc 51:3-51:5 'Int -> 'Int->'Bool 91testdata/primes.lc 51:23-51:24 V6
86testdata/primes.lc 53:1-53:10 {a} -> a->a -> a 92testdata/primes.lc 51:25-51:26 V5
87testdata/primes.lc 53:14-53:26 V0->V1 93testdata/primes.lc 51:14-51:19 'List V0
88testdata/primes.lc 53:14-53:26 V1 94testdata/primes.lc 51:14-51:19 V2
89testdata/primes.lc 53:23-53:26 V1 -> 'List V2 -> 'List V2 95testdata/primes.lc 51:1-51:10 {a} -> a->'Bool -> 'List a -> 'List a
90testdata/primes.lc 53:23-53:26 'List V2 -> 'List V2 96testdata/primes.lc 54:1-54:5 {a} -> a->a -> a
91testdata/primes.lc 53:23-53:26 'List V2 97testdata/primes.lc 54:23-54:24 V0->V1
92testdata/primes.lc 53:23-53:26 'Bool 98testdata/primes.lc 54:23-54:24 V1
93testdata/primes.lc 53:23-53:24 V6 99testdata/primes.lc 54:23-54:24 'List V1
94testdata/primes.lc 53:25-53:26 V5 100testdata/primes.lc 54:23-54:24 'Int
95testdata/primes.lc 53:14-53:19 'List V0 101testdata/primes.lc 54:1-54:5 'Int -> 'List 'Int
96testdata/primes.lc 53:14-53:19 V2 102testdata/primes.lc 59:8-59:10 {a} -> a->a -> a
97testdata/primes.lc 53:1-53:10 {a} -> a->'Bool -> 'List a -> 'List a 103testdata/primes.lc 59:2-60:27 V0->V1
98testdata/primes.lc 56:1-56:5 {a} -> a->a -> a 104testdata/primes.lc 59:2-60:27 V1
99testdata/primes.lc 56:23-56:24 V0->V1 105testdata/primes.lc 59:11-60:27 V1 -> 'List V2 -> V2
100testdata/primes.lc 56:23-56:24 V1 106testdata/primes.lc 59:11-60:27 'List V2 -> V2
101testdata/primes.lc 56:23-56:24 'List V1 107testdata/primes.lc 59:11-60:27 V2
102testdata/primes.lc 56:23-56:24 'Int 108testdata/primes.lc 60:26-60:27 V0
103testdata/primes.lc 56:23-56:24 V0 109testdata/primes.lc 60:26-60:27 'Int
104testdata/primes.lc 56:1-56:5 'Int -> 'List 'Int 110testdata/primes.lc 60:26-60:27 V3
105testdata/primes.lc 61:8-61:10 {a} -> a->a -> a 111testdata/primes.lc 59:11-59:12 'Ordering
106testdata/primes.lc 61:2-62:27 V0->V1 112testdata/primes.lc 59:11-59:12 'Int
107testdata/primes.lc 61:2-62:27 V1 113testdata/primes.lc 59:2-59:6 'List V0
108testdata/primes.lc 61:11-62:27 V1 -> 'List V2 -> V2 114testdata/primes.lc 59:2-59:6 V3
109testdata/primes.lc 61:11-62:27 'List V2 -> V2 115testdata/primes.lc 59:8-59:10 {a} -> 'List a -> 'Int->a
110testdata/primes.lc 61:11-62:27 V2
111testdata/primes.lc 62:26-62:27 V0
112testdata/primes.lc 62:26-62:27 'Int
113testdata/primes.lc 62:26-62:27 V3
114testdata/primes.lc 61:11-61:12 'Ordering
115testdata/primes.lc 61:11-61:12 'Int
116testdata/primes.lc 61:2-61:6 'List V0
117testdata/primes.lc 61:2-61:6 V3
118testdata/primes.lc 61:8-61:10 {a} -> 'List a -> 'Int->a
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 14:27:32 +0000