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