]> Git — Sourcephile - haskell/symantic-parser.git/blob - test/Golden/Splice/G14.expected.txt
tests: accept
[haskell/symantic-parser.git] / test / Golden / Splice / G14.expected.txt
1 \(input :: inp) ->
2 let !(#
3 init,
4 readMore,
5 readNext
6 #) =
7 let _ = "cursorOf"
8 in let next
9 ( t@( Data.Text.Internal.Text
10 arr
11 off
12 unconsumed
13 )
14 ) =
15 let !( Data.Text.Unsafe.Iter
16 c
17 d
18 ) = Data.Text.Unsafe.iter t 0
19 in (#
20 c,
21 Data.Text.Internal.Text arr (off GHC.Num.+ d) (unconsumed GHC.Num.- d)
22 #)
23 more
24 ( Data.Text.Internal.Text
25 _
26 _
27 unconsumed
28 ) = unconsumed GHC.Classes.> 0
29 in (# input, more, next #)
30 finalRet = \_farInp _farExp v _inp -> Symantic.Parser.Machine.Generate.returnST GHC.Base.$ Data.Either.Right v
31 finalRaise ::
32 forall st b.
33 Symantic.Parser.Machine.Generate.OnException
34 st
35 inp
36 b = \(!exn) _failInp (!farInp) (!farExp) ->
37 Symantic.Parser.Machine.Generate.returnST GHC.Base.$
38 Data.Either.Left
39 Symantic.Parser.Machine.Generate.ParsingError
40 { Symantic.Parser.Machine.Generate.parsingErrorOffset = Symantic.Parser.Machine.Input.offset farInp,
41 Symantic.Parser.Machine.Generate.parsingErrorException = exn,
42 Symantic.Parser.Machine.Generate.parsingErrorUnexpected =
43 if readMore farInp
44 then
45 GHC.Maybe.Just
46 ( let (#
47 c,
48 _
49 #) = readNext farInp
50 in c
51 )
52 else GHC.Maybe.Nothing,
53 Symantic.Parser.Machine.Generate.parsingErrorExpecting =
54 let ( minHoriz,
55 res
56 ) =
57 Data.Set.Internal.foldr
58 ( \f
59 ( minH,
60 acc
61 ) -> case Symantic.Parser.Grammar.Combinators.unSomeFailure f of
62 GHC.Maybe.Just (Symantic.Parser.Grammar.Combinators.FailureHorizon h :: Symantic.Parser.Grammar.Combinators.Failure (Symantic.Parser.Grammar.Combinators.CombSatisfiable (Symantic.Parser.Machine.Input.InputToken inp)))
63 | GHC.Maybe.Just old <- minH ->
64 ( GHC.Maybe.Just (GHC.Classes.min old h),
65 acc
66 )
67 | GHC.Base.otherwise ->
68 ( GHC.Maybe.Just h,
69 acc
70 )
71 _ ->
72 ( minH,
73 f GHC.Types.: acc
74 )
75 )
76 ( GHC.Maybe.Nothing,
77 GHC.Types . []
78 )
79 farExp
80 in Data.Set.Internal.fromList GHC.Base.$
81 ( case minHoriz of
82 GHC.Maybe.Just h -> Symantic.Parser.Grammar.Combinators.SomeFailure (Symantic.Parser.Grammar.Combinators.FailureHorizon @(Symantic.Parser.Machine.Input.InputToken inp) h) GHC.Types.: res
83 GHC.Maybe.Nothing -> res
84 )
85 }
86 in GHC.ST.runST
87 ( let inputToken = Data.Proxy.Proxy :: Data.Proxy.Proxy (Symantic.Parser.Machine.Input.InputToken inp)
88 in let inp = init
89 in let readFail = finalRaise
90 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
91 in if readMore inp
92 then
93 let name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
94 let _ = "catch ExceptionFailure checkedHorizon=0"
95 in let onException =
96 let _ = "onException"
97 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
98 let _ = "comment: raiseAgainIfConsumed"
99 in let _ = "saveInput checkedHorizon=0"
100 in let _ = "lift2Value checkedHorizon=0"
101 in if ( \( Data.Text.Internal.Text
102 _
103 i
104 _
105 )
106 ( Data.Text.Internal.Text
107 _
108 j
109 _
110 ) -> i GHC.Classes.== j
111 )
112 callerInput
113 failInp
114 then
115 let _ = "choicesBranch checkedHorizon=0"
116 in let _ = "catch ExceptionFailure checkedHorizon=0"
117 in let onException =
118 let _ = "onException"
119 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
120 let _ = "comment: raiseAgainIfConsumed"
121 in let _ = "saveInput checkedHorizon=0"
122 in let _ = "lift2Value checkedHorizon=0"
123 in if ( \( Data.Text.Internal.Text
124 _
125 i
126 _
127 )
128 ( Data.Text.Internal.Text
129 _
130 j
131 _
132 ) -> i GHC.Classes.== j
133 )
134 failInp
135 failInp
136 then
137 let _ = "choicesBranch checkedHorizon=0"
138 in let _ = "pushValue"
139 in name
140 ( let _ = "onReturn"
141 in \farInp farExp v (!inp) ->
142 let _ = "lift2Value checkedHorizon=0"
143 in let join = \farInp farExp v (!inp) ->
144 let _ = "lift2Value checkedHorizon=0"
145 in let _ = "resume"
146 in callerOnReturn
147 farInp
148 farExp
149 ( let _ = "resume.genCode"
150 in v
151 )
152 inp
153 in let _ = "catch ExceptionFailure checkedHorizon=0"
154 in let onException =
155 let _ = "onException"
156 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
157 let _ = "comment: raiseAgainIfConsumed"
158 in let _ = "saveInput checkedHorizon=0"
159 in let _ = "lift2Value checkedHorizon=0"
160 in if ( \( Data.Text.Internal.Text
161 _
162 i
163 _
164 )
165 ( Data.Text.Internal.Text
166 _
167 j
168 _
169 ) -> i GHC.Classes.== j
170 )
171 inp
172 failInp
173 then
174 let _ = "choicesBranch checkedHorizon=0"
175 in name
176 ( let _ = "onReturn"
177 in \farInp farExp v (!inp) ->
178 let _ = "resume"
179 in join
180 farInp
181 farExp
182 ( let _ = "resume.genCode"
183 in v
184 )
185 inp
186 )
187 failInp
188 Data.Map.Internal.Tip
189 else
190 let _ = "choicesBranch.else"
191 in Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
192 in let _ = "pushValue"
193 in let join = \farInp farExp v (!inp) ->
194 let _ = "lift2Value checkedHorizon=0"
195 in let _ = "commit"
196 in let _ = "resume"
197 in join
198 farInp
199 farExp
200 ( let _ = "resume.genCode"
201 in GHC.Tuple . ()
202 )
203 inp
204 in let _ = "catch ExceptionFailure checkedHorizon=0"
205 in let onException =
206 let _ = "onException"
207 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
208 let _ = "comment: raiseAgainIfConsumed"
209 in let _ = "saveInput checkedHorizon=0"
210 in let _ = "lift2Value checkedHorizon=0"
211 in if ( \( Data.Text.Internal.Text
212 _
213 i
214 _
215 )
216 ( Data.Text.Internal.Text
217 _
218 j
219 _
220 ) -> i GHC.Classes.== j
221 )
222 inp
223 failInp
224 then
225 let _ = "choicesBranch checkedHorizon=0"
226 in name
227 ( let _ = "onReturn"
228 in \farInp farExp v (!inp) ->
229 let _ = "resume"
230 in join
231 farInp
232 farExp
233 ( let _ = "resume.genCode"
234 in v
235 )
236 inp
237 )
238 failInp
239 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
240 else
241 let _ = "choicesBranch.else"
242 in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
243 in let _ = "pushValue"
244 in name
245 ( let _ = "onReturn"
246 in \farInp farExp v (!inp) ->
247 let _ = "lift2Value checkedHorizon=0"
248 in let join = \farInp farExp v (!inp) ->
249 let _ = "lift2Value checkedHorizon=0"
250 in name
251 ( let _ = "onReturn"
252 in \farInp farExp v (!inp) ->
253 let _ = "lift2Value checkedHorizon=0"
254 in let _ = "commit"
255 in let _ = "resume"
256 in join
257 farInp
258 farExp
259 ( let _ = "resume.genCode"
260 in v
261 )
262 inp
263 )
264 inp
265 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
266 in let _ = "catch ExceptionFailure checkedHorizon=0"
267 in let onException =
268 let _ = "onException"
269 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
270 let _ = "comment: raiseAgainIfConsumed"
271 in let _ = "saveInput checkedHorizon=0"
272 in let _ = "lift2Value checkedHorizon=0"
273 in if ( \( Data.Text.Internal.Text
274 _
275 i
276 _
277 )
278 ( Data.Text.Internal.Text
279 _
280 j
281 _
282 ) -> i GHC.Classes.== j
283 )
284 inp
285 failInp
286 then
287 let _ = "choicesBranch checkedHorizon=0"
288 in name
289 ( let _ = "onReturn"
290 in \farInp farExp v (!inp) ->
291 let _ = "resume"
292 in join
293 farInp
294 farExp
295 ( let _ = "resume.genCode"
296 in v
297 )
298 inp
299 )
300 failInp
301 Data.Map.Internal.Tip
302 else
303 let _ = "choicesBranch.else"
304 in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
305 in let _ = "pushValue"
306 in name
307 ( let _ = "onReturn"
308 in \farInp farExp v (!inp) ->
309 let _ = "lift2Value checkedHorizon=0"
310 in let _ = "pushValue"
311 in do
312 let dupv = \x -> x
313 reg <- GHC.STRef.newSTRef dupv
314 let _ = "iter"
315 in let onException loopInput =
316 let _ = "onException"
317 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
318 let _ = "comment: raiseAgainIfConsumed"
319 in let _ = "saveInput checkedHorizon=0"
320 in let _ = "lift2Value checkedHorizon=0"
321 in if ( \( Data.Text.Internal.Text
322 _
323 i
324 _
325 )
326 ( Data.Text.Internal.Text
327 _
328 j
329 _
330 ) -> i GHC.Classes.== j
331 )
332 loopInput
333 failInp
334 then
335 let _ = "choicesBranch checkedHorizon=0"
336 in do
337 sr <- GHC.STRef.readSTRef reg
338 name
339 ( let _ = "onReturn"
340 in \farInp farExp v (!inp) ->
341 let _ = "lift2Value checkedHorizon=0"
342 in let _ = "lift2Value checkedHorizon=0"
343 in name
344 ( let _ = "onReturn"
345 in \farInp farExp v (!inp) ->
346 let _ = "lift2Value checkedHorizon=0"
347 in let _ = "commit"
348 in let _ = "resume"
349 in join
350 farInp
351 farExp
352 ( let _ = "resume.genCode"
353 in GHC.Tuple . ()
354 )
355 inp
356 )
357 inp
358 Data.Map.Internal.Tip
359 )
360 failInp
361 Data.Map.Internal.Tip
362 else
363 let _ = "choicesBranch.else"
364 in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
365 loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
366 let _ = "pushValue"
367 in name
368 ( let _ = "onReturn"
369 in \farInp farExp v (!inp) ->
370 let _ = "lift2Value checkedHorizon=0"
371 in name
372 ( let _ = "onReturn"
373 in \farInp farExp v (!inp) ->
374 let _ = "lift2Value checkedHorizon=0"
375 in name
376 ( let _ = "onReturn"
377 in \farInp farExp v (!inp) ->
378 let _ = "lift2Value checkedHorizon=0"
379 in do
380 sr <- GHC.STRef.readSTRef reg
381 let _ = "lift2Value checkedHorizon=0"
382 in do
383 let dupv = v v sr
384 GHC.STRef.writeSTRef reg dupv
385 let _ = "jump"
386 in loop (GHC.Err.error "invalid onReturn") inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
387 )
388 inp
389 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
390 )
391 inp
392 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
393 )
394 callerInput
395 Data.Map.Internal.Tip
396 in let _ = "jump"
397 in loop callerOnReturn inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
398 )
399 inp
400 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
401 )
402 inp
403 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
404 )
405 failInp
406 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel) Data.Map.Internal.Tip Data.Map.Internal.Tip)
407 else
408 let _ = "choicesBranch.else"
409 in Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
410 in let _ = "pushValue"
411 in let _ = "comment: satisfy ((GHC.Classes.==) '\\'')"
412 in let inp = failInp
413 in let readFail = onException
414 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=4"
415 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 3 inp)
416 then
417 let _ = "checkToken"
418 in let !(#
419 c,
420 cs
421 #) = readNext inp
422 in if (GHC.Classes.==) '\'' c
423 then
424 let _ = "lift2Value checkedHorizon=4"
425 in let join = \farInp farExp v (!inp) ->
426 let _ = "lift2Value checkedHorizon=0"
427 in let _ = "comment: satisfy ((GHC.Classes.==) '\\'')"
428 in let inp = inp
429 in let readFail = readFail
430 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
431 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 1 inp)
432 then
433 let _ = "checkToken"
434 in let !(#
435 c,
436 cs
437 #) = readNext inp
438 in if (GHC.Classes.==) '\'' c
439 then
440 let _ = "lift2Value checkedHorizon=2"
441 in name
442 ( let _ = "onReturn"
443 in \farInp farExp v (!inp) ->
444 let _ = "lift2Value checkedHorizon=0"
445 in let _ = "commit"
446 in let _ = "resume"
447 in callerOnReturn
448 farInp
449 farExp
450 ( let _ = "resume.genCode"
451 in v
452 )
453 inp
454 )
455 cs
456 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
457 else
458 let _ = "checkToken.fail"
459 in let failExp =
460 Data.Set.Internal.Bin
461 1
462 ( Symantic.Parser.Grammar.Combinators.SomeFailure
463 ( case inputToken of
464 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '\''
465 )
466 )
467 Data.Set.Internal.Tip
468 Data.Set.Internal.Tip
469 in let (#
470 farInp,
471 farExp
472 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
473 GHC.Types.LT ->
474 (#
475 inp,
476 failExp
477 #)
478 GHC.Types.EQ ->
479 (#
480 farInp,
481 failExp GHC.Base.<> farExp
482 #)
483 GHC.Types.GT ->
484 (#
485 farInp,
486 farExp
487 #)
488 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
489 else
490 let _ = "checkHorizon.newCheck.fail"
491 in let failExp =
492 Data.Set.Internal.Bin
493 1
494 ( Symantic.Parser.Grammar.Combinators.SomeFailure
495 ( case inputToken of
496 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
497 )
498 )
499 Data.Set.Internal.Tip
500 Data.Set.Internal.Tip
501 in let (#
502 farInp,
503 farExp
504 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
505 GHC.Types.LT ->
506 (#
507 inp,
508 failExp
509 #)
510 GHC.Types.EQ ->
511 (#
512 farInp,
513 failExp GHC.Base.<> farExp
514 #)
515 GHC.Types.GT ->
516 (#
517 farInp,
518 farExp
519 #)
520 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
521 in let _ = "catch ExceptionFailure checkedHorizon=4"
522 in let onException =
523 let _ = "onException"
524 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
525 let _ = "comment: raiseAgainIfConsumed"
526 in let _ = "saveInput checkedHorizon=0"
527 in let _ = "lift2Value checkedHorizon=0"
528 in if ( \( Data.Text.Internal.Text
529 _
530 i
531 _
532 )
533 ( Data.Text.Internal.Text
534 _
535 j
536 _
537 ) -> i GHC.Classes.== j
538 )
539 cs
540 failInp
541 then
542 let _ = "choicesBranch checkedHorizon=0"
543 in let _ = "pushValue"
544 in let _ = "comment: satisfy ((GHC.Classes.==) '\\\\')"
545 in let inp = failInp
546 in let readFail = readFail
547 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=4"
548 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 3 inp)
549 then
550 let _ = "checkToken"
551 in let !(#
552 c,
553 cs
554 #) = readNext inp
555 in if (GHC.Classes.==) '\\' c
556 then
557 let _ = "lift2Value checkedHorizon=4"
558 in let _ = "comment: satisfy (\\t_0 -> ('0' GHC.Classes.== t_0) GHC.Classes.|| (('t' GHC.Classes.== t_0) GHC.Classes.|| (('n' GHC.Classes.== t_0) GHC.Classes.|| (('v' GHC.Classes.== t_0) GHC.Classes.|| (('f' GHC.Classes.== t_0) GHC.Classes.|| (('r' GHC.Classes.== t_0) GHC.Classes.|| GHC.Types.False))))))"
559 in let _ = "checkHorizon.oldCheck: checkedHorizon=4"
560 in let _ = "checkToken"
561 in let !(#
562 c,
563 cs
564 #) = readNext cs
565 in if (\t -> ('0' GHC.Classes.== t) GHC.Classes.|| (('t' GHC.Classes.== t) GHC.Classes.|| (('n' GHC.Classes.== t) GHC.Classes.|| (('v' GHC.Classes.== t) GHC.Classes.|| (('f' GHC.Classes.== t) GHC.Classes.|| (('r' GHC.Classes.== t) GHC.Classes.|| GHC.Types.False)))))) c
566 then
567 let _ = "lift2Value checkedHorizon=3"
568 in name
569 ( let _ = "onReturn"
570 in \farInp farExp v (!inp) ->
571 let _ = "lift2Value checkedHorizon=0"
572 in let _ = "resume"
573 in join
574 farInp
575 farExp
576 ( let _ = "resume.genCode"
577 in v
578 )
579 inp
580 )
581 cs
582 Data.Map.Internal.Tip
583 else
584 let _ = "checkToken.fail"
585 in let failExp =
586 Data.Set.Internal.Bin
587 6
588 ( Symantic.Parser.Grammar.Combinators.SomeFailure
589 ( case inputToken of
590 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'n'
591 )
592 )
593 ( Data.Set.Internal.Bin
594 2
595 ( Symantic.Parser.Grammar.Combinators.SomeFailure
596 ( case inputToken of
597 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '0'
598 )
599 )
600 Data.Set.Internal.Tip
601 ( Data.Set.Internal.Bin
602 1
603 ( Symantic.Parser.Grammar.Combinators.SomeFailure
604 ( case inputToken of
605 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'f'
606 )
607 )
608 Data.Set.Internal.Tip
609 Data.Set.Internal.Tip
610 )
611 )
612 ( Data.Set.Internal.Bin
613 3
614 ( Symantic.Parser.Grammar.Combinators.SomeFailure
615 ( case inputToken of
616 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 't'
617 )
618 )
619 ( Data.Set.Internal.Bin
620 1
621 ( Symantic.Parser.Grammar.Combinators.SomeFailure
622 ( case inputToken of
623 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'r'
624 )
625 )
626 Data.Set.Internal.Tip
627 Data.Set.Internal.Tip
628 )
629 ( Data.Set.Internal.Bin
630 1
631 ( Symantic.Parser.Grammar.Combinators.SomeFailure
632 ( case inputToken of
633 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'v'
634 )
635 )
636 Data.Set.Internal.Tip
637 Data.Set.Internal.Tip
638 )
639 )
640 in let (#
641 farInp,
642 farExp
643 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
644 GHC.Types.LT ->
645 (#
646 cs,
647 failExp
648 #)
649 GHC.Types.EQ ->
650 (#
651 farInp,
652 failExp GHC.Base.<> farExp
653 #)
654 GHC.Types.GT ->
655 (#
656 farInp,
657 farExp
658 #)
659 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
660 else
661 let _ = "checkToken.fail"
662 in let failExp =
663 Data.Set.Internal.Bin
664 1
665 ( Symantic.Parser.Grammar.Combinators.SomeFailure
666 ( case inputToken of
667 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '\\'
668 )
669 )
670 Data.Set.Internal.Tip
671 Data.Set.Internal.Tip
672 in let (#
673 farInp,
674 farExp
675 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
676 GHC.Types.LT ->
677 (#
678 inp,
679 failExp
680 #)
681 GHC.Types.EQ ->
682 (#
683 farInp,
684 failExp GHC.Base.<> farExp
685 #)
686 GHC.Types.GT ->
687 (#
688 farInp,
689 farExp
690 #)
691 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
692 else
693 let _ = "checkHorizon.newCheck.fail"
694 in let failExp =
695 Data.Set.Internal.Bin
696 1
697 ( Symantic.Parser.Grammar.Combinators.SomeFailure
698 ( case inputToken of
699 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 4
700 )
701 )
702 Data.Set.Internal.Tip
703 Data.Set.Internal.Tip
704 in let (#
705 farInp,
706 farExp
707 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
708 GHC.Types.LT ->
709 (#
710 inp,
711 failExp
712 #)
713 GHC.Types.EQ ->
714 (#
715 farInp,
716 failExp GHC.Base.<> farExp
717 #)
718 GHC.Types.GT ->
719 (#
720 farInp,
721 farExp
722 #)
723 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
724 else
725 let _ = "choicesBranch.else"
726 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
727 in let _ = "pushValue"
728 in let _ = "comment: satisfy Parsers.Nandlang.nandStringLetter"
729 in let _ = "checkHorizon.oldCheck: checkedHorizon=4"
730 in let _ = "checkToken"
731 in let !(#
732 c,
733 cs
734 #) = readNext cs
735 in if Parsers.Nandlang.nandStringLetter c
736 then
737 let _ = "lift2Value checkedHorizon=3"
738 in name
739 ( let _ = "onReturn"
740 in \farInp farExp v (!inp) ->
741 let _ = "lift2Value checkedHorizon=0"
742 in let _ = "commit"
743 in let _ = "resume"
744 in join
745 farInp
746 farExp
747 ( let _ = "resume.genCode"
748 in v
749 )
750 inp
751 )
752 cs
753 Data.Map.Internal.Tip
754 else
755 let _ = "checkToken.fail"
756 in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
757 else
758 let _ = "checkToken.fail"
759 in let failExp =
760 Data.Set.Internal.Bin
761 1
762 ( Symantic.Parser.Grammar.Combinators.SomeFailure
763 ( case inputToken of
764 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '\''
765 )
766 )
767 Data.Set.Internal.Tip
768 Data.Set.Internal.Tip
769 in let (#
770 farInp,
771 farExp
772 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
773 GHC.Types.LT ->
774 (#
775 inp,
776 failExp
777 #)
778 GHC.Types.EQ ->
779 (#
780 farInp,
781 failExp GHC.Base.<> farExp
782 #)
783 GHC.Types.GT ->
784 (#
785 farInp,
786 farExp
787 #)
788 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
789 else
790 let _ = "checkHorizon.newCheck.fail"
791 in let failExp =
792 Data.Set.Internal.Bin
793 1
794 ( Symantic.Parser.Grammar.Combinators.SomeFailure
795 ( case inputToken of
796 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 4
797 )
798 )
799 Data.Set.Internal.Tip
800 Data.Set.Internal.Tip
801 in let (#
802 farInp,
803 farExp
804 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
805 GHC.Types.LT ->
806 (#
807 inp,
808 failExp
809 #)
810 GHC.Types.EQ ->
811 (#
812 farInp,
813 failExp GHC.Base.<> farExp
814 #)
815 GHC.Types.GT ->
816 (#
817 farInp,
818 farExp
819 #)
820 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
821 else
822 let _ = "choicesBranch.else"
823 in Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
824 in let _ = "pushValue"
825 in let join = \farInp farExp v (!inp) ->
826 let _ = "lift2Value checkedHorizon=0"
827 in name
828 ( let _ = "onReturn"
829 in \farInp farExp v (!inp) ->
830 let _ = "lift2Value checkedHorizon=0"
831 in let _ = "commit"
832 in let _ = "resume"
833 in callerOnReturn
834 farInp
835 farExp
836 ( let _ = "resume.genCode"
837 in v
838 )
839 inp
840 )
841 inp
842 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
843 in let _ = "catch ExceptionFailure checkedHorizon=0"
844 in let onException =
845 let _ = "onException"
846 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
847 let _ = "comment: raiseAgainIfConsumed"
848 in let _ = "saveInput checkedHorizon=0"
849 in let _ = "lift2Value checkedHorizon=0"
850 in if ( \( Data.Text.Internal.Text
851 _
852 i
853 _
854 )
855 ( Data.Text.Internal.Text
856 _
857 j
858 _
859 ) -> i GHC.Classes.== j
860 )
861 callerInput
862 failInp
863 then
864 let _ = "choicesBranch checkedHorizon=0"
865 in let _ = "pushValue"
866 in let _ = "comment: satisfy ((GHC.Classes.==) '1')"
867 in let inp = failInp
868 in let readFail = onException
869 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
870 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 1 inp)
871 then
872 let _ = "checkToken"
873 in let !(#
874 c,
875 cs
876 #) = readNext inp
877 in if (GHC.Classes.==) '1' c
878 then
879 let _ = "lift2Value checkedHorizon=2"
880 in let _ = "resume"
881 in join
882 farInp
883 farExp
884 ( let _ = "resume.genCode"
885 in '1'
886 )
887 cs
888 else
889 let _ = "checkToken.fail"
890 in let failExp =
891 Data.Set.Internal.Bin
892 1
893 ( Symantic.Parser.Grammar.Combinators.SomeFailure
894 ( case inputToken of
895 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '1'
896 )
897 )
898 Data.Set.Internal.Tip
899 Data.Set.Internal.Tip
900 in let (#
901 farInp,
902 farExp
903 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
904 GHC.Types.LT ->
905 (#
906 inp,
907 failExp
908 #)
909 GHC.Types.EQ ->
910 (#
911 farInp,
912 failExp GHC.Base.<> farExp
913 #)
914 GHC.Types.GT ->
915 (#
916 farInp,
917 farExp
918 #)
919 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
920 else
921 let _ = "checkHorizon.newCheck.fail"
922 in let failExp =
923 Data.Set.Internal.Bin
924 1
925 ( Symantic.Parser.Grammar.Combinators.SomeFailure
926 ( case inputToken of
927 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
928 )
929 )
930 Data.Set.Internal.Tip
931 Data.Set.Internal.Tip
932 in let (#
933 farInp,
934 farExp
935 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
936 GHC.Types.LT ->
937 (#
938 inp,
939 failExp
940 #)
941 GHC.Types.EQ ->
942 (#
943 farInp,
944 failExp GHC.Base.<> farExp
945 #)
946 GHC.Types.GT ->
947 (#
948 farInp,
949 farExp
950 #)
951 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
952 else
953 let _ = "choicesBranch.else"
954 in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
955 in let _ = "pushValue"
956 in let _ = "comment: satisfy ((GHC.Classes.==) '0')"
957 in let inp = callerInput
958 in let readFail = onException
959 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
960 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 1 inp)
961 then
962 let _ = "checkToken"
963 in let !(#
964 c,
965 cs
966 #) = readNext inp
967 in if (GHC.Classes.==) '0' c
968 then
969 let _ = "lift2Value checkedHorizon=2"
970 in let _ = "commit"
971 in let _ = "resume"
972 in join
973 init
974 Data.Set.Internal.empty
975 ( let _ = "resume.genCode"
976 in '0'
977 )
978 cs
979 else
980 let _ = "checkToken.fail"
981 in let failExp =
982 Data.Set.Internal.Bin
983 1
984 ( Symantic.Parser.Grammar.Combinators.SomeFailure
985 ( case inputToken of
986 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '0'
987 )
988 )
989 Data.Set.Internal.Tip
990 Data.Set.Internal.Tip
991 in let (#
992 farInp,
993 farExp
994 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
995 GHC.Types.LT ->
996 (#
997 inp,
998 failExp
999 #)
1000 GHC.Types.EQ ->
1001 (#
1002 init,
1003 failExp GHC.Base.<> Data.Set.Internal.empty
1004 #)
1005 GHC.Types.GT ->
1006 (#
1007 init,
1008 Data.Set.Internal.empty
1009 #)
1010 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
1011 else
1012 let _ = "checkHorizon.newCheck.fail"
1013 in let failExp =
1014 Data.Set.Internal.Bin
1015 1
1016 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1017 ( case inputToken of
1018 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
1019 )
1020 )
1021 Data.Set.Internal.Tip
1022 Data.Set.Internal.Tip
1023 in let (#
1024 farInp,
1025 farExp
1026 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
1027 GHC.Types.LT ->
1028 (#
1029 inp,
1030 failExp
1031 #)
1032 GHC.Types.EQ ->
1033 (#
1034 init,
1035 failExp GHC.Base.<> Data.Set.Internal.empty
1036 #)
1037 GHC.Types.GT ->
1038 (#
1039 init,
1040 Data.Set.Internal.empty
1041 #)
1042 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
1043 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
1044 let _ = "catch ExceptionFailure checkedHorizon=0"
1045 in let onException =
1046 let _ = "onException"
1047 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
1048 let _ = "comment: raiseAgainIfConsumed"
1049 in let _ = "saveInput checkedHorizon=0"
1050 in let _ = "lift2Value checkedHorizon=0"
1051 in if ( \( Data.Text.Internal.Text
1052 _
1053 i
1054 _
1055 )
1056 ( Data.Text.Internal.Text
1057 _
1058 j
1059 _
1060 ) -> i GHC.Classes.== j
1061 )
1062 callerInput
1063 failInp
1064 then
1065 let _ = "choicesBranch checkedHorizon=0"
1066 in let _ = "jump"
1067 in name callerOnReturn failInp Data.Map.Internal.Tip
1068 else
1069 let _ = "choicesBranch.else"
1070 in Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
1071 in let _ = "pushValue"
1072 in name
1073 ( let _ = "onReturn"
1074 in \farInp farExp v (!inp) ->
1075 let _ = "lift2Value checkedHorizon=0"
1076 in let _ = "pushValue"
1077 in do
1078 let dupv = \x -> x
1079 reg <- GHC.STRef.newSTRef dupv
1080 let _ = "iter"
1081 in let onException loopInput =
1082 let _ = "onException"
1083 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
1084 let _ = "comment: raiseAgainIfConsumed"
1085 in let _ = "saveInput checkedHorizon=0"
1086 in let _ = "lift2Value checkedHorizon=0"
1087 in if ( \( Data.Text.Internal.Text
1088 _
1089 i
1090 _
1091 )
1092 ( Data.Text.Internal.Text
1093 _
1094 j
1095 _
1096 ) -> i GHC.Classes.== j
1097 )
1098 loopInput
1099 failInp
1100 then
1101 let _ = "choicesBranch checkedHorizon=0"
1102 in do
1103 sr <- GHC.STRef.readSTRef reg
1104 name
1105 ( let _ = "onReturn"
1106 in \farInp farExp v (!inp) ->
1107 let _ = "lift2Value checkedHorizon=0"
1108 in let _ = "lift2Value checkedHorizon=0"
1109 in name
1110 ( let _ = "onReturn"
1111 in \farInp farExp v (!inp) ->
1112 let _ = "lift2Value checkedHorizon=0"
1113 in let _ = "commit"
1114 in let _ = "resume"
1115 in callerOnReturn
1116 farInp
1117 farExp
1118 ( let _ = "resume.genCode"
1119 in GHC.Tuple . ()
1120 )
1121 inp
1122 )
1123 inp
1124 Data.Map.Internal.Tip
1125 )
1126 failInp
1127 Data.Map.Internal.Tip
1128 else
1129 let _ = "choicesBranch.else"
1130 in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
1131 loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
1132 let _ = "pushValue"
1133 in name
1134 ( let _ = "onReturn"
1135 in \farInp farExp v (!inp) ->
1136 let _ = "lift2Value checkedHorizon=0"
1137 in name
1138 ( let _ = "onReturn"
1139 in \farInp farExp v (!inp) ->
1140 let _ = "lift2Value checkedHorizon=0"
1141 in name
1142 ( let _ = "onReturn"
1143 in \farInp farExp v (!inp) ->
1144 let _ = "lift2Value checkedHorizon=0"
1145 in do
1146 sr <- GHC.STRef.readSTRef reg
1147 let _ = "lift2Value checkedHorizon=0"
1148 in do
1149 let dupv = v v sr
1150 GHC.STRef.writeSTRef reg dupv
1151 let _ = "jump"
1152 in loop (GHC.Err.error "invalid onReturn") inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
1153 )
1154 inp
1155 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
1156 )
1157 inp
1158 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
1159 )
1160 callerInput
1161 Data.Map.Internal.Tip
1162 in let _ = "jump"
1163 in loop callerOnReturn inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
1164 )
1165 callerInput
1166 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
1167 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
1168 let _ = "comment: satisfy (\\t_0 -> ('0' GHC.Classes.== t_0) GHC.Classes.|| (('1' GHC.Classes.== t_0) GHC.Classes.|| (('2' GHC.Classes.== t_0) GHC.Classes.|| (('3' GHC.Classes.== t_0) GHC.Classes.|| (('4' GHC.Classes.== t_0) GHC.Classes.|| (('5' GHC.Classes.== t_0) GHC.Classes.|| (('6' GHC.Classes.== t_0) GHC.Classes.|| (('7' GHC.Classes.== t_0) GHC.Classes.|| (('8' GHC.Classes.== t_0) GHC.Classes.|| (('9' GHC.Classes.== t_0) GHC.Classes.|| GHC.Types.False))))))))))"
1169 in let inp = callerInput
1170 in let readFail = Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel
1171 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
1172 in if readMore inp
1173 then
1174 let _ = "checkToken"
1175 in let !(#
1176 c,
1177 cs
1178 #) = readNext inp
1179 in if (\t -> ('0' GHC.Classes.== t) GHC.Classes.|| (('1' GHC.Classes.== t) GHC.Classes.|| (('2' GHC.Classes.== t) GHC.Classes.|| (('3' GHC.Classes.== t) GHC.Classes.|| (('4' GHC.Classes.== t) GHC.Classes.|| (('5' GHC.Classes.== t) GHC.Classes.|| (('6' GHC.Classes.== t) GHC.Classes.|| (('7' GHC.Classes.== t) GHC.Classes.|| (('8' GHC.Classes.== t) GHC.Classes.|| (('9' GHC.Classes.== t) GHC.Classes.|| GHC.Types.False)))))))))) c
1180 then
1181 let _ = "resume"
1182 in callerOnReturn
1183 init
1184 Data.Set.Internal.empty
1185 ( let _ = "resume.genCode"
1186 in c
1187 )
1188 cs
1189 else
1190 let _ = "checkToken.fail"
1191 in let failExp =
1192 Data.Set.Internal.Bin
1193 10
1194 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1195 ( case inputToken of
1196 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '3'
1197 )
1198 )
1199 ( Data.Set.Internal.Bin
1200 3
1201 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1202 ( case inputToken of
1203 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '1'
1204 )
1205 )
1206 ( Data.Set.Internal.Bin
1207 1
1208 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1209 ( case inputToken of
1210 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '0'
1211 )
1212 )
1213 Data.Set.Internal.Tip
1214 Data.Set.Internal.Tip
1215 )
1216 ( Data.Set.Internal.Bin
1217 1
1218 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1219 ( case inputToken of
1220 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '2'
1221 )
1222 )
1223 Data.Set.Internal.Tip
1224 Data.Set.Internal.Tip
1225 )
1226 )
1227 ( Data.Set.Internal.Bin
1228 6
1229 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1230 ( case inputToken of
1231 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '7'
1232 )
1233 )
1234 ( Data.Set.Internal.Bin
1235 3
1236 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1237 ( case inputToken of
1238 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '5'
1239 )
1240 )
1241 ( Data.Set.Internal.Bin
1242 1
1243 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1244 ( case inputToken of
1245 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '4'
1246 )
1247 )
1248 Data.Set.Internal.Tip
1249 Data.Set.Internal.Tip
1250 )
1251 ( Data.Set.Internal.Bin
1252 1
1253 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1254 ( case inputToken of
1255 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '6'
1256 )
1257 )
1258 Data.Set.Internal.Tip
1259 Data.Set.Internal.Tip
1260 )
1261 )
1262 ( Data.Set.Internal.Bin
1263 2
1264 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1265 ( case inputToken of
1266 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '8'
1267 )
1268 )
1269 Data.Set.Internal.Tip
1270 ( Data.Set.Internal.Bin
1271 1
1272 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1273 ( case inputToken of
1274 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '9'
1275 )
1276 )
1277 Data.Set.Internal.Tip
1278 Data.Set.Internal.Tip
1279 )
1280 )
1281 )
1282 in let (#
1283 farInp,
1284 farExp
1285 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
1286 GHC.Types.LT ->
1287 (#
1288 inp,
1289 failExp
1290 #)
1291 GHC.Types.EQ ->
1292 (#
1293 init,
1294 failExp GHC.Base.<> Data.Set.Internal.empty
1295 #)
1296 GHC.Types.GT ->
1297 (#
1298 init,
1299 Data.Set.Internal.empty
1300 #)
1301 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
1302 else
1303 let _ = "checkHorizon.newCheck.fail"
1304 in let failExp =
1305 Data.Set.Internal.Bin
1306 1
1307 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1308 ( case inputToken of
1309 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 1
1310 )
1311 )
1312 Data.Set.Internal.Tip
1313 Data.Set.Internal.Tip
1314 in let (#
1315 farInp,
1316 farExp
1317 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
1318 GHC.Types.LT ->
1319 (#
1320 inp,
1321 failExp
1322 #)
1323 GHC.Types.EQ ->
1324 (#
1325 init,
1326 failExp GHC.Base.<> Data.Set.Internal.empty
1327 #)
1328 GHC.Types.GT ->
1329 (#
1330 init,
1331 Data.Set.Internal.empty
1332 #)
1333 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
1334 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
1335 let _ = "pushValue"
1336 in name
1337 ( let _ = "onReturn"
1338 in \farInp farExp v (!inp) ->
1339 let _ = "lift2Value checkedHorizon=0"
1340 in let join = \farInp farExp v (!inp) ->
1341 let _ = "lift2Value checkedHorizon=0"
1342 in let _ = "resume"
1343 in callerOnReturn
1344 farInp
1345 farExp
1346 ( let _ = "resume.genCode"
1347 in v
1348 )
1349 inp
1350 in let _ = "catch ExceptionFailure checkedHorizon=0"
1351 in let onException =
1352 let _ = "onException"
1353 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
1354 let _ = "comment: raiseAgainIfConsumed"
1355 in let _ = "saveInput checkedHorizon=0"
1356 in let _ = "lift2Value checkedHorizon=0"
1357 in if ( \( Data.Text.Internal.Text
1358 _
1359 i
1360 _
1361 )
1362 ( Data.Text.Internal.Text
1363 _
1364 j
1365 _
1366 ) -> i GHC.Classes.== j
1367 )
1368 inp
1369 failInp
1370 then
1371 let _ = "choicesBranch checkedHorizon=0"
1372 in name
1373 ( let _ = "onReturn"
1374 in \farInp farExp v (!inp) ->
1375 let _ = "resume"
1376 in join
1377 farInp
1378 farExp
1379 ( let _ = "resume.genCode"
1380 in v
1381 )
1382 inp
1383 )
1384 failInp
1385 Data.Map.Internal.Tip
1386 else
1387 let _ = "choicesBranch.else"
1388 in Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
1389 in let _ = "pushValue"
1390 in name
1391 ( let _ = "onReturn"
1392 in \farInp farExp v (!inp) ->
1393 let _ = "lift2Value checkedHorizon=0"
1394 in let _ = "commit"
1395 in let _ = "resume"
1396 in join
1397 farInp
1398 farExp
1399 ( let _ = "resume.genCode"
1400 in GHC.Tuple . ()
1401 )
1402 inp
1403 )
1404 inp
1405 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
1406 )
1407 callerInput
1408 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel) Data.Map.Internal.Tip Data.Map.Internal.Tip)
1409 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
1410 let _ = "pushValue"
1411 in name
1412 ( let _ = "onReturn"
1413 in \farInp farExp v (!inp) ->
1414 let _ = "lift2Value checkedHorizon=0"
1415 in let _ = "pushValue"
1416 in do
1417 let dupv = \x -> x
1418 reg <- GHC.STRef.newSTRef dupv
1419 let _ = "iter"
1420 in let onException loopInput =
1421 let _ = "onException"
1422 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
1423 let _ = "comment: raiseAgainIfConsumed"
1424 in let _ = "saveInput checkedHorizon=0"
1425 in let _ = "lift2Value checkedHorizon=0"
1426 in if ( \( Data.Text.Internal.Text
1427 _
1428 i
1429 _
1430 )
1431 ( Data.Text.Internal.Text
1432 _
1433 j
1434 _
1435 ) -> i GHC.Classes.== j
1436 )
1437 loopInput
1438 failInp
1439 then
1440 let _ = "choicesBranch checkedHorizon=0"
1441 in do
1442 sr <- GHC.STRef.readSTRef reg
1443 name
1444 ( let _ = "onReturn"
1445 in \farInp farExp v (!inp) ->
1446 let _ = "lift2Value checkedHorizon=0"
1447 in let _ = "lift2Value checkedHorizon=0"
1448 in name
1449 ( let _ = "onReturn"
1450 in \farInp farExp v (!inp) ->
1451 let _ = "lift2Value checkedHorizon=0"
1452 in let _ = "resume"
1453 in callerOnReturn
1454 farInp
1455 farExp
1456 ( let _ = "resume.genCode"
1457 in v
1458 )
1459 inp
1460 )
1461 inp
1462 Data.Map.Internal.Tip
1463 )
1464 failInp
1465 Data.Map.Internal.Tip
1466 else
1467 let _ = "choicesBranch.else"
1468 in Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
1469 loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
1470 let _ = "pushValue"
1471 in let _ = "comment: satisfy ((GHC.Classes.==) '!')"
1472 in let inp = callerInput
1473 in let readFail = onException callerInput
1474 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=4"
1475 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 3 inp)
1476 then
1477 let _ = "checkToken"
1478 in let !(#
1479 c,
1480 cs
1481 #) = readNext inp
1482 in if (GHC.Classes.==) '!' c
1483 then
1484 let _ = "lift2Value checkedHorizon=4"
1485 in name
1486 ( let _ = "onReturn"
1487 in \farInp farExp v (!inp) ->
1488 let _ = "lift2Value checkedHorizon=0"
1489 in name
1490 ( let _ = "onReturn"
1491 in \farInp farExp v (!inp) ->
1492 let _ = "lift2Value checkedHorizon=0"
1493 in do
1494 sr <- GHC.STRef.readSTRef reg
1495 let _ = "lift2Value checkedHorizon=0"
1496 in do
1497 let dupv = sr
1498 GHC.STRef.writeSTRef reg dupv
1499 let _ = "jump"
1500 in loop (GHC.Err.error "invalid onReturn") inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
1501 )
1502 inp
1503 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
1504 )
1505 cs
1506 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
1507 else
1508 let _ = "checkToken.fail"
1509 in let failExp =
1510 Data.Set.Internal.Bin
1511 1
1512 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1513 ( case inputToken of
1514 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '!'
1515 )
1516 )
1517 Data.Set.Internal.Tip
1518 Data.Set.Internal.Tip
1519 in let (#
1520 farInp,
1521 farExp
1522 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
1523 GHC.Types.LT ->
1524 (#
1525 inp,
1526 failExp
1527 #)
1528 GHC.Types.EQ ->
1529 (#
1530 farInp,
1531 failExp GHC.Base.<> farExp
1532 #)
1533 GHC.Types.GT ->
1534 (#
1535 farInp,
1536 farExp
1537 #)
1538 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
1539 else
1540 let _ = "checkHorizon.newCheck.fail"
1541 in let failExp =
1542 Data.Set.Internal.Bin
1543 1
1544 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1545 ( case inputToken of
1546 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 4
1547 )
1548 )
1549 Data.Set.Internal.Tip
1550 Data.Set.Internal.Tip
1551 in let (#
1552 farInp,
1553 farExp
1554 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
1555 GHC.Types.LT ->
1556 (#
1557 inp,
1558 failExp
1559 #)
1560 GHC.Types.EQ ->
1561 (#
1562 farInp,
1563 failExp GHC.Base.<> farExp
1564 #)
1565 GHC.Types.GT ->
1566 (#
1567 farInp,
1568 farExp
1569 #)
1570 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
1571 in let _ = "jump"
1572 in loop callerOnReturn inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel) Data.Map.Internal.Tip Data.Map.Internal.Tip)
1573 )
1574 callerInput
1575 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel) Data.Map.Internal.Tip Data.Map.Internal.Tip)
1576 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
1577 let _ = "pushValue"
1578 in name
1579 ( let _ = "onReturn"
1580 in \farInp farExp v (!inp) ->
1581 let _ = "lift2Value checkedHorizon=0"
1582 in let _ = "pushValue"
1583 in do
1584 let dupv = \x -> x
1585 reg <- GHC.STRef.newSTRef dupv
1586 let _ = "iter"
1587 in let onException loopInput =
1588 let _ = "onException"
1589 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
1590 let _ = "comment: raiseAgainIfConsumed"
1591 in let _ = "saveInput checkedHorizon=0"
1592 in let _ = "lift2Value checkedHorizon=0"
1593 in if ( \( Data.Text.Internal.Text
1594 _
1595 i
1596 _
1597 )
1598 ( Data.Text.Internal.Text
1599 _
1600 j
1601 _
1602 ) -> i GHC.Classes.== j
1603 )
1604 loopInput
1605 failInp
1606 then
1607 let _ = "choicesBranch checkedHorizon=0"
1608 in do
1609 sr <- GHC.STRef.readSTRef reg
1610 let _ = "pushValue"
1611 in let _ = "lift2Value checkedHorizon=0"
1612 in let _ = "lift2Value checkedHorizon=0"
1613 in let _ = "resume"
1614 in callerOnReturn
1615 farInp
1616 farExp
1617 ( let _ = "resume.genCode"
1618 in GHC.Tuple . ()
1619 )
1620 failInp
1621 else
1622 let _ = "choicesBranch.else"
1623 in Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
1624 loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
1625 let _ = "pushValue"
1626 in name
1627 ( let _ = "onReturn"
1628 in \farInp farExp v (!inp) ->
1629 let _ = "lift2Value checkedHorizon=0"
1630 in do
1631 sr <- GHC.STRef.readSTRef reg
1632 let _ = "lift2Value checkedHorizon=0"
1633 in do
1634 let dupv = sr
1635 GHC.STRef.writeSTRef reg dupv
1636 let _ = "jump"
1637 in loop (GHC.Err.error "invalid onReturn") inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
1638 )
1639 callerInput
1640 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
1641 in let _ = "jump"
1642 in loop callerOnReturn inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel) Data.Map.Internal.Tip Data.Map.Internal.Tip)
1643 )
1644 callerInput
1645 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel) Data.Map.Internal.Tip Data.Map.Internal.Tip)
1646 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
1647 let _ = "pushValue"
1648 in let _ = "catch ExceptionFailure checkedHorizon=0"
1649 in let onException =
1650 let _ = "onException"
1651 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
1652 let _ = "loadInput checkedHorizon=0"
1653 in let _ = "checkHorizon.noCheck"
1654 in Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput farInp farExp
1655 in let _ = "pushValue"
1656 in let _ = "comment: satisfy Parsers.Nandlang.nandIdentStart"
1657 in let inp = callerInput
1658 in let readFail = onException
1659 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
1660 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 1 inp)
1661 then
1662 let _ = "checkToken"
1663 in let !(#
1664 c,
1665 cs
1666 #) = readNext inp
1667 in if Parsers.Nandlang.nandIdentStart c
1668 then
1669 let _ = "lift2Value checkedHorizon=2"
1670 in let _ = "pushValue"
1671 in do
1672 let dupv = \x -> x
1673 reg <- GHC.STRef.newSTRef dupv
1674 let _ = "iter"
1675 in let onException loopInput =
1676 let _ = "onException"
1677 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
1678 let _ = "comment: raiseAgainIfConsumed"
1679 in let _ = "saveInput checkedHorizon=0"
1680 in let _ = "lift2Value checkedHorizon=0"
1681 in if ( \( Data.Text.Internal.Text
1682 _
1683 i
1684 _
1685 )
1686 ( Data.Text.Internal.Text
1687 _
1688 j
1689 _
1690 ) -> i GHC.Classes.== j
1691 )
1692 loopInput
1693 failInp
1694 then
1695 let _ = "choicesBranch checkedHorizon=0"
1696 in do
1697 sr <- GHC.STRef.readSTRef reg
1698 name
1699 ( let _ = "onReturn"
1700 in \farInp farExp v (!inp) ->
1701 let _ = "lift2Value checkedHorizon=0"
1702 in let _ = "lift2Value checkedHorizon=0"
1703 in name
1704 ( let _ = "onReturn"
1705 in \farInp farExp v (!inp) ->
1706 let _ = "lift2Value checkedHorizon=0"
1707 in let _ = "commit"
1708 in let _ = "lift2Value checkedHorizon=0"
1709 in name
1710 ( let _ = "onReturn"
1711 in \farInp farExp v (!inp) ->
1712 let _ = "lift2Value checkedHorizon=0"
1713 in let _ = "resume"
1714 in callerOnReturn
1715 farInp
1716 farExp
1717 ( let _ = "resume.genCode"
1718 in v
1719 )
1720 inp
1721 )
1722 inp
1723 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel) Data.Map.Internal.Tip Data.Map.Internal.Tip)
1724 )
1725 inp
1726 Data.Map.Internal.Tip
1727 )
1728 failInp
1729 Data.Map.Internal.Tip
1730 else
1731 let _ = "choicesBranch.else"
1732 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
1733 loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
1734 let _ = "pushValue"
1735 in let _ = "comment: satisfy Parsers.Nandlang.nandIdentLetter"
1736 in let inp = callerInput
1737 in let readFail = onException callerInput
1738 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
1739 in if readMore inp
1740 then
1741 let _ = "checkToken"
1742 in let !(#
1743 c,
1744 cs
1745 #) = readNext inp
1746 in if Parsers.Nandlang.nandIdentLetter c
1747 then
1748 let _ = "lift2Value checkedHorizon=1"
1749 in do
1750 sr <- GHC.STRef.readSTRef reg
1751 let _ = "lift2Value checkedHorizon=1"
1752 in do
1753 let dupv = sr
1754 GHC.STRef.writeSTRef reg dupv
1755 let _ = "jump"
1756 in loop (GHC.Err.error "invalid onReturn") cs (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
1757 else
1758 let _ = "checkToken.fail"
1759 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp init Data.Set.Internal.empty
1760 else
1761 let _ = "checkHorizon.newCheck.fail"
1762 in let failExp =
1763 Data.Set.Internal.Bin
1764 1
1765 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1766 ( case inputToken of
1767 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 1
1768 )
1769 )
1770 Data.Set.Internal.Tip
1771 Data.Set.Internal.Tip
1772 in let (#
1773 farInp,
1774 farExp
1775 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
1776 GHC.Types.LT ->
1777 (#
1778 inp,
1779 failExp
1780 #)
1781 GHC.Types.EQ ->
1782 (#
1783 init,
1784 failExp GHC.Base.<> Data.Set.Internal.empty
1785 #)
1786 GHC.Types.GT ->
1787 (#
1788 init,
1789 Data.Set.Internal.empty
1790 #)
1791 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
1792 in let _ = "jump"
1793 in loop callerOnReturn cs (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
1794 else
1795 let _ = "checkToken.fail"
1796 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp init Data.Set.Internal.empty
1797 else
1798 let _ = "checkHorizon.newCheck.fail"
1799 in let failExp =
1800 Data.Set.Internal.Bin
1801 1
1802 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1803 ( case inputToken of
1804 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
1805 )
1806 )
1807 Data.Set.Internal.Tip
1808 Data.Set.Internal.Tip
1809 in let (#
1810 farInp,
1811 farExp
1812 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
1813 GHC.Types.LT ->
1814 (#
1815 inp,
1816 failExp
1817 #)
1818 GHC.Types.EQ ->
1819 (#
1820 init,
1821 failExp GHC.Base.<> Data.Set.Internal.empty
1822 #)
1823 GHC.Types.GT ->
1824 (#
1825 init,
1826 Data.Set.Internal.empty
1827 #)
1828 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
1829 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
1830 let _ = "pushValue"
1831 in let _ = "comment: satisfy ((GHC.Classes.==) '(')"
1832 in let inp = callerInput
1833 in let readFail = Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel
1834 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
1835 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 1 inp)
1836 then
1837 let _ = "checkToken"
1838 in let !(#
1839 c,
1840 cs
1841 #) = readNext inp
1842 in if (GHC.Classes.==) '(' c
1843 then
1844 let _ = "lift2Value checkedHorizon=2"
1845 in name
1846 ( let _ = "onReturn"
1847 in \farInp farExp v (!inp) ->
1848 let _ = "lift2Value checkedHorizon=0"
1849 in let _ = "resume"
1850 in callerOnReturn
1851 farInp
1852 farExp
1853 ( let _ = "resume.genCode"
1854 in '('
1855 )
1856 inp
1857 )
1858 cs
1859 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
1860 else
1861 let _ = "checkToken.fail"
1862 in let failExp =
1863 Data.Set.Internal.Bin
1864 1
1865 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1866 ( case inputToken of
1867 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '('
1868 )
1869 )
1870 Data.Set.Internal.Tip
1871 Data.Set.Internal.Tip
1872 in let (#
1873 farInp,
1874 farExp
1875 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
1876 GHC.Types.LT ->
1877 (#
1878 inp,
1879 failExp
1880 #)
1881 GHC.Types.EQ ->
1882 (#
1883 init,
1884 failExp GHC.Base.<> Data.Set.Internal.empty
1885 #)
1886 GHC.Types.GT ->
1887 (#
1888 init,
1889 Data.Set.Internal.empty
1890 #)
1891 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
1892 else
1893 let _ = "checkHorizon.newCheck.fail"
1894 in let failExp =
1895 Data.Set.Internal.Bin
1896 1
1897 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1898 ( case inputToken of
1899 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
1900 )
1901 )
1902 Data.Set.Internal.Tip
1903 Data.Set.Internal.Tip
1904 in let (#
1905 farInp,
1906 farExp
1907 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
1908 GHC.Types.LT ->
1909 (#
1910 inp,
1911 failExp
1912 #)
1913 GHC.Types.EQ ->
1914 (#
1915 init,
1916 failExp GHC.Base.<> Data.Set.Internal.empty
1917 #)
1918 GHC.Types.GT ->
1919 (#
1920 init,
1921 Data.Set.Internal.empty
1922 #)
1923 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
1924 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
1925 let _ = "pushValue"
1926 in let _ = "comment: satisfy ((GHC.Classes.==) ')')"
1927 in let inp = callerInput
1928 in let readFail = Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel
1929 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
1930 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 1 inp)
1931 then
1932 let _ = "checkToken"
1933 in let !(#
1934 c,
1935 cs
1936 #) = readNext inp
1937 in if (GHC.Classes.==) ')' c
1938 then
1939 let _ = "lift2Value checkedHorizon=2"
1940 in name
1941 ( let _ = "onReturn"
1942 in \farInp farExp v (!inp) ->
1943 let _ = "lift2Value checkedHorizon=0"
1944 in let _ = "resume"
1945 in callerOnReturn
1946 farInp
1947 farExp
1948 ( let _ = "resume.genCode"
1949 in ')'
1950 )
1951 inp
1952 )
1953 cs
1954 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
1955 else
1956 let _ = "checkToken.fail"
1957 in let failExp =
1958 Data.Set.Internal.Bin
1959 1
1960 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1961 ( case inputToken of
1962 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken ')'
1963 )
1964 )
1965 Data.Set.Internal.Tip
1966 Data.Set.Internal.Tip
1967 in let (#
1968 farInp,
1969 farExp
1970 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
1971 GHC.Types.LT ->
1972 (#
1973 inp,
1974 failExp
1975 #)
1976 GHC.Types.EQ ->
1977 (#
1978 init,
1979 failExp GHC.Base.<> Data.Set.Internal.empty
1980 #)
1981 GHC.Types.GT ->
1982 (#
1983 init,
1984 Data.Set.Internal.empty
1985 #)
1986 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
1987 else
1988 let _ = "checkHorizon.newCheck.fail"
1989 in let failExp =
1990 Data.Set.Internal.Bin
1991 1
1992 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1993 ( case inputToken of
1994 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
1995 )
1996 )
1997 Data.Set.Internal.Tip
1998 Data.Set.Internal.Tip
1999 in let (#
2000 farInp,
2001 farExp
2002 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
2003 GHC.Types.LT ->
2004 (#
2005 inp,
2006 failExp
2007 #)
2008 GHC.Types.EQ ->
2009 (#
2010 init,
2011 failExp GHC.Base.<> Data.Set.Internal.empty
2012 #)
2013 GHC.Types.GT ->
2014 (#
2015 init,
2016 Data.Set.Internal.empty
2017 #)
2018 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2019 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
2020 let _ = "pushValue"
2021 in let _ = "comment: satisfy ((GHC.Classes.==) ',')"
2022 in let inp = callerInput
2023 in let readFail = Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel
2024 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
2025 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 1 inp)
2026 then
2027 let _ = "checkToken"
2028 in let !(#
2029 c,
2030 cs
2031 #) = readNext inp
2032 in if (GHC.Classes.==) ',' c
2033 then
2034 let _ = "lift2Value checkedHorizon=2"
2035 in name
2036 ( let _ = "onReturn"
2037 in \farInp farExp v (!inp) ->
2038 let _ = "lift2Value checkedHorizon=0"
2039 in let _ = "resume"
2040 in callerOnReturn
2041 farInp
2042 farExp
2043 ( let _ = "resume.genCode"
2044 in ','
2045 )
2046 inp
2047 )
2048 cs
2049 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2050 else
2051 let _ = "checkToken.fail"
2052 in let failExp =
2053 Data.Set.Internal.Bin
2054 1
2055 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2056 ( case inputToken of
2057 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken ','
2058 )
2059 )
2060 Data.Set.Internal.Tip
2061 Data.Set.Internal.Tip
2062 in let (#
2063 farInp,
2064 farExp
2065 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
2066 GHC.Types.LT ->
2067 (#
2068 inp,
2069 failExp
2070 #)
2071 GHC.Types.EQ ->
2072 (#
2073 init,
2074 failExp GHC.Base.<> Data.Set.Internal.empty
2075 #)
2076 GHC.Types.GT ->
2077 (#
2078 init,
2079 Data.Set.Internal.empty
2080 #)
2081 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2082 else
2083 let _ = "checkHorizon.newCheck.fail"
2084 in let failExp =
2085 Data.Set.Internal.Bin
2086 1
2087 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2088 ( case inputToken of
2089 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
2090 )
2091 )
2092 Data.Set.Internal.Tip
2093 Data.Set.Internal.Tip
2094 in let (#
2095 farInp,
2096 farExp
2097 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
2098 GHC.Types.LT ->
2099 (#
2100 inp,
2101 failExp
2102 #)
2103 GHC.Types.EQ ->
2104 (#
2105 init,
2106 failExp GHC.Base.<> Data.Set.Internal.empty
2107 #)
2108 GHC.Types.GT ->
2109 (#
2110 init,
2111 Data.Set.Internal.empty
2112 #)
2113 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2114 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
2115 let _ = "pushValue"
2116 in let _ = "comment: satisfy ((GHC.Classes.==) ';')"
2117 in let inp = callerInput
2118 in let readFail = Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel
2119 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
2120 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 1 inp)
2121 then
2122 let _ = "checkToken"
2123 in let !(#
2124 c,
2125 cs
2126 #) = readNext inp
2127 in if (GHC.Classes.==) ';' c
2128 then
2129 let _ = "lift2Value checkedHorizon=2"
2130 in name
2131 ( let _ = "onReturn"
2132 in \farInp farExp v (!inp) ->
2133 let _ = "lift2Value checkedHorizon=0"
2134 in let _ = "resume"
2135 in callerOnReturn
2136 farInp
2137 farExp
2138 ( let _ = "resume.genCode"
2139 in ';'
2140 )
2141 inp
2142 )
2143 cs
2144 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2145 else
2146 let _ = "checkToken.fail"
2147 in let failExp =
2148 Data.Set.Internal.Bin
2149 1
2150 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2151 ( case inputToken of
2152 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken ';'
2153 )
2154 )
2155 Data.Set.Internal.Tip
2156 Data.Set.Internal.Tip
2157 in let (#
2158 farInp,
2159 farExp
2160 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
2161 GHC.Types.LT ->
2162 (#
2163 inp,
2164 failExp
2165 #)
2166 GHC.Types.EQ ->
2167 (#
2168 init,
2169 failExp GHC.Base.<> Data.Set.Internal.empty
2170 #)
2171 GHC.Types.GT ->
2172 (#
2173 init,
2174 Data.Set.Internal.empty
2175 #)
2176 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2177 else
2178 let _ = "checkHorizon.newCheck.fail"
2179 in let failExp =
2180 Data.Set.Internal.Bin
2181 1
2182 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2183 ( case inputToken of
2184 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
2185 )
2186 )
2187 Data.Set.Internal.Tip
2188 Data.Set.Internal.Tip
2189 in let (#
2190 farInp,
2191 farExp
2192 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
2193 GHC.Types.LT ->
2194 (#
2195 inp,
2196 failExp
2197 #)
2198 GHC.Types.EQ ->
2199 (#
2200 init,
2201 failExp GHC.Base.<> Data.Set.Internal.empty
2202 #)
2203 GHC.Types.GT ->
2204 (#
2205 init,
2206 Data.Set.Internal.empty
2207 #)
2208 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2209 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
2210 let _ = "pushValue"
2211 in let _ = "comment: satisfy ((GHC.Classes.==) '[')"
2212 in let inp = callerInput
2213 in let readFail = Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel
2214 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=5"
2215 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 4 inp)
2216 then
2217 let _ = "checkToken"
2218 in let !(#
2219 c,
2220 cs
2221 #) = readNext inp
2222 in if (GHC.Classes.==) '[' c
2223 then
2224 let _ = "lift2Value checkedHorizon=5"
2225 in name
2226 ( let _ = "onReturn"
2227 in \farInp farExp v (!inp) ->
2228 let _ = "lift2Value checkedHorizon=0"
2229 in name
2230 ( let _ = "onReturn"
2231 in \farInp farExp v (!inp) ->
2232 let _ = "lift2Value checkedHorizon=0"
2233 in let _ = "pushValue"
2234 in do
2235 let dupv = \x -> x
2236 reg <- GHC.STRef.newSTRef dupv
2237 let _ = "iter"
2238 in let onException loopInput =
2239 let _ = "onException"
2240 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
2241 let _ = "comment: raiseAgainIfConsumed"
2242 in let _ = "saveInput checkedHorizon=0"
2243 in let _ = "lift2Value checkedHorizon=0"
2244 in if ( \( Data.Text.Internal.Text
2245 _
2246 i
2247 _
2248 )
2249 ( Data.Text.Internal.Text
2250 _
2251 j
2252 _
2253 ) -> i GHC.Classes.== j
2254 )
2255 loopInput
2256 failInp
2257 then
2258 let _ = "choicesBranch checkedHorizon=0"
2259 in do
2260 sr <- GHC.STRef.readSTRef reg
2261 let _ = "pushValue"
2262 in let _ = "lift2Value checkedHorizon=0"
2263 in let _ = "lift2Value checkedHorizon=0"
2264 in let _ = "comment: satisfy ((GHC.Classes.==) ']')"
2265 in let inp = failInp
2266 in let readFail = readFail
2267 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
2268 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 1 inp)
2269 then
2270 let _ = "checkToken"
2271 in let !(#
2272 c,
2273 cs
2274 #) = readNext inp
2275 in if (GHC.Classes.==) ']' c
2276 then
2277 let _ = "lift2Value checkedHorizon=2"
2278 in name
2279 ( let _ = "onReturn"
2280 in \farInp farExp v (!inp) ->
2281 let _ = "lift2Value checkedHorizon=0"
2282 in let _ = "resume"
2283 in callerOnReturn
2284 farInp
2285 farExp
2286 ( let _ = "resume.genCode"
2287 in GHC.Tuple . ()
2288 )
2289 inp
2290 )
2291 cs
2292 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2293 else
2294 let _ = "checkToken.fail"
2295 in let failExp =
2296 Data.Set.Internal.Bin
2297 1
2298 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2299 ( case inputToken of
2300 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken ']'
2301 )
2302 )
2303 Data.Set.Internal.Tip
2304 Data.Set.Internal.Tip
2305 in let (#
2306 farInp,
2307 farExp
2308 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
2309 GHC.Types.LT ->
2310 (#
2311 inp,
2312 failExp
2313 #)
2314 GHC.Types.EQ ->
2315 (#
2316 farInp,
2317 failExp GHC.Base.<> farExp
2318 #)
2319 GHC.Types.GT ->
2320 (#
2321 farInp,
2322 farExp
2323 #)
2324 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2325 else
2326 let _ = "checkHorizon.newCheck.fail"
2327 in let failExp =
2328 Data.Set.Internal.Bin
2329 1
2330 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2331 ( case inputToken of
2332 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
2333 )
2334 )
2335 Data.Set.Internal.Tip
2336 Data.Set.Internal.Tip
2337 in let (#
2338 farInp,
2339 farExp
2340 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
2341 GHC.Types.LT ->
2342 (#
2343 inp,
2344 failExp
2345 #)
2346 GHC.Types.EQ ->
2347 (#
2348 farInp,
2349 failExp GHC.Base.<> farExp
2350 #)
2351 GHC.Types.GT ->
2352 (#
2353 farInp,
2354 farExp
2355 #)
2356 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2357 else
2358 let _ = "choicesBranch.else"
2359 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
2360 loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
2361 let _ = "pushValue"
2362 in name
2363 ( let _ = "onReturn"
2364 in \farInp farExp v (!inp) ->
2365 let _ = "lift2Value checkedHorizon=0"
2366 in do
2367 sr <- GHC.STRef.readSTRef reg
2368 let _ = "lift2Value checkedHorizon=0"
2369 in do
2370 let dupv = sr
2371 GHC.STRef.writeSTRef reg dupv
2372 let _ = "jump"
2373 in loop (GHC.Err.error "invalid onReturn") inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2374 )
2375 callerInput
2376 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2377 in let _ = "jump"
2378 in loop callerOnReturn inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2379 )
2380 inp
2381 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2382 )
2383 cs
2384 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2385 else
2386 let _ = "checkToken.fail"
2387 in let failExp =
2388 Data.Set.Internal.Bin
2389 1
2390 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2391 ( case inputToken of
2392 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '['
2393 )
2394 )
2395 Data.Set.Internal.Tip
2396 Data.Set.Internal.Tip
2397 in let (#
2398 farInp,
2399 farExp
2400 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
2401 GHC.Types.LT ->
2402 (#
2403 inp,
2404 failExp
2405 #)
2406 GHC.Types.EQ ->
2407 (#
2408 init,
2409 failExp GHC.Base.<> Data.Set.Internal.empty
2410 #)
2411 GHC.Types.GT ->
2412 (#
2413 init,
2414 Data.Set.Internal.empty
2415 #)
2416 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2417 else
2418 let _ = "checkHorizon.newCheck.fail"
2419 in let failExp =
2420 Data.Set.Internal.Bin
2421 1
2422 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2423 ( case inputToken of
2424 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 5
2425 )
2426 )
2427 Data.Set.Internal.Tip
2428 Data.Set.Internal.Tip
2429 in let (#
2430 farInp,
2431 farExp
2432 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
2433 GHC.Types.LT ->
2434 (#
2435 inp,
2436 failExp
2437 #)
2438 GHC.Types.EQ ->
2439 (#
2440 init,
2441 failExp GHC.Base.<> Data.Set.Internal.empty
2442 #)
2443 GHC.Types.GT ->
2444 (#
2445 init,
2446 Data.Set.Internal.empty
2447 #)
2448 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2449 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
2450 let _ = "pushValue"
2451 in let _ = "comment: satisfy ((GHC.Classes.==) '{')"
2452 in let inp = callerInput
2453 in let readFail = Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel
2454 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=4"
2455 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 3 inp)
2456 then
2457 let _ = "checkToken"
2458 in let !(#
2459 c,
2460 cs
2461 #) = readNext inp
2462 in if (GHC.Classes.==) '{' c
2463 then
2464 let _ = "lift2Value checkedHorizon=4"
2465 in name
2466 ( let _ = "onReturn"
2467 in \farInp farExp v (!inp) ->
2468 let _ = "lift2Value checkedHorizon=0"
2469 in let _ = "pushValue"
2470 in do
2471 let dupv = \x -> x
2472 reg <- GHC.STRef.newSTRef dupv
2473 let _ = "iter"
2474 in let onException loopInput =
2475 let _ = "onException"
2476 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
2477 let _ = "comment: raiseAgainIfConsumed"
2478 in let _ = "saveInput checkedHorizon=0"
2479 in let _ = "lift2Value checkedHorizon=0"
2480 in if ( \( Data.Text.Internal.Text
2481 _
2482 i
2483 _
2484 )
2485 ( Data.Text.Internal.Text
2486 _
2487 j
2488 _
2489 ) -> i GHC.Classes.== j
2490 )
2491 loopInput
2492 failInp
2493 then
2494 let _ = "choicesBranch checkedHorizon=0"
2495 in do
2496 sr <- GHC.STRef.readSTRef reg
2497 name
2498 ( let _ = "onReturn"
2499 in \farInp farExp v (!inp) ->
2500 let _ = "lift2Value checkedHorizon=0"
2501 in let _ = "lift2Value checkedHorizon=0"
2502 in name
2503 ( let _ = "onReturn"
2504 in \farInp farExp v (!inp) ->
2505 let _ = "lift2Value checkedHorizon=0"
2506 in let _ = "comment: satisfy ((GHC.Classes.==) '}')"
2507 in let inp = inp
2508 in let readFail = readFail
2509 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
2510 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 1 inp)
2511 then
2512 let _ = "checkToken"
2513 in let !(#
2514 c,
2515 cs
2516 #) = readNext inp
2517 in if (GHC.Classes.==) '}' c
2518 then
2519 let _ = "lift2Value checkedHorizon=2"
2520 in name
2521 ( let _ = "onReturn"
2522 in \farInp farExp v (!inp) ->
2523 let _ = "lift2Value checkedHorizon=0"
2524 in let _ = "resume"
2525 in callerOnReturn
2526 farInp
2527 farExp
2528 ( let _ = "resume.genCode"
2529 in v
2530 )
2531 inp
2532 )
2533 cs
2534 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2535 else
2536 let _ = "checkToken.fail"
2537 in let failExp =
2538 Data.Set.Internal.Bin
2539 1
2540 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2541 ( case inputToken of
2542 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '}'
2543 )
2544 )
2545 Data.Set.Internal.Tip
2546 Data.Set.Internal.Tip
2547 in let (#
2548 farInp,
2549 farExp
2550 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
2551 GHC.Types.LT ->
2552 (#
2553 inp,
2554 failExp
2555 #)
2556 GHC.Types.EQ ->
2557 (#
2558 farInp,
2559 failExp GHC.Base.<> farExp
2560 #)
2561 GHC.Types.GT ->
2562 (#
2563 farInp,
2564 farExp
2565 #)
2566 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2567 else
2568 let _ = "checkHorizon.newCheck.fail"
2569 in let failExp =
2570 Data.Set.Internal.Bin
2571 1
2572 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2573 ( case inputToken of
2574 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
2575 )
2576 )
2577 Data.Set.Internal.Tip
2578 Data.Set.Internal.Tip
2579 in let (#
2580 farInp,
2581 farExp
2582 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
2583 GHC.Types.LT ->
2584 (#
2585 inp,
2586 failExp
2587 #)
2588 GHC.Types.EQ ->
2589 (#
2590 farInp,
2591 failExp GHC.Base.<> farExp
2592 #)
2593 GHC.Types.GT ->
2594 (#
2595 farInp,
2596 farExp
2597 #)
2598 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2599 )
2600 inp
2601 Data.Map.Internal.Tip
2602 )
2603 failInp
2604 Data.Map.Internal.Tip
2605 else
2606 let _ = "choicesBranch.else"
2607 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
2608 loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
2609 let _ = "pushValue"
2610 in let join = \farInp farExp v (!inp) ->
2611 let _ = "lift2Value checkedHorizon=0"
2612 in do
2613 sr <- GHC.STRef.readSTRef reg
2614 let _ = "lift2Value checkedHorizon=0"
2615 in do
2616 let dupv = sr
2617 GHC.STRef.writeSTRef reg dupv
2618 let _ = "jump"
2619 in loop (GHC.Err.error "invalid onReturn") inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2620 in let _ = "catch ExceptionFailure checkedHorizon=0"
2621 in let onException =
2622 let _ = "onException"
2623 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
2624 let _ = "comment: raiseAgainIfConsumed"
2625 in let _ = "saveInput checkedHorizon=0"
2626 in let _ = "lift2Value checkedHorizon=0"
2627 in if ( \( Data.Text.Internal.Text
2628 _
2629 i
2630 _
2631 )
2632 ( Data.Text.Internal.Text
2633 _
2634 j
2635 _
2636 ) -> i GHC.Classes.== j
2637 )
2638 callerInput
2639 failInp
2640 then
2641 let _ = "choicesBranch checkedHorizon=0"
2642 in let _ = "catch ExceptionFailure checkedHorizon=0"
2643 in let onException =
2644 let _ = "onException"
2645 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
2646 let _ = "comment: raiseAgainIfConsumed"
2647 in let _ = "saveInput checkedHorizon=0"
2648 in let _ = "lift2Value checkedHorizon=0"
2649 in if ( \( Data.Text.Internal.Text
2650 _
2651 i
2652 _
2653 )
2654 ( Data.Text.Internal.Text
2655 _
2656 j
2657 _
2658 ) -> i GHC.Classes.== j
2659 )
2660 failInp
2661 failInp
2662 then
2663 let _ = "choicesBranch checkedHorizon=0"
2664 in let _ = "catch ExceptionFailure checkedHorizon=0"
2665 in let onException =
2666 let _ = "onException"
2667 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
2668 let _ = "comment: raiseAgainIfConsumed"
2669 in let _ = "saveInput checkedHorizon=0"
2670 in let _ = "lift2Value checkedHorizon=0"
2671 in if ( \( Data.Text.Internal.Text
2672 _
2673 i
2674 _
2675 )
2676 ( Data.Text.Internal.Text
2677 _
2678 j
2679 _
2680 ) -> i GHC.Classes.== j
2681 )
2682 failInp
2683 failInp
2684 then
2685 let _ = "choicesBranch checkedHorizon=0"
2686 in let _ = "pushValue"
2687 in name
2688 ( let _ = "onReturn"
2689 in \farInp farExp v (!inp) ->
2690 let _ = "lift2Value checkedHorizon=0"
2691 in name
2692 ( let _ = "onReturn"
2693 in \farInp farExp v (!inp) ->
2694 let _ = "lift2Value checkedHorizon=0"
2695 in let _ = "resume"
2696 in join
2697 farInp
2698 farExp
2699 ( let _ = "resume.genCode"
2700 in v
2701 )
2702 inp
2703 )
2704 inp
2705 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2706 )
2707 failInp
2708 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2709 else
2710 let _ = "choicesBranch.else"
2711 in onException callerInput Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
2712 in let _ = "catch ExceptionFailure checkedHorizon=0"
2713 in let onException =
2714 let _ = "onException"
2715 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
2716 let _ = "loadInput checkedHorizon=0"
2717 in let _ = "checkHorizon.noCheck"
2718 in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
2719 in let _ = "pushValue"
2720 in let join = \farInp farExp v (!inp) ->
2721 let _ = "lift2Value checkedHorizon=0"
2722 in name
2723 ( let _ = "onReturn"
2724 in \farInp farExp v (!inp) ->
2725 let _ = "lift2Value checkedHorizon=0"
2726 in let _ = "pushValue"
2727 in do
2728 let dupv = \x -> x
2729 reg <- GHC.STRef.newSTRef dupv
2730 let _ = "iter"
2731 in let onException loopInput =
2732 let _ = "onException"
2733 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
2734 let _ = "comment: raiseAgainIfConsumed"
2735 in let _ = "saveInput checkedHorizon=0"
2736 in let _ = "lift2Value checkedHorizon=0"
2737 in if ( \( Data.Text.Internal.Text
2738 _
2739 i
2740 _
2741 )
2742 ( Data.Text.Internal.Text
2743 _
2744 j
2745 _
2746 ) -> i GHC.Classes.== j
2747 )
2748 loopInput
2749 failInp
2750 then
2751 let _ = "choicesBranch checkedHorizon=0"
2752 in do
2753 sr <- GHC.STRef.readSTRef reg
2754 name
2755 ( let _ = "onReturn"
2756 in \farInp farExp v (!inp) ->
2757 let _ = "lift2Value checkedHorizon=0"
2758 in let _ = "lift2Value checkedHorizon=0"
2759 in name
2760 ( let _ = "onReturn"
2761 in \farInp farExp v (!inp) ->
2762 let _ = "lift2Value checkedHorizon=0"
2763 in let _ = "comment: satisfy ((GHC.Classes.==) '=')"
2764 in let inp = inp
2765 in let readFail = onException
2766 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=6"
2767 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 5 inp)
2768 then
2769 let _ = "checkToken"
2770 in let !(#
2771 c,
2772 cs
2773 #) = readNext inp
2774 in if (GHC.Classes.==) '=' c
2775 then
2776 let _ = "lift2Value checkedHorizon=6"
2777 in name
2778 ( let _ = "onReturn"
2779 in \farInp farExp v (!inp) ->
2780 let _ = "lift2Value checkedHorizon=0"
2781 in name
2782 ( let _ = "onReturn"
2783 in \farInp farExp v (!inp) ->
2784 let _ = "lift2Value checkedHorizon=0"
2785 in let _ = "pushValue"
2786 in do
2787 let dupv = \x -> x
2788 reg <- GHC.STRef.newSTRef dupv
2789 let _ = "iter"
2790 in let onException loopInput =
2791 let _ = "onException"
2792 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
2793 let _ = "comment: raiseAgainIfConsumed"
2794 in let _ = "saveInput checkedHorizon=0"
2795 in let _ = "lift2Value checkedHorizon=0"
2796 in if ( \( Data.Text.Internal.Text
2797 _
2798 i
2799 _
2800 )
2801 ( Data.Text.Internal.Text
2802 _
2803 j
2804 _
2805 ) -> i GHC.Classes.== j
2806 )
2807 loopInput
2808 failInp
2809 then
2810 let _ = "choicesBranch checkedHorizon=0"
2811 in do
2812 sr <- GHC.STRef.readSTRef reg
2813 name
2814 ( let _ = "onReturn"
2815 in \farInp farExp v (!inp) ->
2816 let _ = "lift2Value checkedHorizon=0"
2817 in let _ = "lift2Value checkedHorizon=0"
2818 in name
2819 ( let _ = "onReturn"
2820 in \farInp farExp v (!inp) ->
2821 let _ = "lift2Value checkedHorizon=0"
2822 in name
2823 ( let _ = "onReturn"
2824 in \farInp farExp v (!inp) ->
2825 let _ = "lift2Value checkedHorizon=0"
2826 in let _ = "commit"
2827 in let _ = "commit"
2828 in let _ = "resume"
2829 in join
2830 farInp
2831 farExp
2832 ( let _ = "resume.genCode"
2833 in v
2834 )
2835 inp
2836 )
2837 inp
2838 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2839 )
2840 inp
2841 Data.Map.Internal.Tip
2842 )
2843 failInp
2844 Data.Map.Internal.Tip
2845 else
2846 let _ = "choicesBranch.else"
2847 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
2848 loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
2849 let _ = "pushValue"
2850 in name
2851 ( let _ = "onReturn"
2852 in \farInp farExp v (!inp) ->
2853 let _ = "lift2Value checkedHorizon=0"
2854 in name
2855 ( let _ = "onReturn"
2856 in \farInp farExp v (!inp) ->
2857 let _ = "lift2Value checkedHorizon=0"
2858 in name
2859 ( let _ = "onReturn"
2860 in \farInp farExp v (!inp) ->
2861 let _ = "lift2Value checkedHorizon=0"
2862 in do
2863 sr <- GHC.STRef.readSTRef reg
2864 let _ = "lift2Value checkedHorizon=0"
2865 in do
2866 let dupv = v v sr
2867 GHC.STRef.writeSTRef reg dupv
2868 let _ = "jump"
2869 in loop (GHC.Err.error "invalid onReturn") inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2870 )
2871 inp
2872 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2873 )
2874 inp
2875 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2876 )
2877 callerInput
2878 Data.Map.Internal.Tip
2879 in let _ = "jump"
2880 in loop (GHC.Err.error "invalid onReturn") inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2881 )
2882 inp
2883 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2884 )
2885 cs
2886 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2887 else
2888 let _ = "checkToken.fail"
2889 in let failExp =
2890 Data.Set.Internal.Bin
2891 1
2892 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2893 ( case inputToken of
2894 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '='
2895 )
2896 )
2897 Data.Set.Internal.Tip
2898 Data.Set.Internal.Tip
2899 in let (#
2900 farInp,
2901 farExp
2902 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
2903 GHC.Types.LT ->
2904 (#
2905 inp,
2906 failExp
2907 #)
2908 GHC.Types.EQ ->
2909 (#
2910 farInp,
2911 failExp GHC.Base.<> farExp
2912 #)
2913 GHC.Types.GT ->
2914 (#
2915 farInp,
2916 farExp
2917 #)
2918 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2919 else
2920 let _ = "checkHorizon.newCheck.fail"
2921 in let failExp =
2922 Data.Set.Internal.Bin
2923 1
2924 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2925 ( case inputToken of
2926 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 6
2927 )
2928 )
2929 Data.Set.Internal.Tip
2930 Data.Set.Internal.Tip
2931 in let (#
2932 farInp,
2933 farExp
2934 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
2935 GHC.Types.LT ->
2936 (#
2937 inp,
2938 failExp
2939 #)
2940 GHC.Types.EQ ->
2941 (#
2942 farInp,
2943 failExp GHC.Base.<> farExp
2944 #)
2945 GHC.Types.GT ->
2946 (#
2947 farInp,
2948 farExp
2949 #)
2950 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2951 )
2952 inp
2953 Data.Map.Internal.Tip
2954 )
2955 failInp
2956 Data.Map.Internal.Tip
2957 else
2958 let _ = "choicesBranch.else"
2959 in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
2960 loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
2961 let _ = "pushValue"
2962 in name
2963 ( let _ = "onReturn"
2964 in \farInp farExp v (!inp) ->
2965 let _ = "lift2Value checkedHorizon=0"
2966 in name
2967 ( let _ = "onReturn"
2968 in \farInp farExp v (!inp) ->
2969 let _ = "lift2Value checkedHorizon=0"
2970 in name
2971 ( let _ = "onReturn"
2972 in \farInp farExp v (!inp) ->
2973 let _ = "lift2Value checkedHorizon=0"
2974 in do
2975 sr <- GHC.STRef.readSTRef reg
2976 let _ = "lift2Value checkedHorizon=0"
2977 in do
2978 let dupv = v v sr
2979 GHC.STRef.writeSTRef reg dupv
2980 let _ = "jump"
2981 in loop (GHC.Err.error "invalid onReturn") inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2982 )
2983 inp
2984 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2985 )
2986 inp
2987 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2988 )
2989 callerInput
2990 Data.Map.Internal.Tip
2991 in let _ = "jump"
2992 in loop (GHC.Err.error "invalid onReturn") inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
2993 )
2994 inp
2995 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
2996 in let _ = "catch ExceptionFailure checkedHorizon=0"
2997 in let onException =
2998 let _ = "onException"
2999 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
3000 let _ = "comment: raiseAgainIfConsumed"
3001 in let _ = "saveInput checkedHorizon=0"
3002 in let _ = "lift2Value checkedHorizon=0"
3003 in if ( \( Data.Text.Internal.Text
3004 _
3005 i
3006 _
3007 )
3008 ( Data.Text.Internal.Text
3009 _
3010 j
3011 _
3012 ) -> i GHC.Classes.== j
3013 )
3014 failInp
3015 failInp
3016 then
3017 let _ = "choicesBranch checkedHorizon=0"
3018 in name
3019 ( let _ = "onReturn"
3020 in \farInp farExp v (!inp) ->
3021 let _ = "resume"
3022 in join
3023 farInp
3024 farExp
3025 ( let _ = "resume.genCode"
3026 in v
3027 )
3028 inp
3029 )
3030 failInp
3031 Data.Map.Internal.Tip
3032 else
3033 let _ = "choicesBranch.else"
3034 in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
3035 in let _ = "pushValue"
3036 in let _ = "catch ExceptionFailure checkedHorizon=0"
3037 in let onException =
3038 let _ = "onException"
3039 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
3040 let _ = "loadInput checkedHorizon=0"
3041 in let _ = "checkHorizon.noCheck"
3042 in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
3043 in let _ = "pushValue"
3044 in let _ = "comment: satisfy ((GHC.Classes.==) 'v')"
3045 in let inp = failInp
3046 in let readFail = onException
3047 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=11"
3048 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 10 inp)
3049 then
3050 let _ = "checkToken"
3051 in let !(#
3052 c,
3053 cs
3054 #) = readNext inp
3055 in if (GHC.Classes.==) 'v' c
3056 then
3057 let _ = "lift2Value checkedHorizon=11"
3058 in let _ = "comment: satisfy ((GHC.Classes.==) 'a')"
3059 in let _ = "checkHorizon.oldCheck: checkedHorizon=11"
3060 in let _ = "checkToken"
3061 in let !(#
3062 c,
3063 cs
3064 #) = readNext cs
3065 in if (GHC.Classes.==) 'a' c
3066 then
3067 let _ = "lift2Value checkedHorizon=10"
3068 in let _ = "comment: satisfy ((GHC.Classes.==) 'r')"
3069 in let _ = "checkHorizon.oldCheck: checkedHorizon=10"
3070 in let _ = "checkToken"
3071 in let !(#
3072 c,
3073 cs
3074 #) = readNext cs
3075 in if (GHC.Classes.==) 'r' c
3076 then
3077 let _ = "lift2Value checkedHorizon=9"
3078 in let _ = "commit"
3079 in let _ = "lift2Value checkedHorizon=9"
3080 in name
3081 ( let _ = "onReturn"
3082 in \farInp farExp v (!inp) ->
3083 let _ = "lift2Value checkedHorizon=0"
3084 in let _ = "commit"
3085 in let _ = "resume"
3086 in join
3087 farInp
3088 farExp
3089 ( let _ = "resume.genCode"
3090 in GHC.Tuple . ()
3091 )
3092 inp
3093 )
3094 cs
3095 Data.Map.Internal.Tip
3096 else
3097 let _ = "checkToken.fail"
3098 in let failExp =
3099 Data.Set.Internal.Bin
3100 1
3101 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3102 ( case inputToken of
3103 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'r'
3104 )
3105 )
3106 Data.Set.Internal.Tip
3107 Data.Set.Internal.Tip
3108 in let (#
3109 farInp,
3110 farExp
3111 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
3112 GHC.Types.LT ->
3113 (#
3114 cs,
3115 failExp
3116 #)
3117 GHC.Types.EQ ->
3118 (#
3119 farInp,
3120 failExp GHC.Base.<> farExp
3121 #)
3122 GHC.Types.GT ->
3123 (#
3124 farInp,
3125 farExp
3126 #)
3127 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
3128 else
3129 let _ = "checkToken.fail"
3130 in let failExp =
3131 Data.Set.Internal.Bin
3132 1
3133 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3134 ( case inputToken of
3135 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'a'
3136 )
3137 )
3138 Data.Set.Internal.Tip
3139 Data.Set.Internal.Tip
3140 in let (#
3141 farInp,
3142 farExp
3143 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
3144 GHC.Types.LT ->
3145 (#
3146 cs,
3147 failExp
3148 #)
3149 GHC.Types.EQ ->
3150 (#
3151 farInp,
3152 failExp GHC.Base.<> farExp
3153 #)
3154 GHC.Types.GT ->
3155 (#
3156 farInp,
3157 farExp
3158 #)
3159 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
3160 else
3161 let _ = "checkToken.fail"
3162 in let failExp =
3163 Data.Set.Internal.Bin
3164 1
3165 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3166 ( case inputToken of
3167 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'v'
3168 )
3169 )
3170 Data.Set.Internal.Tip
3171 Data.Set.Internal.Tip
3172 in let (#
3173 farInp,
3174 farExp
3175 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
3176 GHC.Types.LT ->
3177 (#
3178 inp,
3179 failExp
3180 #)
3181 GHC.Types.EQ ->
3182 (#
3183 farInp,
3184 failExp GHC.Base.<> farExp
3185 #)
3186 GHC.Types.GT ->
3187 (#
3188 farInp,
3189 farExp
3190 #)
3191 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3192 else
3193 let _ = "checkHorizon.newCheck.fail"
3194 in let failExp =
3195 Data.Set.Internal.Bin
3196 1
3197 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3198 ( case inputToken of
3199 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 11
3200 )
3201 )
3202 Data.Set.Internal.Tip
3203 Data.Set.Internal.Tip
3204 in let (#
3205 farInp,
3206 farExp
3207 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
3208 GHC.Types.LT ->
3209 (#
3210 inp,
3211 failExp
3212 #)
3213 GHC.Types.EQ ->
3214 (#
3215 farInp,
3216 failExp GHC.Base.<> farExp
3217 #)
3218 GHC.Types.GT ->
3219 (#
3220 farInp,
3221 farExp
3222 #)
3223 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3224 else
3225 let _ = "choicesBranch.else"
3226 in onException callerInput Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
3227 in let _ = "pushValue"
3228 in let _ = "catch ExceptionFailure checkedHorizon=0"
3229 in let onException =
3230 let _ = "onException"
3231 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
3232 let _ = "loadInput checkedHorizon=0"
3233 in let _ = "checkHorizon.noCheck"
3234 in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
3235 in let _ = "pushValue"
3236 in let _ = "comment: satisfy ((GHC.Classes.==) 'w')"
3237 in let inp = failInp
3238 in let readFail = onException
3239 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=7"
3240 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 6 inp)
3241 then
3242 let _ = "checkToken"
3243 in let !(#
3244 c,
3245 cs
3246 #) = readNext inp
3247 in if (GHC.Classes.==) 'w' c
3248 then
3249 let _ = "lift2Value checkedHorizon=7"
3250 in let _ = "comment: satisfy ((GHC.Classes.==) 'h')"
3251 in let _ = "checkHorizon.oldCheck: checkedHorizon=7"
3252 in let _ = "checkToken"
3253 in let !(#
3254 c,
3255 cs
3256 #) = readNext cs
3257 in if (GHC.Classes.==) 'h' c
3258 then
3259 let _ = "lift2Value checkedHorizon=6"
3260 in let _ = "comment: satisfy ((GHC.Classes.==) 'i')"
3261 in let _ = "checkHorizon.oldCheck: checkedHorizon=6"
3262 in let _ = "checkToken"
3263 in let !(#
3264 c,
3265 cs
3266 #) = readNext cs
3267 in if (GHC.Classes.==) 'i' c
3268 then
3269 let _ = "lift2Value checkedHorizon=5"
3270 in let _ = "comment: satisfy ((GHC.Classes.==) 'l')"
3271 in let _ = "checkHorizon.oldCheck: checkedHorizon=5"
3272 in let _ = "checkToken"
3273 in let !(#
3274 c,
3275 cs
3276 #) = readNext cs
3277 in if (GHC.Classes.==) 'l' c
3278 then
3279 let _ = "lift2Value checkedHorizon=4"
3280 in let _ = "comment: satisfy ((GHC.Classes.==) 'e')"
3281 in let _ = "checkHorizon.oldCheck: checkedHorizon=4"
3282 in let _ = "checkToken"
3283 in let !(#
3284 c,
3285 cs
3286 #) = readNext cs
3287 in if (GHC.Classes.==) 'e' c
3288 then
3289 let _ = "lift2Value checkedHorizon=3"
3290 in let _ = "commit"
3291 in let _ = "lift2Value checkedHorizon=3"
3292 in name
3293 ( let _ = "onReturn"
3294 in \farInp farExp v (!inp) ->
3295 let _ = "lift2Value checkedHorizon=0"
3296 in name
3297 ( let _ = "onReturn"
3298 in \farInp farExp v (!inp) ->
3299 let _ = "lift2Value checkedHorizon=0"
3300 in name
3301 ( let _ = "onReturn"
3302 in \farInp farExp v (!inp) ->
3303 let _ = "lift2Value checkedHorizon=0"
3304 in let _ = "commit"
3305 in let _ = "resume"
3306 in join
3307 farInp
3308 farExp
3309 ( let _ = "resume.genCode"
3310 in v
3311 )
3312 inp
3313 )
3314 inp
3315 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
3316 )
3317 inp
3318 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
3319 )
3320 cs
3321 Data.Map.Internal.Tip
3322 else
3323 let _ = "checkToken.fail"
3324 in let failExp =
3325 Data.Set.Internal.Bin
3326 1
3327 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3328 ( case inputToken of
3329 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'e'
3330 )
3331 )
3332 Data.Set.Internal.Tip
3333 Data.Set.Internal.Tip
3334 in let (#
3335 farInp,
3336 farExp
3337 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
3338 GHC.Types.LT ->
3339 (#
3340 cs,
3341 failExp
3342 #)
3343 GHC.Types.EQ ->
3344 (#
3345 farInp,
3346 failExp GHC.Base.<> farExp
3347 #)
3348 GHC.Types.GT ->
3349 (#
3350 farInp,
3351 farExp
3352 #)
3353 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
3354 else
3355 let _ = "checkToken.fail"
3356 in let failExp =
3357 Data.Set.Internal.Bin
3358 1
3359 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3360 ( case inputToken of
3361 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'l'
3362 )
3363 )
3364 Data.Set.Internal.Tip
3365 Data.Set.Internal.Tip
3366 in let (#
3367 farInp,
3368 farExp
3369 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
3370 GHC.Types.LT ->
3371 (#
3372 cs,
3373 failExp
3374 #)
3375 GHC.Types.EQ ->
3376 (#
3377 farInp,
3378 failExp GHC.Base.<> farExp
3379 #)
3380 GHC.Types.GT ->
3381 (#
3382 farInp,
3383 farExp
3384 #)
3385 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
3386 else
3387 let _ = "checkToken.fail"
3388 in let failExp =
3389 Data.Set.Internal.Bin
3390 1
3391 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3392 ( case inputToken of
3393 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'i'
3394 )
3395 )
3396 Data.Set.Internal.Tip
3397 Data.Set.Internal.Tip
3398 in let (#
3399 farInp,
3400 farExp
3401 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
3402 GHC.Types.LT ->
3403 (#
3404 cs,
3405 failExp
3406 #)
3407 GHC.Types.EQ ->
3408 (#
3409 farInp,
3410 failExp GHC.Base.<> farExp
3411 #)
3412 GHC.Types.GT ->
3413 (#
3414 farInp,
3415 farExp
3416 #)
3417 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
3418 else
3419 let _ = "checkToken.fail"
3420 in let failExp =
3421 Data.Set.Internal.Bin
3422 1
3423 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3424 ( case inputToken of
3425 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'h'
3426 )
3427 )
3428 Data.Set.Internal.Tip
3429 Data.Set.Internal.Tip
3430 in let (#
3431 farInp,
3432 farExp
3433 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
3434 GHC.Types.LT ->
3435 (#
3436 cs,
3437 failExp
3438 #)
3439 GHC.Types.EQ ->
3440 (#
3441 farInp,
3442 failExp GHC.Base.<> farExp
3443 #)
3444 GHC.Types.GT ->
3445 (#
3446 farInp,
3447 farExp
3448 #)
3449 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
3450 else
3451 let _ = "checkToken.fail"
3452 in let failExp =
3453 Data.Set.Internal.Bin
3454 1
3455 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3456 ( case inputToken of
3457 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'w'
3458 )
3459 )
3460 Data.Set.Internal.Tip
3461 Data.Set.Internal.Tip
3462 in let (#
3463 farInp,
3464 farExp
3465 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
3466 GHC.Types.LT ->
3467 (#
3468 inp,
3469 failExp
3470 #)
3471 GHC.Types.EQ ->
3472 (#
3473 farInp,
3474 failExp GHC.Base.<> farExp
3475 #)
3476 GHC.Types.GT ->
3477 (#
3478 farInp,
3479 farExp
3480 #)
3481 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3482 else
3483 let _ = "checkHorizon.newCheck.fail"
3484 in let failExp =
3485 Data.Set.Internal.Bin
3486 1
3487 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3488 ( case inputToken of
3489 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 7
3490 )
3491 )
3492 Data.Set.Internal.Tip
3493 Data.Set.Internal.Tip
3494 in let (#
3495 farInp,
3496 farExp
3497 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
3498 GHC.Types.LT ->
3499 (#
3500 inp,
3501 failExp
3502 #)
3503 GHC.Types.EQ ->
3504 (#
3505 farInp,
3506 failExp GHC.Base.<> farExp
3507 #)
3508 GHC.Types.GT ->
3509 (#
3510 farInp,
3511 farExp
3512 #)
3513 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3514 else
3515 let _ = "choicesBranch.else"
3516 in onException callerInput Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
3517 in let _ = "pushValue"
3518 in let _ = "catch ExceptionFailure checkedHorizon=0"
3519 in let onException =
3520 let _ = "onException"
3521 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
3522 let _ = "loadInput checkedHorizon=0"
3523 in let _ = "checkHorizon.noCheck"
3524 in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput farInp farExp
3525 in let _ = "pushValue"
3526 in let _ = "comment: satisfy ((GHC.Classes.==) 'i')"
3527 in let inp = callerInput
3528 in let readFail = onException
3529 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
3530 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 1 inp)
3531 then
3532 let _ = "checkToken"
3533 in let !(#
3534 c,
3535 cs
3536 #) = readNext inp
3537 in if (GHC.Classes.==) 'i' c
3538 then
3539 let _ = "lift2Value checkedHorizon=2"
3540 in let _ = "comment: satisfy ((GHC.Classes.==) 'f')"
3541 in let _ = "checkHorizon.oldCheck: checkedHorizon=2"
3542 in let _ = "checkToken"
3543 in let !(#
3544 c,
3545 cs
3546 #) = readNext cs
3547 in if (GHC.Classes.==) 'f' c
3548 then
3549 let _ = "lift2Value checkedHorizon=1"
3550 in let _ = "commit"
3551 in let _ = "lift2Value checkedHorizon=1"
3552 in name
3553 ( let _ = "onReturn"
3554 in \farInp farExp v (!inp) ->
3555 let _ = "lift2Value checkedHorizon=0"
3556 in let _ = "commit"
3557 in let _ = "resume"
3558 in join
3559 farInp
3560 farExp
3561 ( let _ = "resume.genCode"
3562 in v
3563 )
3564 inp
3565 )
3566 cs
3567 Data.Map.Internal.Tip
3568 else
3569 let _ = "checkToken.fail"
3570 in let failExp =
3571 Data.Set.Internal.Bin
3572 1
3573 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3574 ( case inputToken of
3575 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'f'
3576 )
3577 )
3578 Data.Set.Internal.Tip
3579 Data.Set.Internal.Tip
3580 in let (#
3581 farInp,
3582 farExp
3583 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
3584 GHC.Types.LT ->
3585 (#
3586 cs,
3587 failExp
3588 #)
3589 GHC.Types.EQ ->
3590 (#
3591 farInp,
3592 failExp GHC.Base.<> farExp
3593 #)
3594 GHC.Types.GT ->
3595 (#
3596 farInp,
3597 farExp
3598 #)
3599 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
3600 else
3601 let _ = "checkToken.fail"
3602 in let failExp =
3603 Data.Set.Internal.Bin
3604 1
3605 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3606 ( case inputToken of
3607 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'i'
3608 )
3609 )
3610 Data.Set.Internal.Tip
3611 Data.Set.Internal.Tip
3612 in let (#
3613 farInp,
3614 farExp
3615 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
3616 GHC.Types.LT ->
3617 (#
3618 inp,
3619 failExp
3620 #)
3621 GHC.Types.EQ ->
3622 (#
3623 farInp,
3624 failExp GHC.Base.<> farExp
3625 #)
3626 GHC.Types.GT ->
3627 (#
3628 farInp,
3629 farExp
3630 #)
3631 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3632 else
3633 let _ = "checkHorizon.newCheck.fail"
3634 in let failExp =
3635 Data.Set.Internal.Bin
3636 1
3637 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3638 ( case inputToken of
3639 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
3640 )
3641 )
3642 Data.Set.Internal.Tip
3643 Data.Set.Internal.Tip
3644 in let (#
3645 farInp,
3646 farExp
3647 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
3648 GHC.Types.LT ->
3649 (#
3650 inp,
3651 failExp
3652 #)
3653 GHC.Types.EQ ->
3654 (#
3655 farInp,
3656 failExp GHC.Base.<> farExp
3657 #)
3658 GHC.Types.GT ->
3659 (#
3660 farInp,
3661 farExp
3662 #)
3663 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3664 in let _ = "jump"
3665 in loop callerOnReturn inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
3666 )
3667 cs
3668 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
3669 else
3670 let _ = "checkToken.fail"
3671 in let failExp =
3672 Data.Set.Internal.Bin
3673 1
3674 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3675 ( case inputToken of
3676 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '{'
3677 )
3678 )
3679 Data.Set.Internal.Tip
3680 Data.Set.Internal.Tip
3681 in let (#
3682 farInp,
3683 farExp
3684 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
3685 GHC.Types.LT ->
3686 (#
3687 inp,
3688 failExp
3689 #)
3690 GHC.Types.EQ ->
3691 (#
3692 init,
3693 failExp GHC.Base.<> Data.Set.Internal.empty
3694 #)
3695 GHC.Types.GT ->
3696 (#
3697 init,
3698 Data.Set.Internal.empty
3699 #)
3700 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3701 else
3702 let _ = "checkHorizon.newCheck.fail"
3703 in let failExp =
3704 Data.Set.Internal.Bin
3705 1
3706 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3707 ( case inputToken of
3708 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 4
3709 )
3710 )
3711 Data.Set.Internal.Tip
3712 Data.Set.Internal.Tip
3713 in let (#
3714 farInp,
3715 farExp
3716 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
3717 GHC.Types.LT ->
3718 (#
3719 inp,
3720 failExp
3721 #)
3722 GHC.Types.EQ ->
3723 (#
3724 init,
3725 failExp GHC.Base.<> Data.Set.Internal.empty
3726 #)
3727 GHC.Types.GT ->
3728 (#
3729 init,
3730 Data.Set.Internal.empty
3731 #)
3732 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3733 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
3734 let _ = "pushValue"
3735 in let _ = "comment: satisfy GHC.Unicode.isSpace"
3736 in let inp = callerInput
3737 in let readFail = Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel
3738 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
3739 in if readMore inp
3740 then
3741 let _ = "checkToken"
3742 in let !(#
3743 c,
3744 cs
3745 #) = readNext inp
3746 in if GHC.Unicode.isSpace c
3747 then
3748 let _ = "lift2Value checkedHorizon=1"
3749 in name
3750 ( let _ = "onReturn"
3751 in \farInp farExp v (!inp) ->
3752 let _ = "lift2Value checkedHorizon=0"
3753 in let _ = "resume"
3754 in callerOnReturn
3755 farInp
3756 farExp
3757 ( let _ = "resume.genCode"
3758 in v
3759 )
3760 inp
3761 )
3762 cs
3763 Data.Map.Internal.Tip
3764 else
3765 let _ = "checkToken.fail"
3766 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp init Data.Set.Internal.empty
3767 else
3768 let _ = "checkHorizon.newCheck.fail"
3769 in let failExp =
3770 Data.Set.Internal.Bin
3771 1
3772 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3773 ( case inputToken of
3774 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 1
3775 )
3776 )
3777 Data.Set.Internal.Tip
3778 Data.Set.Internal.Tip
3779 in let (#
3780 farInp,
3781 farExp
3782 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
3783 GHC.Types.LT ->
3784 (#
3785 inp,
3786 failExp
3787 #)
3788 GHC.Types.EQ ->
3789 (#
3790 init,
3791 failExp GHC.Base.<> Data.Set.Internal.empty
3792 #)
3793 GHC.Types.GT ->
3794 (#
3795 init,
3796 Data.Set.Internal.empty
3797 #)
3798 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3799 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
3800 let _ = "pushValue"
3801 in let _ = "resume"
3802 in callerOnReturn
3803 init
3804 Data.Set.Internal.empty
3805 ( let _ = "resume.genCode"
3806 in GHC.Tuple . ()
3807 )
3808 callerInput
3809 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
3810 let _ = "pushValue"
3811 in let _ = "resume"
3812 in callerOnReturn
3813 init
3814 Data.Set.Internal.empty
3815 ( let _ = "resume.genCode"
3816 in GHC.Tuple . ()
3817 )
3818 callerInput
3819 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
3820 let _ = "pushValue"
3821 in let _ = "resume"
3822 in callerOnReturn
3823 init
3824 Data.Set.Internal.empty
3825 ( let _ = "resume.genCode"
3826 in \x -> \x -> x
3827 )
3828 callerInput
3829 in let _ = "pushValue"
3830 in name
3831 ( let _ = "onReturn"
3832 in \farInp farExp v (!inp) ->
3833 let _ = "lift2Value checkedHorizon=0"
3834 in let _ = "pushValue"
3835 in do
3836 let dupv = \x -> x
3837 reg <- GHC.STRef.newSTRef dupv
3838 let _ = "iter"
3839 in let onException loopInput =
3840 let _ = "onException"
3841 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
3842 let _ = "comment: raiseAgainIfConsumed"
3843 in let _ = "saveInput checkedHorizon=0"
3844 in let _ = "lift2Value checkedHorizon=0"
3845 in if ( \( Data.Text.Internal.Text
3846 _
3847 i
3848 _
3849 )
3850 ( Data.Text.Internal.Text
3851 _
3852 j
3853 _
3854 ) -> i GHC.Classes.== j
3855 )
3856 loopInput
3857 failInp
3858 then
3859 let _ = "choicesBranch checkedHorizon=0"
3860 in do
3861 sr <- GHC.STRef.readSTRef reg
3862 name
3863 ( let _ = "onReturn"
3864 in \farInp farExp v (!inp) ->
3865 let _ = "lift2Value checkedHorizon=0"
3866 in let _ = "lift2Value checkedHorizon=0"
3867 in name
3868 ( let _ = "onReturn"
3869 in \farInp farExp v (!inp) ->
3870 let _ = "lift2Value checkedHorizon=0"
3871 in let join = \farInp farExp v (!inp) ->
3872 let _ = "lift2Value checkedHorizon=0"
3873 in let _ = "resume"
3874 in finalRet
3875 farInp
3876 farExp
3877 ( let _ = "resume.genCode"
3878 in GHC.Show.show v
3879 )
3880 inp
3881 in let _ = "catch ExceptionFailure checkedHorizon=0"
3882 in let onException =
3883 let _ = "onException"
3884 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
3885 let _ = "comment: raiseAgainIfConsumed"
3886 in let _ = "saveInput checkedHorizon=0"
3887 in let _ = "lift2Value checkedHorizon=0"
3888 in if ( \( Data.Text.Internal.Text
3889 _
3890 i
3891 _
3892 )
3893 ( Data.Text.Internal.Text
3894 _
3895 j
3896 _
3897 ) -> i GHC.Classes.== j
3898 )
3899 inp
3900 failInp
3901 then
3902 let _ = "choicesBranch checkedHorizon=0"
3903 in let _ = "comment: eof.fail"
3904 in let failExp = Data.Set.Internal.Bin 1 (Symantic.Parser.Grammar.Combinators.SomeFailure Symantic.Parser.Grammar.Combinators.FailureEnd) Data.Set.Internal.Tip Data.Set.Internal.Tip
3905 in let (#
3906 farInp,
3907 farExp
3908 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp failInp of
3909 GHC.Types.LT ->
3910 (#
3911 failInp,
3912 failExp
3913 #)
3914 GHC.Types.EQ ->
3915 (#
3916 farInp,
3917 failExp GHC.Base.<> farExp
3918 #)
3919 GHC.Types.GT ->
3920 (#
3921 farInp,
3922 farExp
3923 #)
3924 in finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
3925 else
3926 let _ = "choicesBranch.else"
3927 in finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
3928 in let _ = "comment: negLook"
3929 in let _ = "catch ExceptionFailure checkedHorizon=0"
3930 in let onException =
3931 let _ = "onException"
3932 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
3933 let _ = "comment: negLook.reset"
3934 in let _ = "loadInput checkedHorizon=0"
3935 in let _ = "checkHorizon.noCheck"
3936 in let _ = "pushValue"
3937 in let _ = "commit"
3938 in let _ = "resume"
3939 in join
3940 farInp
3941 farExp
3942 ( let _ = "resume.genCode"
3943 in GHC.Tuple . ()
3944 )
3945 inp
3946 in let _ = "comment: negLook.ahead"
3947 in let _ = "saveInput checkedHorizon=0"
3948 in let _ = "comment: satisfy ((\\x_0 -> \\x_1 -> x_0) GHC.Types.True)"
3949 in let inp = inp
3950 in let readFail = onException
3951 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
3952 in if readMore inp
3953 then
3954 let _ = "checkToken"
3955 in let !(#
3956 c,
3957 cs
3958 #) = readNext inp
3959 in let _ = "popValue"
3960 in let _ = "commit"
3961 in let _ = "loadInput checkedHorizon=0"
3962 in let _ = "checkHorizon.noCheck"
3963 in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3964 else
3965 let _ = "checkHorizon.newCheck.fail"
3966 in let failExp =
3967 Data.Set.Internal.Bin
3968 1
3969 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3970 ( case inputToken of
3971 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 1
3972 )
3973 )
3974 Data.Set.Internal.Tip
3975 Data.Set.Internal.Tip
3976 in let (#
3977 farInp,
3978 farExp
3979 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
3980 GHC.Types.LT ->
3981 (#
3982 inp,
3983 failExp
3984 #)
3985 GHC.Types.EQ ->
3986 (#
3987 farInp,
3988 failExp GHC.Base.<> farExp
3989 #)
3990 GHC.Types.GT ->
3991 (#
3992 farInp,
3993 farExp
3994 #)
3995 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3996 )
3997 inp
3998 Data.Map.Internal.Tip
3999 )
4000 failInp
4001 Data.Map.Internal.Tip
4002 else
4003 let _ = "choicesBranch.else"
4004 in finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
4005 loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
4006 let _ = "pushValue"
4007 in let _ = "catch ExceptionFailure checkedHorizon=0"
4008 in let onException =
4009 let _ = "onException"
4010 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
4011 let _ = "loadInput checkedHorizon=0"
4012 in let _ = "checkHorizon.noCheck"
4013 in onException callerInput Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput farInp farExp
4014 in let _ = "pushValue"
4015 in let _ = "comment: satisfy ((GHC.Classes.==) 'f')"
4016 in let inp = callerInput
4017 in let readFail = onException
4018 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=18"
4019 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 17 inp)
4020 then
4021 let _ = "checkToken"
4022 in let !(#
4023 c,
4024 cs
4025 #) = readNext inp
4026 in if (GHC.Classes.==) 'f' c
4027 then
4028 let _ = "lift2Value checkedHorizon=18"
4029 in let _ = "comment: satisfy ((GHC.Classes.==) 'u')"
4030 in let _ = "checkHorizon.oldCheck: checkedHorizon=18"
4031 in let _ = "checkToken"
4032 in let !(#
4033 c,
4034 cs
4035 #) = readNext cs
4036 in if (GHC.Classes.==) 'u' c
4037 then
4038 let _ = "lift2Value checkedHorizon=17"
4039 in let _ = "comment: satisfy ((GHC.Classes.==) 'n')"
4040 in let _ = "checkHorizon.oldCheck: checkedHorizon=17"
4041 in let _ = "checkToken"
4042 in let !(#
4043 c,
4044 cs
4045 #) = readNext cs
4046 in if (GHC.Classes.==) 'n' c
4047 then
4048 let _ = "lift2Value checkedHorizon=16"
4049 in let _ = "comment: satisfy ((GHC.Classes.==) 'c')"
4050 in let _ = "checkHorizon.oldCheck: checkedHorizon=16"
4051 in let _ = "checkToken"
4052 in let !(#
4053 c,
4054 cs
4055 #) = readNext cs
4056 in if (GHC.Classes.==) 'c' c
4057 then
4058 let _ = "lift2Value checkedHorizon=15"
4059 in let _ = "comment: satisfy ((GHC.Classes.==) 't')"
4060 in let _ = "checkHorizon.oldCheck: checkedHorizon=15"
4061 in let _ = "checkToken"
4062 in let !(#
4063 c,
4064 cs
4065 #) = readNext cs
4066 in if (GHC.Classes.==) 't' c
4067 then
4068 let _ = "lift2Value checkedHorizon=14"
4069 in let _ = "comment: satisfy ((GHC.Classes.==) 'i')"
4070 in let _ = "checkHorizon.oldCheck: checkedHorizon=14"
4071 in let _ = "checkToken"
4072 in let !(#
4073 c,
4074 cs
4075 #) = readNext cs
4076 in if (GHC.Classes.==) 'i' c
4077 then
4078 let _ = "lift2Value checkedHorizon=13"
4079 in let _ = "comment: satisfy ((GHC.Classes.==) 'o')"
4080 in let _ = "checkHorizon.oldCheck: checkedHorizon=13"
4081 in let _ = "checkToken"
4082 in let !(#
4083 c,
4084 cs
4085 #) = readNext cs
4086 in if (GHC.Classes.==) 'o' c
4087 then
4088 let _ = "lift2Value checkedHorizon=12"
4089 in let _ = "comment: satisfy ((GHC.Classes.==) 'n')"
4090 in let _ = "checkHorizon.oldCheck: checkedHorizon=12"
4091 in let _ = "checkToken"
4092 in let !(#
4093 c,
4094 cs
4095 #) = readNext cs
4096 in if (GHC.Classes.==) 'n' c
4097 then
4098 let _ = "lift2Value checkedHorizon=11"
4099 in let _ = "commit"
4100 in let _ = "lift2Value checkedHorizon=11"
4101 in name
4102 ( let _ = "onReturn"
4103 in \farInp farExp v (!inp) ->
4104 let _ = "lift2Value checkedHorizon=0"
4105 in name
4106 ( let _ = "onReturn"
4107 in \farInp farExp v (!inp) ->
4108 let _ = "lift2Value checkedHorizon=0"
4109 in name
4110 ( let _ = "onReturn"
4111 in \farInp farExp v (!inp) ->
4112 let _ = "lift2Value checkedHorizon=0"
4113 in name
4114 ( let _ = "onReturn"
4115 in \farInp farExp v (!inp) ->
4116 let _ = "lift2Value checkedHorizon=0"
4117 in let join = \farInp farExp v (!inp) ->
4118 let _ = "lift2Value checkedHorizon=0"
4119 in name
4120 ( let _ = "onReturn"
4121 in \farInp farExp v (!inp) ->
4122 let _ = "lift2Value checkedHorizon=0"
4123 in name
4124 ( let _ = "onReturn"
4125 in \farInp farExp v (!inp) ->
4126 let _ = "lift2Value checkedHorizon=0"
4127 in do
4128 sr <- GHC.STRef.readSTRef reg
4129 let _ = "lift2Value checkedHorizon=0"
4130 in do
4131 let dupv = sr
4132 GHC.STRef.writeSTRef reg dupv
4133 let _ = "jump"
4134 in loop (GHC.Err.error "invalid onReturn") inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
4135 )
4136 inp
4137 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
4138 )
4139 inp
4140 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
4141 in let _ = "catch ExceptionFailure checkedHorizon=0"
4142 in let onException =
4143 let _ = "onException"
4144 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
4145 let _ = "comment: raiseAgainIfConsumed"
4146 in let _ = "saveInput checkedHorizon=0"
4147 in let _ = "lift2Value checkedHorizon=0"
4148 in if ( \( Data.Text.Internal.Text
4149 _
4150 i
4151 _
4152 )
4153 ( Data.Text.Internal.Text
4154 _
4155 j
4156 _
4157 ) -> i GHC.Classes.== j
4158 )
4159 inp
4160 failInp
4161 then
4162 let _ = "choicesBranch checkedHorizon=0"
4163 in name
4164 ( let _ = "onReturn"
4165 in \farInp farExp v (!inp) ->
4166 let _ = "resume"
4167 in join
4168 farInp
4169 farExp
4170 ( let _ = "resume.genCode"
4171 in v
4172 )
4173 inp
4174 )
4175 failInp
4176 Data.Map.Internal.Tip
4177 else
4178 let _ = "choicesBranch.else"
4179 in onException callerInput Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
4180 in let _ = "pushValue"
4181 in let _ = "comment: satisfy ((GHC.Classes.==) ':')"
4182 in let inp = inp
4183 in let readFail = onException
4184 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=8"
4185 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 7 inp)
4186 then
4187 let _ = "checkToken"
4188 in let !(#
4189 c,
4190 cs
4191 #) = readNext inp
4192 in if (GHC.Classes.==) ':' c
4193 then
4194 let _ = "lift2Value checkedHorizon=8"
4195 in name
4196 ( let _ = "onReturn"
4197 in \farInp farExp v (!inp) ->
4198 let _ = "lift2Value checkedHorizon=0"
4199 in name
4200 ( let _ = "onReturn"
4201 in \farInp farExp v (!inp) ->
4202 let _ = "lift2Value checkedHorizon=0"
4203 in let _ = "commit"
4204 in let _ = "resume"
4205 in join
4206 farInp
4207 farExp
4208 ( let _ = "resume.genCode"
4209 in GHC.Tuple . ()
4210 )
4211 inp
4212 )
4213 inp
4214 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
4215 )
4216 cs
4217 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
4218 else
4219 let _ = "checkToken.fail"
4220 in let failExp =
4221 Data.Set.Internal.Bin
4222 1
4223 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4224 ( case inputToken of
4225 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken ':'
4226 )
4227 )
4228 Data.Set.Internal.Tip
4229 Data.Set.Internal.Tip
4230 in let (#
4231 farInp,
4232 farExp
4233 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
4234 GHC.Types.LT ->
4235 (#
4236 inp,
4237 failExp
4238 #)
4239 GHC.Types.EQ ->
4240 (#
4241 farInp,
4242 failExp GHC.Base.<> farExp
4243 #)
4244 GHC.Types.GT ->
4245 (#
4246 farInp,
4247 farExp
4248 #)
4249 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
4250 else
4251 let _ = "checkHorizon.newCheck.fail"
4252 in let failExp =
4253 Data.Set.Internal.Bin
4254 1
4255 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4256 ( case inputToken of
4257 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 8
4258 )
4259 )
4260 Data.Set.Internal.Tip
4261 Data.Set.Internal.Tip
4262 in let (#
4263 farInp,
4264 farExp
4265 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
4266 GHC.Types.LT ->
4267 (#
4268 inp,
4269 failExp
4270 #)
4271 GHC.Types.EQ ->
4272 (#
4273 farInp,
4274 failExp GHC.Base.<> farExp
4275 #)
4276 GHC.Types.GT ->
4277 (#
4278 farInp,
4279 farExp
4280 #)
4281 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
4282 )
4283 inp
4284 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
4285 )
4286 inp
4287 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
4288 )
4289 inp
4290 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
4291 )
4292 cs
4293 Data.Map.Internal.Tip
4294 else
4295 let _ = "checkToken.fail"
4296 in let failExp =
4297 Data.Set.Internal.Bin
4298 1
4299 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4300 ( case inputToken of
4301 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'n'
4302 )
4303 )
4304 Data.Set.Internal.Tip
4305 Data.Set.Internal.Tip
4306 in let (#
4307 farInp,
4308 farExp
4309 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
4310 GHC.Types.LT ->
4311 (#
4312 cs,
4313 failExp
4314 #)
4315 GHC.Types.EQ ->
4316 (#
4317 farInp,
4318 failExp GHC.Base.<> farExp
4319 #)
4320 GHC.Types.GT ->
4321 (#
4322 farInp,
4323 farExp
4324 #)
4325 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
4326 else
4327 let _ = "checkToken.fail"
4328 in let failExp =
4329 Data.Set.Internal.Bin
4330 1
4331 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4332 ( case inputToken of
4333 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'o'
4334 )
4335 )
4336 Data.Set.Internal.Tip
4337 Data.Set.Internal.Tip
4338 in let (#
4339 farInp,
4340 farExp
4341 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
4342 GHC.Types.LT ->
4343 (#
4344 cs,
4345 failExp
4346 #)
4347 GHC.Types.EQ ->
4348 (#
4349 farInp,
4350 failExp GHC.Base.<> farExp
4351 #)
4352 GHC.Types.GT ->
4353 (#
4354 farInp,
4355 farExp
4356 #)
4357 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
4358 else
4359 let _ = "checkToken.fail"
4360 in let failExp =
4361 Data.Set.Internal.Bin
4362 1
4363 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4364 ( case inputToken of
4365 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'i'
4366 )
4367 )
4368 Data.Set.Internal.Tip
4369 Data.Set.Internal.Tip
4370 in let (#
4371 farInp,
4372 farExp
4373 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
4374 GHC.Types.LT ->
4375 (#
4376 cs,
4377 failExp
4378 #)
4379 GHC.Types.EQ ->
4380 (#
4381 farInp,
4382 failExp GHC.Base.<> farExp
4383 #)
4384 GHC.Types.GT ->
4385 (#
4386 farInp,
4387 farExp
4388 #)
4389 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
4390 else
4391 let _ = "checkToken.fail"
4392 in let failExp =
4393 Data.Set.Internal.Bin
4394 1
4395 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4396 ( case inputToken of
4397 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 't'
4398 )
4399 )
4400 Data.Set.Internal.Tip
4401 Data.Set.Internal.Tip
4402 in let (#
4403 farInp,
4404 farExp
4405 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
4406 GHC.Types.LT ->
4407 (#
4408 cs,
4409 failExp
4410 #)
4411 GHC.Types.EQ ->
4412 (#
4413 farInp,
4414 failExp GHC.Base.<> farExp
4415 #)
4416 GHC.Types.GT ->
4417 (#
4418 farInp,
4419 farExp
4420 #)
4421 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
4422 else
4423 let _ = "checkToken.fail"
4424 in let failExp =
4425 Data.Set.Internal.Bin
4426 1
4427 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4428 ( case inputToken of
4429 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'c'
4430 )
4431 )
4432 Data.Set.Internal.Tip
4433 Data.Set.Internal.Tip
4434 in let (#
4435 farInp,
4436 farExp
4437 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
4438 GHC.Types.LT ->
4439 (#
4440 cs,
4441 failExp
4442 #)
4443 GHC.Types.EQ ->
4444 (#
4445 farInp,
4446 failExp GHC.Base.<> farExp
4447 #)
4448 GHC.Types.GT ->
4449 (#
4450 farInp,
4451 farExp
4452 #)
4453 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
4454 else
4455 let _ = "checkToken.fail"
4456 in let failExp =
4457 Data.Set.Internal.Bin
4458 1
4459 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4460 ( case inputToken of
4461 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'n'
4462 )
4463 )
4464 Data.Set.Internal.Tip
4465 Data.Set.Internal.Tip
4466 in let (#
4467 farInp,
4468 farExp
4469 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
4470 GHC.Types.LT ->
4471 (#
4472 cs,
4473 failExp
4474 #)
4475 GHC.Types.EQ ->
4476 (#
4477 farInp,
4478 failExp GHC.Base.<> farExp
4479 #)
4480 GHC.Types.GT ->
4481 (#
4482 farInp,
4483 farExp
4484 #)
4485 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
4486 else
4487 let _ = "checkToken.fail"
4488 in let failExp =
4489 Data.Set.Internal.Bin
4490 1
4491 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4492 ( case inputToken of
4493 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'u'
4494 )
4495 )
4496 Data.Set.Internal.Tip
4497 Data.Set.Internal.Tip
4498 in let (#
4499 farInp,
4500 farExp
4501 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
4502 GHC.Types.LT ->
4503 (#
4504 cs,
4505 failExp
4506 #)
4507 GHC.Types.EQ ->
4508 (#
4509 farInp,
4510 failExp GHC.Base.<> farExp
4511 #)
4512 GHC.Types.GT ->
4513 (#
4514 farInp,
4515 farExp
4516 #)
4517 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
4518 else
4519 let _ = "checkToken.fail"
4520 in let failExp =
4521 Data.Set.Internal.Bin
4522 1
4523 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4524 ( case inputToken of
4525 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'f'
4526 )
4527 )
4528 Data.Set.Internal.Tip
4529 Data.Set.Internal.Tip
4530 in let (#
4531 farInp,
4532 farExp
4533 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
4534 GHC.Types.LT ->
4535 (#
4536 inp,
4537 failExp
4538 #)
4539 GHC.Types.EQ ->
4540 (#
4541 farInp,
4542 failExp GHC.Base.<> farExp
4543 #)
4544 GHC.Types.GT ->
4545 (#
4546 farInp,
4547 farExp
4548 #)
4549 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
4550 else
4551 let _ = "checkHorizon.newCheck.fail"
4552 in let failExp =
4553 Data.Set.Internal.Bin
4554 1
4555 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4556 ( case inputToken of
4557 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 18
4558 )
4559 )
4560 Data.Set.Internal.Tip
4561 Data.Set.Internal.Tip
4562 in let (#
4563 farInp,
4564 farExp
4565 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
4566 GHC.Types.LT ->
4567 (#
4568 inp,
4569 failExp
4570 #)
4571 GHC.Types.EQ ->
4572 (#
4573 farInp,
4574 failExp GHC.Base.<> farExp
4575 #)
4576 GHC.Types.GT ->
4577 (#
4578 farInp,
4579 farExp
4580 #)
4581 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
4582 in let _ = "jump"
4583 in loop finalRet inp Data.Map.Internal.Tip
4584 )
4585 inp
4586 Data.Map.Internal.Tip
4587 else
4588 let _ = "checkHorizon.newCheck.fail"
4589 in let failExp =
4590 Data.Set.Internal.Bin
4591 1
4592 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4593 ( case inputToken of
4594 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 1
4595 )
4596 )
4597 Data.Set.Internal.Tip
4598 Data.Set.Internal.Tip
4599 in let (#
4600 farInp,
4601 farExp
4602 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
4603 GHC.Types.LT ->
4604 (#
4605 inp,
4606 failExp
4607 #)
4608 GHC.Types.EQ ->
4609 (#
4610 init,
4611 failExp GHC.Base.<> Data.Set.Internal.empty
4612 #)
4613 GHC.Types.GT ->
4614 (#
4615 init,
4616 Data.Set.Internal.empty
4617 #)
4618 in finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
4619 )