]> Git — Sourcephile - haskell/symantic-parser.git/blob - test/Golden/Grammar/ViewGrammar/G14.expected.txt
sourcephile / git / haskell / symantic-parser.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
machine: add another joinNext optimization when Jump is next
[haskell/symantic-parser.git] / test / Golden / Grammar / ViewGrammar / G14.expected.txt
1 lets
2 + let <hidden>
3 | ` <*>
4 | + <*>
5 | | + <*>
6 | | | + pure \x_0 -> \x_1 -> x_0
7 | | | ` pure \x_0 -> x_0
8 | | ` ref <hidden>
9 | ` <*>
10 | + <*>
11 | | + <*>
12 | | | + pure \x_0 -> \x_1 -> x_0
13 | | | ` pure \x_0 -> x_0
14 | | ` <*>
15 | | + <*>
16 | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1) (\x_3 -> \x_4 -> x_3 x_4)
17 | | | ` pure GHC.Tuple.()
18 | | ` ref <hidden>
19 | ` pure GHC.Tuple.()
20 + let <hidden>
21 | ` <*>
22 | + <*>
23 | | + <*>
24 | | | + pure \x_0 -> \x_1 -> x_0
25 | | | ` pure \x_0 -> x_0
26 | | ` ref <hidden>
27 | ` <*>
28 | + <*>
29 | | + <*>
30 | | | + pure \x_0 -> \x_1 -> x_0
31 | | | ` pure \x_0 -> x_0
32 | | ` <*>
33 | | + <*>
34 | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1) (\x_3 -> \x_4 -> x_3 x_4)
35 | | | ` ref <hidden>
36 | | ` ref <hidden>
37 | ` ref <hidden>
38 + let <hidden>
39 | ` <*>
40 | + <*>
41 | | + pure \x_0 -> \x_1 -> x_0
42 | | ` <*>
43 | | + <*>
44 | | | + <*>
45 | | | | + pure \x_0 -> \x_1 -> x_0
46 | | | | ` pure \x_0 -> x_0
47 | | | ` <*>
48 | | | + <*>
49 | | | | + pure \x_0 -> \x_1 -> x_0
50 | | | | ` <*>
51 | | | | + <*>
52 | | | | | + pure \x_0 -> \x_1 -> x_0
53 | | | | | ` pure '['
54 | | | | ` satisfy
55 | | | ` ref <hidden>
56 | | ` <*>
57 | | + <*>
58 | | | + <*>
59 | | | | + pure \x_0 -> \x_1 -> x_0
60 | | | | ` pure \x_0 -> x_0
61 | | | ` ref <hidden>
62 | | ` <*>
63 | | + <*>
64 | | | + <*>
65 | | | | + pure \x_0 -> \x_1 -> x_0
66 | | | | ` pure \x_0 -> x_0
67 | | | ` <*>
68 | | | + <*>
69 | | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1) (\x_3 -> \x_4 -> x_3 x_4)
70 | | | | ` pure GHC.Tuple.()
71 | | | ` ref <hidden>
72 | | ` pure GHC.Tuple.()
73 | ` <*>
74 | + <*>
75 | | + pure \x_0 -> \x_1 -> x_0
76 | | ` <*>
77 | | + <*>
78 | | | + pure \x_0 -> \x_1 -> x_0
79 | | | ` pure ']'
80 | | ` satisfy
81 | ` ref <hidden>
82 + let <hidden>
83 | ` <*>
84 | + <*>
85 | | + pure \x_0 -> \x_1 -> x_0
86 | | ` <*>
87 | | + <*>
88 | | | + <*>
89 | | | | + pure \x_0 -> \x_1 -> x_0
90 | | | | ` pure \x_0 -> x_0
91 | | | ` <*>
92 | | | + <*>
93 | | | | + pure \x_0 -> \x_1 -> x_0
94 | | | | ` <*>
95 | | | | + <*>
96 | | | | | + pure \x_0 -> \x_1 -> x_0
97 | | | | | ` pure '{'
98 | | | | ` satisfy
99 | | | ` ref <hidden>
100 | | ` <*>
101 | | + <*>
102 | | | + <*>
103 | | | | + pure \x_0 -> \x_1 -> x_0
104 | | | | ` pure \x_0 -> x_0
105 | | | ` <*>
106 | | | + <*>
107 | | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1) (\x_3 -> \x_4 -> x_3 x_4)
108 | | | | ` ref <hidden>
109 | | | ` ref <hidden>
110 | | ` ref <hidden>
111 | ` <*>
112 | + <*>
113 | | + pure \x_0 -> \x_1 -> x_0
114 | | ` <*>
115 | | + <*>
116 | | | + pure \x_0 -> \x_1 -> x_0
117 | | | ` pure '}'
118 | | ` satisfy
119 | ` ref <hidden>
120 + let <hidden>
121 | ` <*>
122 | + <*>
123 | | + <*>
124 | | | + pure \x_0 -> \x_1 -> x_0
125 | | | ` pure \x_0 -> x_0
126 | | ` ref <hidden>
127 | ` <|>
128 | + <*>
129 | | + <*>
130 | | | + pure \x_0 -> \x_1 -> x_0
131 | | | ` pure GHC.Tuple.()
132 | | ` ref <hidden>
133 | ` ref <hidden>
134 + let <hidden>
135 | ` <*>
136 | + <*>
137 | | + <*>
138 | | | + pure \x_0 -> \x_1 -> x_0
139 | | | ` pure \x_0 -> x_0
140 | | ` satisfy
141 | ` ref <hidden>
142 + let <hidden>
143 | ` <*>
144 | + <*>
145 | | + <*>
146 | | | + pure \x_0 -> \x_1 -> x_0
147 | | | ` pure \x_0 -> x_0
148 | | ` try
149 | | ` <*>
150 | | + <*>
151 | | | + <*>
152 | | | | + pure \x_0 -> \x_1 -> x_0
153 | | | | ` pure \x_0 -> x_0
154 | | | ` satisfy
155 | | ` <*>
156 | | + <*>
157 | | | + <*>
158 | | | | + pure \x_0 -> \x_1 -> x_0
159 | | | | ` pure \x_0 -> x_0
160 | | | ` <*>
161 | | | + <*>
162 | | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1) (\x_3 -> \x_4 -> x_3 x_4)
163 | | | | ` ref <hidden>
164 | | | ` ref <hidden>
165 | | ` ref <hidden>
166 | ` ref <hidden>
167 + let <hidden>
168 | ` <*>
169 | + <*>
170 | | + pure \x_0 -> \x_1 -> x_0
171 | | ` <*>
172 | | + <*>
173 | | | + pure \x_0 -> \x_1 -> x_0
174 | | | ` pure '('
175 | | ` satisfy
176 | ` ref <hidden>
177 + let <hidden>
178 | ` <*>
179 | + <*>
180 | | + pure \x_0 -> \x_1 -> x_0
181 | | ` <*>
182 | | + <*>
183 | | | + pure \x_0 -> \x_1 -> x_0
184 | | | ` pure ')'
185 | | ` satisfy
186 | ` ref <hidden>
187 + let <hidden>
188 | ` <*>
189 | + <*>
190 | | + pure \x_0 -> \x_1 -> x_0
191 | | ` <*>
192 | | + <*>
193 | | | + pure \x_0 -> \x_1 -> x_0
194 | | | ` pure ','
195 | | ` satisfy
196 | ` ref <hidden>
197 + let <hidden>
198 | ` <*>
199 | + <*>
200 | | + pure \x_0 -> \x_1 -> x_0
201 | | ` <*>
202 | | + <*>
203 | | | + pure \x_0 -> \x_1 -> x_0
204 | | | ` pure ';'
205 | | ` satisfy
206 | ` ref <hidden>
207 + let <hidden>
208 | ` <*>
209 | + pure \x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1
210 | ` pure \x_0 -> \x_1 -> x_0
211 + let <hidden>
212 | ` <|>
213 | + <*>
214 | | + <*>
215 | | | + pure \x_0 -> \x_1 -> \x_2 -> x_0 (x_1 x_2)
216 | | | ` <*>
217 | | | + <*>
218 | | | | + pure \x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1
219 | | | | ` pure \x_0 -> \x_1 -> x_0
220 | | | ` <*>
221 | | | + <*>
222 | | | | + <*>
223 | | | | | + pure \x_0 -> \x_1 -> x_0
224 | | | | | ` pure \x_0 -> x_0
225 | | | | ` <*>
226 | | | | + <*>
227 | | | | | + <*>
228 | | | | | | + pure \x_0 -> \x_1 -> x_0
229 | | | | | | ` pure \x_0 -> x_0
230 | | | | | ` <*>
231 | | | | | + <*>
232 | | | | | | + <*>
233 | | | | | | | + pure \x_0 -> \x_1 -> x_0
234 | | | | | | | ` pure \x_0 -> x_0
235 | | | | | | ` <*>
236 | | | | | | + <*>
237 | | | | | | | + <*>
238 | | | | | | | | + pure \x_0 -> \x_1 -> x_0
239 | | | | | | | | ` pure \x_0 -> x_0
240 | | | | | | | ` try
241 | | | | | | | ` <*>
242 | | | | | | | + <*>
243 | | | | | | | | + pure (GHC.Types.:)
244 | | | | | | | | ` <*>
245 | | | | | | | | + <*>
246 | | | | | | | | | + pure \x_0 -> \x_1 -> x_0
247 | | | | | | | | | ` pure 'f'
248 | | | | | | | | ` satisfy
249 | | | | | | | ` <*>
250 | | | | | | | + <*>
251 | | | | | | | | + pure (GHC.Types.:)
252 | | | | | | | | ` <*>
253 | | | | | | | | + <*>
254 | | | | | | | | | + pure \x_0 -> \x_1 -> x_0
255 | | | | | | | | | ` pure 'u'
256 | | | | | | | | ` satisfy
257 | | | | | | | ` <*>
258 | | | | | | | + <*>
259 | | | | | | | | + pure (GHC.Types.:)
260 | | | | | | | | ` <*>
261 | | | | | | | | + <*>
262 | | | | | | | | | + pure \x_0 -> \x_1 -> x_0
263 | | | | | | | | | ` pure 'n'
264 | | | | | | | | ` satisfy
265 | | | | | | | ` <*>
266 | | | | | | | + <*>
267 | | | | | | | | + pure (GHC.Types.:)
268 | | | | | | | | ` <*>
269 | | | | | | | | + <*>
270 | | | | | | | | | + pure \x_0 -> \x_1 -> x_0
271 | | | | | | | | | ` pure 'c'
272 | | | | | | | | ` satisfy
273 | | | | | | | ` <*>
274 | | | | | | | + <*>
275 | | | | | | | | + pure (GHC.Types.:)
276 | | | | | | | | ` <*>
277 | | | | | | | | + <*>
278 | | | | | | | | | + pure \x_0 -> \x_1 -> x_0
279 | | | | | | | | | ` pure 't'
280 | | | | | | | | ` satisfy
281 | | | | | | | ` <*>
282 | | | | | | | + <*>
283 | | | | | | | | + pure (GHC.Types.:)
284 | | | | | | | | ` <*>
285 | | | | | | | | + <*>
286 | | | | | | | | | + pure \x_0 -> \x_1 -> x_0
287 | | | | | | | | | ` pure 'i'
288 | | | | | | | | ` satisfy
289 | | | | | | | ` <*>
290 | | | | | | | + <*>
291 | | | | | | | | + pure (GHC.Types.:)
292 | | | | | | | | ` <*>
293 | | | | | | | | + <*>
294 | | | | | | | | | + pure \x_0 -> \x_1 -> x_0
295 | | | | | | | | | ` pure 'o'
296 | | | | | | | | ` satisfy
297 | | | | | | | ` <*>
298 | | | | | | | + <*>
299 | | | | | | | | + pure (GHC.Types.:)
300 | | | | | | | | ` <*>
301 | | | | | | | | + <*>
302 | | | | | | | | | + pure \x_0 -> \x_1 -> x_0
303 | | | | | | | | | ` pure 'n'
304 | | | | | | | | ` satisfy
305 | | | | | | | ` pure GHC.Types.[]
306 | | | | | | ` ref <hidden>
307 | | | | | ` ref <hidden>
308 | | | | ` <*>
309 | | | | + <*>
310 | | | | | + pure \x_0 -> \x_1 -> x_0
311 | | | | | ` <*>
312 | | | | | + <*>
313 | | | | | | + <*>
314 | | | | | | | + pure \x_0 -> \x_1 -> x_0
315 | | | | | | | ` pure \x_0 -> x_0
316 | | | | | | ` ref <hidden>
317 | | | | | ` <*>
318 | | | | | + <*>
319 | | | | | | + <*>
320 | | | | | | | + pure \x_0 -> \x_1 -> x_0
321 | | | | | | | ` pure \x_0 -> x_0
322 | | | | | | ` ref <hidden>
323 | | | | | ` <|>
324 | | | | | + <*>
325 | | | | | | + <*>
326 | | | | | | | + pure \x_0 -> \x_1 -> x_0
327 | | | | | | | ` pure GHC.Tuple.()
328 | | | | | | ` <*>
329 | | | | | | + <*>
330 | | | | | | | + <*>
331 | | | | | | | | + pure \x_0 -> \x_1 -> x_0
332 | | | | | | | | ` pure \x_0 -> x_0
333 | | | | | | | ` <*>
334 | | | | | | | + <*>
335 | | | | | | | | + pure \x_0 -> \x_1 -> x_0
336 | | | | | | | | ` <*>
337 | | | | | | | | + <*>
338 | | | | | | | | | + pure \x_0 -> \x_1 -> x_0
339 | | | | | | | | | ` pure ':'
340 | | | | | | | | ` satisfy
341 | | | | | | | ` ref <hidden>
342 | | | | | | ` ref <hidden>
343 | | | | | ` ref <hidden>
344 | | | | ` ref <hidden>
345 | | | ` ref <hidden>
346 | | ` rec <hidden>
347 | ` pure \x_0 -> x_0
348 + let <hidden>
349 | ` <|>
350 | + <*>
351 | | + <*>
352 | | | + pure \x_0 -> \x_1 -> \x_2 -> x_0 (x_1 x_2)
353 | | | ` <*>
354 | | | + <*>
355 | | | | + pure \x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1
356 | | | | ` pure \x_0 -> \x_1 -> x_0
357 | | | ` <*>
358 | | | + <*>
359 | | | | + <*>
360 | | | | | + pure \x_0 -> \x_1 -> x_0
361 | | | | | ` pure \x_0 -> x_0
362 | | | | ` <*>
363 | | | | + <*>
364 | | | | | + pure \x_0 -> \x_1 -> x_0
365 | | | | | ` <*>
366 | | | | | + <*>
367 | | | | | | + pure \x_0 -> \x_1 -> x_0
368 | | | | | | ` pure '!'
369 | | | | | ` satisfy
370 | | | | ` ref <hidden>
371 | | | ` ref <hidden>
372 | | ` rec <hidden>
373 | ` pure \x_0 -> x_0
374 + let <hidden>
375 | ` <|>
376 | + <*>
377 | | + <*>
378 | | | + pure \x_0 -> \x_1 -> \x_2 -> x_0 (x_1 x_2)
379 | | | ` <*>
380 | | | + <*>
381 | | | | + pure \x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1
382 | | | | ` pure \x_0 -> \x_1 -> x_0
383 | | | ` <|>
384 | | | + <|>
385 | | | | + <|>
386 | | | | | + <*>
387 | | | | | | + <*>
388 | | | | | | | + <*>
389 | | | | | | | | + pure \x_0 -> \x_1 -> x_0
390 | | | | | | | | ` pure \x_0 -> x_0
391 | | | | | | | ` try
392 | | | | | | | ` <*>
393 | | | | | | | + <*>
394 | | | | | | | | + pure (GHC.Types.:)
395 | | | | | | | | ` <*>
396 | | | | | | | | + <*>
397 | | | | | | | | | + pure \x_0 -> \x_1 -> x_0
398 | | | | | | | | | ` pure 'i'
399 | | | | | | | | ` satisfy
400 | | | | | | | ` <*>
401 | | | | | | | + <*>
402 | | | | | | | | + pure (GHC.Types.:)
403 | | | | | | | | ` <*>
404 | | | | | | | | + <*>
405 | | | | | | | | | + pure \x_0 -> \x_1 -> x_0
406 | | | | | | | | | ` pure 'f'
407 | | | | | | | | ` satisfy
408 | | | | | | | ` pure GHC.Types.[]
409 | | | | | | ` ref <hidden>
410 | | | | | ` <*>
411 | | | | | + <*>
412 | | | | | | + <*>
413 | | | | | | | + pure \x_0 -> \x_1 -> x_0
414 | | | | | | | ` pure \x_0 -> x_0
415 | | | | | | ` <*>
416 | | | | | | + <*>
417 | | | | | | | + <*>
418 | | | | | | | | + pure \x_0 -> \x_1 -> x_0
419 | | | | | | | | ` pure \x_0 -> x_0
420 | | | | | | | ` <*>
421 | | | | | | | + <*>
422 | | | | | | | | + <*>
423 | | | | | | | | | + pure \x_0 -> \x_1 -> x_0
424 | | | | | | | | | ` pure \x_0 -> x_0
425 | | | | | | | | ` try
426 | | | | | | | | ` <*>
427 | | | | | | | | + <*>
428 | | | | | | | | | + pure (GHC.Types.:)
429 | | | | | | | | | ` <*>
430 | | | | | | | | | + <*>
431 | | | | | | | | | | + pure \x_0 -> \x_1 -> x_0
432 | | | | | | | | | | ` pure 'w'
433 | | | | | | | | | ` satisfy
434 | | | | | | | | ` <*>
435 | | | | | | | | + <*>
436 | | | | | | | | | + pure (GHC.Types.:)
437 | | | | | | | | | ` <*>
438 | | | | | | | | | + <*>
439 | | | | | | | | | | + pure \x_0 -> \x_1 -> x_0
440 | | | | | | | | | | ` pure 'h'
441 | | | | | | | | | ` satisfy
442 | | | | | | | | ` <*>
443 | | | | | | | | + <*>
444 | | | | | | | | | + pure (GHC.Types.:)
445 | | | | | | | | | ` <*>
446 | | | | | | | | | + <*>
447 | | | | | | | | | | + pure \x_0 -> \x_1 -> x_0
448 | | | | | | | | | | ` pure 'i'
449 | | | | | | | | | ` satisfy
450 | | | | | | | | ` <*>
451 | | | | | | | | + <*>
452 | | | | | | | | | + pure (GHC.Types.:)
453 | | | | | | | | | ` <*>
454 | | | | | | | | | + <*>
455 | | | | | | | | | | + pure \x_0 -> \x_1 -> x_0
456 | | | | | | | | | | ` pure 'l'
457 | | | | | | | | | ` satisfy
458 | | | | | | | | ` <*>
459 | | | | | | | | + <*>
460 | | | | | | | | | + pure (GHC.Types.:)
461 | | | | | | | | | ` <*>
462 | | | | | | | | | + <*>
463 | | | | | | | | | | + pure \x_0 -> \x_1 -> x_0
464 | | | | | | | | | | ` pure 'e'
465 | | | | | | | | | ` satisfy
466 | | | | | | | | ` pure GHC.Types.[]
467 | | | | | | | ` ref <hidden>
468 | | | | | | ` ref <hidden>
469 | | | | | ` rec <hidden>
470 | | | | ` try
471 | | | | ` <*>
472 | | | | + <*>
473 | | | | | + pure \x_0 -> \x_1 -> x_0
474 | | | | | ` <*>
475 | | | | | + <*>
476 | | | | | | + <*>
477 | | | | | | | + pure \x_0 -> \x_1 -> x_0
478 | | | | | | | ` pure \x_0 -> x_0
479 | | | | | | ` <*>
480 | | | | | | + <*>
481 | | | | | | | + <*>
482 | | | | | | | | + pure \x_0 -> \x_1 -> x_0
483 | | | | | | | | ` pure \x_0 -> x_0
484 | | | | | | | ` <*>
485 | | | | | | | + <*>
486 | | | | | | | | + <*>
487 | | | | | | | | | + pure \x_0 -> \x_1 -> x_0
488 | | | | | | | | | ` pure \x_0 -> x_0
489 | | | | | | | | ` <|>
490 | | | | | | | | + <*>
491 | | | | | | | | | + <*>
492 | | | | | | | | | | + pure \x_0 -> \x_1 -> x_0
493 | | | | | | | | | | ` pure GHC.Tuple.()
494 | | | | | | | | | ` <*>
495 | | | | | | | | | + <*>
496 | | | | | | | | | | + <*>
497 | | | | | | | | | | | + pure \x_0 -> \x_1 -> x_0
498 | | | | | | | | | | | ` pure \x_0 -> x_0
499 | | | | | | | | | | ` try
500 | | | | | | | | | | ` <*>
501 | | | | | | | | | | + <*>
502 | | | | | | | | | | | + pure (GHC.Types.:)
503 | | | | | | | | | | | ` <*>
504 | | | | | | | | | | | + <*>
505 | | | | | | | | | | | | + pure \x_0 -> \x_1 -> x_0
506 | | | | | | | | | | | | ` pure 'v'
507 | | | | | | | | | | | ` satisfy
508 | | | | | | | | | | ` <*>
509 | | | | | | | | | | + <*>
510 | | | | | | | | | | | + pure (GHC.Types.:)
511 | | | | | | | | | | | ` <*>
512 | | | | | | | | | | | + <*>
513 | | | | | | | | | | | | + pure \x_0 -> \x_1 -> x_0
514 | | | | | | | | | | | | ` pure 'a'
515 | | | | | | | | | | | ` satisfy
516 | | | | | | | | | | ` <*>
517 | | | | | | | | | | + <*>
518 | | | | | | | | | | | + pure (GHC.Types.:)
519 | | | | | | | | | | | ` <*>
520 | | | | | | | | | | | + <*>
521 | | | | | | | | | | | | + pure \x_0 -> \x_1 -> x_0
522 | | | | | | | | | | | | ` pure 'r'
523 | | | | | | | | | | | ` satisfy
524 | | | | | | | | | | ` pure GHC.Types.[]
525 | | | | | | | | | ` ref <hidden>
526 | | | | | | | | ` ref <hidden>
527 | | | | | | | ` <*>
528 | | | | | | | + <*>
529 | | | | | | | | + <*>
530 | | | | | | | | | + pure \x_0 -> \x_1 -> x_0
531 | | | | | | | | | ` pure \x_0 -> x_0
532 | | | | | | | | ` ref <hidden>
533 | | | | | | | ` <*>
534 | | | | | | | + <*>
535 | | | | | | | | + <*>
536 | | | | | | | | | + pure \x_0 -> \x_1 -> x_0
537 | | | | | | | | | ` pure \x_0 -> x_0
538 | | | | | | | | ` <*>
539 | | | | | | | | + <*>
540 | | | | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1) (\x_3 -> \x_4 -> x_3 x_4)
541 | | | | | | | | | ` ref <hidden>
542 | | | | | | | | ` ref <hidden>
543 | | | | | | | ` ref <hidden>
544 | | | | | | ` <*>
545 | | | | | | + <*>
546 | | | | | | | + pure \x_0 -> \x_1 -> x_0
547 | | | | | | | ` <*>
548 | | | | | | | + <*>
549 | | | | | | | | + pure \x_0 -> \x_1 -> x_0
550 | | | | | | | | ` pure '='
551 | | | | | | | ` satisfy
552 | | | | | | ` ref <hidden>
553 | | | | | ` <*>
554 | | | | | + <*>
555 | | | | | | + <*>
556 | | | | | | | + pure \x_0 -> \x_1 -> x_0
557 | | | | | | | ` pure \x_0 -> x_0
558 | | | | | | ` ref <hidden>
559 | | | | | ` <*>
560 | | | | | + <*>
561 | | | | | | + <*>
562 | | | | | | | + pure \x_0 -> \x_1 -> x_0
563 | | | | | | | ` pure \x_0 -> x_0
564 | | | | | | ` <*>
565 | | | | | | + <*>
566 | | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1) (\x_3 -> \x_4 -> x_3 x_4)
567 | | | | | | | ` ref <hidden>
568 | | | | | | ` ref <hidden>
569 | | | | | ` ref <hidden>
570 | | | | ` ref <hidden>
571 | | | ` <*>
572 | | | + <*>
573 | | | | + pure \x_0 -> \x_1 -> x_0
574 | | | | ` ref <hidden>
575 | | | ` ref <hidden>
576 | | ` rec <hidden>
577 | ` pure \x_0 -> x_0
578 + let <hidden>
579 | ` <|>
580 | + <*>
581 | | + <*>
582 | | | + pure \x_0 -> \x_1 -> \x_2 -> x_0 (x_1 x_2)
583 | | | ` <*>
584 | | | + <*>
585 | | | | + pure \x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1
586 | | | | ` pure \x_0 -> \x_1 -> x_0
587 | | | ` ref <hidden>
588 | | ` rec <hidden>
589 | ` pure \x_0 -> x_0
590 + let <hidden>
591 | ` <|>
592 | + <*>
593 | | + <*>
594 | | | + pure \x_0 -> \x_1 -> \x_2 -> x_0 (x_1 x_2)
595 | | | ` <*>
596 | | | + <*>
597 | | | | + pure \x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1
598 | | | | ` pure \x_0 -> \x_1 -> x_0
599 | | | ` ref <hidden>
600 | | ` rec <hidden>
601 | ` pure \x_0 -> x_0
602 + let <hidden>
603 | ` <|>
604 | + <*>
605 | | + <*>
606 | | | + pure \x_0 -> \x_1 -> \x_2 -> x_0 (x_1 x_2)
607 | | | ` <*>
608 | | | + <*>
609 | | | | + pure \x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1
610 | | | | ` pure \x_0 -> \x_1 -> x_0
611 | | | ` satisfy
612 | | ` rec <hidden>
613 | ` pure \x_0 -> x_0
614 + let <hidden>
615 | ` <|>
616 | + <*>
617 | | + <*>
618 | | | + pure \x_0 -> \x_1 -> \x_2 -> x_0 (x_1 x_2)
619 | | | ` <*>
620 | | | + ref <hidden>
621 | | | ` <*>
622 | | | + <*>
623 | | | | + <*>
624 | | | | | + pure \x_0 -> \x_1 -> x_0
625 | | | | | ` pure \x_0 -> x_0
626 | | | | ` ref <hidden>
627 | | | ` rec <hidden>
628 | | ` rec <hidden>
629 | ` pure \x_0 -> x_0
630 + let <hidden>
631 | ` <|>
632 | + <*>
633 | | + <*>
634 | | | + pure \x_0 -> \x_1 -> \x_2 -> x_0 (x_1 x_2)
635 | | | ` <*>
636 | | | + ref <hidden>
637 | | | ` <*>
638 | | | + <*>
639 | | | | + <*>
640 | | | | | + pure \x_0 -> \x_1 -> x_0
641 | | | | | ` pure \x_0 -> x_0
642 | | | | ` ref <hidden>
643 | | | ` ref <hidden>
644 | | ` rec <hidden>
645 | ` pure \x_0 -> x_0
646 + let <hidden>
647 | ` <|>
648 | + <*>
649 | | + <*>
650 | | | + pure \x_0 -> \x_1 -> \x_2 -> x_0 (x_1 x_2)
651 | | | ` <*>
652 | | | + ref <hidden>
653 | | | ` <*>
654 | | | + <*>
655 | | | | + <*>
656 | | | | | + pure \x_0 -> \x_1 -> x_0
657 | | | | | ` pure \x_0 -> x_0
658 | | | | ` ref <hidden>
659 | | | ` ref <hidden>
660 | | ` rec <hidden>
661 | ` pure \x_0 -> x_0
662 + let <hidden>
663 | ` <|>
664 | + <*>
665 | | + <*>
666 | | | + pure \x_0 -> \x_1 -> \x_2 -> x_0 (x_1 x_2)
667 | | | ` <*>
668 | | | + ref <hidden>
669 | | | ` <*>
670 | | | + <*>
671 | | | | + <*>
672 | | | | | + pure \x_0 -> \x_1 -> x_0
673 | | | | | ` pure \x_0 -> x_0
674 | | | | ` ref <hidden>
675 | | | ` ref <hidden>
676 | | ` rec <hidden>
677 | ` pure \x_0 -> x_0
678 + let <hidden>
679 | ` <|>
680 | + <*>
681 | | + <*>
682 | | | + pure \x_0 -> \x_1 -> x_0
683 | | | ` pure GHC.Tuple.()
684 | | ` <*>
685 | | + <*>
686 | | | + <*>
687 | | | | + pure \x_0 -> \x_1 -> x_0
688 | | | | ` pure \x_0 -> x_0
689 | | | ` ref <hidden>
690 | | ` <*>
691 | | + <*>
692 | | | + <*>
693 | | | | + pure \x_0 -> \x_1 -> x_0
694 | | | | ` pure \x_0 -> x_0
695 | | | ` <*>
696 | | | + <*>
697 | | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1) (\x_3 -> \x_4 -> x_3 x_4)
698 | | | | ` ref <hidden>
699 | | | ` ref <hidden>
700 | | ` ref <hidden>
701 | ` ref <hidden>
702 + let <hidden>
703 | ` <|>
704 | + <|>
705 | | + <*>
706 | | | + <*>
707 | | | | + <*>
708 | | | | | + pure \x_0 -> \x_1 -> x_0
709 | | | | | ` pure \x_0 -> x_0
710 | | | | ` <|>
711 | | | | + <*>
712 | | | | | + <*>
713 | | | | | | + pure \x_0 -> \x_1 -> x_0
714 | | | | | | ` pure '0'
715 | | | | | ` satisfy
716 | | | | ` <*>
717 | | | | + <*>
718 | | | | | + pure \x_0 -> \x_1 -> x_0
719 | | | | | ` pure '1'
720 | | | | ` satisfy
721 | | | ` ref <hidden>
722 | | ` <*>
723 | | + <*>
724 | | | + pure \x_0 -> \x_1 -> x_0
725 | | | ` <*>
726 | | | + <*>
727 | | | | + <*>
728 | | | | | + pure \x_0 -> \x_1 -> x_0
729 | | | | | ` pure \x_0 -> x_0
730 | | | | ` <*>
731 | | | | + <*>
732 | | | | | + pure \x_0 -> \x_1 -> x_0
733 | | | | | ` pure '\''
734 | | | | ` satisfy
735 | | | ` <|>
736 | | | + <*>
737 | | | | + <*>
738 | | | | | + <*>
739 | | | | | | + pure \x_0 -> \x_1 -> x_0
740 | | | | | | ` pure \x_0 -> x_0
741 | | | | | ` satisfy
742 | | | | ` ref <hidden>
743 | | | ` <*>
744 | | | + <*>
745 | | | | + <*>
746 | | | | | + pure \x_0 -> \x_1 -> x_0
747 | | | | | ` pure \x_0 -> x_0
748 | | | | ` <*>
749 | | | | + <*>
750 | | | | | + pure \x_0 -> \x_1 -> x_0
751 | | | | | ` pure '\\'
752 | | | | ` satisfy
753 | | | ` <*>
754 | | | + <*>
755 | | | | + <*>
756 | | | | | + pure \x_0 -> \x_1 -> x_0
757 | | | | | ` pure \x_0 -> x_0
758 | | | | ` satisfy
759 | | | ` ref <hidden>
760 | | ` <*>
761 | | + <*>
762 | | | + pure \x_0 -> \x_1 -> x_0
763 | | | ` <*>
764 | | | + <*>
765 | | | | + pure \x_0 -> \x_1 -> x_0
766 | | | | ` pure '\''
767 | | | ` satisfy
768 | | ` ref <hidden>
769 | ` <*>
770 | + <*>
771 | | + <*>
772 | | | + pure \x_0 -> \x_1 -> x_0
773 | | | ` pure \x_0 -> x_0
774 | | ` ref <hidden>
775 | ` <|>
776 | + <*>
777 | | + <*>
778 | | | + pure \x_0 -> \x_1 -> x_0
779 | | | ` pure GHC.Tuple.()
780 | | ` <|>
781 | | + <*>
782 | | | + <*>
783 | | | | + pure \x_0 -> \x_1 -> x_0
784 | | | | ` <*>
785 | | | | + <*>
786 | | | | | + <*>
787 | | | | | | + pure \x_0 -> \x_1 -> x_0
788 | | | | | | ` pure \x_0 -> x_0
789 | | | | | ` ref <hidden>
790 | | | | ` <|>
791 | | | | + <*>
792 | | | | | + <*>
793 | | | | | | + pure \x_0 -> \x_1 -> x_0
794 | | | | | | ` pure GHC.Tuple.()
795 | | | | | ` <*>
796 | | | | | + <*>
797 | | | | | | + <*>
798 | | | | | | | + pure \x_0 -> \x_1 -> x_0
799 | | | | | | | ` pure \x_0 -> x_0
800 | | | | | | ` rec <hidden>
801 | | | | | ` <*>
802 | | | | | + <*>
803 | | | | | | + <*>
804 | | | | | | | + pure \x_0 -> \x_1 -> x_0
805 | | | | | | | ` pure \x_0 -> x_0
806 | | | | | | ` <*>
807 | | | | | | + <*>
808 | | | | | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1) (\x_3 -> \x_4 -> x_3 x_4)
809 | | | | | | | ` ref <hidden>
810 | | | | | | ` ref <hidden>
811 | | | | | ` ref <hidden>
812 | | | | ` ref <hidden>
813 | | | ` ref <hidden>
814 | | ` ref <hidden>
815 | ` ref <hidden>
816 + let <hidden>
817 | ` pure GHC.Tuple.()
818 + let <hidden>
819 | ` pure GHC.Tuple.()
820 + let <hidden>
821 | ` satisfy
822 ` <*>
823 + pure GHC.Show.show
824 ` <*>
825 + <*>
826 | + pure \x_0 -> \x_1 -> x_0
827 | ` <*>
828 | + <*>
829 | | + <*>
830 | | | + pure \x_0 -> \x_1 -> x_0
831 | | | ` pure \x_0 -> x_0
832 | | ` ref <hidden>
833 | ` <*>
834 | + <*>
835 | | + <*>
836 | | | + pure \x_0 -> \x_1 -> x_0
837 | | | ` pure \x_0 -> x_0
838 | | ` <*>
839 | | + <*>
840 | | | + pure (\x_0 -> \x_1 -> \x_2 -> x_0 x_2 x_1) (\x_3 -> \x_4 -> x_3 x_4)
841 | | | ` ref <hidden>
842 | | ` ref <hidden>
843 | ` ref <hidden>
844 ` eof
Library for parsing