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 ( let _ = "onReturn"
1705 in \farInp farExp v (!inp) ->
1706 let _ = "lift2Value checkedHorizon=0"
1708 in let _ = "lift2Value checkedHorizon=0"
1710 ( let _ = "onReturn"
1711 in \farInp farExp v (!inp) ->
1712 let _ = "lift2Value checkedHorizon=0"
1717 ( let _ = "resume.genCode"
1723 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel) Data.Map.Internal.Tip Data.Map.Internal.Tip)
1726 Data.Map.Internal.Tip
1729 Data.Map.Internal.Tip
1731 let _ = "choicesBranch.else"
1732 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
1733 loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
1735 in let _ = "comment: satisfy Parsers.Nandlang.nandIdentLetter"
1736 in let inp = callerInput
1737 in let readFail = onException callerInput
1738 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
1741 let _ = "checkToken"
1746 in if Parsers.Nandlang.nandIdentLetter c
1748 let _ = "lift2Value checkedHorizon=1"
1750 sr <- GHC.STRef.readSTRef reg
1751 let _ = "lift2Value checkedHorizon=1"
1754 GHC.STRef.writeSTRef reg dupv
1756 in loop (GHC.Err.error "invalid onReturn") cs (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
1758 let _ = "checkToken.fail"
1759 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp init Data.Set.Internal.empty
1761 let _ = "checkHorizon.newCheck.fail"
1763 Data.Set.Internal.Bin
1765 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1766 ( case inputToken of
1767 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 1
1770 Data.Set.Internal.Tip
1771 Data.Set.Internal.Tip
1775 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
1784 failExp GHC.Base.<> Data.Set.Internal.empty
1789 Data.Set.Internal.empty
1791 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
1793 in loop callerOnReturn cs (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
1795 let _ = "checkToken.fail"
1796 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp init Data.Set.Internal.empty
1798 let _ = "checkHorizon.newCheck.fail"
1800 Data.Set.Internal.Bin
1802 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1803 ( case inputToken of
1804 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
1807 Data.Set.Internal.Tip
1808 Data.Set.Internal.Tip
1812 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
1821 failExp GHC.Base.<> Data.Set.Internal.empty
1826 Data.Set.Internal.empty
1828 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
1829 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
1831 in let _ = "comment: satisfy ((GHC.Classes.==) '(')"
1832 in let inp = callerInput
1833 in let readFail = Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel
1834 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
1835 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 1 inp)
1837 let _ = "checkToken"
1842 in if (GHC.Classes.==) '(' c
1844 let _ = "lift2Value checkedHorizon=2"
1846 ( let _ = "onReturn"
1847 in \farInp farExp v (!inp) ->
1848 let _ = "lift2Value checkedHorizon=0"
1853 ( let _ = "resume.genCode"
1859 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
1861 let _ = "checkToken.fail"
1863 Data.Set.Internal.Bin
1865 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1866 ( case inputToken of
1867 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '('
1870 Data.Set.Internal.Tip
1871 Data.Set.Internal.Tip
1875 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
1884 failExp GHC.Base.<> Data.Set.Internal.empty
1889 Data.Set.Internal.empty
1891 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
1893 let _ = "checkHorizon.newCheck.fail"
1895 Data.Set.Internal.Bin
1897 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1898 ( case inputToken of
1899 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
1902 Data.Set.Internal.Tip
1903 Data.Set.Internal.Tip
1907 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
1916 failExp GHC.Base.<> Data.Set.Internal.empty
1921 Data.Set.Internal.empty
1923 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
1924 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
1926 in let _ = "comment: satisfy ((GHC.Classes.==) ')')"
1927 in let inp = callerInput
1928 in let readFail = Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel
1929 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
1930 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 1 inp)
1932 let _ = "checkToken"
1937 in if (GHC.Classes.==) ')' c
1939 let _ = "lift2Value checkedHorizon=2"
1941 ( let _ = "onReturn"
1942 in \farInp farExp v (!inp) ->
1943 let _ = "lift2Value checkedHorizon=0"
1948 ( let _ = "resume.genCode"
1954 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
1956 let _ = "checkToken.fail"
1958 Data.Set.Internal.Bin
1960 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1961 ( case inputToken of
1962 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken ')'
1965 Data.Set.Internal.Tip
1966 Data.Set.Internal.Tip
1970 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
1979 failExp GHC.Base.<> Data.Set.Internal.empty
1984 Data.Set.Internal.empty
1986 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
1988 let _ = "checkHorizon.newCheck.fail"
1990 Data.Set.Internal.Bin
1992 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1993 ( case inputToken of
1994 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
1997 Data.Set.Internal.Tip
1998 Data.Set.Internal.Tip
2002 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
2011 failExp GHC.Base.<> Data.Set.Internal.empty
2016 Data.Set.Internal.empty
2018 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2019 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
2021 in let _ = "comment: satisfy ((GHC.Classes.==) ',')"
2022 in let inp = callerInput
2023 in let readFail = Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel
2024 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
2025 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 1 inp)
2027 let _ = "checkToken"
2032 in if (GHC.Classes.==) ',' c
2034 let _ = "lift2Value checkedHorizon=2"
2036 ( let _ = "onReturn"
2037 in \farInp farExp v (!inp) ->
2038 let _ = "lift2Value checkedHorizon=0"
2043 ( let _ = "resume.genCode"
2049 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2051 let _ = "checkToken.fail"
2053 Data.Set.Internal.Bin
2055 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2056 ( case inputToken of
2057 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken ','
2060 Data.Set.Internal.Tip
2061 Data.Set.Internal.Tip
2065 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
2074 failExp GHC.Base.<> Data.Set.Internal.empty
2079 Data.Set.Internal.empty
2081 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2083 let _ = "checkHorizon.newCheck.fail"
2085 Data.Set.Internal.Bin
2087 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2088 ( case inputToken of
2089 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
2092 Data.Set.Internal.Tip
2093 Data.Set.Internal.Tip
2097 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
2106 failExp GHC.Base.<> Data.Set.Internal.empty
2111 Data.Set.Internal.empty
2113 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2114 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
2116 in let _ = "comment: satisfy ((GHC.Classes.==) ';')"
2117 in let inp = callerInput
2118 in let readFail = Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel
2119 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
2120 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 1 inp)
2122 let _ = "checkToken"
2127 in if (GHC.Classes.==) ';' c
2129 let _ = "lift2Value checkedHorizon=2"
2131 ( let _ = "onReturn"
2132 in \farInp farExp v (!inp) ->
2133 let _ = "lift2Value checkedHorizon=0"
2138 ( let _ = "resume.genCode"
2144 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2146 let _ = "checkToken.fail"
2148 Data.Set.Internal.Bin
2150 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2151 ( case inputToken of
2152 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken ';'
2155 Data.Set.Internal.Tip
2156 Data.Set.Internal.Tip
2160 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
2169 failExp GHC.Base.<> Data.Set.Internal.empty
2174 Data.Set.Internal.empty
2176 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2178 let _ = "checkHorizon.newCheck.fail"
2180 Data.Set.Internal.Bin
2182 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2183 ( case inputToken of
2184 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
2187 Data.Set.Internal.Tip
2188 Data.Set.Internal.Tip
2192 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
2201 failExp GHC.Base.<> Data.Set.Internal.empty
2206 Data.Set.Internal.empty
2208 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2209 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
2211 in let _ = "comment: satisfy ((GHC.Classes.==) '[')"
2212 in let inp = callerInput
2213 in let readFail = Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel
2214 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=5"
2215 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 4 inp)
2217 let _ = "checkToken"
2222 in if (GHC.Classes.==) '[' c
2224 let _ = "lift2Value checkedHorizon=5"
2226 ( let _ = "onReturn"
2227 in \farInp farExp v (!inp) ->
2228 let _ = "lift2Value checkedHorizon=0"
2230 ( let _ = "onReturn"
2231 in \farInp farExp v (!inp) ->
2232 let _ = "lift2Value checkedHorizon=0"
2233 in let _ = "pushValue"
2236 reg <- GHC.STRef.newSTRef dupv
2238 in let onException loopInput =
2239 let _ = "onException"
2240 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
2241 let _ = "comment: raiseAgainIfConsumed"
2242 in let _ = "saveInput checkedHorizon=0"
2243 in let _ = "lift2Value checkedHorizon=0"
2244 in if ( \( Data.Text.Internal.Text
2249 ( Data.Text.Internal.Text
2253 ) -> i GHC.Classes.== j
2258 let _ = "choicesBranch checkedHorizon=0"
2260 sr <- GHC.STRef.readSTRef reg
2262 in let _ = "lift2Value checkedHorizon=0"
2263 in let _ = "lift2Value checkedHorizon=0"
2264 in let _ = "comment: satisfy ((GHC.Classes.==) ']')"
2265 in let inp = failInp
2266 in let readFail = readFail
2267 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
2268 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 1 inp)
2270 let _ = "checkToken"
2275 in if (GHC.Classes.==) ']' c
2277 let _ = "lift2Value checkedHorizon=2"
2279 ( let _ = "onReturn"
2280 in \farInp farExp v (!inp) ->
2281 let _ = "lift2Value checkedHorizon=0"
2286 ( let _ = "resume.genCode"
2292 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2294 let _ = "checkToken.fail"
2296 Data.Set.Internal.Bin
2298 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2299 ( case inputToken of
2300 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken ']'
2303 Data.Set.Internal.Tip
2304 Data.Set.Internal.Tip
2308 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
2317 failExp GHC.Base.<> farExp
2324 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2326 let _ = "checkHorizon.newCheck.fail"
2328 Data.Set.Internal.Bin
2330 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2331 ( case inputToken of
2332 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
2335 Data.Set.Internal.Tip
2336 Data.Set.Internal.Tip
2340 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
2349 failExp GHC.Base.<> farExp
2356 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2358 let _ = "choicesBranch.else"
2359 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
2360 loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
2363 ( let _ = "onReturn"
2364 in \farInp farExp v (!inp) ->
2365 let _ = "lift2Value checkedHorizon=0"
2367 sr <- GHC.STRef.readSTRef reg
2368 let _ = "lift2Value checkedHorizon=0"
2371 GHC.STRef.writeSTRef reg dupv
2373 in loop (GHC.Err.error "invalid onReturn") inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2376 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2378 in loop callerOnReturn inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2381 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2384 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2386 let _ = "checkToken.fail"
2388 Data.Set.Internal.Bin
2390 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2391 ( case inputToken of
2392 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '['
2395 Data.Set.Internal.Tip
2396 Data.Set.Internal.Tip
2400 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
2409 failExp GHC.Base.<> Data.Set.Internal.empty
2414 Data.Set.Internal.empty
2416 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2418 let _ = "checkHorizon.newCheck.fail"
2420 Data.Set.Internal.Bin
2422 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2423 ( case inputToken of
2424 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 5
2427 Data.Set.Internal.Tip
2428 Data.Set.Internal.Tip
2432 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
2441 failExp GHC.Base.<> Data.Set.Internal.empty
2446 Data.Set.Internal.empty
2448 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2449 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
2451 in let _ = "comment: satisfy ((GHC.Classes.==) '{')"
2452 in let inp = callerInput
2453 in let readFail = Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel
2454 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=4"
2455 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 3 inp)
2457 let _ = "checkToken"
2462 in if (GHC.Classes.==) '{' c
2464 let _ = "lift2Value checkedHorizon=4"
2466 ( let _ = "onReturn"
2467 in \farInp farExp v (!inp) ->
2468 let _ = "lift2Value checkedHorizon=0"
2469 in let _ = "pushValue"
2472 reg <- GHC.STRef.newSTRef dupv
2474 in let onException loopInput =
2475 let _ = "onException"
2476 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
2477 let _ = "comment: raiseAgainIfConsumed"
2478 in let _ = "saveInput checkedHorizon=0"
2479 in let _ = "lift2Value checkedHorizon=0"
2480 in if ( \( Data.Text.Internal.Text
2485 ( Data.Text.Internal.Text
2489 ) -> i GHC.Classes.== j
2494 let _ = "choicesBranch checkedHorizon=0"
2496 sr <- GHC.STRef.readSTRef reg
2498 ( let _ = "onReturn"
2499 in \farInp farExp v (!inp) ->
2500 let _ = "lift2Value checkedHorizon=0"
2501 in let _ = "lift2Value checkedHorizon=0"
2503 ( let _ = "onReturn"
2504 in \farInp farExp v (!inp) ->
2505 let _ = "lift2Value checkedHorizon=0"
2506 in let _ = "comment: satisfy ((GHC.Classes.==) '}')"
2508 in let readFail = readFail
2509 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
2510 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 1 inp)
2512 let _ = "checkToken"
2517 in if (GHC.Classes.==) '}' c
2519 let _ = "lift2Value checkedHorizon=2"
2521 ( let _ = "onReturn"
2522 in \farInp farExp v (!inp) ->
2523 let _ = "lift2Value checkedHorizon=0"
2528 ( let _ = "resume.genCode"
2534 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2536 let _ = "checkToken.fail"
2538 Data.Set.Internal.Bin
2540 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2541 ( case inputToken of
2542 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '}'
2545 Data.Set.Internal.Tip
2546 Data.Set.Internal.Tip
2550 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
2559 failExp GHC.Base.<> farExp
2566 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2568 let _ = "checkHorizon.newCheck.fail"
2570 Data.Set.Internal.Bin
2572 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2573 ( case inputToken of
2574 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
2577 Data.Set.Internal.Tip
2578 Data.Set.Internal.Tip
2582 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
2591 failExp GHC.Base.<> farExp
2598 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2601 Data.Map.Internal.Tip
2604 Data.Map.Internal.Tip
2606 let _ = "choicesBranch.else"
2607 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
2608 loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
2610 in let join = \farInp farExp v (!inp) ->
2611 let _ = "lift2Value checkedHorizon=0"
2613 sr <- GHC.STRef.readSTRef reg
2614 let _ = "lift2Value checkedHorizon=0"
2617 GHC.STRef.writeSTRef reg dupv
2619 in loop (GHC.Err.error "invalid onReturn") inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2620 in let _ = "catch ExceptionFailure checkedHorizon=0"
2621 in let onException =
2622 let _ = "onException"
2623 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
2624 let _ = "comment: raiseAgainIfConsumed"
2625 in let _ = "saveInput checkedHorizon=0"
2626 in let _ = "lift2Value checkedHorizon=0"
2627 in if ( \( Data.Text.Internal.Text
2632 ( Data.Text.Internal.Text
2636 ) -> i GHC.Classes.== j
2641 let _ = "choicesBranch checkedHorizon=0"
2642 in let _ = "catch ExceptionFailure checkedHorizon=0"
2643 in let onException =
2644 let _ = "onException"
2645 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
2646 let _ = "comment: raiseAgainIfConsumed"
2647 in let _ = "saveInput checkedHorizon=0"
2648 in let _ = "lift2Value checkedHorizon=0"
2649 in if ( \( Data.Text.Internal.Text
2654 ( Data.Text.Internal.Text
2658 ) -> i GHC.Classes.== j
2663 let _ = "choicesBranch checkedHorizon=0"
2664 in let _ = "catch ExceptionFailure checkedHorizon=0"
2665 in let onException =
2666 let _ = "onException"
2667 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
2668 let _ = "comment: raiseAgainIfConsumed"
2669 in let _ = "saveInput checkedHorizon=0"
2670 in let _ = "lift2Value checkedHorizon=0"
2671 in if ( \( Data.Text.Internal.Text
2676 ( Data.Text.Internal.Text
2680 ) -> i GHC.Classes.== j
2685 let _ = "choicesBranch checkedHorizon=0"
2686 in let _ = "pushValue"
2688 ( let _ = "onReturn"
2689 in \farInp farExp v (!inp) ->
2690 let _ = "lift2Value checkedHorizon=0"
2692 ( let _ = "onReturn"
2693 in \farInp farExp v (!inp) ->
2694 let _ = "lift2Value checkedHorizon=0"
2699 ( let _ = "resume.genCode"
2705 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2708 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2710 let _ = "choicesBranch.else"
2711 in onException callerInput Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
2712 in let _ = "catch ExceptionFailure checkedHorizon=0"
2713 in let onException =
2714 let _ = "onException"
2715 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
2716 let _ = "loadInput checkedHorizon=0"
2717 in let _ = "checkHorizon.noCheck"
2718 in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
2719 in let _ = "pushValue"
2720 in let join = \farInp farExp v (!inp) ->
2721 let _ = "lift2Value checkedHorizon=0"
2723 ( let _ = "onReturn"
2724 in \farInp farExp v (!inp) ->
2725 let _ = "lift2Value checkedHorizon=0"
2726 in let _ = "pushValue"
2729 reg <- GHC.STRef.newSTRef dupv
2731 in let onException loopInput =
2732 let _ = "onException"
2733 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
2734 let _ = "comment: raiseAgainIfConsumed"
2735 in let _ = "saveInput checkedHorizon=0"
2736 in let _ = "lift2Value checkedHorizon=0"
2737 in if ( \( Data.Text.Internal.Text
2742 ( Data.Text.Internal.Text
2746 ) -> i GHC.Classes.== j
2751 let _ = "choicesBranch checkedHorizon=0"
2753 sr <- GHC.STRef.readSTRef reg
2755 ( let _ = "onReturn"
2756 in \farInp farExp v (!inp) ->
2757 let _ = "lift2Value checkedHorizon=0"
2758 in let _ = "lift2Value checkedHorizon=0"
2760 ( let _ = "onReturn"
2761 in \farInp farExp v (!inp) ->
2762 let _ = "lift2Value checkedHorizon=0"
2763 in let _ = "comment: satisfy ((GHC.Classes.==) '=')"
2765 in let readFail = onException
2766 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=6"
2767 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 5 inp)
2769 let _ = "checkToken"
2774 in if (GHC.Classes.==) '=' c
2776 let _ = "lift2Value checkedHorizon=6"
2778 ( let _ = "onReturn"
2779 in \farInp farExp v (!inp) ->
2780 let _ = "lift2Value checkedHorizon=0"
2782 ( let _ = "onReturn"
2783 in \farInp farExp v (!inp) ->
2784 let _ = "lift2Value checkedHorizon=0"
2785 in let _ = "pushValue"
2788 reg <- GHC.STRef.newSTRef dupv
2790 in let onException loopInput =
2791 let _ = "onException"
2792 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
2793 let _ = "comment: raiseAgainIfConsumed"
2794 in let _ = "saveInput checkedHorizon=0"
2795 in let _ = "lift2Value checkedHorizon=0"
2796 in if ( \( Data.Text.Internal.Text
2801 ( Data.Text.Internal.Text
2805 ) -> i GHC.Classes.== j
2810 let _ = "choicesBranch checkedHorizon=0"
2812 sr <- GHC.STRef.readSTRef reg
2814 ( let _ = "onReturn"
2815 in \farInp farExp v (!inp) ->
2816 let _ = "lift2Value checkedHorizon=0"
2817 in let _ = "lift2Value checkedHorizon=0"
2819 ( let _ = "onReturn"
2820 in \farInp farExp v (!inp) ->
2821 let _ = "lift2Value checkedHorizon=0"
2823 ( let _ = "onReturn"
2824 in \farInp farExp v (!inp) ->
2825 let _ = "lift2Value checkedHorizon=0"
2832 ( let _ = "resume.genCode"
2838 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2841 Data.Map.Internal.Tip
2844 Data.Map.Internal.Tip
2846 let _ = "choicesBranch.else"
2847 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
2848 loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
2851 ( let _ = "onReturn"
2852 in \farInp farExp v (!inp) ->
2853 let _ = "lift2Value checkedHorizon=0"
2855 ( let _ = "onReturn"
2856 in \farInp farExp v (!inp) ->
2857 let _ = "lift2Value checkedHorizon=0"
2859 ( let _ = "onReturn"
2860 in \farInp farExp v (!inp) ->
2861 let _ = "lift2Value checkedHorizon=0"
2863 sr <- GHC.STRef.readSTRef reg
2864 let _ = "lift2Value checkedHorizon=0"
2867 GHC.STRef.writeSTRef reg dupv
2869 in loop (GHC.Err.error "invalid onReturn") inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2872 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2875 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2878 Data.Map.Internal.Tip
2880 in loop (GHC.Err.error "invalid onReturn") inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2883 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2886 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
2888 let _ = "checkToken.fail"
2890 Data.Set.Internal.Bin
2892 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2893 ( case inputToken of
2894 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '='
2897 Data.Set.Internal.Tip
2898 Data.Set.Internal.Tip
2902 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
2911 failExp GHC.Base.<> farExp
2918 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2920 let _ = "checkHorizon.newCheck.fail"
2922 Data.Set.Internal.Bin
2924 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2925 ( case inputToken of
2926 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 6
2929 Data.Set.Internal.Tip
2930 Data.Set.Internal.Tip
2934 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
2943 failExp GHC.Base.<> farExp
2950 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
2953 Data.Map.Internal.Tip
2956 Data.Map.Internal.Tip
2958 let _ = "choicesBranch.else"
2959 in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
2960 loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
2963 ( let _ = "onReturn"
2964 in \farInp farExp v (!inp) ->
2965 let _ = "lift2Value checkedHorizon=0"
2967 ( let _ = "onReturn"
2968 in \farInp farExp v (!inp) ->
2969 let _ = "lift2Value checkedHorizon=0"
2971 ( let _ = "onReturn"
2972 in \farInp farExp v (!inp) ->
2973 let _ = "lift2Value checkedHorizon=0"
2975 sr <- GHC.STRef.readSTRef reg
2976 let _ = "lift2Value checkedHorizon=0"
2979 GHC.STRef.writeSTRef reg dupv
2981 in loop (GHC.Err.error "invalid onReturn") inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2984 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2987 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2990 Data.Map.Internal.Tip
2992 in loop (GHC.Err.error "invalid onReturn") inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
2995 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
2996 in let _ = "catch ExceptionFailure checkedHorizon=0"
2997 in let onException =
2998 let _ = "onException"
2999 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
3000 let _ = "comment: raiseAgainIfConsumed"
3001 in let _ = "saveInput checkedHorizon=0"
3002 in let _ = "lift2Value checkedHorizon=0"
3003 in if ( \( Data.Text.Internal.Text
3008 ( Data.Text.Internal.Text
3012 ) -> i GHC.Classes.== j
3017 let _ = "choicesBranch checkedHorizon=0"
3019 ( let _ = "onReturn"
3020 in \farInp farExp v (!inp) ->
3025 ( let _ = "resume.genCode"
3031 Data.Map.Internal.Tip
3033 let _ = "choicesBranch.else"
3034 in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
3035 in let _ = "pushValue"
3036 in let _ = "catch ExceptionFailure checkedHorizon=0"
3037 in let onException =
3038 let _ = "onException"
3039 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
3040 let _ = "loadInput checkedHorizon=0"
3041 in let _ = "checkHorizon.noCheck"
3042 in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
3043 in let _ = "pushValue"
3044 in let _ = "comment: satisfy ((GHC.Classes.==) 'v')"
3045 in let inp = failInp
3046 in let readFail = onException
3047 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=11"
3048 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 10 inp)
3050 let _ = "checkToken"
3055 in if (GHC.Classes.==) 'v' c
3057 let _ = "lift2Value checkedHorizon=11"
3058 in let _ = "comment: satisfy ((GHC.Classes.==) 'a')"
3059 in let _ = "checkHorizon.oldCheck: checkedHorizon=11"
3060 in let _ = "checkToken"
3065 in if (GHC.Classes.==) 'a' c
3067 let _ = "lift2Value checkedHorizon=10"
3068 in let _ = "comment: satisfy ((GHC.Classes.==) 'r')"
3069 in let _ = "checkHorizon.oldCheck: checkedHorizon=10"
3070 in let _ = "checkToken"
3075 in if (GHC.Classes.==) 'r' c
3077 let _ = "lift2Value checkedHorizon=9"
3079 in let _ = "lift2Value checkedHorizon=9"
3081 ( let _ = "onReturn"
3082 in \farInp farExp v (!inp) ->
3083 let _ = "lift2Value checkedHorizon=0"
3089 ( let _ = "resume.genCode"
3095 Data.Map.Internal.Tip
3097 let _ = "checkToken.fail"
3099 Data.Set.Internal.Bin
3101 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3102 ( case inputToken of
3103 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'r'
3106 Data.Set.Internal.Tip
3107 Data.Set.Internal.Tip
3111 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
3120 failExp GHC.Base.<> farExp
3127 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
3129 let _ = "checkToken.fail"
3131 Data.Set.Internal.Bin
3133 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3134 ( case inputToken of
3135 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'a'
3138 Data.Set.Internal.Tip
3139 Data.Set.Internal.Tip
3143 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
3152 failExp GHC.Base.<> farExp
3159 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
3161 let _ = "checkToken.fail"
3163 Data.Set.Internal.Bin
3165 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3166 ( case inputToken of
3167 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'v'
3170 Data.Set.Internal.Tip
3171 Data.Set.Internal.Tip
3175 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
3184 failExp GHC.Base.<> farExp
3191 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3193 let _ = "checkHorizon.newCheck.fail"
3195 Data.Set.Internal.Bin
3197 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3198 ( case inputToken of
3199 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 11
3202 Data.Set.Internal.Tip
3203 Data.Set.Internal.Tip
3207 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
3216 failExp GHC.Base.<> farExp
3223 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3225 let _ = "choicesBranch.else"
3226 in onException callerInput Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
3227 in let _ = "pushValue"
3228 in let _ = "catch ExceptionFailure checkedHorizon=0"
3229 in let onException =
3230 let _ = "onException"
3231 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
3232 let _ = "loadInput checkedHorizon=0"
3233 in let _ = "checkHorizon.noCheck"
3234 in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
3235 in let _ = "pushValue"
3236 in let _ = "comment: satisfy ((GHC.Classes.==) 'w')"
3237 in let inp = failInp
3238 in let readFail = onException
3239 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=7"
3240 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 6 inp)
3242 let _ = "checkToken"
3247 in if (GHC.Classes.==) 'w' c
3249 let _ = "lift2Value checkedHorizon=7"
3250 in let _ = "comment: satisfy ((GHC.Classes.==) 'h')"
3251 in let _ = "checkHorizon.oldCheck: checkedHorizon=7"
3252 in let _ = "checkToken"
3257 in if (GHC.Classes.==) 'h' c
3259 let _ = "lift2Value checkedHorizon=6"
3260 in let _ = "comment: satisfy ((GHC.Classes.==) 'i')"
3261 in let _ = "checkHorizon.oldCheck: checkedHorizon=6"
3262 in let _ = "checkToken"
3267 in if (GHC.Classes.==) 'i' c
3269 let _ = "lift2Value checkedHorizon=5"
3270 in let _ = "comment: satisfy ((GHC.Classes.==) 'l')"
3271 in let _ = "checkHorizon.oldCheck: checkedHorizon=5"
3272 in let _ = "checkToken"
3277 in if (GHC.Classes.==) 'l' c
3279 let _ = "lift2Value checkedHorizon=4"
3280 in let _ = "comment: satisfy ((GHC.Classes.==) 'e')"
3281 in let _ = "checkHorizon.oldCheck: checkedHorizon=4"
3282 in let _ = "checkToken"
3287 in if (GHC.Classes.==) 'e' c
3289 let _ = "lift2Value checkedHorizon=3"
3291 in let _ = "lift2Value checkedHorizon=3"
3293 ( let _ = "onReturn"
3294 in \farInp farExp v (!inp) ->
3295 let _ = "lift2Value checkedHorizon=0"
3297 ( let _ = "onReturn"
3298 in \farInp farExp v (!inp) ->
3299 let _ = "lift2Value checkedHorizon=0"
3301 ( let _ = "onReturn"
3302 in \farInp farExp v (!inp) ->
3303 let _ = "lift2Value checkedHorizon=0"
3309 ( let _ = "resume.genCode"
3315 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
3318 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip)
3321 Data.Map.Internal.Tip
3323 let _ = "checkToken.fail"
3325 Data.Set.Internal.Bin
3327 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3328 ( case inputToken of
3329 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'e'
3332 Data.Set.Internal.Tip
3333 Data.Set.Internal.Tip
3337 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
3346 failExp GHC.Base.<> farExp
3353 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
3355 let _ = "checkToken.fail"
3357 Data.Set.Internal.Bin
3359 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3360 ( case inputToken of
3361 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'l'
3364 Data.Set.Internal.Tip
3365 Data.Set.Internal.Tip
3369 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
3378 failExp GHC.Base.<> farExp
3385 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
3387 let _ = "checkToken.fail"
3389 Data.Set.Internal.Bin
3391 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3392 ( case inputToken of
3393 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'i'
3396 Data.Set.Internal.Tip
3397 Data.Set.Internal.Tip
3401 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
3410 failExp GHC.Base.<> farExp
3417 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
3419 let _ = "checkToken.fail"
3421 Data.Set.Internal.Bin
3423 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3424 ( case inputToken of
3425 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'h'
3428 Data.Set.Internal.Tip
3429 Data.Set.Internal.Tip
3433 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
3442 failExp GHC.Base.<> farExp
3449 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
3451 let _ = "checkToken.fail"
3453 Data.Set.Internal.Bin
3455 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3456 ( case inputToken of
3457 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'w'
3460 Data.Set.Internal.Tip
3461 Data.Set.Internal.Tip
3465 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
3474 failExp GHC.Base.<> farExp
3481 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3483 let _ = "checkHorizon.newCheck.fail"
3485 Data.Set.Internal.Bin
3487 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3488 ( case inputToken of
3489 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 7
3492 Data.Set.Internal.Tip
3493 Data.Set.Internal.Tip
3497 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
3506 failExp GHC.Base.<> farExp
3513 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3515 let _ = "choicesBranch.else"
3516 in onException callerInput Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
3517 in let _ = "pushValue"
3518 in let _ = "catch ExceptionFailure checkedHorizon=0"
3519 in let onException =
3520 let _ = "onException"
3521 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
3522 let _ = "loadInput checkedHorizon=0"
3523 in let _ = "checkHorizon.noCheck"
3524 in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput farInp farExp
3525 in let _ = "pushValue"
3526 in let _ = "comment: satisfy ((GHC.Classes.==) 'i')"
3527 in let inp = callerInput
3528 in let readFail = onException
3529 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
3530 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 1 inp)
3532 let _ = "checkToken"
3537 in if (GHC.Classes.==) 'i' c
3539 let _ = "lift2Value checkedHorizon=2"
3540 in let _ = "comment: satisfy ((GHC.Classes.==) 'f')"
3541 in let _ = "checkHorizon.oldCheck: checkedHorizon=2"
3542 in let _ = "checkToken"
3547 in if (GHC.Classes.==) 'f' c
3549 let _ = "lift2Value checkedHorizon=1"
3551 in let _ = "lift2Value checkedHorizon=1"
3553 ( let _ = "onReturn"
3554 in \farInp farExp v (!inp) ->
3555 let _ = "lift2Value checkedHorizon=0"
3561 ( let _ = "resume.genCode"
3567 Data.Map.Internal.Tip
3569 let _ = "checkToken.fail"
3571 Data.Set.Internal.Bin
3573 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3574 ( case inputToken of
3575 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'f'
3578 Data.Set.Internal.Tip
3579 Data.Set.Internal.Tip
3583 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
3592 failExp GHC.Base.<> farExp
3599 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
3601 let _ = "checkToken.fail"
3603 Data.Set.Internal.Bin
3605 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3606 ( case inputToken of
3607 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'i'
3610 Data.Set.Internal.Tip
3611 Data.Set.Internal.Tip
3615 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
3624 failExp GHC.Base.<> farExp
3631 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3633 let _ = "checkHorizon.newCheck.fail"
3635 Data.Set.Internal.Bin
3637 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3638 ( case inputToken of
3639 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2
3642 Data.Set.Internal.Tip
3643 Data.Set.Internal.Tip
3647 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
3656 failExp GHC.Base.<> farExp
3663 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3665 in loop callerOnReturn inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
3668 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
3670 let _ = "checkToken.fail"
3672 Data.Set.Internal.Bin
3674 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3675 ( case inputToken of
3676 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '{'
3679 Data.Set.Internal.Tip
3680 Data.Set.Internal.Tip
3684 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
3693 failExp GHC.Base.<> Data.Set.Internal.empty
3698 Data.Set.Internal.empty
3700 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3702 let _ = "checkHorizon.newCheck.fail"
3704 Data.Set.Internal.Bin
3706 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3707 ( case inputToken of
3708 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 4
3711 Data.Set.Internal.Tip
3712 Data.Set.Internal.Tip
3716 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
3725 failExp GHC.Base.<> Data.Set.Internal.empty
3730 Data.Set.Internal.empty
3732 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3733 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
3735 in let _ = "comment: satisfy GHC.Unicode.isSpace"
3736 in let inp = callerInput
3737 in let readFail = Data.Map.Strict.Internal.findWithDefault finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel
3738 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
3741 let _ = "checkToken"
3746 in if GHC.Unicode.isSpace c
3748 let _ = "lift2Value checkedHorizon=1"
3750 ( let _ = "onReturn"
3751 in \farInp farExp v (!inp) ->
3752 let _ = "lift2Value checkedHorizon=0"
3757 ( let _ = "resume.genCode"
3763 Data.Map.Internal.Tip
3765 let _ = "checkToken.fail"
3766 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp init Data.Set.Internal.empty
3768 let _ = "checkHorizon.newCheck.fail"
3770 Data.Set.Internal.Bin
3772 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3773 ( case inputToken of
3774 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 1
3777 Data.Set.Internal.Tip
3778 Data.Set.Internal.Tip
3782 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
3791 failExp GHC.Base.<> Data.Set.Internal.empty
3796 Data.Set.Internal.empty
3798 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3799 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
3804 Data.Set.Internal.empty
3805 ( let _ = "resume.genCode"
3809 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
3814 Data.Set.Internal.empty
3815 ( let _ = "resume.genCode"
3819 name = \(!callerOnReturn) (!callerInput) (!callerOnExceptionStackByLabel) ->
3824 Data.Set.Internal.empty
3825 ( let _ = "resume.genCode"
3829 in let _ = "pushValue"
3831 ( let _ = "onReturn"
3832 in \farInp farExp v (!inp) ->
3833 let _ = "lift2Value checkedHorizon=0"
3834 in let _ = "pushValue"
3837 reg <- GHC.STRef.newSTRef dupv
3839 in let onException loopInput =
3840 let _ = "onException"
3841 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
3842 let _ = "comment: raiseAgainIfConsumed"
3843 in let _ = "saveInput checkedHorizon=0"
3844 in let _ = "lift2Value checkedHorizon=0"
3845 in if ( \( Data.Text.Internal.Text
3850 ( Data.Text.Internal.Text
3854 ) -> i GHC.Classes.== j
3859 let _ = "choicesBranch checkedHorizon=0"
3861 sr <- GHC.STRef.readSTRef reg
3863 ( let _ = "onReturn"
3864 in \farInp farExp v (!inp) ->
3865 let _ = "lift2Value checkedHorizon=0"
3866 in let _ = "lift2Value checkedHorizon=0"
3868 ( let _ = "onReturn"
3869 in \farInp farExp v (!inp) ->
3870 let _ = "lift2Value checkedHorizon=0"
3871 in let join = \farInp farExp v (!inp) ->
3872 let _ = "lift2Value checkedHorizon=0"
3877 ( let _ = "resume.genCode"
3881 in let _ = "catch ExceptionFailure checkedHorizon=0"
3882 in let onException =
3883 let _ = "onException"
3884 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
3885 let _ = "comment: raiseAgainIfConsumed"
3886 in let _ = "saveInput checkedHorizon=0"
3887 in let _ = "lift2Value checkedHorizon=0"
3888 in if ( \( Data.Text.Internal.Text
3893 ( Data.Text.Internal.Text
3897 ) -> i GHC.Classes.== j
3902 let _ = "choicesBranch checkedHorizon=0"
3903 in let _ = "comment: eof.fail"
3904 in let failExp = Data.Set.Internal.Bin 1 (Symantic.Parser.Grammar.Combinators.SomeFailure Symantic.Parser.Grammar.Combinators.FailureEnd) Data.Set.Internal.Tip Data.Set.Internal.Tip
3908 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp failInp of
3917 failExp GHC.Base.<> farExp
3924 in finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
3926 let _ = "choicesBranch.else"
3927 in finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
3928 in let _ = "comment: negLook"
3929 in let _ = "catch ExceptionFailure checkedHorizon=0"
3930 in let onException =
3931 let _ = "onException"
3932 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
3933 let _ = "comment: negLook.reset"
3934 in let _ = "loadInput checkedHorizon=0"
3935 in let _ = "checkHorizon.noCheck"
3936 in let _ = "pushValue"
3942 ( let _ = "resume.genCode"
3946 in let _ = "comment: negLook.ahead"
3947 in let _ = "saveInput checkedHorizon=0"
3948 in let _ = "comment: satisfy ((\\x_0 -> \\x_1 -> x_0) GHC.Types.True)"
3950 in let readFail = onException
3951 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
3954 let _ = "checkToken"
3959 in let _ = "popValue"
3961 in let _ = "loadInput checkedHorizon=0"
3962 in let _ = "checkHorizon.noCheck"
3963 in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3965 let _ = "checkHorizon.newCheck.fail"
3967 Data.Set.Internal.Bin
3969 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3970 ( case inputToken of
3971 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 1
3974 Data.Set.Internal.Tip
3975 Data.Set.Internal.Tip
3979 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
3988 failExp GHC.Base.<> farExp
3995 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
3998 Data.Map.Internal.Tip
4001 Data.Map.Internal.Tip
4003 let _ = "choicesBranch.else"
4004 in finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
4005 loop = \_callerOnReturn callerInput callerOnExceptionStackByLabel ->
4007 in let _ = "catch ExceptionFailure checkedHorizon=0"
4008 in let onException =
4009 let _ = "onException"
4010 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
4011 let _ = "loadInput checkedHorizon=0"
4012 in let _ = "checkHorizon.noCheck"
4013 in onException callerInput Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput farInp farExp
4014 in let _ = "pushValue"
4015 in let _ = "comment: satisfy ((GHC.Classes.==) 'f')"
4016 in let inp = callerInput
4017 in let readFail = onException
4018 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=18"
4019 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 17 inp)
4021 let _ = "checkToken"
4026 in if (GHC.Classes.==) 'f' c
4028 let _ = "lift2Value checkedHorizon=18"
4029 in let _ = "comment: satisfy ((GHC.Classes.==) 'u')"
4030 in let _ = "checkHorizon.oldCheck: checkedHorizon=18"
4031 in let _ = "checkToken"
4036 in if (GHC.Classes.==) 'u' c
4038 let _ = "lift2Value checkedHorizon=17"
4039 in let _ = "comment: satisfy ((GHC.Classes.==) 'n')"
4040 in let _ = "checkHorizon.oldCheck: checkedHorizon=17"
4041 in let _ = "checkToken"
4046 in if (GHC.Classes.==) 'n' c
4048 let _ = "lift2Value checkedHorizon=16"
4049 in let _ = "comment: satisfy ((GHC.Classes.==) 'c')"
4050 in let _ = "checkHorizon.oldCheck: checkedHorizon=16"
4051 in let _ = "checkToken"
4056 in if (GHC.Classes.==) 'c' c
4058 let _ = "lift2Value checkedHorizon=15"
4059 in let _ = "comment: satisfy ((GHC.Classes.==) 't')"
4060 in let _ = "checkHorizon.oldCheck: checkedHorizon=15"
4061 in let _ = "checkToken"
4066 in if (GHC.Classes.==) 't' c
4068 let _ = "lift2Value checkedHorizon=14"
4069 in let _ = "comment: satisfy ((GHC.Classes.==) 'i')"
4070 in let _ = "checkHorizon.oldCheck: checkedHorizon=14"
4071 in let _ = "checkToken"
4076 in if (GHC.Classes.==) 'i' c
4078 let _ = "lift2Value checkedHorizon=13"
4079 in let _ = "comment: satisfy ((GHC.Classes.==) 'o')"
4080 in let _ = "checkHorizon.oldCheck: checkedHorizon=13"
4081 in let _ = "checkToken"
4086 in if (GHC.Classes.==) 'o' c
4088 let _ = "lift2Value checkedHorizon=12"
4089 in let _ = "comment: satisfy ((GHC.Classes.==) 'n')"
4090 in let _ = "checkHorizon.oldCheck: checkedHorizon=12"
4091 in let _ = "checkToken"
4096 in if (GHC.Classes.==) 'n' c
4098 let _ = "lift2Value checkedHorizon=11"
4100 in let _ = "lift2Value checkedHorizon=11"
4102 ( let _ = "onReturn"
4103 in \farInp farExp v (!inp) ->
4104 let _ = "lift2Value checkedHorizon=0"
4106 ( let _ = "onReturn"
4107 in \farInp farExp v (!inp) ->
4108 let _ = "lift2Value checkedHorizon=0"
4110 ( let _ = "onReturn"
4111 in \farInp farExp v (!inp) ->
4112 let _ = "lift2Value checkedHorizon=0"
4114 ( let _ = "onReturn"
4115 in \farInp farExp v (!inp) ->
4116 let _ = "lift2Value checkedHorizon=0"
4117 in let join = \farInp farExp v (!inp) ->
4118 let _ = "lift2Value checkedHorizon=0"
4120 ( let _ = "onReturn"
4121 in \farInp farExp v (!inp) ->
4122 let _ = "lift2Value checkedHorizon=0"
4124 ( let _ = "onReturn"
4125 in \farInp farExp v (!inp) ->
4126 let _ = "lift2Value checkedHorizon=0"
4128 sr <- GHC.STRef.readSTRef reg
4129 let _ = "lift2Value checkedHorizon=0"
4132 GHC.STRef.writeSTRef reg dupv
4134 in loop (GHC.Err.error "invalid onReturn") inp (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
4137 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
4140 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
4141 in let _ = "catch ExceptionFailure checkedHorizon=0"
4142 in let onException =
4143 let _ = "onException"
4144 in \(!_exn) (!failInp) (!farInp) (!farExp) ->
4145 let _ = "comment: raiseAgainIfConsumed"
4146 in let _ = "saveInput checkedHorizon=0"
4147 in let _ = "lift2Value checkedHorizon=0"
4148 in if ( \( Data.Text.Internal.Text
4153 ( Data.Text.Internal.Text
4157 ) -> i GHC.Classes.== j
4162 let _ = "choicesBranch checkedHorizon=0"
4164 ( let _ = "onReturn"
4165 in \farInp farExp v (!inp) ->
4170 ( let _ = "resume.genCode"
4176 Data.Map.Internal.Tip
4178 let _ = "choicesBranch.else"
4179 in onException callerInput Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp
4180 in let _ = "pushValue"
4181 in let _ = "comment: satisfy ((GHC.Classes.==) ':')"
4183 in let readFail = onException
4184 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=8"
4185 in if readMore (Symantic.Parser.Machine.Input.shiftRightText 7 inp)
4187 let _ = "checkToken"
4192 in if (GHC.Classes.==) ':' c
4194 let _ = "lift2Value checkedHorizon=8"
4196 ( let _ = "onReturn"
4197 in \farInp farExp v (!inp) ->
4198 let _ = "lift2Value checkedHorizon=0"
4200 ( let _ = "onReturn"
4201 in \farInp farExp v (!inp) ->
4202 let _ = "lift2Value checkedHorizon=0"
4208 ( let _ = "resume.genCode"
4214 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
4217 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip)
4219 let _ = "checkToken.fail"
4221 Data.Set.Internal.Bin
4223 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4224 ( case inputToken of
4225 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken ':'
4228 Data.Set.Internal.Tip
4229 Data.Set.Internal.Tip
4233 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
4242 failExp GHC.Base.<> farExp
4249 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
4251 let _ = "checkHorizon.newCheck.fail"
4253 Data.Set.Internal.Bin
4255 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4256 ( case inputToken of
4257 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 8
4260 Data.Set.Internal.Tip
4261 Data.Set.Internal.Tip
4265 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
4274 failExp GHC.Base.<> farExp
4281 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
4284 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
4287 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
4290 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip)
4293 Data.Map.Internal.Tip
4295 let _ = "checkToken.fail"
4297 Data.Set.Internal.Bin
4299 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4300 ( case inputToken of
4301 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'n'
4304 Data.Set.Internal.Tip
4305 Data.Set.Internal.Tip
4309 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
4318 failExp GHC.Base.<> farExp
4325 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
4327 let _ = "checkToken.fail"
4329 Data.Set.Internal.Bin
4331 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4332 ( case inputToken of
4333 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'o'
4336 Data.Set.Internal.Tip
4337 Data.Set.Internal.Tip
4341 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
4350 failExp GHC.Base.<> farExp
4357 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
4359 let _ = "checkToken.fail"
4361 Data.Set.Internal.Bin
4363 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4364 ( case inputToken of
4365 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'i'
4368 Data.Set.Internal.Tip
4369 Data.Set.Internal.Tip
4373 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
4382 failExp GHC.Base.<> farExp
4389 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
4391 let _ = "checkToken.fail"
4393 Data.Set.Internal.Bin
4395 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4396 ( case inputToken of
4397 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 't'
4400 Data.Set.Internal.Tip
4401 Data.Set.Internal.Tip
4405 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
4414 failExp GHC.Base.<> farExp
4421 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
4423 let _ = "checkToken.fail"
4425 Data.Set.Internal.Bin
4427 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4428 ( case inputToken of
4429 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'c'
4432 Data.Set.Internal.Tip
4433 Data.Set.Internal.Tip
4437 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
4446 failExp GHC.Base.<> farExp
4453 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
4455 let _ = "checkToken.fail"
4457 Data.Set.Internal.Bin
4459 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4460 ( case inputToken of
4461 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'n'
4464 Data.Set.Internal.Tip
4465 Data.Set.Internal.Tip
4469 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
4478 failExp GHC.Base.<> farExp
4485 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
4487 let _ = "checkToken.fail"
4489 Data.Set.Internal.Bin
4491 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4492 ( case inputToken of
4493 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'u'
4496 Data.Set.Internal.Tip
4497 Data.Set.Internal.Tip
4501 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp cs of
4510 failExp GHC.Base.<> farExp
4517 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp
4519 let _ = "checkToken.fail"
4521 Data.Set.Internal.Bin
4523 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4524 ( case inputToken of
4525 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'f'
4528 Data.Set.Internal.Tip
4529 Data.Set.Internal.Tip
4533 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
4542 failExp GHC.Base.<> farExp
4549 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
4551 let _ = "checkHorizon.newCheck.fail"
4553 Data.Set.Internal.Bin
4555 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4556 ( case inputToken of
4557 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 18
4560 Data.Set.Internal.Tip
4561 Data.Set.Internal.Tip
4565 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp inp of
4574 failExp GHC.Base.<> farExp
4581 in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp
4583 in loop finalRet inp Data.Map.Internal.Tip
4586 Data.Map.Internal.Tip
4588 let _ = "checkHorizon.newCheck.fail"
4590 Data.Set.Internal.Bin
4592 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4593 ( case inputToken of
4594 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 1
4597 Data.Set.Internal.Tip
4598 Data.Set.Internal.Tip
4602 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init inp of
4611 failExp GHC.Base.<> Data.Set.Internal.empty
4616 Data.Set.Internal.empty
4618 in finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp