]> Git — Sourcephile - haskell/symantic-parser.git/blob - tests/Golden/Splice/G14.expected.txt
build: update to `symantic-base >= 0.3`
[haskell/symantic-parser.git] / tests / 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 let _ = "commit"
1704 in let _ = "lift2Value checkedHorizon=0"
1705 in name
1706 ( let _ = "onReturn"
1707 in \farInp farExp v (!inp) ->
1708 let _ = "lift2Value checkedHorizon=0"
1709 in let _ = "resume"
1710 in callerOnReturn
1711 farInp
1712 farExp
1713 ( let _ = "resume.genCode"
1714 in v
1715 )
1716 inp
1717 )
1718 inp
1719 (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)
1720 )
1721 failInp
1722 Data.Map.Internal.Tip
1723 else
1724 let _ = "choicesBranch.else"
1725 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
1726 loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
1727 let _ = "pushValue"
1728 in let _ = "comment: satisfy Parsers.Nandlang.nandIdentLetter"
1729 in let inp = callerInput
1730 in let readFail = onException callerInput
1731 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
1732 in if readMore inp
1733 then
1734 let _ = "checkToken"
1735 in let !(#
1736 c,
1737 cs
1738 #) = readNext inp
1739 in if Parsers.Nandlang.nandIdentLetter c
1740 then
1741 let _ = "lift2Value checkedHorizon=1"
1742 in do
1743 sr <- GHC.STRef.readSTRef reg
1744 let _ = "lift2Value checkedHorizon=1"
1745 in do
1746 let dupv = sr
1747 GHC.STRef.writeSTRef reg dupv
1748 let _ = "jump"
1749 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)
1750 else
1751 let _ = "checkToken.fail"
1752 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp init Data.Set.Internal.empty
1753 else
1754 let _ = "checkHorizon.newCheck.fail"
1755 in let failExp =
1756 Data.Set.Internal.Bin
1757 1
1758 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1759 ( case inputToken of
1760 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 1
1761 )
1762 )
1763 Data.Set.Internal.Tip
1764 Data.Set.Internal.Tip
1765 in let (#
1766 farInp,
1767 farExp
1768 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
1769 GHC.Types.LT ->
1770 (#
1771 inp,
1772 failExp
1773 #)
1774 GHC.Types.EQ ->
1775 (#
1776 init,
1777 failExp GHC.Base.<> Data.Set.Internal.empty
1778 #)
1779 GHC.Types.GT ->
1780 (#
1781 init,
1782 Data.Set.Internal.empty
1783 #)
1784 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
1785 in let _ = "jump"
1786 in loop callerOnReturn cs (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
1787 else
1788 let _ = "checkToken.fail"
1789 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp init Data.Set.Internal.empty
1790 else
1791 let _ = "checkHorizon.newCheck.fail"
1792 in let failExp =
1793 Data.Set.Internal.Bin
1794 1
1795 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1796 ( case inputToken of
1797 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
1798 )
1799 )
1800 Data.Set.Internal.Tip
1801 Data.Set.Internal.Tip
1802 in let (#
1803 farInp,
1804 farExp
1805 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
1806 GHC.Types.LT ->
1807 (#
1808 inp,
1809 failExp
1810 #)
1811 GHC.Types.EQ ->
1812 (#
1813 init,
1814 failExp GHC.Base.<> Data.Set.Internal.empty
1815 #)
1816 GHC.Types.GT ->
1817 (#
1818 init,
1819 Data.Set.Internal.empty
1820 #)
1821 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
1822 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
1823 let _ = "pushValue"
1824 in let _ = "comment: satisfy ((GHC.Classes.==) '(')"
1825 in let inp = callerInput
1826 in let readFail = Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel
1827 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
1828 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 1 inp)
1829 then
1830 let _ = "checkToken"
1831 in let !(#
1832 c,
1833 cs
1834 #) = readNext inp
1835 in if (GHC.Classes.==) '(' c
1836 then
1837 let _ = "lift2Value checkedHorizon=2"
1838 in name
1839 ( let _ = "onReturn"
1840 in \farInp farExp v (!inp) ->
1841 let _ = "lift2Value checkedHorizon=0"
1842 in let _ = "resume"
1843 in callerOnReturn
1844 farInp
1845 farExp
1846 ( let _ = "resume.genCode"
1847 in '('
1848 )
1849 inp
1850 )
1851 cs
1852 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
1853 else
1854 let _ = "checkToken.fail"
1855 in let failExp =
1856 Data.Set.Internal.Bin
1857 1
1858 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1859 ( case inputToken of
1860 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '('
1861 )
1862 )
1863 Data.Set.Internal.Tip
1864 Data.Set.Internal.Tip
1865 in let (#
1866 farInp,
1867 farExp
1868 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
1869 GHC.Types.LT ->
1870 (#
1871 inp,
1872 failExp
1873 #)
1874 GHC.Types.EQ ->
1875 (#
1876 init,
1877 failExp GHC.Base.<> Data.Set.Internal.empty
1878 #)
1879 GHC.Types.GT ->
1880 (#
1881 init,
1882 Data.Set.Internal.empty
1883 #)
1884 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
1885 else
1886 let _ = "checkHorizon.newCheck.fail"
1887 in let failExp =
1888 Data.Set.Internal.Bin
1889 1
1890 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1891 ( case inputToken of
1892 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
1893 )
1894 )
1895 Data.Set.Internal.Tip
1896 Data.Set.Internal.Tip
1897 in let (#
1898 farInp,
1899 farExp
1900 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
1901 GHC.Types.LT ->
1902 (#
1903 inp,
1904 failExp
1905 #)
1906 GHC.Types.EQ ->
1907 (#
1908 init,
1909 failExp GHC.Base.<> Data.Set.Internal.empty
1910 #)
1911 GHC.Types.GT ->
1912 (#
1913 init,
1914 Data.Set.Internal.empty
1915 #)
1916 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
1917 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
1918 let _ = "pushValue"
1919 in let _ = "comment: satisfy ((GHC.Classes.==) ')')"
1920 in let inp = callerInput
1921 in let readFail = Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel
1922 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
1923 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 1 inp)
1924 then
1925 let _ = "checkToken"
1926 in let !(#
1927 c,
1928 cs
1929 #) = readNext inp
1930 in if (GHC.Classes.==) ')' c
1931 then
1932 let _ = "lift2Value checkedHorizon=2"
1933 in name
1934 ( let _ = "onReturn"
1935 in \farInp farExp v (!inp) ->
1936 let _ = "lift2Value checkedHorizon=0"
1937 in let _ = "resume"
1938 in callerOnReturn
1939 farInp
1940 farExp
1941 ( let _ = "resume.genCode"
1942 in ')'
1943 )
1944 inp
1945 )
1946 cs
1947 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
1948 else
1949 let _ = "checkToken.fail"
1950 in let failExp =
1951 Data.Set.Internal.Bin
1952 1
1953 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1954 ( case inputToken of
1955 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken ')'
1956 )
1957 )
1958 Data.Set.Internal.Tip
1959 Data.Set.Internal.Tip
1960 in let (#
1961 farInp,
1962 farExp
1963 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
1964 GHC.Types.LT ->
1965 (#
1966 inp,
1967 failExp
1968 #)
1969 GHC.Types.EQ ->
1970 (#
1971 init,
1972 failExp GHC.Base.<> Data.Set.Internal.empty
1973 #)
1974 GHC.Types.GT ->
1975 (#
1976 init,
1977 Data.Set.Internal.empty
1978 #)
1979 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
1980 else
1981 let _ = "checkHorizon.newCheck.fail"
1982 in let failExp =
1983 Data.Set.Internal.Bin
1984 1
1985 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1986 ( case inputToken of
1987 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
1988 )
1989 )
1990 Data.Set.Internal.Tip
1991 Data.Set.Internal.Tip
1992 in let (#
1993 farInp,
1994 farExp
1995 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
1996 GHC.Types.LT ->
1997 (#
1998 inp,
1999 failExp
2000 #)
2001 GHC.Types.EQ ->
2002 (#
2003 init,
2004 failExp GHC.Base.<> Data.Set.Internal.empty
2005 #)
2006 GHC.Types.GT ->
2007 (#
2008 init,
2009 Data.Set.Internal.empty
2010 #)
2011 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2012 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
2013 let _ = "pushValue"
2014 in let _ = "comment: satisfy ((GHC.Classes.==) ',')"
2015 in let inp = callerInput
2016 in let readFail = Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel
2017 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
2018 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 1 inp)
2019 then
2020 let _ = "checkToken"
2021 in let !(#
2022 c,
2023 cs
2024 #) = readNext inp
2025 in if (GHC.Classes.==) ',' c
2026 then
2027 let _ = "lift2Value checkedHorizon=2"
2028 in name
2029 ( let _ = "onReturn"
2030 in \farInp farExp v (!inp) ->
2031 let _ = "lift2Value checkedHorizon=0"
2032 in let _ = "resume"
2033 in callerOnReturn
2034 farInp
2035 farExp
2036 ( let _ = "resume.genCode"
2037 in ','
2038 )
2039 inp
2040 )
2041 cs
2042 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2043 else
2044 let _ = "checkToken.fail"
2045 in let failExp =
2046 Data.Set.Internal.Bin
2047 1
2048 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2049 ( case inputToken of
2050 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken ','
2051 )
2052 )
2053 Data.Set.Internal.Tip
2054 Data.Set.Internal.Tip
2055 in let (#
2056 farInp,
2057 farExp
2058 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
2059 GHC.Types.LT ->
2060 (#
2061 inp,
2062 failExp
2063 #)
2064 GHC.Types.EQ ->
2065 (#
2066 init,
2067 failExp GHC.Base.<> Data.Set.Internal.empty
2068 #)
2069 GHC.Types.GT ->
2070 (#
2071 init,
2072 Data.Set.Internal.empty
2073 #)
2074 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2075 else
2076 let _ = "checkHorizon.newCheck.fail"
2077 in let failExp =
2078 Data.Set.Internal.Bin
2079 1
2080 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2081 ( case inputToken of
2082 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
2083 )
2084 )
2085 Data.Set.Internal.Tip
2086 Data.Set.Internal.Tip
2087 in let (#
2088 farInp,
2089 farExp
2090 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
2091 GHC.Types.LT ->
2092 (#
2093 inp,
2094 failExp
2095 #)
2096 GHC.Types.EQ ->
2097 (#
2098 init,
2099 failExp GHC.Base.<> Data.Set.Internal.empty
2100 #)
2101 GHC.Types.GT ->
2102 (#
2103 init,
2104 Data.Set.Internal.empty
2105 #)
2106 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2107 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
2108 let _ = "pushValue"
2109 in let _ = "comment: satisfy ((GHC.Classes.==) ';')"
2110 in let inp = callerInput
2111 in let readFail = Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel
2112 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
2113 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 1 inp)
2114 then
2115 let _ = "checkToken"
2116 in let !(#
2117 c,
2118 cs
2119 #) = readNext inp
2120 in if (GHC.Classes.==) ';' c
2121 then
2122 let _ = "lift2Value checkedHorizon=2"
2123 in name
2124 ( let _ = "onReturn"
2125 in \farInp farExp v (!inp) ->
2126 let _ = "lift2Value checkedHorizon=0"
2127 in let _ = "resume"
2128 in callerOnReturn
2129 farInp
2130 farExp
2131 ( let _ = "resume.genCode"
2132 in ';'
2133 )
2134 inp
2135 )
2136 cs
2137 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2138 else
2139 let _ = "checkToken.fail"
2140 in let failExp =
2141 Data.Set.Internal.Bin
2142 1
2143 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2144 ( case inputToken of
2145 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken ';'
2146 )
2147 )
2148 Data.Set.Internal.Tip
2149 Data.Set.Internal.Tip
2150 in let (#
2151 farInp,
2152 farExp
2153 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
2154 GHC.Types.LT ->
2155 (#
2156 inp,
2157 failExp
2158 #)
2159 GHC.Types.EQ ->
2160 (#
2161 init,
2162 failExp GHC.Base.<> Data.Set.Internal.empty
2163 #)
2164 GHC.Types.GT ->
2165 (#
2166 init,
2167 Data.Set.Internal.empty
2168 #)
2169 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2170 else
2171 let _ = "checkHorizon.newCheck.fail"
2172 in let failExp =
2173 Data.Set.Internal.Bin
2174 1
2175 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2176 ( case inputToken of
2177 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
2178 )
2179 )
2180 Data.Set.Internal.Tip
2181 Data.Set.Internal.Tip
2182 in let (#
2183 farInp,
2184 farExp
2185 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
2186 GHC.Types.LT ->
2187 (#
2188 inp,
2189 failExp
2190 #)
2191 GHC.Types.EQ ->
2192 (#
2193 init,
2194 failExp GHC.Base.<> Data.Set.Internal.empty
2195 #)
2196 GHC.Types.GT ->
2197 (#
2198 init,
2199 Data.Set.Internal.empty
2200 #)
2201 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2202 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
2203 let _ = "pushValue"
2204 in let _ = "comment: satisfy ((GHC.Classes.==) '[')"
2205 in let inp = callerInput
2206 in let readFail = Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel
2207 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=5"
2208 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 4 inp)
2209 then
2210 let _ = "checkToken"
2211 in let !(#
2212 c,
2213 cs
2214 #) = readNext inp
2215 in if (GHC.Classes.==) '[' c
2216 then
2217 let _ = "lift2Value checkedHorizon=5"
2218 in name
2219 ( let _ = "onReturn"
2220 in \farInp farExp v (!inp) ->
2221 let _ = "lift2Value checkedHorizon=0"
2222 in name
2223 ( let _ = "onReturn"
2224 in \farInp farExp v (!inp) ->
2225 let _ = "lift2Value checkedHorizon=0"
2226 in let _ = "pushValue"
2227 in do
2228 let dupv = \x -> x
2229 reg <- GHC.STRef.newSTRef dupv
2230 let _ = "iter"
2231 in let onException loopInput =
2232 let _ = "onException"
2233 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
2234 let _ = "comment: raiseAgainIfConsumed"
2235 in let _ = "saveInput checkedHorizon=0"
2236 in let _ = "lift2Value checkedHorizon=0"
2237 in if ( \( Data.Text.Internal.Text
2238 _
2239 i
2240 _
2241 )
2242 ( Data.Text.Internal.Text
2243 _
2244 j
2245 _
2246 ) -> i GHC.Classes.== j
2247 )
2248 loopInput
2249 failInp
2250 then
2251 let _ = "choicesBranch checkedHorizon=0"
2252 in do
2253 sr <- GHC.STRef.readSTRef reg
2254 let _ = "pushValue"
2255 in let _ = "lift2Value checkedHorizon=0"
2256 in let _ = "lift2Value checkedHorizon=0"
2257 in let _ = "comment: satisfy ((GHC.Classes.==) ']')"
2258 in let inp = failInp
2259 in let readFail = readFail
2260 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
2261 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 1 inp)
2262 then
2263 let _ = "checkToken"
2264 in let !(#
2265 c,
2266 cs
2267 #) = readNext inp
2268 in if (GHC.Classes.==) ']' c
2269 then
2270 let _ = "lift2Value checkedHorizon=2"
2271 in name
2272 ( let _ = "onReturn"
2273 in \farInp farExp v (!inp) ->
2274 let _ = "lift2Value checkedHorizon=0"
2275 in let _ = "resume"
2276 in callerOnReturn
2277 farInp
2278 farExp
2279 ( let _ = "resume.genCode"
2280 in GHC.Tuple . ()
2281 )
2282 inp
2283 )
2284 cs
2285 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2286 else
2287 let _ = "checkToken.fail"
2288 in let failExp =
2289 Data.Set.Internal.Bin
2290 1
2291 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2292 ( case inputToken of
2293 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken ']'
2294 )
2295 )
2296 Data.Set.Internal.Tip
2297 Data.Set.Internal.Tip
2298 in let (#
2299 farInp,
2300 farExp
2301 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
2302 GHC.Types.LT ->
2303 (#
2304 inp,
2305 failExp
2306 #)
2307 GHC.Types.EQ ->
2308 (#
2309 farInp,
2310 failExp GHC.Base.<> farExp
2311 #)
2312 GHC.Types.GT ->
2313 (#
2314 farInp,
2315 farExp
2316 #)
2317 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2318 else
2319 let _ = "checkHorizon.newCheck.fail"
2320 in let failExp =
2321 Data.Set.Internal.Bin
2322 1
2323 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2324 ( case inputToken of
2325 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
2326 )
2327 )
2328 Data.Set.Internal.Tip
2329 Data.Set.Internal.Tip
2330 in let (#
2331 farInp,
2332 farExp
2333 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
2334 GHC.Types.LT ->
2335 (#
2336 inp,
2337 failExp
2338 #)
2339 GHC.Types.EQ ->
2340 (#
2341 farInp,
2342 failExp GHC.Base.<> farExp
2343 #)
2344 GHC.Types.GT ->
2345 (#
2346 farInp,
2347 farExp
2348 #)
2349 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2350 else
2351 let _ = "choicesBranch.else"
2352 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
2353 loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
2354 let _ = "pushValue"
2355 in name
2356 ( let _ = "onReturn"
2357 in \farInp farExp v (!inp) ->
2358 let _ = "lift2Value checkedHorizon=0"
2359 in do
2360 sr <- GHC.STRef.readSTRef reg
2361 let _ = "lift2Value checkedHorizon=0"
2362 in do
2363 let dupv = sr
2364 GHC.STRef.writeSTRef reg dupv
2365 let _ = "jump"
2366 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)
2367 )
2368 callerInput
2369 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2370 in let _ = "jump"
2371 in loop callerOnReturn inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2372 )
2373 inp
2374 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2375 )
2376 cs
2377 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2378 else
2379 let _ = "checkToken.fail"
2380 in let failExp =
2381 Data.Set.Internal.Bin
2382 1
2383 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2384 ( case inputToken of
2385 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '['
2386 )
2387 )
2388 Data.Set.Internal.Tip
2389 Data.Set.Internal.Tip
2390 in let (#
2391 farInp,
2392 farExp
2393 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
2394 GHC.Types.LT ->
2395 (#
2396 inp,
2397 failExp
2398 #)
2399 GHC.Types.EQ ->
2400 (#
2401 init,
2402 failExp GHC.Base.<> Data.Set.Internal.empty
2403 #)
2404 GHC.Types.GT ->
2405 (#
2406 init,
2407 Data.Set.Internal.empty
2408 #)
2409 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2410 else
2411 let _ = "checkHorizon.newCheck.fail"
2412 in let failExp =
2413 Data.Set.Internal.Bin
2414 1
2415 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2416 ( case inputToken of
2417 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 5
2418 )
2419 )
2420 Data.Set.Internal.Tip
2421 Data.Set.Internal.Tip
2422 in let (#
2423 farInp,
2424 farExp
2425 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
2426 GHC.Types.LT ->
2427 (#
2428 inp,
2429 failExp
2430 #)
2431 GHC.Types.EQ ->
2432 (#
2433 init,
2434 failExp GHC.Base.<> Data.Set.Internal.empty
2435 #)
2436 GHC.Types.GT ->
2437 (#
2438 init,
2439 Data.Set.Internal.empty
2440 #)
2441 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2442 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
2443 let _ = "pushValue"
2444 in let _ = "comment: satisfy ((GHC.Classes.==) '{')"
2445 in let inp = callerInput
2446 in let readFail = Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel
2447 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=4"
2448 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 3 inp)
2449 then
2450 let _ = "checkToken"
2451 in let !(#
2452 c,
2453 cs
2454 #) = readNext inp
2455 in if (GHC.Classes.==) '{' c
2456 then
2457 let _ = "lift2Value checkedHorizon=4"
2458 in name
2459 ( let _ = "onReturn"
2460 in \farInp farExp v (!inp) ->
2461 let _ = "lift2Value checkedHorizon=0"
2462 in let _ = "pushValue"
2463 in do
2464 let dupv = \x -> x
2465 reg <- GHC.STRef.newSTRef dupv
2466 let _ = "iter"
2467 in let onException loopInput =
2468 let _ = "onException"
2469 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
2470 let _ = "comment: raiseAgainIfConsumed"
2471 in let _ = "saveInput checkedHorizon=0"
2472 in let _ = "lift2Value checkedHorizon=0"
2473 in if ( \( Data.Text.Internal.Text
2474 _
2475 i
2476 _
2477 )
2478 ( Data.Text.Internal.Text
2479 _
2480 j
2481 _
2482 ) -> i GHC.Classes.== j
2483 )
2484 loopInput
2485 failInp
2486 then
2487 let _ = "choicesBranch checkedHorizon=0"
2488 in do
2489 sr <- GHC.STRef.readSTRef reg
2490 name
2491 ( let _ = "onReturn"
2492 in \farInp farExp v (!inp) ->
2493 let _ = "lift2Value checkedHorizon=0"
2494 in let _ = "lift2Value checkedHorizon=0"
2495 in name
2496 ( let _ = "onReturn"
2497 in \farInp farExp v (!inp) ->
2498 let _ = "lift2Value checkedHorizon=0"
2499 in let _ = "comment: satisfy ((GHC.Classes.==) '}')"
2500 in let inp = inp
2501 in let readFail = readFail
2502 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
2503 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 1 inp)
2504 then
2505 let _ = "checkToken"
2506 in let !(#
2507 c,
2508 cs
2509 #) = readNext inp
2510 in if (GHC.Classes.==) '}' c
2511 then
2512 let _ = "lift2Value checkedHorizon=2"
2513 in name
2514 ( let _ = "onReturn"
2515 in \farInp farExp v (!inp) ->
2516 let _ = "lift2Value checkedHorizon=0"
2517 in let _ = "resume"
2518 in callerOnReturn
2519 farInp
2520 farExp
2521 ( let _ = "resume.genCode"
2522 in v
2523 )
2524 inp
2525 )
2526 cs
2527 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2528 else
2529 let _ = "checkToken.fail"
2530 in let failExp =
2531 Data.Set.Internal.Bin
2532 1
2533 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2534 ( case inputToken of
2535 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '}'
2536 )
2537 )
2538 Data.Set.Internal.Tip
2539 Data.Set.Internal.Tip
2540 in let (#
2541 farInp,
2542 farExp
2543 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
2544 GHC.Types.LT ->
2545 (#
2546 inp,
2547 failExp
2548 #)
2549 GHC.Types.EQ ->
2550 (#
2551 farInp,
2552 failExp GHC.Base.<> farExp
2553 #)
2554 GHC.Types.GT ->
2555 (#
2556 farInp,
2557 farExp
2558 #)
2559 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2560 else
2561 let _ = "checkHorizon.newCheck.fail"
2562 in let failExp =
2563 Data.Set.Internal.Bin
2564 1
2565 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2566 ( case inputToken of
2567 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
2568 )
2569 )
2570 Data.Set.Internal.Tip
2571 Data.Set.Internal.Tip
2572 in let (#
2573 farInp,
2574 farExp
2575 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
2576 GHC.Types.LT ->
2577 (#
2578 inp,
2579 failExp
2580 #)
2581 GHC.Types.EQ ->
2582 (#
2583 farInp,
2584 failExp GHC.Base.<> farExp
2585 #)
2586 GHC.Types.GT ->
2587 (#
2588 farInp,
2589 farExp
2590 #)
2591 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2592 )
2593 inp
2594 Data.Map.Internal.Tip
2595 )
2596 failInp
2597 Data.Map.Internal.Tip
2598 else
2599 let _ = "choicesBranch.else"
2600 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
2601 loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
2602 let _ = "pushValue"
2603 in let join = \farInp farExp v (!inp) ->
2604 let _ = "lift2Value checkedHorizon=0"
2605 in do
2606 sr <- GHC.STRef.readSTRef reg
2607 let _ = "lift2Value checkedHorizon=0"
2608 in do
2609 let dupv = sr
2610 GHC.STRef.writeSTRef reg dupv
2611 let _ = "jump"
2612 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)
2613 in let _ = "catch ExceptionFailure checkedHorizon=0"
2614 in let onException =
2615 let _ = "onException"
2616 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
2617 let _ = "comment: raiseAgainIfConsumed"
2618 in let _ = "saveInput checkedHorizon=0"
2619 in let _ = "lift2Value checkedHorizon=0"
2620 in if ( \( Data.Text.Internal.Text
2621 _
2622 i
2623 _
2624 )
2625 ( Data.Text.Internal.Text
2626 _
2627 j
2628 _
2629 ) -> i GHC.Classes.== j
2630 )
2631 callerInput
2632 failInp
2633 then
2634 let _ = "choicesBranch checkedHorizon=0"
2635 in let _ = "catch ExceptionFailure checkedHorizon=0"
2636 in let onException =
2637 let _ = "onException"
2638 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
2639 let _ = "comment: raiseAgainIfConsumed"
2640 in let _ = "saveInput checkedHorizon=0"
2641 in let _ = "lift2Value checkedHorizon=0"
2642 in if ( \( Data.Text.Internal.Text
2643 _
2644 i
2645 _
2646 )
2647 ( Data.Text.Internal.Text
2648 _
2649 j
2650 _
2651 ) -> i GHC.Classes.== j
2652 )
2653 failInp
2654 failInp
2655 then
2656 let _ = "choicesBranch checkedHorizon=0"
2657 in let _ = "catch ExceptionFailure checkedHorizon=0"
2658 in let onException =
2659 let _ = "onException"
2660 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
2661 let _ = "comment: raiseAgainIfConsumed"
2662 in let _ = "saveInput checkedHorizon=0"
2663 in let _ = "lift2Value checkedHorizon=0"
2664 in if ( \( Data.Text.Internal.Text
2665 _
2666 i
2667 _
2668 )
2669 ( Data.Text.Internal.Text
2670 _
2671 j
2672 _
2673 ) -> i GHC.Classes.== j
2674 )
2675 failInp
2676 failInp
2677 then
2678 let _ = "choicesBranch checkedHorizon=0"
2679 in let _ = "pushValue"
2680 in name
2681 ( let _ = "onReturn"
2682 in \farInp farExp v (!inp) ->
2683 let _ = "lift2Value checkedHorizon=0"
2684 in name
2685 ( let _ = "onReturn"
2686 in \farInp farExp v (!inp) ->
2687 let _ = "lift2Value checkedHorizon=0"
2688 in let _ = "resume"
2689 in join
2690 farInp
2691 farExp
2692 ( let _ = "resume.genCode"
2693 in v
2694 )
2695 inp
2696 )
2697 inp
2698 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2699 )
2700 failInp
2701 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2702 else
2703 let _ = "choicesBranch.else"
2704 in onException callerInput Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
2705 in let _ = "catch ExceptionFailure checkedHorizon=0"
2706 in let onException =
2707 let _ = "onException"
2708 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
2709 let _ = "loadInput checkedHorizon=0"
2710 in let _ = "checkHorizon.noCheck"
2711 in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
2712 in let _ = "pushValue"
2713 in let join = \farInp farExp v (!inp) ->
2714 let _ = "lift2Value checkedHorizon=0"
2715 in name
2716 ( let _ = "onReturn"
2717 in \farInp farExp v (!inp) ->
2718 let _ = "lift2Value checkedHorizon=0"
2719 in let _ = "pushValue"
2720 in do
2721 let dupv = \x -> x
2722 reg <- GHC.STRef.newSTRef dupv
2723 let _ = "iter"
2724 in let onException loopInput =
2725 let _ = "onException"
2726 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
2727 let _ = "comment: raiseAgainIfConsumed"
2728 in let _ = "saveInput checkedHorizon=0"
2729 in let _ = "lift2Value checkedHorizon=0"
2730 in if ( \( Data.Text.Internal.Text
2731 _
2732 i
2733 _
2734 )
2735 ( Data.Text.Internal.Text
2736 _
2737 j
2738 _
2739 ) -> i GHC.Classes.== j
2740 )
2741 loopInput
2742 failInp
2743 then
2744 let _ = "choicesBranch checkedHorizon=0"
2745 in do
2746 sr <- GHC.STRef.readSTRef reg
2747 name
2748 ( let _ = "onReturn"
2749 in \farInp farExp v (!inp) ->
2750 let _ = "lift2Value checkedHorizon=0"
2751 in let _ = "lift2Value checkedHorizon=0"
2752 in name
2753 ( let _ = "onReturn"
2754 in \farInp farExp v (!inp) ->
2755 let _ = "lift2Value checkedHorizon=0"
2756 in let _ = "comment: satisfy ((GHC.Classes.==) '=')"
2757 in let inp = inp
2758 in let readFail = onException
2759 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=6"
2760 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 5 inp)
2761 then
2762 let _ = "checkToken"
2763 in let !(#
2764 c,
2765 cs
2766 #) = readNext inp
2767 in if (GHC.Classes.==) '=' c
2768 then
2769 let _ = "lift2Value checkedHorizon=6"
2770 in name
2771 ( let _ = "onReturn"
2772 in \farInp farExp v (!inp) ->
2773 let _ = "lift2Value checkedHorizon=0"
2774 in name
2775 ( let _ = "onReturn"
2776 in \farInp farExp v (!inp) ->
2777 let _ = "lift2Value checkedHorizon=0"
2778 in let _ = "pushValue"
2779 in do
2780 let dupv = \x -> x
2781 reg <- GHC.STRef.newSTRef dupv
2782 let _ = "iter"
2783 in let onException loopInput =
2784 let _ = "onException"
2785 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
2786 let _ = "comment: raiseAgainIfConsumed"
2787 in let _ = "saveInput checkedHorizon=0"
2788 in let _ = "lift2Value checkedHorizon=0"
2789 in if ( \( Data.Text.Internal.Text
2790 _
2791 i
2792 _
2793 )
2794 ( Data.Text.Internal.Text
2795 _
2796 j
2797 _
2798 ) -> i GHC.Classes.== j
2799 )
2800 loopInput
2801 failInp
2802 then
2803 let _ = "choicesBranch checkedHorizon=0"
2804 in do
2805 sr <- GHC.STRef.readSTRef reg
2806 name
2807 ( let _ = "onReturn"
2808 in \farInp farExp v (!inp) ->
2809 let _ = "lift2Value checkedHorizon=0"
2810 in let _ = "lift2Value checkedHorizon=0"
2811 in name
2812 ( let _ = "onReturn"
2813 in \farInp farExp v (!inp) ->
2814 let _ = "lift2Value checkedHorizon=0"
2815 in name
2816 ( let _ = "onReturn"
2817 in \farInp farExp v (!inp) ->
2818 let _ = "lift2Value checkedHorizon=0"
2819 in let _ = "commit"
2820 in let _ = "commit"
2821 in let _ = "resume"
2822 in join
2823 farInp
2824 farExp
2825 ( let _ = "resume.genCode"
2826 in v
2827 )
2828 inp
2829 )
2830 inp
2831 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2832 )
2833 inp
2834 Data.Map.Internal.Tip
2835 )
2836 failInp
2837 Data.Map.Internal.Tip
2838 else
2839 let _ = "choicesBranch.else"
2840 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
2841 loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
2842 let _ = "pushValue"
2843 in name
2844 ( let _ = "onReturn"
2845 in \farInp farExp v (!inp) ->
2846 let _ = "lift2Value checkedHorizon=0"
2847 in name
2848 ( let _ = "onReturn"
2849 in \farInp farExp v (!inp) ->
2850 let _ = "lift2Value checkedHorizon=0"
2851 in name
2852 ( let _ = "onReturn"
2853 in \farInp farExp v (!inp) ->
2854 let _ = "lift2Value checkedHorizon=0"
2855 in do
2856 sr <- GHC.STRef.readSTRef reg
2857 let _ = "lift2Value checkedHorizon=0"
2858 in do
2859 let dupv = v v sr
2860 GHC.STRef.writeSTRef reg dupv
2861 let _ = "jump"
2862 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)
2863 )
2864 inp
2865 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2866 )
2867 inp
2868 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2869 )
2870 callerInput
2871 Data.Map.Internal.Tip
2872 in let _ = "jump"
2873 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)
2874 )
2875 inp
2876 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2877 )
2878 cs
2879 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2880 else
2881 let _ = "checkToken.fail"
2882 in let failExp =
2883 Data.Set.Internal.Bin
2884 1
2885 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2886 ( case inputToken of
2887 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '='
2888 )
2889 )
2890 Data.Set.Internal.Tip
2891 Data.Set.Internal.Tip
2892 in let (#
2893 farInp,
2894 farExp
2895 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
2896 GHC.Types.LT ->
2897 (#
2898 inp,
2899 failExp
2900 #)
2901 GHC.Types.EQ ->
2902 (#
2903 farInp,
2904 failExp GHC.Base.<> farExp
2905 #)
2906 GHC.Types.GT ->
2907 (#
2908 farInp,
2909 farExp
2910 #)
2911 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2912 else
2913 let _ = "checkHorizon.newCheck.fail"
2914 in let failExp =
2915 Data.Set.Internal.Bin
2916 1
2917 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2918 ( case inputToken of
2919 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 6
2920 )
2921 )
2922 Data.Set.Internal.Tip
2923 Data.Set.Internal.Tip
2924 in let (#
2925 farInp,
2926 farExp
2927 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
2928 GHC.Types.LT ->
2929 (#
2930 inp,
2931 failExp
2932 #)
2933 GHC.Types.EQ ->
2934 (#
2935 farInp,
2936 failExp GHC.Base.<> farExp
2937 #)
2938 GHC.Types.GT ->
2939 (#
2940 farInp,
2941 farExp
2942 #)
2943 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2944 )
2945 inp
2946 Data.Map.Internal.Tip
2947 )
2948 failInp
2949 Data.Map.Internal.Tip
2950 else
2951 let _ = "choicesBranch.else"
2952 in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
2953 loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
2954 let _ = "pushValue"
2955 in name
2956 ( let _ = "onReturn"
2957 in \farInp farExp v (!inp) ->
2958 let _ = "lift2Value checkedHorizon=0"
2959 in name
2960 ( let _ = "onReturn"
2961 in \farInp farExp v (!inp) ->
2962 let _ = "lift2Value checkedHorizon=0"
2963 in name
2964 ( let _ = "onReturn"
2965 in \farInp farExp v (!inp) ->
2966 let _ = "lift2Value checkedHorizon=0"
2967 in do
2968 sr <- GHC.STRef.readSTRef reg
2969 let _ = "lift2Value checkedHorizon=0"
2970 in do
2971 let dupv = v v sr
2972 GHC.STRef.writeSTRef reg dupv
2973 let _ = "jump"
2974 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)
2975 )
2976 inp
2977 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2978 )
2979 inp
2980 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2981 )
2982 callerInput
2983 Data.Map.Internal.Tip
2984 in let _ = "jump"
2985 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)
2986 )
2987 inp
2988 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
2989 in let _ = "catch ExceptionFailure checkedHorizon=0"
2990 in let onException =
2991 let _ = "onException"
2992 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
2993 let _ = "comment: raiseAgainIfConsumed"
2994 in let _ = "saveInput checkedHorizon=0"
2995 in let _ = "lift2Value checkedHorizon=0"
2996 in if ( \( Data.Text.Internal.Text
2997 _
2998 i
2999 _
3000 )
3001 ( Data.Text.Internal.Text
3002 _
3003 j
3004 _
3005 ) -> i GHC.Classes.== j
3006 )
3007 failInp
3008 failInp
3009 then
3010 let _ = "choicesBranch checkedHorizon=0"
3011 in name
3012 ( let _ = "onReturn"
3013 in \farInp farExp v (!inp) ->
3014 let _ = "resume"
3015 in join
3016 farInp
3017 farExp
3018 ( let _ = "resume.genCode"
3019 in v
3020 )
3021 inp
3022 )
3023 failInp
3024 Data.Map.Internal.Tip
3025 else
3026 let _ = "choicesBranch.else"
3027 in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
3028 in let _ = "pushValue"
3029 in let _ = "catch ExceptionFailure checkedHorizon=0"
3030 in let onException =
3031 let _ = "onException"
3032 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
3033 let _ = "loadInput checkedHorizon=0"
3034 in let _ = "checkHorizon.noCheck"
3035 in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
3036 in let _ = "pushValue"
3037 in let _ = "comment: satisfy ((GHC.Classes.==) 'v')"
3038 in let inp = failInp
3039 in let readFail = onException
3040 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=11"
3041 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 10 inp)
3042 then
3043 let _ = "checkToken"
3044 in let !(#
3045 c,
3046 cs
3047 #) = readNext inp
3048 in if (GHC.Classes.==) 'v' c
3049 then
3050 let _ = "lift2Value checkedHorizon=11"
3051 in let _ = "comment: satisfy ((GHC.Classes.==) 'a')"
3052 in let _ = "checkHorizon.oldCheck: checkedHorizon=11"
3053 in let _ = "checkToken"
3054 in let !(#
3055 c,
3056 cs
3057 #) = readNext cs
3058 in if (GHC.Classes.==) 'a' c
3059 then
3060 let _ = "lift2Value checkedHorizon=10"
3061 in let _ = "comment: satisfy ((GHC.Classes.==) 'r')"
3062 in let _ = "checkHorizon.oldCheck: checkedHorizon=10"
3063 in let _ = "checkToken"
3064 in let !(#
3065 c,
3066 cs
3067 #) = readNext cs
3068 in if (GHC.Classes.==) 'r' c
3069 then
3070 let _ = "lift2Value checkedHorizon=9"
3071 in let _ = "commit"
3072 in let _ = "lift2Value checkedHorizon=9"
3073 in let _ = "commit"
3074 in let _ = "resume"
3075 in join
3076 farInp
3077 farExp
3078 ( let _ = "resume.genCode"
3079 in GHC.Tuple . ()
3080 )
3081 cs
3082 else
3083 let _ = "checkToken.fail"
3084 in let failExp =
3085 Data.Set.Internal.Bin
3086 1
3087 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3088 ( case inputToken of
3089 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'r'
3090 )
3091 )
3092 Data.Set.Internal.Tip
3093 Data.Set.Internal.Tip
3094 in let (#
3095 farInp,
3096 farExp
3097 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
3098 GHC.Types.LT ->
3099 (#
3100 cs,
3101 failExp
3102 #)
3103 GHC.Types.EQ ->
3104 (#
3105 farInp,
3106 failExp GHC.Base.<> farExp
3107 #)
3108 GHC.Types.GT ->
3109 (#
3110 farInp,
3111 farExp
3112 #)
3113 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
3114 else
3115 let _ = "checkToken.fail"
3116 in let failExp =
3117 Data.Set.Internal.Bin
3118 1
3119 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3120 ( case inputToken of
3121 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'a'
3122 )
3123 )
3124 Data.Set.Internal.Tip
3125 Data.Set.Internal.Tip
3126 in let (#
3127 farInp,
3128 farExp
3129 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
3130 GHC.Types.LT ->
3131 (#
3132 cs,
3133 failExp
3134 #)
3135 GHC.Types.EQ ->
3136 (#
3137 farInp,
3138 failExp GHC.Base.<> farExp
3139 #)
3140 GHC.Types.GT ->
3141 (#
3142 farInp,
3143 farExp
3144 #)
3145 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
3146 else
3147 let _ = "checkToken.fail"
3148 in let failExp =
3149 Data.Set.Internal.Bin
3150 1
3151 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3152 ( case inputToken of
3153 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'v'
3154 )
3155 )
3156 Data.Set.Internal.Tip
3157 Data.Set.Internal.Tip
3158 in let (#
3159 farInp,
3160 farExp
3161 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
3162 GHC.Types.LT ->
3163 (#
3164 inp,
3165 failExp
3166 #)
3167 GHC.Types.EQ ->
3168 (#
3169 farInp,
3170 failExp GHC.Base.<> farExp
3171 #)
3172 GHC.Types.GT ->
3173 (#
3174 farInp,
3175 farExp
3176 #)
3177 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3178 else
3179 let _ = "checkHorizon.newCheck.fail"
3180 in let failExp =
3181 Data.Set.Internal.Bin
3182 1
3183 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3184 ( case inputToken of
3185 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 11
3186 )
3187 )
3188 Data.Set.Internal.Tip
3189 Data.Set.Internal.Tip
3190 in let (#
3191 farInp,
3192 farExp
3193 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
3194 GHC.Types.LT ->
3195 (#
3196 inp,
3197 failExp
3198 #)
3199 GHC.Types.EQ ->
3200 (#
3201 farInp,
3202 failExp GHC.Base.<> farExp
3203 #)
3204 GHC.Types.GT ->
3205 (#
3206 farInp,
3207 farExp
3208 #)
3209 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3210 else
3211 let _ = "choicesBranch.else"
3212 in onException callerInput Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
3213 in let _ = "pushValue"
3214 in let _ = "catch ExceptionFailure checkedHorizon=0"
3215 in let onException =
3216 let _ = "onException"
3217 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
3218 let _ = "loadInput checkedHorizon=0"
3219 in let _ = "checkHorizon.noCheck"
3220 in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
3221 in let _ = "pushValue"
3222 in let _ = "comment: satisfy ((GHC.Classes.==) 'w')"
3223 in let inp = failInp
3224 in let readFail = onException
3225 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=7"
3226 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 6 inp)
3227 then
3228 let _ = "checkToken"
3229 in let !(#
3230 c,
3231 cs
3232 #) = readNext inp
3233 in if (GHC.Classes.==) 'w' c
3234 then
3235 let _ = "lift2Value checkedHorizon=7"
3236 in let _ = "comment: satisfy ((GHC.Classes.==) 'h')"
3237 in let _ = "checkHorizon.oldCheck: checkedHorizon=7"
3238 in let _ = "checkToken"
3239 in let !(#
3240 c,
3241 cs
3242 #) = readNext cs
3243 in if (GHC.Classes.==) 'h' c
3244 then
3245 let _ = "lift2Value checkedHorizon=6"
3246 in let _ = "comment: satisfy ((GHC.Classes.==) 'i')"
3247 in let _ = "checkHorizon.oldCheck: checkedHorizon=6"
3248 in let _ = "checkToken"
3249 in let !(#
3250 c,
3251 cs
3252 #) = readNext cs
3253 in if (GHC.Classes.==) 'i' c
3254 then
3255 let _ = "lift2Value checkedHorizon=5"
3256 in let _ = "comment: satisfy ((GHC.Classes.==) 'l')"
3257 in let _ = "checkHorizon.oldCheck: checkedHorizon=5"
3258 in let _ = "checkToken"
3259 in let !(#
3260 c,
3261 cs
3262 #) = readNext cs
3263 in if (GHC.Classes.==) 'l' c
3264 then
3265 let _ = "lift2Value checkedHorizon=4"
3266 in let _ = "comment: satisfy ((GHC.Classes.==) 'e')"
3267 in let _ = "checkHorizon.oldCheck: checkedHorizon=4"
3268 in let _ = "checkToken"
3269 in let !(#
3270 c,
3271 cs
3272 #) = readNext cs
3273 in if (GHC.Classes.==) 'e' c
3274 then
3275 let _ = "lift2Value checkedHorizon=3"
3276 in let _ = "commit"
3277 in let _ = "lift2Value checkedHorizon=3"
3278 in name
3279 ( let _ = "onReturn"
3280 in \farInp farExp v (!inp) ->
3281 let _ = "lift2Value checkedHorizon=0"
3282 in name
3283 ( let _ = "onReturn"
3284 in \farInp farExp v (!inp) ->
3285 let _ = "lift2Value checkedHorizon=0"
3286 in let _ = "commit"
3287 in let _ = "resume"
3288 in join
3289 farInp
3290 farExp
3291 ( let _ = "resume.genCode"
3292 in v
3293 )
3294 inp
3295 )
3296 inp
3297 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
3298 )
3299 cs
3300 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
3301 else
3302 let _ = "checkToken.fail"
3303 in let failExp =
3304 Data.Set.Internal.Bin
3305 1
3306 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3307 ( case inputToken of
3308 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'e'
3309 )
3310 )
3311 Data.Set.Internal.Tip
3312 Data.Set.Internal.Tip
3313 in let (#
3314 farInp,
3315 farExp
3316 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
3317 GHC.Types.LT ->
3318 (#
3319 cs,
3320 failExp
3321 #)
3322 GHC.Types.EQ ->
3323 (#
3324 farInp,
3325 failExp GHC.Base.<> farExp
3326 #)
3327 GHC.Types.GT ->
3328 (#
3329 farInp,
3330 farExp
3331 #)
3332 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
3333 else
3334 let _ = "checkToken.fail"
3335 in let failExp =
3336 Data.Set.Internal.Bin
3337 1
3338 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3339 ( case inputToken of
3340 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'l'
3341 )
3342 )
3343 Data.Set.Internal.Tip
3344 Data.Set.Internal.Tip
3345 in let (#
3346 farInp,
3347 farExp
3348 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
3349 GHC.Types.LT ->
3350 (#
3351 cs,
3352 failExp
3353 #)
3354 GHC.Types.EQ ->
3355 (#
3356 farInp,
3357 failExp GHC.Base.<> farExp
3358 #)
3359 GHC.Types.GT ->
3360 (#
3361 farInp,
3362 farExp
3363 #)
3364 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
3365 else
3366 let _ = "checkToken.fail"
3367 in let failExp =
3368 Data.Set.Internal.Bin
3369 1
3370 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3371 ( case inputToken of
3372 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'i'
3373 )
3374 )
3375 Data.Set.Internal.Tip
3376 Data.Set.Internal.Tip
3377 in let (#
3378 farInp,
3379 farExp
3380 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
3381 GHC.Types.LT ->
3382 (#
3383 cs,
3384 failExp
3385 #)
3386 GHC.Types.EQ ->
3387 (#
3388 farInp,
3389 failExp GHC.Base.<> farExp
3390 #)
3391 GHC.Types.GT ->
3392 (#
3393 farInp,
3394 farExp
3395 #)
3396 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
3397 else
3398 let _ = "checkToken.fail"
3399 in let failExp =
3400 Data.Set.Internal.Bin
3401 1
3402 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3403 ( case inputToken of
3404 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'h'
3405 )
3406 )
3407 Data.Set.Internal.Tip
3408 Data.Set.Internal.Tip
3409 in let (#
3410 farInp,
3411 farExp
3412 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
3413 GHC.Types.LT ->
3414 (#
3415 cs,
3416 failExp
3417 #)
3418 GHC.Types.EQ ->
3419 (#
3420 farInp,
3421 failExp GHC.Base.<> farExp
3422 #)
3423 GHC.Types.GT ->
3424 (#
3425 farInp,
3426 farExp
3427 #)
3428 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
3429 else
3430 let _ = "checkToken.fail"
3431 in let failExp =
3432 Data.Set.Internal.Bin
3433 1
3434 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3435 ( case inputToken of
3436 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'w'
3437 )
3438 )
3439 Data.Set.Internal.Tip
3440 Data.Set.Internal.Tip
3441 in let (#
3442 farInp,
3443 farExp
3444 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
3445 GHC.Types.LT ->
3446 (#
3447 inp,
3448 failExp
3449 #)
3450 GHC.Types.EQ ->
3451 (#
3452 farInp,
3453 failExp GHC.Base.<> farExp
3454 #)
3455 GHC.Types.GT ->
3456 (#
3457 farInp,
3458 farExp
3459 #)
3460 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3461 else
3462 let _ = "checkHorizon.newCheck.fail"
3463 in let failExp =
3464 Data.Set.Internal.Bin
3465 1
3466 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3467 ( case inputToken of
3468 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 7
3469 )
3470 )
3471 Data.Set.Internal.Tip
3472 Data.Set.Internal.Tip
3473 in let (#
3474 farInp,
3475 farExp
3476 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
3477 GHC.Types.LT ->
3478 (#
3479 inp,
3480 failExp
3481 #)
3482 GHC.Types.EQ ->
3483 (#
3484 farInp,
3485 failExp GHC.Base.<> farExp
3486 #)
3487 GHC.Types.GT ->
3488 (#
3489 farInp,
3490 farExp
3491 #)
3492 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3493 else
3494 let _ = "choicesBranch.else"
3495 in onException callerInput Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
3496 in let _ = "pushValue"
3497 in let _ = "catch ExceptionFailure checkedHorizon=0"
3498 in let onException =
3499 let _ = "onException"
3500 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
3501 let _ = "loadInput checkedHorizon=0"
3502 in let _ = "checkHorizon.noCheck"
3503 in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput farInp farExp
3504 in let _ = "pushValue"
3505 in let _ = "comment: satisfy ((GHC.Classes.==) 'i')"
3506 in let inp = callerInput
3507 in let readFail = onException
3508 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
3509 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 1 inp)
3510 then
3511 let _ = "checkToken"
3512 in let !(#
3513 c,
3514 cs
3515 #) = readNext inp
3516 in if (GHC.Classes.==) 'i' c
3517 then
3518 let _ = "lift2Value checkedHorizon=2"
3519 in let _ = "comment: satisfy ((GHC.Classes.==) 'f')"
3520 in let _ = "checkHorizon.oldCheck: checkedHorizon=2"
3521 in let _ = "checkToken"
3522 in let !(#
3523 c,
3524 cs
3525 #) = readNext cs
3526 in if (GHC.Classes.==) 'f' c
3527 then
3528 let _ = "lift2Value checkedHorizon=1"
3529 in let _ = "commit"
3530 in let _ = "lift2Value checkedHorizon=1"
3531 in let _ = "commit"
3532 in let _ = "resume"
3533 in join
3534 farInp
3535 farExp
3536 ( let _ = "resume.genCode"
3537 in GHC.Tuple . ()
3538 )
3539 cs
3540 else
3541 let _ = "checkToken.fail"
3542 in let failExp =
3543 Data.Set.Internal.Bin
3544 1
3545 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3546 ( case inputToken of
3547 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'f'
3548 )
3549 )
3550 Data.Set.Internal.Tip
3551 Data.Set.Internal.Tip
3552 in let (#
3553 farInp,
3554 farExp
3555 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
3556 GHC.Types.LT ->
3557 (#
3558 cs,
3559 failExp
3560 #)
3561 GHC.Types.EQ ->
3562 (#
3563 farInp,
3564 failExp GHC.Base.<> farExp
3565 #)
3566 GHC.Types.GT ->
3567 (#
3568 farInp,
3569 farExp
3570 #)
3571 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
3572 else
3573 let _ = "checkToken.fail"
3574 in let failExp =
3575 Data.Set.Internal.Bin
3576 1
3577 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3578 ( case inputToken of
3579 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'i'
3580 )
3581 )
3582 Data.Set.Internal.Tip
3583 Data.Set.Internal.Tip
3584 in let (#
3585 farInp,
3586 farExp
3587 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
3588 GHC.Types.LT ->
3589 (#
3590 inp,
3591 failExp
3592 #)
3593 GHC.Types.EQ ->
3594 (#
3595 farInp,
3596 failExp GHC.Base.<> farExp
3597 #)
3598 GHC.Types.GT ->
3599 (#
3600 farInp,
3601 farExp
3602 #)
3603 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3604 else
3605 let _ = "checkHorizon.newCheck.fail"
3606 in let failExp =
3607 Data.Set.Internal.Bin
3608 1
3609 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3610 ( case inputToken of
3611 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
3612 )
3613 )
3614 Data.Set.Internal.Tip
3615 Data.Set.Internal.Tip
3616 in let (#
3617 farInp,
3618 farExp
3619 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
3620 GHC.Types.LT ->
3621 (#
3622 inp,
3623 failExp
3624 #)
3625 GHC.Types.EQ ->
3626 (#
3627 farInp,
3628 failExp GHC.Base.<> farExp
3629 #)
3630 GHC.Types.GT ->
3631 (#
3632 farInp,
3633 farExp
3634 #)
3635 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3636 in let _ = "jump"
3637 in loop callerOnReturn inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
3638 )
3639 cs
3640 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
3641 else
3642 let _ = "checkToken.fail"
3643 in let failExp =
3644 Data.Set.Internal.Bin
3645 1
3646 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3647 ( case inputToken of
3648 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '{'
3649 )
3650 )
3651 Data.Set.Internal.Tip
3652 Data.Set.Internal.Tip
3653 in let (#
3654 farInp,
3655 farExp
3656 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
3657 GHC.Types.LT ->
3658 (#
3659 inp,
3660 failExp
3661 #)
3662 GHC.Types.EQ ->
3663 (#
3664 init,
3665 failExp GHC.Base.<> Data.Set.Internal.empty
3666 #)
3667 GHC.Types.GT ->
3668 (#
3669 init,
3670 Data.Set.Internal.empty
3671 #)
3672 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3673 else
3674 let _ = "checkHorizon.newCheck.fail"
3675 in let failExp =
3676 Data.Set.Internal.Bin
3677 1
3678 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3679 ( case inputToken of
3680 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 4
3681 )
3682 )
3683 Data.Set.Internal.Tip
3684 Data.Set.Internal.Tip
3685 in let (#
3686 farInp,
3687 farExp
3688 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
3689 GHC.Types.LT ->
3690 (#
3691 inp,
3692 failExp
3693 #)
3694 GHC.Types.EQ ->
3695 (#
3696 init,
3697 failExp GHC.Base.<> Data.Set.Internal.empty
3698 #)
3699 GHC.Types.GT ->
3700 (#
3701 init,
3702 Data.Set.Internal.empty
3703 #)
3704 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3705 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
3706 let _ = "pushValue"
3707 in let _ = "comment: satisfy GHC.Unicode.isSpace"
3708 in let inp = callerInput
3709 in let readFail = Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel
3710 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
3711 in if readMore inp
3712 then
3713 let _ = "checkToken"
3714 in let !(#
3715 c,
3716 cs
3717 #) = readNext inp
3718 in if GHC.Unicode.isSpace c
3719 then
3720 let _ = "lift2Value checkedHorizon=1"
3721 in let _ = "resume"
3722 in callerOnReturn
3723 init
3724 Data.Set.Internal.empty
3725 ( let _ = "resume.genCode"
3726 in GHC.Tuple . ()
3727 )
3728 cs
3729 else
3730 let _ = "checkToken.fail"
3731 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp init Data.Set.Internal.empty
3732 else
3733 let _ = "checkHorizon.newCheck.fail"
3734 in let failExp =
3735 Data.Set.Internal.Bin
3736 1
3737 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3738 ( case inputToken of
3739 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 1
3740 )
3741 )
3742 Data.Set.Internal.Tip
3743 Data.Set.Internal.Tip
3744 in let (#
3745 farInp,
3746 farExp
3747 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
3748 GHC.Types.LT ->
3749 (#
3750 inp,
3751 failExp
3752 #)
3753 GHC.Types.EQ ->
3754 (#
3755 init,
3756 failExp GHC.Base.<> Data.Set.Internal.empty
3757 #)
3758 GHC.Types.GT ->
3759 (#
3760 init,
3761 Data.Set.Internal.empty
3762 #)
3763 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3764 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
3765 let _ = "pushValue"
3766 in let _ = "resume"
3767 in callerOnReturn
3768 init
3769 Data.Set.Internal.empty
3770 ( let _ = "resume.genCode"
3771 in GHC.Tuple . ()
3772 )
3773 callerInput
3774 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
3775 let _ = "pushValue"
3776 in let _ = "resume"
3777 in callerOnReturn
3778 init
3779 Data.Set.Internal.empty
3780 ( let _ = "resume.genCode"
3781 in GHC.Tuple . ()
3782 )
3783 callerInput
3784 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
3785 let _ = "pushValue"
3786 in let _ = "resume"
3787 in callerOnReturn
3788 init
3789 Data.Set.Internal.empty
3790 ( let _ = "resume.genCode"
3791 in \x -> \x -> x
3792 )
3793 callerInput
3794 in let _ = "pushValue"
3795 in name
3796 ( let _ = "onReturn"
3797 in \farInp farExp v (!inp) ->
3798 let _ = "lift2Value checkedHorizon=0"
3799 in let _ = "pushValue"
3800 in do
3801 let dupv = \x -> x
3802 reg <- GHC.STRef.newSTRef dupv
3803 let _ = "iter"
3804 in let onException loopInput =
3805 let _ = "onException"
3806 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
3807 let _ = "comment: raiseAgainIfConsumed"
3808 in let _ = "saveInput checkedHorizon=0"
3809 in let _ = "lift2Value checkedHorizon=0"
3810 in if ( \( Data.Text.Internal.Text
3811 _
3812 i
3813 _
3814 )
3815 ( Data.Text.Internal.Text
3816 _
3817 j
3818 _
3819 ) -> i GHC.Classes.== j
3820 )
3821 loopInput
3822 failInp
3823 then
3824 let _ = "choicesBranch checkedHorizon=0"
3825 in do
3826 sr <- GHC.STRef.readSTRef reg
3827 name
3828 ( let _ = "onReturn"
3829 in \farInp farExp v (!inp) ->
3830 let _ = "lift2Value checkedHorizon=0"
3831 in let _ = "lift2Value checkedHorizon=0"
3832 in let join = \farInp farExp v (!inp) ->
3833 let _ = "lift2Value checkedHorizon=0"
3834 in let _ = "resume"
3835 in finalRet
3836 farInp
3837 farExp
3838 ( let _ = "resume.genCode"
3839 in GHC.Show.show GHC.Tuple . ()
3840 )
3841 inp
3842 in let _ = "catch ExceptionFailure checkedHorizon=0"
3843 in let onException =
3844 let _ = "onException"
3845 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
3846 let _ = "comment: raiseAgainIfConsumed"
3847 in let _ = "saveInput checkedHorizon=0"
3848 in let _ = "lift2Value checkedHorizon=0"
3849 in if ( \( Data.Text.Internal.Text
3850 _
3851 i
3852 _
3853 )
3854 ( Data.Text.Internal.Text
3855 _
3856 j
3857 _
3858 ) -> i GHC.Classes.== j
3859 )
3860 inp
3861 failInp
3862 then
3863 let _ = "choicesBranch checkedHorizon=0"
3864 in let _ = "comment: eof.fail"
3865 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
3866 in let (#
3867 farInp,
3868 farExp
3869 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp failInp of
3870 GHC.Types.LT ->
3871 (#
3872 failInp,
3873 failExp
3874 #)
3875 GHC.Types.EQ ->
3876 (#
3877 farInp,
3878 failExp GHC.Base.<> farExp
3879 #)
3880 GHC.Types.GT ->
3881 (#
3882 farInp,
3883 farExp
3884 #)
3885 in finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
3886 else
3887 let _ = "choicesBranch.else"
3888 in finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
3889 in let _ = "comment: negLook"
3890 in let _ = "catch ExceptionFailure checkedHorizon=0"
3891 in let onException =
3892 let _ = "onException"
3893 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
3894 let _ = "comment: negLook.reset"
3895 in let _ = "loadInput checkedHorizon=0"
3896 in let _ = "checkHorizon.noCheck"
3897 in let _ = "pushValue"
3898 in let _ = "commit"
3899 in let _ = "resume"
3900 in join
3901 farInp
3902 farExp
3903 ( let _ = "resume.genCode"
3904 in GHC.Tuple . ()
3905 )
3906 inp
3907 in let _ = "comment: negLook.ahead"
3908 in let _ = "saveInput checkedHorizon=0"
3909 in let _ = "comment: satisfy ((\\x_0 -> \\x_1 -> x_0) GHC.Types.True)"
3910 in let inp = inp
3911 in let readFail = onException
3912 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
3913 in if readMore inp
3914 then
3915 let _ = "checkToken"
3916 in let !(#
3917 c,
3918 cs
3919 #) = readNext inp
3920 in let _ = "popValue"
3921 in let _ = "commit"
3922 in let _ = "loadInput checkedHorizon=0"
3923 in let _ = "checkHorizon.noCheck"
3924 in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3925 else
3926 let _ = "checkHorizon.newCheck.fail"
3927 in let failExp =
3928 Data.Set.Internal.Bin
3929 1
3930 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3931 ( case inputToken of
3932 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 1
3933 )
3934 )
3935 Data.Set.Internal.Tip
3936 Data.Set.Internal.Tip
3937 in let (#
3938 farInp,
3939 farExp
3940 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
3941 GHC.Types.LT ->
3942 (#
3943 inp,
3944 failExp
3945 #)
3946 GHC.Types.EQ ->
3947 (#
3948 farInp,
3949 failExp GHC.Base.<> farExp
3950 #)
3951 GHC.Types.GT ->
3952 (#
3953 farInp,
3954 farExp
3955 #)
3956 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3957 )
3958 failInp
3959 Data.Map.Internal.Tip
3960 else
3961 let _ = "choicesBranch.else"
3962 in finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
3963 loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
3964 let _ = "pushValue"
3965 in let _ = "catch ExceptionFailure checkedHorizon=0"
3966 in let onException =
3967 let _ = "onException"
3968 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
3969 let _ = "loadInput checkedHorizon=0"
3970 in let _ = "checkHorizon.noCheck"
3971 in onException callerInput Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput farInp farExp
3972 in let _ = "pushValue"
3973 in let _ = "comment: satisfy ((GHC.Classes.==) 'f')"
3974 in let inp = callerInput
3975 in let readFail = onException
3976 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=18"
3977 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 17 inp)
3978 then
3979 let _ = "checkToken"
3980 in let !(#
3981 c,
3982 cs
3983 #) = readNext inp
3984 in if (GHC.Classes.==) 'f' c
3985 then
3986 let _ = "lift2Value checkedHorizon=18"
3987 in let _ = "comment: satisfy ((GHC.Classes.==) 'u')"
3988 in let _ = "checkHorizon.oldCheck: checkedHorizon=18"
3989 in let _ = "checkToken"
3990 in let !(#
3991 c,
3992 cs
3993 #) = readNext cs
3994 in if (GHC.Classes.==) 'u' c
3995 then
3996 let _ = "lift2Value checkedHorizon=17"
3997 in let _ = "comment: satisfy ((GHC.Classes.==) 'n')"
3998 in let _ = "checkHorizon.oldCheck: checkedHorizon=17"
3999 in let _ = "checkToken"
4000 in let !(#
4001 c,
4002 cs
4003 #) = readNext cs
4004 in if (GHC.Classes.==) 'n' c
4005 then
4006 let _ = "lift2Value checkedHorizon=16"
4007 in let _ = "comment: satisfy ((GHC.Classes.==) 'c')"
4008 in let _ = "checkHorizon.oldCheck: checkedHorizon=16"
4009 in let _ = "checkToken"
4010 in let !(#
4011 c,
4012 cs
4013 #) = readNext cs
4014 in if (GHC.Classes.==) 'c' c
4015 then
4016 let _ = "lift2Value checkedHorizon=15"
4017 in let _ = "comment: satisfy ((GHC.Classes.==) 't')"
4018 in let _ = "checkHorizon.oldCheck: checkedHorizon=15"
4019 in let _ = "checkToken"
4020 in let !(#
4021 c,
4022 cs
4023 #) = readNext cs
4024 in if (GHC.Classes.==) 't' c
4025 then
4026 let _ = "lift2Value checkedHorizon=14"
4027 in let _ = "comment: satisfy ((GHC.Classes.==) 'i')"
4028 in let _ = "checkHorizon.oldCheck: checkedHorizon=14"
4029 in let _ = "checkToken"
4030 in let !(#
4031 c,
4032 cs
4033 #) = readNext cs
4034 in if (GHC.Classes.==) 'i' c
4035 then
4036 let _ = "lift2Value checkedHorizon=13"
4037 in let _ = "comment: satisfy ((GHC.Classes.==) 'o')"
4038 in let _ = "checkHorizon.oldCheck: checkedHorizon=13"
4039 in let _ = "checkToken"
4040 in let !(#
4041 c,
4042 cs
4043 #) = readNext cs
4044 in if (GHC.Classes.==) 'o' c
4045 then
4046 let _ = "lift2Value checkedHorizon=12"
4047 in let _ = "comment: satisfy ((GHC.Classes.==) 'n')"
4048 in let _ = "checkHorizon.oldCheck: checkedHorizon=12"
4049 in let _ = "checkToken"
4050 in let !(#
4051 c,
4052 cs
4053 #) = readNext cs
4054 in if (GHC.Classes.==) 'n' c
4055 then
4056 let _ = "lift2Value checkedHorizon=11"
4057 in let _ = "commit"
4058 in let _ = "lift2Value checkedHorizon=11"
4059 in name
4060 ( let _ = "onReturn"
4061 in \farInp farExp v (!inp) ->
4062 let _ = "lift2Value checkedHorizon=0"
4063 in name
4064 ( let _ = "onReturn"
4065 in \farInp farExp v (!inp) ->
4066 let _ = "lift2Value checkedHorizon=0"
4067 in name
4068 ( let _ = "onReturn"
4069 in \farInp farExp v (!inp) ->
4070 let _ = "lift2Value checkedHorizon=0"
4071 in let join = \farInp farExp v (!inp) ->
4072 let _ = "lift2Value checkedHorizon=0"
4073 in name
4074 ( let _ = "onReturn"
4075 in \farInp farExp v (!inp) ->
4076 let _ = "lift2Value checkedHorizon=0"
4077 in name
4078 ( let _ = "onReturn"
4079 in \farInp farExp v (!inp) ->
4080 let _ = "lift2Value checkedHorizon=0"
4081 in do
4082 sr <- GHC.STRef.readSTRef reg
4083 let _ = "lift2Value checkedHorizon=0"
4084 in do
4085 let dupv = sr
4086 GHC.STRef.writeSTRef reg dupv
4087 let _ = "jump"
4088 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)
4089 )
4090 inp
4091 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
4092 )
4093 inp
4094 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
4095 in let _ = "catch ExceptionFailure checkedHorizon=0"
4096 in let onException =
4097 let _ = "onException"
4098 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
4099 let _ = "comment: raiseAgainIfConsumed"
4100 in let _ = "saveInput checkedHorizon=0"
4101 in let _ = "lift2Value checkedHorizon=0"
4102 in if ( \( Data.Text.Internal.Text
4103 _
4104 i
4105 _
4106 )
4107 ( Data.Text.Internal.Text
4108 _
4109 j
4110 _
4111 ) -> i GHC.Classes.== j
4112 )
4113 inp
4114 failInp
4115 then
4116 let _ = "choicesBranch checkedHorizon=0"
4117 in name
4118 ( let _ = "onReturn"
4119 in \farInp farExp v (!inp) ->
4120 let _ = "resume"
4121 in join
4122 farInp
4123 farExp
4124 ( let _ = "resume.genCode"
4125 in v
4126 )
4127 inp
4128 )
4129 failInp
4130 Data.Map.Internal.Tip
4131 else
4132 let _ = "choicesBranch.else"
4133 in onException callerInput Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
4134 in let _ = "pushValue"
4135 in let _ = "comment: satisfy ((GHC.Classes.==) ':')"
4136 in let inp = inp
4137 in let readFail = onException
4138 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=8"
4139 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 7 inp)
4140 then
4141 let _ = "checkToken"
4142 in let !(#
4143 c,
4144 cs
4145 #) = readNext inp
4146 in if (GHC.Classes.==) ':' c
4147 then
4148 let _ = "lift2Value checkedHorizon=8"
4149 in name
4150 ( let _ = "onReturn"
4151 in \farInp farExp v (!inp) ->
4152 let _ = "lift2Value checkedHorizon=0"
4153 in name
4154 ( let _ = "onReturn"
4155 in \farInp farExp v (!inp) ->
4156 let _ = "lift2Value checkedHorizon=0"
4157 in let _ = "commit"
4158 in let _ = "resume"
4159 in join
4160 farInp
4161 farExp
4162 ( let _ = "resume.genCode"
4163 in GHC.Tuple . ()
4164 )
4165 inp
4166 )
4167 inp
4168 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
4169 )
4170 cs
4171 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
4172 else
4173 let _ = "checkToken.fail"
4174 in let failExp =
4175 Data.Set.Internal.Bin
4176 1
4177 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4178 ( case inputToken of
4179 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken ':'
4180 )
4181 )
4182 Data.Set.Internal.Tip
4183 Data.Set.Internal.Tip
4184 in let (#
4185 farInp,
4186 farExp
4187 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
4188 GHC.Types.LT ->
4189 (#
4190 inp,
4191 failExp
4192 #)
4193 GHC.Types.EQ ->
4194 (#
4195 farInp,
4196 failExp GHC.Base.<> farExp
4197 #)
4198 GHC.Types.GT ->
4199 (#
4200 farInp,
4201 farExp
4202 #)
4203 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
4204 else
4205 let _ = "checkHorizon.newCheck.fail"
4206 in let failExp =
4207 Data.Set.Internal.Bin
4208 1
4209 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4210 ( case inputToken of
4211 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 8
4212 )
4213 )
4214 Data.Set.Internal.Tip
4215 Data.Set.Internal.Tip
4216 in let (#
4217 farInp,
4218 farExp
4219 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
4220 GHC.Types.LT ->
4221 (#
4222 inp,
4223 failExp
4224 #)
4225 GHC.Types.EQ ->
4226 (#
4227 farInp,
4228 failExp GHC.Base.<> farExp
4229 #)
4230 GHC.Types.GT ->
4231 (#
4232 farInp,
4233 farExp
4234 #)
4235 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
4236 )
4237 inp
4238 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
4239 )
4240 inp
4241 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
4242 )
4243 cs
4244 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
4245 else
4246 let _ = "checkToken.fail"
4247 in let failExp =
4248 Data.Set.Internal.Bin
4249 1
4250 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4251 ( case inputToken of
4252 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'n'
4253 )
4254 )
4255 Data.Set.Internal.Tip
4256 Data.Set.Internal.Tip
4257 in let (#
4258 farInp,
4259 farExp
4260 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
4261 GHC.Types.LT ->
4262 (#
4263 cs,
4264 failExp
4265 #)
4266 GHC.Types.EQ ->
4267 (#
4268 farInp,
4269 failExp GHC.Base.<> farExp
4270 #)
4271 GHC.Types.GT ->
4272 (#
4273 farInp,
4274 farExp
4275 #)
4276 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
4277 else
4278 let _ = "checkToken.fail"
4279 in let failExp =
4280 Data.Set.Internal.Bin
4281 1
4282 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4283 ( case inputToken of
4284 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'o'
4285 )
4286 )
4287 Data.Set.Internal.Tip
4288 Data.Set.Internal.Tip
4289 in let (#
4290 farInp,
4291 farExp
4292 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
4293 GHC.Types.LT ->
4294 (#
4295 cs,
4296 failExp
4297 #)
4298 GHC.Types.EQ ->
4299 (#
4300 farInp,
4301 failExp GHC.Base.<> farExp
4302 #)
4303 GHC.Types.GT ->
4304 (#
4305 farInp,
4306 farExp
4307 #)
4308 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
4309 else
4310 let _ = "checkToken.fail"
4311 in let failExp =
4312 Data.Set.Internal.Bin
4313 1
4314 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4315 ( case inputToken of
4316 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'i'
4317 )
4318 )
4319 Data.Set.Internal.Tip
4320 Data.Set.Internal.Tip
4321 in let (#
4322 farInp,
4323 farExp
4324 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
4325 GHC.Types.LT ->
4326 (#
4327 cs,
4328 failExp
4329 #)
4330 GHC.Types.EQ ->
4331 (#
4332 farInp,
4333 failExp GHC.Base.<> farExp
4334 #)
4335 GHC.Types.GT ->
4336 (#
4337 farInp,
4338 farExp
4339 #)
4340 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
4341 else
4342 let _ = "checkToken.fail"
4343 in let failExp =
4344 Data.Set.Internal.Bin
4345 1
4346 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4347 ( case inputToken of
4348 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 't'
4349 )
4350 )
4351 Data.Set.Internal.Tip
4352 Data.Set.Internal.Tip
4353 in let (#
4354 farInp,
4355 farExp
4356 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
4357 GHC.Types.LT ->
4358 (#
4359 cs,
4360 failExp
4361 #)
4362 GHC.Types.EQ ->
4363 (#
4364 farInp,
4365 failExp GHC.Base.<> farExp
4366 #)
4367 GHC.Types.GT ->
4368 (#
4369 farInp,
4370 farExp
4371 #)
4372 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
4373 else
4374 let _ = "checkToken.fail"
4375 in let failExp =
4376 Data.Set.Internal.Bin
4377 1
4378 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4379 ( case inputToken of
4380 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'c'
4381 )
4382 )
4383 Data.Set.Internal.Tip
4384 Data.Set.Internal.Tip
4385 in let (#
4386 farInp,
4387 farExp
4388 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
4389 GHC.Types.LT ->
4390 (#
4391 cs,
4392 failExp
4393 #)
4394 GHC.Types.EQ ->
4395 (#
4396 farInp,
4397 failExp GHC.Base.<> farExp
4398 #)
4399 GHC.Types.GT ->
4400 (#
4401 farInp,
4402 farExp
4403 #)
4404 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
4405 else
4406 let _ = "checkToken.fail"
4407 in let failExp =
4408 Data.Set.Internal.Bin
4409 1
4410 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4411 ( case inputToken of
4412 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'n'
4413 )
4414 )
4415 Data.Set.Internal.Tip
4416 Data.Set.Internal.Tip
4417 in let (#
4418 farInp,
4419 farExp
4420 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
4421 GHC.Types.LT ->
4422 (#
4423 cs,
4424 failExp
4425 #)
4426 GHC.Types.EQ ->
4427 (#
4428 farInp,
4429 failExp GHC.Base.<> farExp
4430 #)
4431 GHC.Types.GT ->
4432 (#
4433 farInp,
4434 farExp
4435 #)
4436 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
4437 else
4438 let _ = "checkToken.fail"
4439 in let failExp =
4440 Data.Set.Internal.Bin
4441 1
4442 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4443 ( case inputToken of
4444 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'u'
4445 )
4446 )
4447 Data.Set.Internal.Tip
4448 Data.Set.Internal.Tip
4449 in let (#
4450 farInp,
4451 farExp
4452 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
4453 GHC.Types.LT ->
4454 (#
4455 cs,
4456 failExp
4457 #)
4458 GHC.Types.EQ ->
4459 (#
4460 farInp,
4461 failExp GHC.Base.<> farExp
4462 #)
4463 GHC.Types.GT ->
4464 (#
4465 farInp,
4466 farExp
4467 #)
4468 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
4469 else
4470 let _ = "checkToken.fail"
4471 in let failExp =
4472 Data.Set.Internal.Bin
4473 1
4474 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4475 ( case inputToken of
4476 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'f'
4477 )
4478 )
4479 Data.Set.Internal.Tip
4480 Data.Set.Internal.Tip
4481 in let (#
4482 farInp,
4483 farExp
4484 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
4485 GHC.Types.LT ->
4486 (#
4487 inp,
4488 failExp
4489 #)
4490 GHC.Types.EQ ->
4491 (#
4492 farInp,
4493 failExp GHC.Base.<> farExp
4494 #)
4495 GHC.Types.GT ->
4496 (#
4497 farInp,
4498 farExp
4499 #)
4500 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
4501 else
4502 let _ = "checkHorizon.newCheck.fail"
4503 in let failExp =
4504 Data.Set.Internal.Bin
4505 1
4506 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4507 ( case inputToken of
4508 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 18
4509 )
4510 )
4511 Data.Set.Internal.Tip
4512 Data.Set.Internal.Tip
4513 in let (#
4514 farInp,
4515 farExp
4516 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
4517 GHC.Types.LT ->
4518 (#
4519 inp,
4520 failExp
4521 #)
4522 GHC.Types.EQ ->
4523 (#
4524 farInp,
4525 failExp GHC.Base.<> farExp
4526 #)
4527 GHC.Types.GT ->
4528 (#
4529 farInp,
4530 farExp
4531 #)
4532 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
4533 in let _ = "jump"
4534 in loop finalRet inp Data.Map.Internal.Tip
4535 )
4536 inp
4537 Data.Map.Internal.Tip
4538 else
4539 let _ = "checkHorizon.newCheck.fail"
4540 in let failExp =
4541 Data.Set.Internal.Bin
4542 1
4543 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4544 ( case inputToken of
4545 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 1
4546 )
4547 )
4548 Data.Set.Internal.Tip
4549 Data.Set.Internal.Tip
4550 in let (#
4551 farInp,
4552 farExp
4553 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
4554 GHC.Types.LT ->
4555 (#
4556 inp,
4557 failExp
4558 #)
4559 GHC.Types.EQ ->
4560 (#
4561 init,
4562 failExp GHC.Base.<> Data.Set.Internal.empty
4563 #)
4564 GHC.Types.GT ->
4565 (#
4566 init,
4567 Data.Set.Internal.empty
4568 #)
4569 in finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
4570 )