9 ( t@( Data.Text.Internal.Text
15 let !( Data.Text.Unsafe.Iter
18 ) = Data.Text.Unsafe.iter t 0
21 Data.Text.Internal.Text arr (off GHC.Num.+ d) (unconsumed GHC.Num.- d)
24 ( Data.Text.Internal.Text
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
33 Symantic.Parser.Machine.Generate.OnException
36 b = \(!exn) _failInp (!farInp) (!farExp) ->
37 Symantic.Parser.Machine.Generate.returnST GHC.Base.$
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 =
52 else GHC.Maybe.Nothing,
53 Symantic.Parser.Machine.Generate.parsingErrorExpecting =
57 Data.Set.Internal.foldr
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),
67 | GHC.Base.otherwise ->
80 in Data.Set.Internal.fromList GHC.Base.$
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
87 ( let inputToken = Data.Proxy.Proxy :: Data.Proxy.Proxy (Symantic.Parser.Machine.Input.InputToken inp)
89 in let readFail = finalRaise
90 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
93 let name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
94 let _ = "catch ExceptionFailure checkedHorizon=0"
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
106 ( Data.Text.Internal.Text
110 ) -> i GHC.Classes.== j
115 let _ = "choicesBranch checkedHorizon=0"
116 in let _ = "catch ExceptionFailure checkedHorizon=0"
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
128 ( Data.Text.Internal.Text
132 ) -> i GHC.Classes.== j
137 let _ = "choicesBranch checkedHorizon=0"
138 in let _ = "pushValue"
141 in \farInp farExp v (!inp) ->
142 let _ = "lift2Value checkedHorizon=0"
143 in let join = \farInp farExp v (!inp) ->
144 let _ = "lift2Value checkedHorizon=0"
149 ( let _ = "resume.genCode"
153 in let _ = "catch ExceptionFailure checkedHorizon=0"
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
165 ( Data.Text.Internal.Text
169 ) -> i GHC.Classes.== j
174 let _ = "choicesBranch checkedHorizon=0"
177 in \farInp farExp v (!inp) ->
182 ( let _ = "resume.genCode"
188 Data.Map.Internal.Tip
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"
200 ( let _ = "resume.genCode"
204 in let _ = "catch ExceptionFailure checkedHorizon=0"
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
216 ( Data.Text.Internal.Text
220 ) -> i GHC.Classes.== j
225 let _ = "choicesBranch checkedHorizon=0"
228 in \farInp farExp v (!inp) ->
233 ( let _ = "resume.genCode"
239 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
241 let _ = "choicesBranch.else"
242 in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
243 in let _ = "pushValue"
246 in \farInp farExp v (!inp) ->
247 let _ = "lift2Value checkedHorizon=0"
248 in let join = \farInp farExp v (!inp) ->
249 let _ = "lift2Value checkedHorizon=0"
252 in \farInp farExp v (!inp) ->
253 let _ = "lift2Value checkedHorizon=0"
259 ( let _ = "resume.genCode"
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"
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
278 ( Data.Text.Internal.Text
282 ) -> i GHC.Classes.== j
287 let _ = "choicesBranch checkedHorizon=0"
290 in \farInp farExp v (!inp) ->
295 ( let _ = "resume.genCode"
301 Data.Map.Internal.Tip
303 let _ = "choicesBranch.else"
304 in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
305 in let _ = "pushValue"
308 in \farInp farExp v (!inp) ->
309 let _ = "lift2Value checkedHorizon=0"
310 in let _ = "pushValue"
313 reg <- GHC.STRef.newSTRef dupv
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
326 ( Data.Text.Internal.Text
330 ) -> i GHC.Classes.== j
335 let _ = "choicesBranch checkedHorizon=0"
337 sr <- GHC.STRef.readSTRef reg
340 in \farInp farExp v (!inp) ->
341 let _ = "lift2Value checkedHorizon=0"
342 in let _ = "lift2Value checkedHorizon=0"
345 in \farInp farExp v (!inp) ->
346 let _ = "lift2Value checkedHorizon=0"
352 ( let _ = "resume.genCode"
358 Data.Map.Internal.Tip
361 Data.Map.Internal.Tip
363 let _ = "choicesBranch.else"
364 in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
365 loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
369 in \farInp farExp v (!inp) ->
370 let _ = "lift2Value checkedHorizon=0"
373 in \farInp farExp v (!inp) ->
374 let _ = "lift2Value checkedHorizon=0"
377 in \farInp farExp v (!inp) ->
378 let _ = "lift2Value checkedHorizon=0"
380 sr <- GHC.STRef.readSTRef reg
381 let _ = "lift2Value checkedHorizon=0"
384 GHC.STRef.writeSTRef reg dupv
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)
389 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
392 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
395 Data.Map.Internal.Tip
397 in loop callerOnReturn inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
400 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
403 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
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)
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.==) '\\'')"
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)
422 in if (GHC.Classes.==) '\'' c
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.==) '\\'')"
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)
438 in if (GHC.Classes.==) '\'' c
440 let _ = "lift2Value checkedHorizon=2"
443 in \farInp farExp v (!inp) ->
444 let _ = "lift2Value checkedHorizon=0"
450 ( let _ = "resume.genCode"
456 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
458 let _ = "checkToken.fail"
460 Data.Set.Internal.Bin
462 ( Symantic.Parser.Grammar.Combinators.SomeFailure
464 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '\''
467 Data.Set.Internal.Tip
468 Data.Set.Internal.Tip
472 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
481 failExp GHC.Base.<> farExp
488 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
490 let _ = "checkHorizon.newCheck.fail"
492 Data.Set.Internal.Bin
494 ( Symantic.Parser.Grammar.Combinators.SomeFailure
496 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
499 Data.Set.Internal.Tip
500 Data.Set.Internal.Tip
504 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
513 failExp GHC.Base.<> farExp
520 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
521 in let _ = "catch ExceptionFailure checkedHorizon=4"
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
533 ( Data.Text.Internal.Text
537 ) -> i GHC.Classes.== j
542 let _ = "choicesBranch checkedHorizon=0"
543 in let _ = "pushValue"
544 in let _ = "comment: satisfy ((GHC.Classes.==) '\\\\')"
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)
555 in if (GHC.Classes.==) '\\' c
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"
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
567 let _ = "lift2Value checkedHorizon=3"
570 in \farInp farExp v (!inp) ->
571 let _ = "lift2Value checkedHorizon=0"
576 ( let _ = "resume.genCode"
582 Data.Map.Internal.Tip
584 let _ = "checkToken.fail"
586 Data.Set.Internal.Bin
588 ( Symantic.Parser.Grammar.Combinators.SomeFailure
590 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'n'
593 ( Data.Set.Internal.Bin
595 ( Symantic.Parser.Grammar.Combinators.SomeFailure
597 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '0'
600 Data.Set.Internal.Tip
601 ( Data.Set.Internal.Bin
603 ( Symantic.Parser.Grammar.Combinators.SomeFailure
605 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'f'
608 Data.Set.Internal.Tip
609 Data.Set.Internal.Tip
612 ( Data.Set.Internal.Bin
614 ( Symantic.Parser.Grammar.Combinators.SomeFailure
616 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 't'
619 ( Data.Set.Internal.Bin
621 ( Symantic.Parser.Grammar.Combinators.SomeFailure
623 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'r'
626 Data.Set.Internal.Tip
627 Data.Set.Internal.Tip
629 ( Data.Set.Internal.Bin
631 ( Symantic.Parser.Grammar.Combinators.SomeFailure
633 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'v'
636 Data.Set.Internal.Tip
637 Data.Set.Internal.Tip
643 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
652 failExp GHC.Base.<> farExp
659 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
661 let _ = "checkToken.fail"
663 Data.Set.Internal.Bin
665 ( Symantic.Parser.Grammar.Combinators.SomeFailure
667 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '\\'
670 Data.Set.Internal.Tip
671 Data.Set.Internal.Tip
675 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
684 failExp GHC.Base.<> farExp
691 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
693 let _ = "checkHorizon.newCheck.fail"
695 Data.Set.Internal.Bin
697 ( Symantic.Parser.Grammar.Combinators.SomeFailure
699 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 4
702 Data.Set.Internal.Tip
703 Data.Set.Internal.Tip
707 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
716 failExp GHC.Base.<> farExp
723 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
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"
735 in if Parsers.Nandlang.nandStringLetter c
737 let _ = "lift2Value checkedHorizon=3"
740 in \farInp farExp v (!inp) ->
741 let _ = "lift2Value checkedHorizon=0"
747 ( let _ = "resume.genCode"
753 Data.Map.Internal.Tip
755 let _ = "checkToken.fail"
756 in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
758 let _ = "checkToken.fail"
760 Data.Set.Internal.Bin
762 ( Symantic.Parser.Grammar.Combinators.SomeFailure
764 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '\''
767 Data.Set.Internal.Tip
768 Data.Set.Internal.Tip
772 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
781 failExp GHC.Base.<> farExp
788 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
790 let _ = "checkHorizon.newCheck.fail"
792 Data.Set.Internal.Bin
794 ( Symantic.Parser.Grammar.Combinators.SomeFailure
796 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 4
799 Data.Set.Internal.Tip
800 Data.Set.Internal.Tip
804 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
813 failExp GHC.Base.<> farExp
820 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
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"
829 in \farInp farExp v (!inp) ->
830 let _ = "lift2Value checkedHorizon=0"
836 ( let _ = "resume.genCode"
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"
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
855 ( Data.Text.Internal.Text
859 ) -> i GHC.Classes.== j
864 let _ = "choicesBranch checkedHorizon=0"
865 in let _ = "pushValue"
866 in let _ = "comment: satisfy ((GHC.Classes.==) '1')"
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)
877 in if (GHC.Classes.==) '1' c
879 let _ = "lift2Value checkedHorizon=2"
884 ( let _ = "resume.genCode"
889 let _ = "checkToken.fail"
891 Data.Set.Internal.Bin
893 ( Symantic.Parser.Grammar.Combinators.SomeFailure
895 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '1'
898 Data.Set.Internal.Tip
899 Data.Set.Internal.Tip
903 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
912 failExp GHC.Base.<> farExp
919 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
921 let _ = "checkHorizon.newCheck.fail"
923 Data.Set.Internal.Bin
925 ( Symantic.Parser.Grammar.Combinators.SomeFailure
927 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
930 Data.Set.Internal.Tip
931 Data.Set.Internal.Tip
935 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
944 failExp GHC.Base.<> farExp
951 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
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)
967 in if (GHC.Classes.==) '0' c
969 let _ = "lift2Value checkedHorizon=2"
974 Data.Set.Internal.empty
975 ( let _ = "resume.genCode"
980 let _ = "checkToken.fail"
982 Data.Set.Internal.Bin
984 ( Symantic.Parser.Grammar.Combinators.SomeFailure
986 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '0'
989 Data.Set.Internal.Tip
990 Data.Set.Internal.Tip
994 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
1003 failExp GHC.Base.<> Data.Set.Internal.empty
1008 Data.Set.Internal.empty
1010 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
1012 let _ = "checkHorizon.newCheck.fail"
1014 Data.Set.Internal.Bin
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
1021 Data.Set.Internal.Tip
1022 Data.Set.Internal.Tip
1026 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
1035 failExp GHC.Base.<> Data.Set.Internal.empty
1040 Data.Set.Internal.empty
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
1056 ( Data.Text.Internal.Text
1060 ) -> i GHC.Classes.== j
1065 let _ = "choicesBranch checkedHorizon=0"
1067 in name callerOnReturn failInp Data.Map.Internal.Tip
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"
1073 ( let _ = "onReturn"
1074 in \farInp farExp v (!inp) ->
1075 let _ = "lift2Value checkedHorizon=0"
1076 in let _ = "pushValue"
1079 reg <- GHC.STRef.newSTRef dupv
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
1092 ( Data.Text.Internal.Text
1096 ) -> i GHC.Classes.== j
1101 let _ = "choicesBranch checkedHorizon=0"
1103 sr <- GHC.STRef.readSTRef reg
1105 ( let _ = "onReturn"
1106 in \farInp farExp v (!inp) ->
1107 let _ = "lift2Value checkedHorizon=0"
1108 in let _ = "lift2Value checkedHorizon=0"
1110 ( let _ = "onReturn"
1111 in \farInp farExp v (!inp) ->
1112 let _ = "lift2Value checkedHorizon=0"
1118 ( let _ = "resume.genCode"
1124 Data.Map.Internal.Tip
1127 Data.Map.Internal.Tip
1129 let _ = "choicesBranch.else"
1130 in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
1131 loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
1134 ( let _ = "onReturn"
1135 in \farInp farExp v (!inp) ->
1136 let _ = "lift2Value checkedHorizon=0"
1138 ( let _ = "onReturn"
1139 in \farInp farExp v (!inp) ->
1140 let _ = "lift2Value checkedHorizon=0"
1142 ( let _ = "onReturn"
1143 in \farInp farExp v (!inp) ->
1144 let _ = "lift2Value checkedHorizon=0"
1146 sr <- GHC.STRef.readSTRef reg
1147 let _ = "lift2Value checkedHorizon=0"
1150 GHC.STRef.writeSTRef reg dupv
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)
1155 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
1158 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
1161 Data.Map.Internal.Tip
1163 in loop callerOnReturn inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
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"
1174 let _ = "checkToken"
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
1184 Data.Set.Internal.empty
1185 ( let _ = "resume.genCode"
1190 let _ = "checkToken.fail"
1192 Data.Set.Internal.Bin
1194 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1195 ( case inputToken of
1196 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '3'
1199 ( Data.Set.Internal.Bin
1201 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1202 ( case inputToken of
1203 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '1'
1206 ( Data.Set.Internal.Bin
1208 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1209 ( case inputToken of
1210 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '0'
1213 Data.Set.Internal.Tip
1214 Data.Set.Internal.Tip
1216 ( Data.Set.Internal.Bin
1218 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1219 ( case inputToken of
1220 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '2'
1223 Data.Set.Internal.Tip
1224 Data.Set.Internal.Tip
1227 ( Data.Set.Internal.Bin
1229 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1230 ( case inputToken of
1231 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '7'
1234 ( Data.Set.Internal.Bin
1236 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1237 ( case inputToken of
1238 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '5'
1241 ( Data.Set.Internal.Bin
1243 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1244 ( case inputToken of
1245 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '4'
1248 Data.Set.Internal.Tip
1249 Data.Set.Internal.Tip
1251 ( Data.Set.Internal.Bin
1253 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1254 ( case inputToken of
1255 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '6'
1258 Data.Set.Internal.Tip
1259 Data.Set.Internal.Tip
1262 ( Data.Set.Internal.Bin
1264 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1265 ( case inputToken of
1266 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '8'
1269 Data.Set.Internal.Tip
1270 ( Data.Set.Internal.Bin
1272 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1273 ( case inputToken of
1274 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '9'
1277 Data.Set.Internal.Tip
1278 Data.Set.Internal.Tip
1285 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
1294 failExp GHC.Base.<> Data.Set.Internal.empty
1299 Data.Set.Internal.empty
1301 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
1303 let _ = "checkHorizon.newCheck.fail"
1305 Data.Set.Internal.Bin
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
1312 Data.Set.Internal.Tip
1313 Data.Set.Internal.Tip
1317 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
1326 failExp GHC.Base.<> Data.Set.Internal.empty
1331 Data.Set.Internal.empty
1333 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
1334 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
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"
1346 ( let _ = "resume.genCode"
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
1362 ( Data.Text.Internal.Text
1366 ) -> i GHC.Classes.== j
1371 let _ = "choicesBranch checkedHorizon=0"
1373 ( let _ = "onReturn"
1374 in \farInp farExp v (!inp) ->
1379 ( let _ = "resume.genCode"
1385 Data.Map.Internal.Tip
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"
1391 ( let _ = "onReturn"
1392 in \farInp farExp v (!inp) ->
1393 let _ = "lift2Value checkedHorizon=0"
1399 ( let _ = "resume.genCode"
1405 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
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) ->
1412 ( let _ = "onReturn"
1413 in \farInp farExp v (!inp) ->
1414 let _ = "lift2Value checkedHorizon=0"
1415 in let _ = "pushValue"
1418 reg <- GHC.STRef.newSTRef dupv
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
1431 ( Data.Text.Internal.Text
1435 ) -> i GHC.Classes.== j
1440 let _ = "choicesBranch checkedHorizon=0"
1442 sr <- GHC.STRef.readSTRef reg
1444 ( let _ = "onReturn"
1445 in \farInp farExp v (!inp) ->
1446 let _ = "lift2Value checkedHorizon=0"
1447 in let _ = "lift2Value checkedHorizon=0"
1449 ( let _ = "onReturn"
1450 in \farInp farExp v (!inp) ->
1451 let _ = "lift2Value checkedHorizon=0"
1456 ( let _ = "resume.genCode"
1462 Data.Map.Internal.Tip
1465 Data.Map.Internal.Tip
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 ->
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)
1477 let _ = "checkToken"
1482 in if (GHC.Classes.==) '!' c
1484 let _ = "lift2Value checkedHorizon=4"
1486 ( let _ = "onReturn"
1487 in \farInp farExp v (!inp) ->
1488 let _ = "lift2Value checkedHorizon=0"
1490 ( let _ = "onReturn"
1491 in \farInp farExp v (!inp) ->
1492 let _ = "lift2Value checkedHorizon=0"
1494 sr <- GHC.STRef.readSTRef reg
1495 let _ = "lift2Value checkedHorizon=0"
1498 GHC.STRef.writeSTRef reg dupv
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)
1503 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
1506 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
1508 let _ = "checkToken.fail"
1510 Data.Set.Internal.Bin
1512 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1513 ( case inputToken of
1514 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '!'
1517 Data.Set.Internal.Tip
1518 Data.Set.Internal.Tip
1522 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
1531 failExp GHC.Base.<> farExp
1538 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
1540 let _ = "checkHorizon.newCheck.fail"
1542 Data.Set.Internal.Bin
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
1549 Data.Set.Internal.Tip
1550 Data.Set.Internal.Tip
1554 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
1563 failExp GHC.Base.<> farExp
1570 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
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)
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) ->
1579 ( let _ = "onReturn"
1580 in \farInp farExp v (!inp) ->
1581 let _ = "lift2Value checkedHorizon=0"
1582 in let _ = "pushValue"
1585 reg <- GHC.STRef.newSTRef dupv
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
1598 ( Data.Text.Internal.Text
1602 ) -> i GHC.Classes.== j
1607 let _ = "choicesBranch checkedHorizon=0"
1609 sr <- GHC.STRef.readSTRef reg
1611 in let _ = "lift2Value checkedHorizon=0"
1612 in let _ = "lift2Value checkedHorizon=0"
1617 ( let _ = "resume.genCode"
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 ->
1627 ( let _ = "onReturn"
1628 in \farInp farExp v (!inp) ->
1629 let _ = "lift2Value checkedHorizon=0"
1631 sr <- GHC.STRef.readSTRef reg
1632 let _ = "lift2Value checkedHorizon=0"
1635 GHC.STRef.writeSTRef reg dupv
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)
1640 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
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)
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) ->
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)
1662 let _ = "checkToken"
1667 in if Parsers.Nandlang.nandIdentStart c
1669 let _ = "lift2Value checkedHorizon=2"
1670 in let _ = "pushValue"
1673 reg <- GHC.STRef.newSTRef dupv
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
1686 ( Data.Text.Internal.Text
1690 ) -> i GHC.Classes.== j
1695 let _ = "choicesBranch checkedHorizon=0"
1697 sr <- GHC.STRef.readSTRef reg
1699 ( let _ = "onReturn"
1700 in \farInp farExp v (!inp) ->
1701 let _ = "lift2Value checkedHorizon=0"
1702 in let _ = "lift2Value checkedHorizon=0"
1704 in let _ = "lift2Value checkedHorizon=0"
1706 ( let _ = "onReturn"
1707 in \farInp farExp v (!inp) ->
1708 let _ = "lift2Value checkedHorizon=0"
1713 ( let _ = "resume.genCode"
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)
1722 Data.Map.Internal.Tip
1724 let _ = "choicesBranch.else"
1725 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
1726 loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
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"
1734 let _ = "checkToken"
1739 in if Parsers.Nandlang.nandIdentLetter c
1741 let _ = "lift2Value checkedHorizon=1"
1743 sr <- GHC.STRef.readSTRef reg
1744 let _ = "lift2Value checkedHorizon=1"
1747 GHC.STRef.writeSTRef reg dupv
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)
1751 let _ = "checkToken.fail"
1752 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp init Data.Set.Internal.empty
1754 let _ = "checkHorizon.newCheck.fail"
1756 Data.Set.Internal.Bin
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
1763 Data.Set.Internal.Tip
1764 Data.Set.Internal.Tip
1768 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
1777 failExp GHC.Base.<> Data.Set.Internal.empty
1782 Data.Set.Internal.empty
1784 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
1786 in loop callerOnReturn cs (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
1788 let _ = "checkToken.fail"
1789 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp init Data.Set.Internal.empty
1791 let _ = "checkHorizon.newCheck.fail"
1793 Data.Set.Internal.Bin
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
1800 Data.Set.Internal.Tip
1801 Data.Set.Internal.Tip
1805 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
1814 failExp GHC.Base.<> Data.Set.Internal.empty
1819 Data.Set.Internal.empty
1821 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
1822 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
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)
1830 let _ = "checkToken"
1835 in if (GHC.Classes.==) '(' c
1837 let _ = "lift2Value checkedHorizon=2"
1839 ( let _ = "onReturn"
1840 in \farInp farExp v (!inp) ->
1841 let _ = "lift2Value checkedHorizon=0"
1846 ( let _ = "resume.genCode"
1852 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
1854 let _ = "checkToken.fail"
1856 Data.Set.Internal.Bin
1858 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1859 ( case inputToken of
1860 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '('
1863 Data.Set.Internal.Tip
1864 Data.Set.Internal.Tip
1868 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
1877 failExp GHC.Base.<> Data.Set.Internal.empty
1882 Data.Set.Internal.empty
1884 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
1886 let _ = "checkHorizon.newCheck.fail"
1888 Data.Set.Internal.Bin
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
1895 Data.Set.Internal.Tip
1896 Data.Set.Internal.Tip
1900 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
1909 failExp GHC.Base.<> Data.Set.Internal.empty
1914 Data.Set.Internal.empty
1916 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
1917 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
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)
1925 let _ = "checkToken"
1930 in if (GHC.Classes.==) ')' c
1932 let _ = "lift2Value checkedHorizon=2"
1934 ( let _ = "onReturn"
1935 in \farInp farExp v (!inp) ->
1936 let _ = "lift2Value checkedHorizon=0"
1941 ( let _ = "resume.genCode"
1947 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
1949 let _ = "checkToken.fail"
1951 Data.Set.Internal.Bin
1953 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1954 ( case inputToken of
1955 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken ')'
1958 Data.Set.Internal.Tip
1959 Data.Set.Internal.Tip
1963 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
1972 failExp GHC.Base.<> Data.Set.Internal.empty
1977 Data.Set.Internal.empty
1979 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
1981 let _ = "checkHorizon.newCheck.fail"
1983 Data.Set.Internal.Bin
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
1990 Data.Set.Internal.Tip
1991 Data.Set.Internal.Tip
1995 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
2004 failExp GHC.Base.<> Data.Set.Internal.empty
2009 Data.Set.Internal.empty
2011 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2012 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
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)
2020 let _ = "checkToken"
2025 in if (GHC.Classes.==) ',' c
2027 let _ = "lift2Value checkedHorizon=2"
2029 ( let _ = "onReturn"
2030 in \farInp farExp v (!inp) ->
2031 let _ = "lift2Value checkedHorizon=0"
2036 ( let _ = "resume.genCode"
2042 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2044 let _ = "checkToken.fail"
2046 Data.Set.Internal.Bin
2048 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2049 ( case inputToken of
2050 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken ','
2053 Data.Set.Internal.Tip
2054 Data.Set.Internal.Tip
2058 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
2067 failExp GHC.Base.<> Data.Set.Internal.empty
2072 Data.Set.Internal.empty
2074 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2076 let _ = "checkHorizon.newCheck.fail"
2078 Data.Set.Internal.Bin
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
2085 Data.Set.Internal.Tip
2086 Data.Set.Internal.Tip
2090 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
2099 failExp GHC.Base.<> Data.Set.Internal.empty
2104 Data.Set.Internal.empty
2106 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2107 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
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)
2115 let _ = "checkToken"
2120 in if (GHC.Classes.==) ';' c
2122 let _ = "lift2Value checkedHorizon=2"
2124 ( let _ = "onReturn"
2125 in \farInp farExp v (!inp) ->
2126 let _ = "lift2Value checkedHorizon=0"
2131 ( let _ = "resume.genCode"
2137 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2139 let _ = "checkToken.fail"
2141 Data.Set.Internal.Bin
2143 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2144 ( case inputToken of
2145 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken ';'
2148 Data.Set.Internal.Tip
2149 Data.Set.Internal.Tip
2153 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
2162 failExp GHC.Base.<> Data.Set.Internal.empty
2167 Data.Set.Internal.empty
2169 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2171 let _ = "checkHorizon.newCheck.fail"
2173 Data.Set.Internal.Bin
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
2180 Data.Set.Internal.Tip
2181 Data.Set.Internal.Tip
2185 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
2194 failExp GHC.Base.<> Data.Set.Internal.empty
2199 Data.Set.Internal.empty
2201 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2202 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
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)
2210 let _ = "checkToken"
2215 in if (GHC.Classes.==) '[' c
2217 let _ = "lift2Value checkedHorizon=5"
2219 ( let _ = "onReturn"
2220 in \farInp farExp v (!inp) ->
2221 let _ = "lift2Value checkedHorizon=0"
2223 ( let _ = "onReturn"
2224 in \farInp farExp v (!inp) ->
2225 let _ = "lift2Value checkedHorizon=0"
2226 in let _ = "pushValue"
2229 reg <- GHC.STRef.newSTRef dupv
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
2242 ( Data.Text.Internal.Text
2246 ) -> i GHC.Classes.== j
2251 let _ = "choicesBranch checkedHorizon=0"
2253 sr <- GHC.STRef.readSTRef reg
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)
2263 let _ = "checkToken"
2268 in if (GHC.Classes.==) ']' c
2270 let _ = "lift2Value checkedHorizon=2"
2272 ( let _ = "onReturn"
2273 in \farInp farExp v (!inp) ->
2274 let _ = "lift2Value checkedHorizon=0"
2279 ( let _ = "resume.genCode"
2285 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2287 let _ = "checkToken.fail"
2289 Data.Set.Internal.Bin
2291 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2292 ( case inputToken of
2293 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken ']'
2296 Data.Set.Internal.Tip
2297 Data.Set.Internal.Tip
2301 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
2310 failExp GHC.Base.<> farExp
2317 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2319 let _ = "checkHorizon.newCheck.fail"
2321 Data.Set.Internal.Bin
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
2328 Data.Set.Internal.Tip
2329 Data.Set.Internal.Tip
2333 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
2342 failExp GHC.Base.<> farExp
2349 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2351 let _ = "choicesBranch.else"
2352 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
2353 loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
2356 ( let _ = "onReturn"
2357 in \farInp farExp v (!inp) ->
2358 let _ = "lift2Value checkedHorizon=0"
2360 sr <- GHC.STRef.readSTRef reg
2361 let _ = "lift2Value checkedHorizon=0"
2364 GHC.STRef.writeSTRef reg dupv
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)
2369 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2371 in loop callerOnReturn inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2374 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2377 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2379 let _ = "checkToken.fail"
2381 Data.Set.Internal.Bin
2383 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2384 ( case inputToken of
2385 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '['
2388 Data.Set.Internal.Tip
2389 Data.Set.Internal.Tip
2393 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
2402 failExp GHC.Base.<> Data.Set.Internal.empty
2407 Data.Set.Internal.empty
2409 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2411 let _ = "checkHorizon.newCheck.fail"
2413 Data.Set.Internal.Bin
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
2420 Data.Set.Internal.Tip
2421 Data.Set.Internal.Tip
2425 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
2434 failExp GHC.Base.<> Data.Set.Internal.empty
2439 Data.Set.Internal.empty
2441 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2442 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
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)
2450 let _ = "checkToken"
2455 in if (GHC.Classes.==) '{' c
2457 let _ = "lift2Value checkedHorizon=4"
2459 ( let _ = "onReturn"
2460 in \farInp farExp v (!inp) ->
2461 let _ = "lift2Value checkedHorizon=0"
2462 in let _ = "pushValue"
2465 reg <- GHC.STRef.newSTRef dupv
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
2478 ( Data.Text.Internal.Text
2482 ) -> i GHC.Classes.== j
2487 let _ = "choicesBranch checkedHorizon=0"
2489 sr <- GHC.STRef.readSTRef reg
2491 ( let _ = "onReturn"
2492 in \farInp farExp v (!inp) ->
2493 let _ = "lift2Value checkedHorizon=0"
2494 in let _ = "lift2Value checkedHorizon=0"
2496 ( let _ = "onReturn"
2497 in \farInp farExp v (!inp) ->
2498 let _ = "lift2Value checkedHorizon=0"
2499 in let _ = "comment: satisfy ((GHC.Classes.==) '}')"
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)
2505 let _ = "checkToken"
2510 in if (GHC.Classes.==) '}' c
2512 let _ = "lift2Value checkedHorizon=2"
2514 ( let _ = "onReturn"
2515 in \farInp farExp v (!inp) ->
2516 let _ = "lift2Value checkedHorizon=0"
2521 ( let _ = "resume.genCode"
2527 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2529 let _ = "checkToken.fail"
2531 Data.Set.Internal.Bin
2533 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2534 ( case inputToken of
2535 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '}'
2538 Data.Set.Internal.Tip
2539 Data.Set.Internal.Tip
2543 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
2552 failExp GHC.Base.<> farExp
2559 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2561 let _ = "checkHorizon.newCheck.fail"
2563 Data.Set.Internal.Bin
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
2570 Data.Set.Internal.Tip
2571 Data.Set.Internal.Tip
2575 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
2584 failExp GHC.Base.<> farExp
2591 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2594 Data.Map.Internal.Tip
2597 Data.Map.Internal.Tip
2599 let _ = "choicesBranch.else"
2600 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
2601 loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
2603 in let join = \farInp farExp v (!inp) ->
2604 let _ = "lift2Value checkedHorizon=0"
2606 sr <- GHC.STRef.readSTRef reg
2607 let _ = "lift2Value checkedHorizon=0"
2610 GHC.STRef.writeSTRef reg dupv
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
2625 ( Data.Text.Internal.Text
2629 ) -> i GHC.Classes.== j
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
2647 ( Data.Text.Internal.Text
2651 ) -> i GHC.Classes.== j
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
2669 ( Data.Text.Internal.Text
2673 ) -> i GHC.Classes.== j
2678 let _ = "choicesBranch checkedHorizon=0"
2679 in let _ = "pushValue"
2681 ( let _ = "onReturn"
2682 in \farInp farExp v (!inp) ->
2683 let _ = "lift2Value checkedHorizon=0"
2685 ( let _ = "onReturn"
2686 in \farInp farExp v (!inp) ->
2687 let _ = "lift2Value checkedHorizon=0"
2692 ( let _ = "resume.genCode"
2698 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2701 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
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"
2716 ( let _ = "onReturn"
2717 in \farInp farExp v (!inp) ->
2718 let _ = "lift2Value checkedHorizon=0"
2719 in let _ = "pushValue"
2722 reg <- GHC.STRef.newSTRef dupv
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
2735 ( Data.Text.Internal.Text
2739 ) -> i GHC.Classes.== j
2744 let _ = "choicesBranch checkedHorizon=0"
2746 sr <- GHC.STRef.readSTRef reg
2748 ( let _ = "onReturn"
2749 in \farInp farExp v (!inp) ->
2750 let _ = "lift2Value checkedHorizon=0"
2751 in let _ = "lift2Value checkedHorizon=0"
2753 ( let _ = "onReturn"
2754 in \farInp farExp v (!inp) ->
2755 let _ = "lift2Value checkedHorizon=0"
2756 in let _ = "comment: satisfy ((GHC.Classes.==) '=')"
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)
2762 let _ = "checkToken"
2767 in if (GHC.Classes.==) '=' c
2769 let _ = "lift2Value checkedHorizon=6"
2771 ( let _ = "onReturn"
2772 in \farInp farExp v (!inp) ->
2773 let _ = "lift2Value checkedHorizon=0"
2775 ( let _ = "onReturn"
2776 in \farInp farExp v (!inp) ->
2777 let _ = "lift2Value checkedHorizon=0"
2778 in let _ = "pushValue"
2781 reg <- GHC.STRef.newSTRef dupv
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
2794 ( Data.Text.Internal.Text
2798 ) -> i GHC.Classes.== j
2803 let _ = "choicesBranch checkedHorizon=0"
2805 sr <- GHC.STRef.readSTRef reg
2807 ( let _ = "onReturn"
2808 in \farInp farExp v (!inp) ->
2809 let _ = "lift2Value checkedHorizon=0"
2810 in let _ = "lift2Value checkedHorizon=0"
2812 ( let _ = "onReturn"
2813 in \farInp farExp v (!inp) ->
2814 let _ = "lift2Value checkedHorizon=0"
2816 ( let _ = "onReturn"
2817 in \farInp farExp v (!inp) ->
2818 let _ = "lift2Value checkedHorizon=0"
2825 ( let _ = "resume.genCode"
2831 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2834 Data.Map.Internal.Tip
2837 Data.Map.Internal.Tip
2839 let _ = "choicesBranch.else"
2840 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
2841 loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
2844 ( let _ = "onReturn"
2845 in \farInp farExp v (!inp) ->
2846 let _ = "lift2Value checkedHorizon=0"
2848 ( let _ = "onReturn"
2849 in \farInp farExp v (!inp) ->
2850 let _ = "lift2Value checkedHorizon=0"
2852 ( let _ = "onReturn"
2853 in \farInp farExp v (!inp) ->
2854 let _ = "lift2Value checkedHorizon=0"
2856 sr <- GHC.STRef.readSTRef reg
2857 let _ = "lift2Value checkedHorizon=0"
2860 GHC.STRef.writeSTRef reg dupv
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)
2865 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2868 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2871 Data.Map.Internal.Tip
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)
2876 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2879 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2881 let _ = "checkToken.fail"
2883 Data.Set.Internal.Bin
2885 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2886 ( case inputToken of
2887 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '='
2890 Data.Set.Internal.Tip
2891 Data.Set.Internal.Tip
2895 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
2904 failExp GHC.Base.<> farExp
2911 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2913 let _ = "checkHorizon.newCheck.fail"
2915 Data.Set.Internal.Bin
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
2922 Data.Set.Internal.Tip
2923 Data.Set.Internal.Tip
2927 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
2936 failExp GHC.Base.<> farExp
2943 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2946 Data.Map.Internal.Tip
2949 Data.Map.Internal.Tip
2951 let _ = "choicesBranch.else"
2952 in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
2953 loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
2956 ( let _ = "onReturn"
2957 in \farInp farExp v (!inp) ->
2958 let _ = "lift2Value checkedHorizon=0"
2960 ( let _ = "onReturn"
2961 in \farInp farExp v (!inp) ->
2962 let _ = "lift2Value checkedHorizon=0"
2964 ( let _ = "onReturn"
2965 in \farInp farExp v (!inp) ->
2966 let _ = "lift2Value checkedHorizon=0"
2968 sr <- GHC.STRef.readSTRef reg
2969 let _ = "lift2Value checkedHorizon=0"
2972 GHC.STRef.writeSTRef reg dupv
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)
2977 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2980 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2983 Data.Map.Internal.Tip
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)
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
3001 ( Data.Text.Internal.Text
3005 ) -> i GHC.Classes.== j
3010 let _ = "choicesBranch checkedHorizon=0"
3012 ( let _ = "onReturn"
3013 in \farInp farExp v (!inp) ->
3018 ( let _ = "resume.genCode"
3024 Data.Map.Internal.Tip
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)
3043 let _ = "checkToken"
3048 in if (GHC.Classes.==) 'v' c
3050 let _ = "lift2Value checkedHorizon=11"
3051 in let _ = "comment: satisfy ((GHC.Classes.==) 'a')"
3052 in let _ = "checkHorizon.oldCheck: checkedHorizon=11"
3053 in let _ = "checkToken"
3058 in if (GHC.Classes.==) 'a' c
3060 let _ = "lift2Value checkedHorizon=10"
3061 in let _ = "comment: satisfy ((GHC.Classes.==) 'r')"
3062 in let _ = "checkHorizon.oldCheck: checkedHorizon=10"
3063 in let _ = "checkToken"
3068 in if (GHC.Classes.==) 'r' c
3070 let _ = "lift2Value checkedHorizon=9"
3072 in let _ = "lift2Value checkedHorizon=9"
3078 ( let _ = "resume.genCode"
3083 let _ = "checkToken.fail"
3085 Data.Set.Internal.Bin
3087 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3088 ( case inputToken of
3089 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'r'
3092 Data.Set.Internal.Tip
3093 Data.Set.Internal.Tip
3097 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
3106 failExp GHC.Base.<> farExp
3113 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
3115 let _ = "checkToken.fail"
3117 Data.Set.Internal.Bin
3119 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3120 ( case inputToken of
3121 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'a'
3124 Data.Set.Internal.Tip
3125 Data.Set.Internal.Tip
3129 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
3138 failExp GHC.Base.<> farExp
3145 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
3147 let _ = "checkToken.fail"
3149 Data.Set.Internal.Bin
3151 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3152 ( case inputToken of
3153 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'v'
3156 Data.Set.Internal.Tip
3157 Data.Set.Internal.Tip
3161 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
3170 failExp GHC.Base.<> farExp
3177 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3179 let _ = "checkHorizon.newCheck.fail"
3181 Data.Set.Internal.Bin
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
3188 Data.Set.Internal.Tip
3189 Data.Set.Internal.Tip
3193 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
3202 failExp GHC.Base.<> farExp
3209 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
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)
3228 let _ = "checkToken"
3233 in if (GHC.Classes.==) 'w' c
3235 let _ = "lift2Value checkedHorizon=7"
3236 in let _ = "comment: satisfy ((GHC.Classes.==) 'h')"
3237 in let _ = "checkHorizon.oldCheck: checkedHorizon=7"
3238 in let _ = "checkToken"
3243 in if (GHC.Classes.==) 'h' c
3245 let _ = "lift2Value checkedHorizon=6"
3246 in let _ = "comment: satisfy ((GHC.Classes.==) 'i')"
3247 in let _ = "checkHorizon.oldCheck: checkedHorizon=6"
3248 in let _ = "checkToken"
3253 in if (GHC.Classes.==) 'i' c
3255 let _ = "lift2Value checkedHorizon=5"
3256 in let _ = "comment: satisfy ((GHC.Classes.==) 'l')"
3257 in let _ = "checkHorizon.oldCheck: checkedHorizon=5"
3258 in let _ = "checkToken"
3263 in if (GHC.Classes.==) 'l' c
3265 let _ = "lift2Value checkedHorizon=4"
3266 in let _ = "comment: satisfy ((GHC.Classes.==) 'e')"
3267 in let _ = "checkHorizon.oldCheck: checkedHorizon=4"
3268 in let _ = "checkToken"
3273 in if (GHC.Classes.==) 'e' c
3275 let _ = "lift2Value checkedHorizon=3"
3277 in let _ = "lift2Value checkedHorizon=3"
3279 ( let _ = "onReturn"
3280 in \farInp farExp v (!inp) ->
3281 let _ = "lift2Value checkedHorizon=0"
3283 ( let _ = "onReturn"
3284 in \farInp farExp v (!inp) ->
3285 let _ = "lift2Value checkedHorizon=0"
3291 ( let _ = "resume.genCode"
3297 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
3300 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
3302 let _ = "checkToken.fail"
3304 Data.Set.Internal.Bin
3306 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3307 ( case inputToken of
3308 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'e'
3311 Data.Set.Internal.Tip
3312 Data.Set.Internal.Tip
3316 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
3325 failExp GHC.Base.<> farExp
3332 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
3334 let _ = "checkToken.fail"
3336 Data.Set.Internal.Bin
3338 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3339 ( case inputToken of
3340 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'l'
3343 Data.Set.Internal.Tip
3344 Data.Set.Internal.Tip
3348 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
3357 failExp GHC.Base.<> farExp
3364 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
3366 let _ = "checkToken.fail"
3368 Data.Set.Internal.Bin
3370 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3371 ( case inputToken of
3372 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'i'
3375 Data.Set.Internal.Tip
3376 Data.Set.Internal.Tip
3380 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
3389 failExp GHC.Base.<> farExp
3396 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
3398 let _ = "checkToken.fail"
3400 Data.Set.Internal.Bin
3402 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3403 ( case inputToken of
3404 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'h'
3407 Data.Set.Internal.Tip
3408 Data.Set.Internal.Tip
3412 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
3421 failExp GHC.Base.<> farExp
3428 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
3430 let _ = "checkToken.fail"
3432 Data.Set.Internal.Bin
3434 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3435 ( case inputToken of
3436 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'w'
3439 Data.Set.Internal.Tip
3440 Data.Set.Internal.Tip
3444 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
3453 failExp GHC.Base.<> farExp
3460 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3462 let _ = "checkHorizon.newCheck.fail"
3464 Data.Set.Internal.Bin
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
3471 Data.Set.Internal.Tip
3472 Data.Set.Internal.Tip
3476 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
3485 failExp GHC.Base.<> farExp
3492 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
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)
3511 let _ = "checkToken"
3516 in if (GHC.Classes.==) 'i' c
3518 let _ = "lift2Value checkedHorizon=2"
3519 in let _ = "comment: satisfy ((GHC.Classes.==) 'f')"
3520 in let _ = "checkHorizon.oldCheck: checkedHorizon=2"
3521 in let _ = "checkToken"
3526 in if (GHC.Classes.==) 'f' c
3528 let _ = "lift2Value checkedHorizon=1"
3530 in let _ = "lift2Value checkedHorizon=1"
3536 ( let _ = "resume.genCode"
3541 let _ = "checkToken.fail"
3543 Data.Set.Internal.Bin
3545 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3546 ( case inputToken of
3547 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'f'
3550 Data.Set.Internal.Tip
3551 Data.Set.Internal.Tip
3555 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
3564 failExp GHC.Base.<> farExp
3571 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
3573 let _ = "checkToken.fail"
3575 Data.Set.Internal.Bin
3577 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3578 ( case inputToken of
3579 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'i'
3582 Data.Set.Internal.Tip
3583 Data.Set.Internal.Tip
3587 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
3596 failExp GHC.Base.<> farExp
3603 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3605 let _ = "checkHorizon.newCheck.fail"
3607 Data.Set.Internal.Bin
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
3614 Data.Set.Internal.Tip
3615 Data.Set.Internal.Tip
3619 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
3628 failExp GHC.Base.<> farExp
3635 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3637 in loop callerOnReturn inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
3640 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
3642 let _ = "checkToken.fail"
3644 Data.Set.Internal.Bin
3646 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3647 ( case inputToken of
3648 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '{'
3651 Data.Set.Internal.Tip
3652 Data.Set.Internal.Tip
3656 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
3665 failExp GHC.Base.<> Data.Set.Internal.empty
3670 Data.Set.Internal.empty
3672 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3674 let _ = "checkHorizon.newCheck.fail"
3676 Data.Set.Internal.Bin
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
3683 Data.Set.Internal.Tip
3684 Data.Set.Internal.Tip
3688 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
3697 failExp GHC.Base.<> Data.Set.Internal.empty
3702 Data.Set.Internal.empty
3704 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3705 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
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"
3713 let _ = "checkToken"
3718 in if GHC.Unicode.isSpace c
3720 let _ = "lift2Value checkedHorizon=1"
3724 Data.Set.Internal.empty
3725 ( let _ = "resume.genCode"
3730 let _ = "checkToken.fail"
3731 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp init Data.Set.Internal.empty
3733 let _ = "checkHorizon.newCheck.fail"
3735 Data.Set.Internal.Bin
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
3742 Data.Set.Internal.Tip
3743 Data.Set.Internal.Tip
3747 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
3756 failExp GHC.Base.<> Data.Set.Internal.empty
3761 Data.Set.Internal.empty
3763 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3764 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
3769 Data.Set.Internal.empty
3770 ( let _ = "resume.genCode"
3774 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
3779 Data.Set.Internal.empty
3780 ( let _ = "resume.genCode"
3784 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
3789 Data.Set.Internal.empty
3790 ( let _ = "resume.genCode"
3794 in let _ = "pushValue"
3796 ( let _ = "onReturn"
3797 in \farInp farExp v (!inp) ->
3798 let _ = "lift2Value checkedHorizon=0"
3799 in let _ = "pushValue"
3802 reg <- GHC.STRef.newSTRef dupv
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
3815 ( Data.Text.Internal.Text
3819 ) -> i GHC.Classes.== j
3824 let _ = "choicesBranch checkedHorizon=0"
3826 sr <- GHC.STRef.readSTRef reg
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"
3838 ( let _ = "resume.genCode"
3839 in GHC.Show.show GHC.Tuple . ()
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
3854 ( Data.Text.Internal.Text
3858 ) -> i GHC.Classes.== j
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
3869 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp failInp of
3878 failExp GHC.Base.<> farExp
3885 in finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
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"
3903 ( let _ = "resume.genCode"
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)"
3911 in let readFail = onException
3912 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
3915 let _ = "checkToken"
3920 in let _ = "popValue"
3922 in let _ = "loadInput checkedHorizon=0"
3923 in let _ = "checkHorizon.noCheck"
3924 in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3926 let _ = "checkHorizon.newCheck.fail"
3928 Data.Set.Internal.Bin
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
3935 Data.Set.Internal.Tip
3936 Data.Set.Internal.Tip
3940 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
3949 failExp GHC.Base.<> farExp
3956 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3959 Data.Map.Internal.Tip
3961 let _ = "choicesBranch.else"
3962 in finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
3963 loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
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)
3979 let _ = "checkToken"
3984 in if (GHC.Classes.==) 'f' c
3986 let _ = "lift2Value checkedHorizon=18"
3987 in let _ = "comment: satisfy ((GHC.Classes.==) 'u')"
3988 in let _ = "checkHorizon.oldCheck: checkedHorizon=18"
3989 in let _ = "checkToken"
3994 in if (GHC.Classes.==) 'u' c
3996 let _ = "lift2Value checkedHorizon=17"
3997 in let _ = "comment: satisfy ((GHC.Classes.==) 'n')"
3998 in let _ = "checkHorizon.oldCheck: checkedHorizon=17"
3999 in let _ = "checkToken"
4004 in if (GHC.Classes.==) 'n' c
4006 let _ = "lift2Value checkedHorizon=16"
4007 in let _ = "comment: satisfy ((GHC.Classes.==) 'c')"
4008 in let _ = "checkHorizon.oldCheck: checkedHorizon=16"
4009 in let _ = "checkToken"
4014 in if (GHC.Classes.==) 'c' c
4016 let _ = "lift2Value checkedHorizon=15"
4017 in let _ = "comment: satisfy ((GHC.Classes.==) 't')"
4018 in let _ = "checkHorizon.oldCheck: checkedHorizon=15"
4019 in let _ = "checkToken"
4024 in if (GHC.Classes.==) 't' c
4026 let _ = "lift2Value checkedHorizon=14"
4027 in let _ = "comment: satisfy ((GHC.Classes.==) 'i')"
4028 in let _ = "checkHorizon.oldCheck: checkedHorizon=14"
4029 in let _ = "checkToken"
4034 in if (GHC.Classes.==) 'i' c
4036 let _ = "lift2Value checkedHorizon=13"
4037 in let _ = "comment: satisfy ((GHC.Classes.==) 'o')"
4038 in let _ = "checkHorizon.oldCheck: checkedHorizon=13"
4039 in let _ = "checkToken"
4044 in if (GHC.Classes.==) 'o' c
4046 let _ = "lift2Value checkedHorizon=12"
4047 in let _ = "comment: satisfy ((GHC.Classes.==) 'n')"
4048 in let _ = "checkHorizon.oldCheck: checkedHorizon=12"
4049 in let _ = "checkToken"
4054 in if (GHC.Classes.==) 'n' c
4056 let _ = "lift2Value checkedHorizon=11"
4058 in let _ = "lift2Value checkedHorizon=11"
4060 ( let _ = "onReturn"
4061 in \farInp farExp v (!inp) ->
4062 let _ = "lift2Value checkedHorizon=0"
4064 ( let _ = "onReturn"
4065 in \farInp farExp v (!inp) ->
4066 let _ = "lift2Value checkedHorizon=0"
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"
4074 ( let _ = "onReturn"
4075 in \farInp farExp v (!inp) ->
4076 let _ = "lift2Value checkedHorizon=0"
4078 ( let _ = "onReturn"
4079 in \farInp farExp v (!inp) ->
4080 let _ = "lift2Value checkedHorizon=0"
4082 sr <- GHC.STRef.readSTRef reg
4083 let _ = "lift2Value checkedHorizon=0"
4086 GHC.STRef.writeSTRef reg dupv
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)
4091 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
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
4107 ( Data.Text.Internal.Text
4111 ) -> i GHC.Classes.== j
4116 let _ = "choicesBranch checkedHorizon=0"
4118 ( let _ = "onReturn"
4119 in \farInp farExp v (!inp) ->
4124 ( let _ = "resume.genCode"
4130 Data.Map.Internal.Tip
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.==) ':')"
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)
4141 let _ = "checkToken"
4146 in if (GHC.Classes.==) ':' c
4148 let _ = "lift2Value checkedHorizon=8"
4150 ( let _ = "onReturn"
4151 in \farInp farExp v (!inp) ->
4152 let _ = "lift2Value checkedHorizon=0"
4154 ( let _ = "onReturn"
4155 in \farInp farExp v (!inp) ->
4156 let _ = "lift2Value checkedHorizon=0"
4162 ( let _ = "resume.genCode"
4168 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
4171 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
4173 let _ = "checkToken.fail"
4175 Data.Set.Internal.Bin
4177 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4178 ( case inputToken of
4179 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken ':'
4182 Data.Set.Internal.Tip
4183 Data.Set.Internal.Tip
4187 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
4196 failExp GHC.Base.<> farExp
4203 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
4205 let _ = "checkHorizon.newCheck.fail"
4207 Data.Set.Internal.Bin
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
4214 Data.Set.Internal.Tip
4215 Data.Set.Internal.Tip
4219 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
4228 failExp GHC.Base.<> farExp
4235 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
4238 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
4241 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
4244 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
4246 let _ = "checkToken.fail"
4248 Data.Set.Internal.Bin
4250 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4251 ( case inputToken of
4252 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'n'
4255 Data.Set.Internal.Tip
4256 Data.Set.Internal.Tip
4260 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
4269 failExp GHC.Base.<> farExp
4276 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
4278 let _ = "checkToken.fail"
4280 Data.Set.Internal.Bin
4282 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4283 ( case inputToken of
4284 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'o'
4287 Data.Set.Internal.Tip
4288 Data.Set.Internal.Tip
4292 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
4301 failExp GHC.Base.<> farExp
4308 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
4310 let _ = "checkToken.fail"
4312 Data.Set.Internal.Bin
4314 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4315 ( case inputToken of
4316 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'i'
4319 Data.Set.Internal.Tip
4320 Data.Set.Internal.Tip
4324 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
4333 failExp GHC.Base.<> farExp
4340 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
4342 let _ = "checkToken.fail"
4344 Data.Set.Internal.Bin
4346 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4347 ( case inputToken of
4348 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 't'
4351 Data.Set.Internal.Tip
4352 Data.Set.Internal.Tip
4356 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
4365 failExp GHC.Base.<> farExp
4372 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
4374 let _ = "checkToken.fail"
4376 Data.Set.Internal.Bin
4378 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4379 ( case inputToken of
4380 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'c'
4383 Data.Set.Internal.Tip
4384 Data.Set.Internal.Tip
4388 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
4397 failExp GHC.Base.<> farExp
4404 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
4406 let _ = "checkToken.fail"
4408 Data.Set.Internal.Bin
4410 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4411 ( case inputToken of
4412 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'n'
4415 Data.Set.Internal.Tip
4416 Data.Set.Internal.Tip
4420 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
4429 failExp GHC.Base.<> farExp
4436 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
4438 let _ = "checkToken.fail"
4440 Data.Set.Internal.Bin
4442 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4443 ( case inputToken of
4444 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'u'
4447 Data.Set.Internal.Tip
4448 Data.Set.Internal.Tip
4452 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
4461 failExp GHC.Base.<> farExp
4468 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
4470 let _ = "checkToken.fail"
4472 Data.Set.Internal.Bin
4474 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4475 ( case inputToken of
4476 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'f'
4479 Data.Set.Internal.Tip
4480 Data.Set.Internal.Tip
4484 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
4493 failExp GHC.Base.<> farExp
4500 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
4502 let _ = "checkHorizon.newCheck.fail"
4504 Data.Set.Internal.Bin
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
4511 Data.Set.Internal.Tip
4512 Data.Set.Internal.Tip
4516 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
4525 failExp GHC.Base.<> farExp
4532 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
4534 in loop finalRet inp Data.Map.Internal.Tip
4537 Data.Map.Internal.Tip
4539 let _ = "checkHorizon.newCheck.fail"
4541 Data.Set.Internal.Bin
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
4548 Data.Set.Internal.Tip
4549 Data.Set.Internal.Tip
4553 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
4562 failExp GHC.Base.<> Data.Set.Internal.empty
4567 Data.Set.Internal.empty
4569 in finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp