summaryrefslogtreecommitdiff
path: root/testdata/Internals.out
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-01-27 12:15:37 +0100
committerPéter Diviánszky <divipp@gmail.com>2016-01-27 12:15:43 +0100
commitdffb7cbe2a0922e92d08040508226becd46f349c (patch)
tree9ce4f06ae683b327ce5c5ce0c5622291f7cb0f2e /testdata/Internals.out
parentc0a3b1a4a71af08398d561698765206a54114593 (diff)
first try to move wired-in constraint reductions into the library
Diffstat (limited to 'testdata/Internals.out')
-rw-r--r--testdata/Internals.out328
1 files changed, 182 insertions, 146 deletions
diff --git a/testdata/Internals.out b/testdata/Internals.out
index 9aea069f..f55a02c2 100644
--- a/testdata/Internals.out
+++ b/testdata/Internals.out
@@ -61,149 +61,185 @@ testdata/Internals.lc 28:24-28:35 Type
61testdata/Internals.lc 28:29-28:30 Type 61testdata/Internals.lc 28:29-28:30 Type
62testdata/Internals.lc 28:29-28:35 Type 62testdata/Internals.lc 28:29-28:35 Type
63testdata/Internals.lc 28:34-28:35 Type 63testdata/Internals.lc 28:34-28:35 Type
64testdata/Internals.lc 30:13-30:17 a:Type -> a -> a->Type 64testdata/Internals.lc 32:5-32:18 Type -> Type->Type
65testdata/Internals.lc 30:24-30:28 Type 65testdata/Internals.lc 32:26-32:27 Type
66testdata/Internals.lc 30:36-30:37 Type 66testdata/Internals.lc 32:26-36:31 Type | Type -> Type->Type | Type->Type
67testdata/Internals.lc 30:36-30:46 Type 67testdata/Internals.lc 33:22-33:26 Type
68testdata/Internals.lc 30:45-30:46 Type 68testdata/Internals.lc 33:22-33:39 Type->Type
69testdata/Internals.lc 31:13-31:15 Type -> Type->Type 69testdata/Internals.lc 33:22-36:31 Type
70testdata/Internals.lc 34:1-34:4 Unit -> Unit->Unit 70testdata/Internals.lc 33:30-33:39 Type | Type -> Type->Type | Type->Type
71testdata/Internals.lc 34:8-34:12 Type 71testdata/Internals.lc 33:31-33:32 Type
72testdata/Internals.lc 34:16-34:20 Type 72testdata/Internals.lc 33:31-33:35 Type->Type
73testdata/Internals.lc 34:16-34:28 Type 73testdata/Internals.lc 33:34-33:35 Type
74testdata/Internals.lc 34:24-34:28 Type 74testdata/Internals.lc 33:37-33:38 Type
75testdata/Internals.lc 37:6-37:9 Type 75testdata/Internals.lc 34:22-34:29 Type
76testdata/Internals.lc 38:6-38:10 Type 76testdata/Internals.lc 34:22-34:45 Type->Type
77testdata/Internals.lc 39:6-39:11 Type 77testdata/Internals.lc 34:22-36:31 Type
78testdata/Internals.lc 40:6-40:10 Type 78testdata/Internals.lc 34:33-34:45 Type | Type -> Type -> Type->Type | Type -> Type->Type | Type->Type
79testdata/Internals.lc 42:6-42:10 Type 79testdata/Internals.lc 34:34-34:35 Type
80testdata/Internals.lc 42:6-42:25 Type 80testdata/Internals.lc 34:34-34:38 Type -> Type->Type
81testdata/Internals.lc 42:13-42:18 Bool 81testdata/Internals.lc 34:34-34:41 Type->Type
82testdata/Internals.lc 42:21-42:25 Bool 82testdata/Internals.lc 34:37-34:38 Type
83testdata/Internals.lc 44:6-44:14 Type 83testdata/Internals.lc 34:40-34:41 Type
84testdata/Internals.lc 44:6-44:29 Type 84testdata/Internals.lc 34:43-34:44 Type
85testdata/Internals.lc 44:17-44:19 Ordering 85testdata/Internals.lc 35:22-35:32 Type
86testdata/Internals.lc 44:22-44:24 Ordering 86testdata/Internals.lc 35:22-35:51 Type->Type
87testdata/Internals.lc 44:27-44:29 Ordering 87testdata/Internals.lc 35:22-36:31 Type
88testdata/Internals.lc 47:1-47:14 Int->Word 88testdata/Internals.lc 35:36-35:51 Type | Type -> Type -> Type -> Type->Type | Type -> Type -> Type->Type | Type -> Type->Type | Type->Type
89testdata/Internals.lc 47:24-47:27 Type 89testdata/Internals.lc 35:37-35:38 Type
90testdata/Internals.lc 47:33-47:37 Type 90testdata/Internals.lc 35:37-35:41 Type -> Type -> Type->Type
91testdata/Internals.lc 48:1-48:15 Int->Float 91testdata/Internals.lc 35:37-35:44 Type -> Type->Type
92testdata/Internals.lc 48:24-48:27 Type 92testdata/Internals.lc 35:37-35:47 Type->Type
93testdata/Internals.lc 48:33-48:38 Type 93testdata/Internals.lc 35:40-35:41 Type
94testdata/Internals.lc 49:1-49:15 Int -> Int->Ordering 94testdata/Internals.lc 35:43-35:44 Type
95testdata/Internals.lc 49:24-49:27 Type 95testdata/Internals.lc 35:46-35:47 Type
96testdata/Internals.lc 49:33-49:36 Type 96testdata/Internals.lc 35:49-35:50 Type
97testdata/Internals.lc 49:33-49:50 Type 97testdata/Internals.lc 36:25-36:31 Type
98testdata/Internals.lc 49:42-49:50 Type 98testdata/Internals.lc 36:26-36:27 Type
99testdata/Internals.lc 50:1-50:16 Word -> Word->Ordering 99testdata/Internals.lc 36:29-36:30 Type
100testdata/Internals.lc 50:24-50:28 Type 100testdata/Internals.lc 39:13-39:15 Type -> Type->Type
101testdata/Internals.lc 50:33-50:37 Type 101testdata/Internals.lc 42:13-42:17 a:Type -> a -> a->Type
102testdata/Internals.lc 50:33-50:50 Type 102testdata/Internals.lc 42:24-42:28 Type
103testdata/Internals.lc 50:42-50:50 Type 103testdata/Internals.lc 42:36-42:37 Type
104testdata/Internals.lc 51:1-51:17 Float -> Float->Ordering 104testdata/Internals.lc 42:36-42:46 Type
105testdata/Internals.lc 51:24-51:29 Type 105testdata/Internals.lc 42:45-42:46 Type
106testdata/Internals.lc 51:33-51:38 Type 106testdata/Internals.lc 47:1-47:4 Unit -> Unit->Unit
107testdata/Internals.lc 51:33-51:50 Type 107testdata/Internals.lc 47:8-47:12 Type
108testdata/Internals.lc 51:42-51:50 Type 108testdata/Internals.lc 47:16-47:20 Type
109testdata/Internals.lc 52:1-52:16 Char -> Char->Ordering 109testdata/Internals.lc 47:16-47:28 Type
110testdata/Internals.lc 52:24-52:28 Type 110testdata/Internals.lc 47:24-47:28 Type
111testdata/Internals.lc 52:33-52:37 Type 111testdata/Internals.lc 50:6-50:9 Type
112testdata/Internals.lc 52:33-52:50 Type 112testdata/Internals.lc 51:6-51:10 Type
113testdata/Internals.lc 52:42-52:50 Type 113testdata/Internals.lc 52:6-52:11 Type
114testdata/Internals.lc 53:1-53:18 String -> String->Ordering 114testdata/Internals.lc 53:6-53:10 Type
115testdata/Internals.lc 53:24-53:30 Type 115testdata/Internals.lc 55:6-55:10 Type
116testdata/Internals.lc 53:34-53:40 Type 116testdata/Internals.lc 55:6-55:25 Type
117testdata/Internals.lc 53:34-53:52 Type 117testdata/Internals.lc 55:13-55:18 Bool
118testdata/Internals.lc 53:44-53:52 Type 118testdata/Internals.lc 55:21-55:25 Bool
119testdata/Internals.lc 54:1-54:14 Int->Int 119testdata/Internals.lc 57:6-57:14 Type
120testdata/Internals.lc 54:24-54:27 Type 120testdata/Internals.lc 57:6-57:29 Type
121testdata/Internals.lc 54:33-54:36 Type 121testdata/Internals.lc 57:17-57:19 Ordering
122testdata/Internals.lc 55:1-55:15 Word->Word 122testdata/Internals.lc 57:22-57:24 Ordering
123testdata/Internals.lc 55:24-55:28 Type 123testdata/Internals.lc 57:27-57:29 Ordering
124testdata/Internals.lc 55:33-55:37 Type 124testdata/Internals.lc 60:1-60:14 Int->Word
125testdata/Internals.lc 56:1-56:16 Float->Float 125testdata/Internals.lc 60:24-60:27 Type
126testdata/Internals.lc 56:24-56:29 Type 126testdata/Internals.lc 60:33-60:37 Type
127testdata/Internals.lc 56:33-56:38 Type 127testdata/Internals.lc 61:1-61:15 Int->Float
128testdata/Internals.lc 57:1-57:11 Int -> Int->Int 128testdata/Internals.lc 61:24-61:27 Type
129testdata/Internals.lc 57:24-57:27 Type 129testdata/Internals.lc 61:33-61:38 Type
130testdata/Internals.lc 57:33-57:36 Type 130testdata/Internals.lc 62:1-62:15 Int -> Int->Ordering
131testdata/Internals.lc 57:33-57:45 Type 131testdata/Internals.lc 62:24-62:27 Type
132testdata/Internals.lc 57:42-57:45 Type 132testdata/Internals.lc 62:33-62:36 Type
133testdata/Internals.lc 58:1-58:11 Int -> Int->Int 133testdata/Internals.lc 62:33-62:50 Type
134testdata/Internals.lc 58:24-58:27 Type 134testdata/Internals.lc 62:42-62:50 Type
135testdata/Internals.lc 58:33-58:36 Type 135testdata/Internals.lc 63:1-63:16 Word -> Word->Ordering
136testdata/Internals.lc 58:33-58:45 Type 136testdata/Internals.lc 63:24-63:28 Type
137testdata/Internals.lc 58:42-58:45 Type 137testdata/Internals.lc 63:33-63:37 Type
138testdata/Internals.lc 59:1-59:11 Int -> Int->Int 138testdata/Internals.lc 63:33-63:50 Type
139testdata/Internals.lc 59:24-59:27 Type 139testdata/Internals.lc 63:42-63:50 Type
140testdata/Internals.lc 59:33-59:36 Type 140testdata/Internals.lc 64:1-64:17 Float -> Float->Ordering
141testdata/Internals.lc 59:33-59:45 Type 141testdata/Internals.lc 64:24-64:29 Type
142testdata/Internals.lc 59:42-59:45 Type 142testdata/Internals.lc 64:33-64:38 Type
143testdata/Internals.lc 60:1-60:14 Float->Float 143testdata/Internals.lc 64:33-64:50 Type
144testdata/Internals.lc 60:24-60:29 Type 144testdata/Internals.lc 64:42-64:50 Type
145testdata/Internals.lc 60:33-60:38 Type 145testdata/Internals.lc 65:1-65:16 Char -> Char->Ordering
146testdata/Internals.lc 61:1-61:10 Float->Int 146testdata/Internals.lc 65:24-65:28 Type
147testdata/Internals.lc 61:24-61:29 Type 147testdata/Internals.lc 65:33-65:37 Type
148testdata/Internals.lc 61:33-61:36 Type 148testdata/Internals.lc 65:33-65:50 Type
149testdata/Internals.lc 64:19-64:23 Type 149testdata/Internals.lc 65:42-65:50 Type
150testdata/Internals.lc 64:19-64:38 Type 150testdata/Internals.lc 66:1-66:18 String -> String->Ordering
151testdata/Internals.lc 64:27-64:28 V2 151testdata/Internals.lc 66:24-66:30 Type
152testdata/Internals.lc 64:27-64:38 Type 152testdata/Internals.lc 66:34-66:40 Type
153testdata/Internals.lc 64:32-64:33 Type 153testdata/Internals.lc 66:34-66:52 Type
154testdata/Internals.lc 64:32-64:38 Type 154testdata/Internals.lc 66:44-66:52 Type
155testdata/Internals.lc 64:37-64:38 Type 155testdata/Internals.lc 67:1-67:14 Int->Int
156testdata/Internals.lc 65:1-65:15 {a} -> Bool -> a -> a->a 156testdata/Internals.lc 67:24-67:27 Type
157testdata/Internals.lc 65:16-65:20 Bool 157testdata/Internals.lc 67:33-67:36 Type
158testdata/Internals.lc 65:16-66:29 Bool -> V1 -> V2->V3 | V1 -> V2->V3 | V2->V3 | V3 158testdata/Internals.lc 68:1-68:15 Word->Word
159testdata/Internals.lc 65:28-65:29 V3 159testdata/Internals.lc 68:24-68:28 Type
160testdata/Internals.lc 65:28-66:29 Bool->V4 160testdata/Internals.lc 68:33-68:37 Type
161testdata/Internals.lc 66:28-66:29 V4 161testdata/Internals.lc 69:1-69:16 Float->Float
162testdata/Internals.lc 69:7-69:10 Type->Type 162testdata/Internals.lc 69:24-69:29 Type
163testdata/Internals.lc 69:7-70:22 Type 163testdata/Internals.lc 69:33-69:38 Type
164testdata/Internals.lc 69:7-71:32 Type 164testdata/Internals.lc 70:1-70:11 Int -> Int->Int
165testdata/Internals.lc 69:7-72:19 Type 165testdata/Internals.lc 70:24-70:27 Type
166testdata/Internals.lc 70:3-70:10 {a} -> {b : Num a} -> Int->a 166testdata/Internals.lc 70:33-70:36 Type
167testdata/Internals.lc 70:14-70:17 Type 167testdata/Internals.lc 70:33-70:45 Type
168testdata/Internals.lc 70:14-70:22 Type 168testdata/Internals.lc 70:42-70:45 Type
169testdata/Internals.lc 70:21-70:22 Type 169testdata/Internals.lc 71:1-71:11 Int -> Int->Int
170testdata/Internals.lc 71:3-71:10 {a} -> {b : Num a} -> a -> a->Ordering 170testdata/Internals.lc 71:24-71:27 Type
171testdata/Internals.lc 71:14-71:15 Type 171testdata/Internals.lc 71:33-71:36 Type
172testdata/Internals.lc 71:14-71:32 Type 172testdata/Internals.lc 71:33-71:45 Type
173testdata/Internals.lc 71:19-71:20 Type 173testdata/Internals.lc 71:42-71:45 Type
174testdata/Internals.lc 71:19-71:32 Type 174testdata/Internals.lc 72:1-72:11 Int -> Int->Int
175testdata/Internals.lc 71:24-71:32 Type 175testdata/Internals.lc 72:24-72:27 Type
176testdata/Internals.lc 72:3-72:9 {a} -> {b : Num a} -> a->a 176testdata/Internals.lc 72:33-72:36 Type
177testdata/Internals.lc 72:13-72:14 Type 177testdata/Internals.lc 72:33-72:45 Type
178testdata/Internals.lc 72:13-72:19 Type 178testdata/Internals.lc 72:42-72:45 Type
179testdata/Internals.lc 72:18-72:19 Type 179testdata/Internals.lc 73:1-73:14 Float->Float
180testdata/Internals.lc 74:14-74:17 Type 180testdata/Internals.lc 73:24-73:29 Type
181testdata/Internals.lc 74:14-75:20 ({a : Num V0} -> Int->V2) -> {d : Num V1} -> Int->V3 181testdata/Internals.lc 73:33-73:38 Type
182testdata/Internals.lc 74:14-76:27 ({a : Num V0} -> V1 -> V2->Ordering) -> {e : Num V1} -> V2 -> V3->Ordering 182testdata/Internals.lc 74:1-74:10 Float->Int
183testdata/Internals.lc 74:14-77:26 ({a : Num V0} -> V1->V2) -> {d : Num V1} -> V2->V3 183testdata/Internals.lc 74:24-74:29 Type
184testdata/Internals.lc 74:14-82:19 Type | Type->Type 184testdata/Internals.lc 74:33-74:36 Type
185testdata/Internals.lc 74:14-83:27 {a : Num V0} -> Int->V2 | {a} -> {b : Num a} -> Int->a 185testdata/Internals.lc 77:19-77:23 Type
186testdata/Internals.lc 74:14-84:29 {a : Num V0} -> V1 -> V2->Ordering | {a} -> {b : Num a} -> a -> a->Ordering 186testdata/Internals.lc 77:19-77:38 Type
187testdata/Internals.lc 74:14-85:28 {a : Num V0} -> V1->V2 | {a} -> {b : Num a} -> a->a 187testdata/Internals.lc 77:27-77:28 V2
188testdata/Internals.lc 75:13-75:20 Int->Int 188testdata/Internals.lc 77:27-77:38 Type
189testdata/Internals.lc 75:19-75:20 Int 189testdata/Internals.lc 77:32-77:33 Type
190testdata/Internals.lc 76:13-76:27 Int -> Int->Ordering 190testdata/Internals.lc 77:32-77:38 Type
191testdata/Internals.lc 77:13-77:26 Int->Int 191testdata/Internals.lc 77:37-77:38 Type
192testdata/Internals.lc 78:14-78:18 Type 192testdata/Internals.lc 78:1-78:15 {a} -> Bool -> a -> a->a
193testdata/Internals.lc 78:14-79:26 ({a : Num V0} -> Int->V2) -> {d : Num V1} -> Int->V3 193testdata/Internals.lc 78:16-78:20 Bool
194testdata/Internals.lc 78:14-80:28 ({a : Num V0} -> V1 -> V2->Ordering) -> {e : Num V1} -> V2 -> V3->Ordering 194testdata/Internals.lc 78:16-79:29 Bool -> V1 -> V2->V3 | V1 -> V2->V3 | V2->V3 | V3
195testdata/Internals.lc 78:14-81:27 ({a : Num V0} -> V1->V2) -> {d : Num V1} -> V2->V3 195testdata/Internals.lc 78:28-78:29 V3
196testdata/Internals.lc 78:14-82:19 Type 196testdata/Internals.lc 78:28-79:29 Bool->V4
197testdata/Internals.lc 78:14-83:27 {a : Num V0} -> Int->V2 197testdata/Internals.lc 79:28-79:29 V4
198testdata/Internals.lc 78:14-84:29 {a : Num V0} -> V1 -> V2->Ordering 198testdata/Internals.lc 82:7-82:10 Type->Type
199testdata/Internals.lc 78:14-85:28 {a : Num V0} -> V1->V2 199testdata/Internals.lc 82:7-83:22 Type
200testdata/Internals.lc 79:13-79:26 Int->Word 200testdata/Internals.lc 82:7-84:32 Type
201testdata/Internals.lc 80:13-80:28 Word -> Word->Ordering 201testdata/Internals.lc 82:7-85:19 Type
202testdata/Internals.lc 81:13-81:27 Word->Word 202testdata/Internals.lc 83:3-83:10 {a} -> {b : Num a} -> Int->a
203testdata/Internals.lc 82:14-82:19 Type 203testdata/Internals.lc 83:14-83:17 Type
204testdata/Internals.lc 82:14-83:27 ({a : Num V0} -> Int->V2) -> {d : Num V1} -> Int->V3 204testdata/Internals.lc 83:14-83:22 Type
205testdata/Internals.lc 82:14-84:29 ({a : Num V0} -> V1 -> V2->Ordering) -> {e : Num V1} -> V2 -> V3->Ordering 205testdata/Internals.lc 83:21-83:22 Type
206testdata/Internals.lc 82:14-85:28 ({a : Num V0} -> V1->V2) -> {d : Num V1} -> V2->V3 206testdata/Internals.lc 84:3-84:10 {a} -> {b : Num a} -> a -> a->Ordering
207testdata/Internals.lc 83:13-83:27 Int->Float 207testdata/Internals.lc 84:14-84:15 Type
208testdata/Internals.lc 84:13-84:29 Float -> Float->Ordering 208testdata/Internals.lc 84:14-84:32 Type
209testdata/Internals.lc 85:13-85:28 Float->Float 209testdata/Internals.lc 84:19-84:20 Type
210testdata/Internals.lc 84:19-84:32 Type
211testdata/Internals.lc 84:24-84:32 Type
212testdata/Internals.lc 85:3-85:9 {a} -> {b : Num a} -> a->a
213testdata/Internals.lc 85:13-85:14 Type
214testdata/Internals.lc 85:13-85:19 Type
215testdata/Internals.lc 85:18-85:19 Type
216testdata/Internals.lc 87:14-87:17 Type
217testdata/Internals.lc 87:14-88:20 ({a : Num V0} -> Int->V2) -> {d : Num V1} -> Int->V3
218testdata/Internals.lc 87:14-89:27 ({a : Num V0} -> V1 -> V2->Ordering) -> {e : Num V1} -> V2 -> V3->Ordering
219testdata/Internals.lc 87:14-90:26 ({a : Num V0} -> V1->V2) -> {d : Num V1} -> V2->V3
220testdata/Internals.lc 87:14-95:19 Type | Type->Type
221testdata/Internals.lc 87:14-96:27 {a : Num V0} -> Int->V2 | {a} -> {b : Num a} -> Int->a
222testdata/Internals.lc 87:14-97:29 {a : Num V0} -> V1 -> V2->Ordering | {a} -> {b : Num a} -> a -> a->Ordering
223testdata/Internals.lc 87:14-98:28 {a : Num V0} -> V1->V2 | {a} -> {b : Num a} -> a->a
224testdata/Internals.lc 88:13-88:20 Int->Int
225testdata/Internals.lc 88:19-88:20 Int
226testdata/Internals.lc 89:13-89:27 Int -> Int->Ordering
227testdata/Internals.lc 90:13-90:26 Int->Int
228testdata/Internals.lc 91:14-91:18 Type
229testdata/Internals.lc 91:14-92:26 ({a : Num V0} -> Int->V2) -> {d : Num V1} -> Int->V3
230testdata/Internals.lc 91:14-93:28 ({a : Num V0} -> V1 -> V2->Ordering) -> {e : Num V1} -> V2 -> V3->Ordering
231testdata/Internals.lc 91:14-94:27 ({a : Num V0} -> V1->V2) -> {d : Num V1} -> V2->V3
232testdata/Internals.lc 91:14-95:19 Type
233testdata/Internals.lc 91:14-96:27 {a : Num V0} -> Int->V2
234testdata/Internals.lc 91:14-97:29 {a : Num V0} -> V1 -> V2->Ordering
235testdata/Internals.lc 91:14-98:28 {a : Num V0} -> V1->V2
236testdata/Internals.lc 92:13-92:26 Int->Word
237testdata/Internals.lc 93:13-93:28 Word -> Word->Ordering
238testdata/Internals.lc 94:13-94:27 Word->Word
239testdata/Internals.lc 95:14-95:19 Type
240testdata/Internals.lc 95:14-96:27 ({a : Num V0} -> Int->V2) -> {d : Num V1} -> Int->V3
241testdata/Internals.lc 95:14-97:29 ({a : Num V0} -> V1 -> V2->Ordering) -> {e : Num V1} -> V2 -> V3->Ordering
242testdata/Internals.lc 95:14-98:28 ({a : Num V0} -> V1->V2) -> {d : Num V1} -> V2->V3
243testdata/Internals.lc 96:13-96:27 Int->Float
244testdata/Internals.lc 97:13-97:29 Float -> Float->Ordering
245testdata/Internals.lc 98:13-98:28 Float->Float
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 16:32:24 +0000