\(input :: inp) -> let !(# initBuffer, initPos, readMore, readNext, append #) = let next buf pos = let !( Data.Text.Unsafe.Iter c d ) = Symantic.Parser.Machine.Input.Text.Buffer.iter buf pos in (# c, pos GHC.Num.+ d #) more buf pos = pos GHC.Classes.< Symantic.Parser.Machine.Input.Text.Buffer.length buf append = Symantic.Parser.Machine.Input.Text.Buffer.pappend in (# Symantic.Parser.Machine.Input.Text.Buffer.buffer input, 0, more, next, append #) finalRet = \_farInp _farExp v _inp _buf _end -> Symantic.Parser.Machine.Generate.returnST GHC.Base.$ Symantic.Parser.Machine.Generate.ResultDone v finalRaise :: Symantic.Parser.Machine.Generate.ForallOnException inp = Symantic.Parser.Machine.Generate.ForallOnException GHC.Base.$ ( \(!exn) _failInp (!farInp) (!farExp) buf end -> Symantic.Parser.Machine.Generate.returnST GHC.Base.$ Symantic.Parser.Machine.Generate.ResultError Symantic.Parser.Machine.Generate.ParsingError { Symantic.Parser.Machine.Generate.parsingErrorOffset = Symantic.Parser.Machine.Input.position farInp, Symantic.Parser.Machine.Generate.parsingErrorException = exn, Symantic.Parser.Machine.Generate.parsingErrorUnexpected = if readMore buf farInp then GHC.Maybe.Just ( let (# c, _ #) = readNext buf farInp in c ) else GHC.Maybe.Nothing, Symantic.Parser.Machine.Generate.parsingErrorExpecting = let ( minHoriz, res ) = Data.Set.Internal.foldr ( \f ( minH, acc ) -> case Symantic.Parser.Grammar.Combinators.unSomeFailure f of 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))) | GHC.Maybe.Just old <- minH -> ( GHC.Maybe.Just (GHC.Classes.min old h), acc ) | GHC.Base.otherwise -> ( GHC.Maybe.Just h, acc ) _ -> ( minH, f GHC.Types.: acc ) ) ( GHC.Maybe.Nothing, GHC.Types . [] ) farExp in Data.Set.Internal.fromList GHC.Base.$ ( case minHoriz of GHC.Maybe.Just h -> Symantic.Parser.Grammar.Combinators.SomeFailure (Symantic.Parser.Grammar.Combinators.FailureHorizon @(Symantic.Parser.Machine.Input.InputToken inp) h) GHC.Types.: res GHC.Maybe.Nothing -> res ) } ) in let inputToken = Data.Proxy.Proxy :: Data.Proxy.Proxy (Symantic.Parser.Machine.Input.InputToken inp) in let partialCont buf = let readFail = Symantic.Parser.Machine.Generate.unForallOnException finalRaise in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1" in if readMore buf initPos then let name = \(!callerOnReturn) (!callerInput) (!callerBuffer) (!callerEnd) (!callerOnExceptionStackByLabel) -> let _ = "catch ExceptionFailure checkedHorizon=0" in let onException = let _ = "onException" in \(!_exn) (!failInp) (!farInp) (!farExp) buf end -> let _ = "comment: raiseAgainIfConsumed" in let _ = "saveInput checkedHorizon=0" in let _ = "lift2Value checkedHorizon=0" in if (GHC.Classes.==) @GHC.Types.Int callerInput failInp then let _ = "choicesBranch checkedHorizon=0" in let _ = "catch ExceptionFailure checkedHorizon=0" in let onException = let _ = "onException" in \(!_exn) (!failInp) (!farInp) (!farExp) buf end -> let _ = "comment: raiseAgainIfConsumed" in let _ = "saveInput checkedHorizon=0" in let _ = "lift2Value checkedHorizon=0" in if (GHC.Classes.==) @GHC.Types.Int failInp failInp then let _ = "choicesBranch checkedHorizon=0" in let _ = "pushValue" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let join = \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "resume" in callerOnReturn farInp farExp ( let _ = "resume.genCode" in v ) inp buf end in let _ = "catch ExceptionFailure checkedHorizon=0" in let onException = let _ = "onException" in \(!_exn) (!failInp) (!farInp) (!farExp) buf end -> let _ = "comment: raiseAgainIfConsumed" in let _ = "saveInput checkedHorizon=0" in let _ = "lift2Value checkedHorizon=0" in if (GHC.Classes.==) @GHC.Types.Int inp failInp then let _ = "choicesBranch checkedHorizon=0" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "resume" in join farInp farExp ( let _ = "resume.genCode" in v ) inp buf end ) failInp buf end Data.Map.Internal.Tip else let _ = "choicesBranch.else" in Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf end in let _ = "pushValue" in let join = \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "commit" in let _ = "resume" in join farInp farExp ( let _ = "resume.genCode" in GHC.Tuple . () ) inp buf end in let _ = "catch ExceptionFailure checkedHorizon=0" in let onException = let _ = "onException" in \(!_exn) (!failInp) (!farInp) (!farExp) buf end -> let _ = "comment: raiseAgainIfConsumed" in let _ = "saveInput checkedHorizon=0" in let _ = "lift2Value checkedHorizon=0" in if (GHC.Classes.==) @GHC.Types.Int inp failInp then let _ = "choicesBranch checkedHorizon=0" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "resume" in join farInp farExp ( let _ = "resume.genCode" in v ) inp buf end ) failInp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "choicesBranch.else" in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf end in let _ = "pushValue" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let join = \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "commit" in let _ = "resume" in join farInp farExp ( let _ = "resume.genCode" in v ) inp buf end ) inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip) in let _ = "catch ExceptionFailure checkedHorizon=0" in let onException = let _ = "onException" in \(!_exn) (!failInp) (!farInp) (!farExp) buf end -> let _ = "comment: raiseAgainIfConsumed" in let _ = "saveInput checkedHorizon=0" in let _ = "lift2Value checkedHorizon=0" in if (GHC.Classes.==) @GHC.Types.Int inp failInp then let _ = "choicesBranch checkedHorizon=0" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "resume" in join farInp farExp ( let _ = "resume.genCode" in v ) inp buf end ) failInp buf end Data.Map.Internal.Tip else let _ = "choicesBranch.else" in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf end in let _ = "pushValue" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "pushValue" in do let dupv = \u -> u reg <- GHC.STRef.newSTRef dupv let _ = "iter" in let onException loopInput = let _ = "onException" in \(!_exn) (!failInp) (!farInp) (!farExp) buf end -> let _ = "comment: raiseAgainIfConsumed" in let _ = "saveInput checkedHorizon=0" in let _ = "lift2Value checkedHorizon=0" in if (GHC.Classes.==) @GHC.Types.Int loopInput failInp then let _ = "choicesBranch checkedHorizon=0" in do sr <- GHC.STRef.readSTRef reg name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "lift2Value checkedHorizon=0" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "commit" in let _ = "resume" in join farInp farExp ( let _ = "resume.genCode" in GHC.Tuple . () ) inp buf end ) inp buf end Data.Map.Internal.Tip ) failInp buf end Data.Map.Internal.Tip else let _ = "choicesBranch.else" in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf end loop = \_callerOnReturn callerInput callerBuffer callerEnded callerOnExceptionStackByLabel -> let _ = "pushValue" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in do sr <- GHC.STRef.readSTRef reg let _ = "lift2Value checkedHorizon=0" in do let dupv = v v sr GHC.STRef.writeSTRef reg dupv let _ = "jump" in loop (GHC.Err.error "invalid onReturn") inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) callerInput callerBuffer callerEnded Data.Map.Internal.Tip in let _ = "jump" in loop callerOnReturn inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip) ) inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip) ) inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip) ) failInp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel) Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "choicesBranch.else" in Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf end in let _ = "pushValue" in let _ = "comment: satisfy ((GHC.Classes.==) '\\'')" in let partialCont buf = let readFail = onException in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=4" in if readMore buf ((GHC.Num.+) @GHC.Types.Int 3 failInp) then let _ = "checkToken" in let !(# c, cs #) = readNext buf failInp in if (GHC.Classes.==) '\'' c then let _ = "lift2Value checkedHorizon=4" in let join = \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "comment: satisfy ((GHC.Classes.==) '\\'')" in let partialCont buf = let readFail = readFail in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2" in if readMore buf ((GHC.Num.+) @GHC.Types.Int 1 inp) then let _ = "checkToken" in let !(# c, cs #) = readNext buf inp in if (GHC.Classes.==) '\'' c then let _ = "lift2Value checkedHorizon=2" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "commit" in let _ = "resume" in callerOnReturn farInp farExp ( let _ = "resume.genCode" in v ) inp buf end ) cs buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "checkToken.fail" in let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '\'' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp inp of GHC.Types.LT -> (# inp, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp buf end else let _ = "checkHorizon.newCheck.fail" in let noMoreInput = let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp inp of GHC.Types.LT -> (# inp, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp buf GHC.Types.True in if end then noMoreInput else Symantic.Parser.Machine.Generate.returnST GHC.Base.$ ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$ ( \newInput -> if Symantic.Parser.Machine.Input.nullInput newInput then noMoreInput else partialCont (append buf newInput) ) ) in partialCont buf in let _ = "catch ExceptionFailure checkedHorizon=4" in let onException = let _ = "onException" in \(!_exn) (!failInp) (!farInp) (!farExp) buf end -> let _ = "comment: raiseAgainIfConsumed" in let _ = "saveInput checkedHorizon=0" in let _ = "lift2Value checkedHorizon=0" in if (GHC.Classes.==) @GHC.Types.Int cs failInp then let _ = "choicesBranch checkedHorizon=0" in let _ = "pushValue" in let _ = "comment: satisfy ((GHC.Classes.==) '\\\\')" in let partialCont buf = let readFail = readFail in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=4" in if readMore buf ((GHC.Num.+) @GHC.Types.Int 3 failInp) then let _ = "checkToken" in let !(# c, cs #) = readNext buf failInp in if (GHC.Classes.==) '\\' c then let _ = "lift2Value checkedHorizon=4" 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))))))" in let _ = "checkHorizon.oldCheck: checkedHorizon=4" in let _ = "checkToken" in let !(# c, cs #) = readNext buf cs 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 then let _ = "lift2Value checkedHorizon=3" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "resume" in join farInp farExp ( let _ = "resume.genCode" in v ) inp buf end ) cs buf end Data.Map.Internal.Tip else let _ = "checkToken.fail" in let failExp = Data.Set.Internal.Bin 6 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'n' ) ) ( Data.Set.Internal.Bin 2 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '0' ) ) Data.Set.Internal.Tip ( Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'f' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip ) ) ( Data.Set.Internal.Bin 3 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 't' ) ) ( Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'r' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip ) ( Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'v' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip ) ) in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp cs of GHC.Types.LT -> (# cs, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp buf end else let _ = "checkToken.fail" in let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '\\' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp failInp of GHC.Types.LT -> (# failInp, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf end else let _ = "checkHorizon.newCheck.fail" in let noMoreInput = let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 4 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp failInp of GHC.Types.LT -> (# failInp, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf GHC.Types.True in if end then noMoreInput else Symantic.Parser.Machine.Generate.returnST GHC.Base.$ ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$ ( \newInput -> if Symantic.Parser.Machine.Input.nullInput newInput then noMoreInput else partialCont (append buf newInput) ) ) in partialCont buf else let _ = "choicesBranch.else" in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf end in let _ = "pushValue" in let _ = "comment: satisfy Parsers.Nandlang.nandStringLetter" in let _ = "checkHorizon.oldCheck: checkedHorizon=4" in let _ = "checkToken" in let !(# c, cs #) = readNext buf cs in if Parsers.Nandlang.nandStringLetter c then let _ = "lift2Value checkedHorizon=3" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "commit" in let _ = "resume" in join farInp farExp ( let _ = "resume.genCode" in v ) inp buf end ) cs buf end Data.Map.Internal.Tip else let _ = "checkToken.fail" in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp buf end else let _ = "checkToken.fail" in let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '\'' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp failInp of GHC.Types.LT -> (# failInp, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf end else let _ = "checkHorizon.newCheck.fail" in let noMoreInput = let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 4 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp failInp of GHC.Types.LT -> (# failInp, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf GHC.Types.True in if end then noMoreInput else Symantic.Parser.Machine.Generate.returnST GHC.Base.$ ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$ ( \newInput -> if Symantic.Parser.Machine.Input.nullInput newInput then noMoreInput else partialCont (append buf newInput) ) ) in partialCont buf else let _ = "choicesBranch.else" in Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf end in let _ = "pushValue" in let join = \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "commit" in let _ = "resume" in callerOnReturn farInp farExp ( let _ = "resume.genCode" in v ) inp buf end ) inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip) in let _ = "catch ExceptionFailure checkedHorizon=0" in let onException = let _ = "onException" in \(!_exn) (!failInp) (!farInp) (!farExp) buf end -> let _ = "comment: raiseAgainIfConsumed" in let _ = "saveInput checkedHorizon=0" in let _ = "lift2Value checkedHorizon=0" in if (GHC.Classes.==) @GHC.Types.Int callerInput failInp then let _ = "choicesBranch checkedHorizon=0" in let _ = "pushValue" in let _ = "comment: satisfy ((GHC.Classes.==) '1')" in let partialCont buf = let readFail = onException in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2" in if readMore buf ((GHC.Num.+) @GHC.Types.Int 1 failInp) then let _ = "checkToken" in let !(# c, cs #) = readNext buf failInp in if (GHC.Classes.==) '1' c then let _ = "lift2Value checkedHorizon=2" in let _ = "resume" in join farInp farExp ( let _ = "resume.genCode" in '1' ) cs buf end else let _ = "checkToken.fail" in let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '1' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp failInp of GHC.Types.LT -> (# failInp, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf end else let _ = "checkHorizon.newCheck.fail" in let noMoreInput = let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp failInp of GHC.Types.LT -> (# failInp, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf GHC.Types.True in if end then noMoreInput else Symantic.Parser.Machine.Generate.returnST GHC.Base.$ ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$ ( \newInput -> if Symantic.Parser.Machine.Input.nullInput newInput then noMoreInput else partialCont (append buf newInput) ) ) in partialCont buf else let _ = "choicesBranch.else" in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf end in let _ = "pushValue" in let _ = "comment: satisfy ((GHC.Classes.==) '0')" in let partialCont buf = let readFail = onException in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2" in if readMore buf ((GHC.Num.+) @GHC.Types.Int 1 callerInput) then let _ = "checkToken" in let !(# c, cs #) = readNext buf callerInput in if (GHC.Classes.==) '0' c then let _ = "lift2Value checkedHorizon=2" in let _ = "commit" in let _ = "resume" in join initPos Data.Set.Internal.empty ( let _ = "resume.genCode" in '0' ) cs buf callerEnd else let _ = "checkToken.fail" in let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '0' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int initPos callerInput of GHC.Types.LT -> (# callerInput, failExp #) GHC.Types.EQ -> (# initPos, failExp GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# initPos, Data.Set.Internal.empty #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput farInp farExp buf callerEnd else let _ = "checkHorizon.newCheck.fail" in let noMoreInput = let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int initPos callerInput of GHC.Types.LT -> (# callerInput, failExp #) GHC.Types.EQ -> (# initPos, failExp GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# initPos, Data.Set.Internal.empty #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput farInp farExp buf GHC.Types.True in if callerEnd then noMoreInput else Symantic.Parser.Machine.Generate.returnST GHC.Base.$ ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$ ( \newInput -> if Symantic.Parser.Machine.Input.nullInput newInput then noMoreInput else partialCont (append buf newInput) ) ) in partialCont callerBuffer name = \(!callerOnReturn) (!callerInput) (!callerBuffer) (!callerEnd) (!callerOnExceptionStackByLabel) -> let _ = "catch ExceptionFailure checkedHorizon=0" in let onException = let _ = "onException" in \(!_exn) (!failInp) (!farInp) (!farExp) buf end -> let _ = "comment: raiseAgainIfConsumed" in let _ = "saveInput checkedHorizon=0" in let _ = "lift2Value checkedHorizon=0" in if (GHC.Classes.==) @GHC.Types.Int callerInput failInp then let _ = "choicesBranch checkedHorizon=0" in let _ = "jump" in name callerOnReturn failInp buf end Data.Map.Internal.Tip else let _ = "choicesBranch.else" in Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf end in let _ = "pushValue" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "pushValue" in do let dupv = \u -> u reg <- GHC.STRef.newSTRef dupv let _ = "iter" in let onException loopInput = let _ = "onException" in \(!_exn) (!failInp) (!farInp) (!farExp) buf end -> let _ = "comment: raiseAgainIfConsumed" in let _ = "saveInput checkedHorizon=0" in let _ = "lift2Value checkedHorizon=0" in if (GHC.Classes.==) @GHC.Types.Int loopInput failInp then let _ = "choicesBranch checkedHorizon=0" in do sr <- GHC.STRef.readSTRef reg name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "lift2Value checkedHorizon=0" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "commit" in let _ = "resume" in callerOnReturn farInp farExp ( let _ = "resume.genCode" in GHC.Tuple . () ) inp buf end ) inp buf end Data.Map.Internal.Tip ) failInp buf end Data.Map.Internal.Tip else let _ = "choicesBranch.else" in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf end loop = \_callerOnReturn callerInput callerBuffer callerEnded callerOnExceptionStackByLabel -> let _ = "pushValue" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in do sr <- GHC.STRef.readSTRef reg let _ = "lift2Value checkedHorizon=0" in do let dupv = v v sr GHC.STRef.writeSTRef reg dupv let _ = "jump" in loop (GHC.Err.error "invalid onReturn") inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) callerInput callerBuffer callerEnded Data.Map.Internal.Tip in let _ = "jump" in loop callerOnReturn inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip) ) callerInput callerBuffer callerEnd (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip) name = \(!callerOnReturn) (!callerInput) (!callerBuffer) (!callerEnd) (!callerOnExceptionStackByLabel) -> 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))))))))))" in let partialCont buf = let readFail = Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1" in if readMore buf callerInput then let _ = "checkToken" in let !(# c, cs #) = readNext buf callerInput 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 then let _ = "resume" in callerOnReturn initPos Data.Set.Internal.empty ( let _ = "resume.genCode" in c ) cs buf callerEnd else let _ = "checkToken.fail" in let failExp = Data.Set.Internal.Bin 10 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '3' ) ) ( Data.Set.Internal.Bin 3 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '1' ) ) ( Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '0' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip ) ( Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '2' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip ) ) ( Data.Set.Internal.Bin 6 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '7' ) ) ( Data.Set.Internal.Bin 3 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '5' ) ) ( Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '4' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip ) ( Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '6' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip ) ) ( Data.Set.Internal.Bin 2 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '8' ) ) Data.Set.Internal.Tip ( Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '9' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip ) ) ) in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int initPos callerInput of GHC.Types.LT -> (# callerInput, failExp #) GHC.Types.EQ -> (# initPos, failExp GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# initPos, Data.Set.Internal.empty #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput farInp farExp buf callerEnd else let _ = "checkHorizon.newCheck.fail" in let noMoreInput = let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 1 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int initPos callerInput of GHC.Types.LT -> (# callerInput, failExp #) GHC.Types.EQ -> (# initPos, failExp GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# initPos, Data.Set.Internal.empty #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput farInp farExp buf GHC.Types.True in if callerEnd then noMoreInput else Symantic.Parser.Machine.Generate.returnST GHC.Base.$ ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$ ( \newInput -> if Symantic.Parser.Machine.Input.nullInput newInput then noMoreInput else partialCont (append buf newInput) ) ) in partialCont callerBuffer name = \(!callerOnReturn) (!callerInput) (!callerBuffer) (!callerEnd) (!callerOnExceptionStackByLabel) -> let _ = "pushValue" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let join = \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "resume" in callerOnReturn farInp farExp ( let _ = "resume.genCode" in v ) inp buf end in let _ = "catch ExceptionFailure checkedHorizon=0" in let onException = let _ = "onException" in \(!_exn) (!failInp) (!farInp) (!farExp) buf end -> let _ = "comment: raiseAgainIfConsumed" in let _ = "saveInput checkedHorizon=0" in let _ = "lift2Value checkedHorizon=0" in if (GHC.Classes.==) @GHC.Types.Int inp failInp then let _ = "choicesBranch checkedHorizon=0" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "resume" in join farInp farExp ( let _ = "resume.genCode" in v ) inp buf end ) failInp buf end Data.Map.Internal.Tip else let _ = "choicesBranch.else" in Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf end in let _ = "pushValue" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "commit" in let _ = "resume" in join farInp farExp ( let _ = "resume.genCode" in GHC.Tuple . () ) inp buf end ) inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip) ) callerInput callerBuffer callerEnd (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel) Data.Map.Internal.Tip Data.Map.Internal.Tip) name = \(!callerOnReturn) (!callerInput) (!callerBuffer) (!callerEnd) (!callerOnExceptionStackByLabel) -> let _ = "pushValue" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "pushValue" in do let dupv = \u -> u reg <- GHC.STRef.newSTRef dupv let _ = "iter" in let onException loopInput = let _ = "onException" in \(!_exn) (!failInp) (!farInp) (!farExp) buf end -> let _ = "comment: raiseAgainIfConsumed" in let _ = "saveInput checkedHorizon=0" in let _ = "lift2Value checkedHorizon=0" in if (GHC.Classes.==) @GHC.Types.Int loopInput failInp then let _ = "choicesBranch checkedHorizon=0" in do sr <- GHC.STRef.readSTRef reg name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "lift2Value checkedHorizon=0" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "resume" in callerOnReturn farInp farExp ( let _ = "resume.genCode" in v ) inp buf end ) inp buf end Data.Map.Internal.Tip ) failInp buf end Data.Map.Internal.Tip else let _ = "choicesBranch.else" in Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf end loop = \_callerOnReturn callerInput callerBuffer callerEnded callerOnExceptionStackByLabel -> let _ = "pushValue" in let _ = "comment: satisfy ((GHC.Classes.==) '!')" in let partialCont buf = let readFail = onException callerInput in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=4" in if readMore buf ((GHC.Num.+) @GHC.Types.Int 3 callerInput) then let _ = "checkToken" in let !(# c, cs #) = readNext buf callerInput in if (GHC.Classes.==) '!' c then let _ = "lift2Value checkedHorizon=4" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in do sr <- GHC.STRef.readSTRef reg let _ = "lift2Value checkedHorizon=0" in do let dupv = sr GHC.STRef.writeSTRef reg dupv let _ = "jump" in loop (GHC.Err.error "invalid onReturn") inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip) ) inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip) ) cs buf callerEnded (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "checkToken.fail" in let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '!' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp callerInput of GHC.Types.LT -> (# callerInput, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput farInp farExp buf callerEnded else let _ = "checkHorizon.newCheck.fail" in let noMoreInput = let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 4 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp callerInput of GHC.Types.LT -> (# callerInput, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput farInp farExp buf GHC.Types.True in if callerEnded then noMoreInput else Symantic.Parser.Machine.Generate.returnST GHC.Base.$ ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$ ( \newInput -> if Symantic.Parser.Machine.Input.nullInput newInput then noMoreInput else partialCont (append buf newInput) ) ) in partialCont callerBuffer in let _ = "jump" in loop callerOnReturn inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) callerInput callerBuffer callerEnd (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel) Data.Map.Internal.Tip Data.Map.Internal.Tip) name = \(!callerOnReturn) (!callerInput) (!callerBuffer) (!callerEnd) (!callerOnExceptionStackByLabel) -> let _ = "pushValue" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "pushValue" in do let dupv = \u -> u reg <- GHC.STRef.newSTRef dupv let _ = "iter" in let onException loopInput = let _ = "onException" in \(!_exn) (!failInp) (!farInp) (!farExp) buf end -> let _ = "comment: raiseAgainIfConsumed" in let _ = "saveInput checkedHorizon=0" in let _ = "lift2Value checkedHorizon=0" in if (GHC.Classes.==) @GHC.Types.Int loopInput failInp then let _ = "choicesBranch checkedHorizon=0" in do sr <- GHC.STRef.readSTRef reg let _ = "pushValue" in let _ = "lift2Value checkedHorizon=0" in let _ = "lift2Value checkedHorizon=0" in let _ = "resume" in callerOnReturn farInp farExp ( let _ = "resume.genCode" in GHC.Tuple . () ) failInp buf end else let _ = "choicesBranch.else" in Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf end loop = \_callerOnReturn callerInput callerBuffer callerEnded callerOnExceptionStackByLabel -> let _ = "pushValue" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in do sr <- GHC.STRef.readSTRef reg let _ = "lift2Value checkedHorizon=0" in do let dupv = sr GHC.STRef.writeSTRef reg dupv let _ = "jump" in loop (GHC.Err.error "invalid onReturn") inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) callerInput callerBuffer callerEnded (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip) in let _ = "jump" in loop callerOnReturn inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) callerInput callerBuffer callerEnd (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel) Data.Map.Internal.Tip Data.Map.Internal.Tip) name = \(!callerOnReturn) (!callerInput) (!callerBuffer) (!callerEnd) (!callerOnExceptionStackByLabel) -> let _ = "pushValue" in let _ = "catch ExceptionFailure checkedHorizon=0" in let onException = let _ = "onException" in \(!_exn) (!failInp) (!farInp) (!farExp) buf end -> let _ = "loadInput checkedHorizon=0" in let _ = "checkHorizon.noCheck" in Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput farInp farExp buf end in let _ = "pushValue" in let _ = "comment: satisfy Parsers.Nandlang.nandIdentStart" in let partialCont buf = let readFail = onException in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2" in if readMore buf ((GHC.Num.+) @GHC.Types.Int 1 callerInput) then let _ = "checkToken" in let !(# c, cs #) = readNext buf callerInput in if Parsers.Nandlang.nandIdentStart c then let _ = "lift2Value checkedHorizon=2" in let _ = "pushValue" in do let dupv = \u -> u reg <- GHC.STRef.newSTRef dupv let _ = "iter" in let onException loopInput = let _ = "onException" in \(!_exn) (!failInp) (!farInp) (!farExp) buf end -> let _ = "comment: raiseAgainIfConsumed" in let _ = "saveInput checkedHorizon=0" in let _ = "lift2Value checkedHorizon=0" in if (GHC.Classes.==) @GHC.Types.Int loopInput failInp then let _ = "choicesBranch checkedHorizon=0" in do sr <- GHC.STRef.readSTRef reg name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "lift2Value checkedHorizon=0" in let _ = "commit" in let _ = "lift2Value checkedHorizon=0" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "resume" in callerOnReturn farInp farExp ( let _ = "resume.genCode" in v ) inp buf end ) inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) failInp buf end Data.Map.Internal.Tip else let _ = "choicesBranch.else" in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf end loop = \_callerOnReturn callerInput callerBuffer callerEnded callerOnExceptionStackByLabel -> let _ = "pushValue" in let _ = "comment: satisfy Parsers.Nandlang.nandIdentLetter" in let partialCont buf = let readFail = onException callerInput in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1" in if readMore buf callerInput then let _ = "checkToken" in let !(# c, cs #) = readNext buf callerInput in if Parsers.Nandlang.nandIdentLetter c then let _ = "lift2Value checkedHorizon=1" in do sr <- GHC.STRef.readSTRef reg let _ = "lift2Value checkedHorizon=1" in do let dupv = sr GHC.STRef.writeSTRef reg dupv let _ = "jump" in loop (GHC.Err.error "invalid onReturn") cs buf callerEnded (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "checkToken.fail" in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput initPos Data.Set.Internal.empty buf callerEnded else let _ = "checkHorizon.newCheck.fail" in let noMoreInput = let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 1 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int initPos callerInput of GHC.Types.LT -> (# callerInput, failExp #) GHC.Types.EQ -> (# initPos, failExp GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# initPos, Data.Set.Internal.empty #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput farInp farExp buf GHC.Types.True in if callerEnded then noMoreInput else Symantic.Parser.Machine.Generate.returnST GHC.Base.$ ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$ ( \newInput -> if Symantic.Parser.Machine.Input.nullInput newInput then noMoreInput else partialCont (append buf newInput) ) ) in partialCont callerBuffer in let _ = "jump" in loop callerOnReturn cs buf callerEnd (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "checkToken.fail" in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput initPos Data.Set.Internal.empty buf callerEnd else let _ = "checkHorizon.newCheck.fail" in let noMoreInput = let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int initPos callerInput of GHC.Types.LT -> (# callerInput, failExp #) GHC.Types.EQ -> (# initPos, failExp GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# initPos, Data.Set.Internal.empty #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput farInp farExp buf GHC.Types.True in if callerEnd then noMoreInput else Symantic.Parser.Machine.Generate.returnST GHC.Base.$ ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$ ( \newInput -> if Symantic.Parser.Machine.Input.nullInput newInput then noMoreInput else partialCont (append buf newInput) ) ) in partialCont callerBuffer name = \(!callerOnReturn) (!callerInput) (!callerBuffer) (!callerEnd) (!callerOnExceptionStackByLabel) -> let _ = "pushValue" in let _ = "comment: satisfy ((GHC.Classes.==) '(')" in let partialCont buf = let readFail = Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2" in if readMore buf ((GHC.Num.+) @GHC.Types.Int 1 callerInput) then let _ = "checkToken" in let !(# c, cs #) = readNext buf callerInput in if (GHC.Classes.==) '(' c then let _ = "lift2Value checkedHorizon=2" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "resume" in callerOnReturn farInp farExp ( let _ = "resume.genCode" in '(' ) inp buf end ) cs buf callerEnd (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "checkToken.fail" in let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '(' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int initPos callerInput of GHC.Types.LT -> (# callerInput, failExp #) GHC.Types.EQ -> (# initPos, failExp GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# initPos, Data.Set.Internal.empty #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput farInp farExp buf callerEnd else let _ = "checkHorizon.newCheck.fail" in let noMoreInput = let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int initPos callerInput of GHC.Types.LT -> (# callerInput, failExp #) GHC.Types.EQ -> (# initPos, failExp GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# initPos, Data.Set.Internal.empty #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput farInp farExp buf GHC.Types.True in if callerEnd then noMoreInput else Symantic.Parser.Machine.Generate.returnST GHC.Base.$ ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$ ( \newInput -> if Symantic.Parser.Machine.Input.nullInput newInput then noMoreInput else partialCont (append buf newInput) ) ) in partialCont callerBuffer name = \(!callerOnReturn) (!callerInput) (!callerBuffer) (!callerEnd) (!callerOnExceptionStackByLabel) -> let _ = "pushValue" in let _ = "comment: satisfy ((GHC.Classes.==) ')')" in let partialCont buf = let readFail = Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2" in if readMore buf ((GHC.Num.+) @GHC.Types.Int 1 callerInput) then let _ = "checkToken" in let !(# c, cs #) = readNext buf callerInput in if (GHC.Classes.==) ')' c then let _ = "lift2Value checkedHorizon=2" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "resume" in callerOnReturn farInp farExp ( let _ = "resume.genCode" in ')' ) inp buf end ) cs buf callerEnd (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "checkToken.fail" in let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken ')' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int initPos callerInput of GHC.Types.LT -> (# callerInput, failExp #) GHC.Types.EQ -> (# initPos, failExp GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# initPos, Data.Set.Internal.empty #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput farInp farExp buf callerEnd else let _ = "checkHorizon.newCheck.fail" in let noMoreInput = let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int initPos callerInput of GHC.Types.LT -> (# callerInput, failExp #) GHC.Types.EQ -> (# initPos, failExp GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# initPos, Data.Set.Internal.empty #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput farInp farExp buf GHC.Types.True in if callerEnd then noMoreInput else Symantic.Parser.Machine.Generate.returnST GHC.Base.$ ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$ ( \newInput -> if Symantic.Parser.Machine.Input.nullInput newInput then noMoreInput else partialCont (append buf newInput) ) ) in partialCont callerBuffer name = \(!callerOnReturn) (!callerInput) (!callerBuffer) (!callerEnd) (!callerOnExceptionStackByLabel) -> let _ = "pushValue" in let _ = "comment: satisfy ((GHC.Classes.==) ',')" in let partialCont buf = let readFail = Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2" in if readMore buf ((GHC.Num.+) @GHC.Types.Int 1 callerInput) then let _ = "checkToken" in let !(# c, cs #) = readNext buf callerInput in if (GHC.Classes.==) ',' c then let _ = "lift2Value checkedHorizon=2" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "resume" in callerOnReturn farInp farExp ( let _ = "resume.genCode" in ',' ) inp buf end ) cs buf callerEnd (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "checkToken.fail" in let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken ',' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int initPos callerInput of GHC.Types.LT -> (# callerInput, failExp #) GHC.Types.EQ -> (# initPos, failExp GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# initPos, Data.Set.Internal.empty #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput farInp farExp buf callerEnd else let _ = "checkHorizon.newCheck.fail" in let noMoreInput = let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int initPos callerInput of GHC.Types.LT -> (# callerInput, failExp #) GHC.Types.EQ -> (# initPos, failExp GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# initPos, Data.Set.Internal.empty #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput farInp farExp buf GHC.Types.True in if callerEnd then noMoreInput else Symantic.Parser.Machine.Generate.returnST GHC.Base.$ ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$ ( \newInput -> if Symantic.Parser.Machine.Input.nullInput newInput then noMoreInput else partialCont (append buf newInput) ) ) in partialCont callerBuffer name = \(!callerOnReturn) (!callerInput) (!callerBuffer) (!callerEnd) (!callerOnExceptionStackByLabel) -> let _ = "pushValue" in let _ = "comment: satisfy ((GHC.Classes.==) ';')" in let partialCont buf = let readFail = Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2" in if readMore buf ((GHC.Num.+) @GHC.Types.Int 1 callerInput) then let _ = "checkToken" in let !(# c, cs #) = readNext buf callerInput in if (GHC.Classes.==) ';' c then let _ = "lift2Value checkedHorizon=2" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "resume" in callerOnReturn farInp farExp ( let _ = "resume.genCode" in ';' ) inp buf end ) cs buf callerEnd (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "checkToken.fail" in let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken ';' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int initPos callerInput of GHC.Types.LT -> (# callerInput, failExp #) GHC.Types.EQ -> (# initPos, failExp GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# initPos, Data.Set.Internal.empty #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput farInp farExp buf callerEnd else let _ = "checkHorizon.newCheck.fail" in let noMoreInput = let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int initPos callerInput of GHC.Types.LT -> (# callerInput, failExp #) GHC.Types.EQ -> (# initPos, failExp GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# initPos, Data.Set.Internal.empty #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput farInp farExp buf GHC.Types.True in if callerEnd then noMoreInput else Symantic.Parser.Machine.Generate.returnST GHC.Base.$ ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$ ( \newInput -> if Symantic.Parser.Machine.Input.nullInput newInput then noMoreInput else partialCont (append buf newInput) ) ) in partialCont callerBuffer name = \(!callerOnReturn) (!callerInput) (!callerBuffer) (!callerEnd) (!callerOnExceptionStackByLabel) -> let _ = "pushValue" in let _ = "comment: satisfy ((GHC.Classes.==) '[')" in let partialCont buf = let readFail = Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=5" in if readMore buf ((GHC.Num.+) @GHC.Types.Int 4 callerInput) then let _ = "checkToken" in let !(# c, cs #) = readNext buf callerInput in if (GHC.Classes.==) '[' c then let _ = "lift2Value checkedHorizon=5" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "pushValue" in do let dupv = \u -> u reg <- GHC.STRef.newSTRef dupv let _ = "iter" in let onException loopInput = let _ = "onException" in \(!_exn) (!failInp) (!farInp) (!farExp) buf end -> let _ = "comment: raiseAgainIfConsumed" in let _ = "saveInput checkedHorizon=0" in let _ = "lift2Value checkedHorizon=0" in if (GHC.Classes.==) @GHC.Types.Int loopInput failInp then let _ = "choicesBranch checkedHorizon=0" in do sr <- GHC.STRef.readSTRef reg let _ = "pushValue" in let _ = "lift2Value checkedHorizon=0" in let _ = "lift2Value checkedHorizon=0" in let _ = "comment: satisfy ((GHC.Classes.==) ']')" in let partialCont buf = let readFail = readFail in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2" in if readMore buf ((GHC.Num.+) @GHC.Types.Int 1 failInp) then let _ = "checkToken" in let !(# c, cs #) = readNext buf failInp in if (GHC.Classes.==) ']' c then let _ = "lift2Value checkedHorizon=2" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "resume" in callerOnReturn farInp farExp ( let _ = "resume.genCode" in GHC.Tuple . () ) inp buf end ) cs buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "checkToken.fail" in let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken ']' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp failInp of GHC.Types.LT -> (# failInp, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf end else let _ = "checkHorizon.newCheck.fail" in let noMoreInput = let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp failInp of GHC.Types.LT -> (# failInp, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf GHC.Types.True in if end then noMoreInput else Symantic.Parser.Machine.Generate.returnST GHC.Base.$ ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$ ( \newInput -> if Symantic.Parser.Machine.Input.nullInput newInput then noMoreInput else partialCont (append buf newInput) ) ) in partialCont buf else let _ = "choicesBranch.else" in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf end loop = \_callerOnReturn callerInput callerBuffer callerEnded callerOnExceptionStackByLabel -> let _ = "pushValue" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in do sr <- GHC.STRef.readSTRef reg let _ = "lift2Value checkedHorizon=0" in do let dupv = sr GHC.STRef.writeSTRef reg dupv let _ = "jump" in loop (GHC.Err.error "invalid onReturn") inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) callerInput callerBuffer callerEnded (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip) in let _ = "jump" in loop callerOnReturn inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip) ) inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip) ) cs buf callerEnd (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "checkToken.fail" in let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '[' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int initPos callerInput of GHC.Types.LT -> (# callerInput, failExp #) GHC.Types.EQ -> (# initPos, failExp GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# initPos, Data.Set.Internal.empty #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput farInp farExp buf callerEnd else let _ = "checkHorizon.newCheck.fail" in let noMoreInput = let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 5 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int initPos callerInput of GHC.Types.LT -> (# callerInput, failExp #) GHC.Types.EQ -> (# initPos, failExp GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# initPos, Data.Set.Internal.empty #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput farInp farExp buf GHC.Types.True in if callerEnd then noMoreInput else Symantic.Parser.Machine.Generate.returnST GHC.Base.$ ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$ ( \newInput -> if Symantic.Parser.Machine.Input.nullInput newInput then noMoreInput else partialCont (append buf newInput) ) ) in partialCont callerBuffer name = \(!callerOnReturn) (!callerInput) (!callerBuffer) (!callerEnd) (!callerOnExceptionStackByLabel) -> let _ = "pushValue" in let _ = "comment: satisfy ((GHC.Classes.==) '{')" in let partialCont buf = let readFail = Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=4" in if readMore buf ((GHC.Num.+) @GHC.Types.Int 3 callerInput) then let _ = "checkToken" in let !(# c, cs #) = readNext buf callerInput in if (GHC.Classes.==) '{' c then let _ = "lift2Value checkedHorizon=4" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "pushValue" in do let dupv = \u -> u reg <- GHC.STRef.newSTRef dupv let _ = "iter" in let onException loopInput = let _ = "onException" in \(!_exn) (!failInp) (!farInp) (!farExp) buf end -> let _ = "comment: raiseAgainIfConsumed" in let _ = "saveInput checkedHorizon=0" in let _ = "lift2Value checkedHorizon=0" in if (GHC.Classes.==) @GHC.Types.Int loopInput failInp then let _ = "choicesBranch checkedHorizon=0" in do sr <- GHC.STRef.readSTRef reg name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "lift2Value checkedHorizon=0" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "comment: satisfy ((GHC.Classes.==) '}')" in let partialCont buf = let readFail = readFail in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2" in if readMore buf ((GHC.Num.+) @GHC.Types.Int 1 inp) then let _ = "checkToken" in let !(# c, cs #) = readNext buf inp in if (GHC.Classes.==) '}' c then let _ = "lift2Value checkedHorizon=2" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "resume" in callerOnReturn farInp farExp ( let _ = "resume.genCode" in v ) inp buf end ) cs buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "checkToken.fail" in let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '}' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp inp of GHC.Types.LT -> (# inp, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp buf end else let _ = "checkHorizon.newCheck.fail" in let noMoreInput = let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp inp of GHC.Types.LT -> (# inp, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp buf GHC.Types.True in if end then noMoreInput else Symantic.Parser.Machine.Generate.returnST GHC.Base.$ ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$ ( \newInput -> if Symantic.Parser.Machine.Input.nullInput newInput then noMoreInput else partialCont (append buf newInput) ) ) in partialCont buf ) inp buf end Data.Map.Internal.Tip ) failInp buf end Data.Map.Internal.Tip else let _ = "choicesBranch.else" in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf end loop = \_callerOnReturn callerInput callerBuffer callerEnded callerOnExceptionStackByLabel -> let _ = "pushValue" in let join = \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in do sr <- GHC.STRef.readSTRef reg let _ = "lift2Value checkedHorizon=0" in do let dupv = sr GHC.STRef.writeSTRef reg dupv let _ = "jump" in loop (GHC.Err.error "invalid onReturn") inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip) in let _ = "catch ExceptionFailure checkedHorizon=0" in let onException = let _ = "onException" in \(!_exn) (!failInp) (!farInp) (!farExp) buf end -> let _ = "comment: raiseAgainIfConsumed" in let _ = "saveInput checkedHorizon=0" in let _ = "lift2Value checkedHorizon=0" in if (GHC.Classes.==) @GHC.Types.Int callerInput failInp then let _ = "choicesBranch checkedHorizon=0" in let _ = "catch ExceptionFailure checkedHorizon=0" in let onException = let _ = "onException" in \(!_exn) (!failInp) (!farInp) (!farExp) buf end -> let _ = "comment: raiseAgainIfConsumed" in let _ = "saveInput checkedHorizon=0" in let _ = "lift2Value checkedHorizon=0" in if (GHC.Classes.==) @GHC.Types.Int failInp failInp then let _ = "choicesBranch checkedHorizon=0" in let _ = "catch ExceptionFailure checkedHorizon=0" in let onException = let _ = "onException" in \(!_exn) (!failInp) (!farInp) (!farExp) buf end -> let _ = "comment: raiseAgainIfConsumed" in let _ = "saveInput checkedHorizon=0" in let _ = "lift2Value checkedHorizon=0" in if (GHC.Classes.==) @GHC.Types.Int failInp failInp then let _ = "choicesBranch checkedHorizon=0" in let _ = "pushValue" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "resume" in join farInp farExp ( let _ = "resume.genCode" in v ) inp buf end ) inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) failInp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "choicesBranch.else" in onException callerInput Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf end in let _ = "catch ExceptionFailure checkedHorizon=0" in let onException = let _ = "onException" in \(!_exn) (!failInp) (!farInp) (!farExp) buf end -> let _ = "loadInput checkedHorizon=0" in let _ = "checkHorizon.noCheck" in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf end in let _ = "pushValue" in let join = \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "pushValue" in do let dupv = \u -> u reg <- GHC.STRef.newSTRef dupv let _ = "iter" in let onException loopInput = let _ = "onException" in \(!_exn) (!failInp) (!farInp) (!farExp) buf end -> let _ = "comment: raiseAgainIfConsumed" in let _ = "saveInput checkedHorizon=0" in let _ = "lift2Value checkedHorizon=0" in if (GHC.Classes.==) @GHC.Types.Int loopInput failInp then let _ = "choicesBranch checkedHorizon=0" in do sr <- GHC.STRef.readSTRef reg name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "lift2Value checkedHorizon=0" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "comment: satisfy ((GHC.Classes.==) '=')" in let partialCont buf = let readFail = onException in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=6" in if readMore buf ((GHC.Num.+) @GHC.Types.Int 5 inp) then let _ = "checkToken" in let !(# c, cs #) = readNext buf inp in if (GHC.Classes.==) '=' c then let _ = "lift2Value checkedHorizon=6" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "pushValue" in do let dupv = \u -> u reg <- GHC.STRef.newSTRef dupv let _ = "iter" in let onException loopInput = let _ = "onException" in \(!_exn) (!failInp) (!farInp) (!farExp) buf end -> let _ = "comment: raiseAgainIfConsumed" in let _ = "saveInput checkedHorizon=0" in let _ = "lift2Value checkedHorizon=0" in if (GHC.Classes.==) @GHC.Types.Int loopInput failInp then let _ = "choicesBranch checkedHorizon=0" in do sr <- GHC.STRef.readSTRef reg name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "lift2Value checkedHorizon=0" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "commit" in let _ = "commit" in let _ = "resume" in join farInp farExp ( let _ = "resume.genCode" in v ) inp buf end ) inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip) ) inp buf end Data.Map.Internal.Tip ) failInp buf end Data.Map.Internal.Tip else let _ = "choicesBranch.else" in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf end loop = \_callerOnReturn callerInput callerBuffer callerEnded callerOnExceptionStackByLabel -> let _ = "pushValue" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in do sr <- GHC.STRef.readSTRef reg let _ = "lift2Value checkedHorizon=0" in do let dupv = v v sr GHC.STRef.writeSTRef reg dupv let _ = "jump" in loop (GHC.Err.error "invalid onReturn") inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) callerInput callerBuffer callerEnded Data.Map.Internal.Tip in let _ = "jump" in loop (GHC.Err.error "invalid onReturn") inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip) ) inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip) ) cs buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "checkToken.fail" in let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '=' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp inp of GHC.Types.LT -> (# inp, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp buf end else let _ = "checkHorizon.newCheck.fail" in let noMoreInput = let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 6 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp inp of GHC.Types.LT -> (# inp, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp buf GHC.Types.True in if end then noMoreInput else Symantic.Parser.Machine.Generate.returnST GHC.Base.$ ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$ ( \newInput -> if Symantic.Parser.Machine.Input.nullInput newInput then noMoreInput else partialCont (append buf newInput) ) ) in partialCont buf ) inp buf end Data.Map.Internal.Tip ) failInp buf end Data.Map.Internal.Tip else let _ = "choicesBranch.else" in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf end loop = \_callerOnReturn callerInput callerBuffer callerEnded callerOnExceptionStackByLabel -> let _ = "pushValue" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in do sr <- GHC.STRef.readSTRef reg let _ = "lift2Value checkedHorizon=0" in do let dupv = v v sr GHC.STRef.writeSTRef reg dupv let _ = "jump" in loop (GHC.Err.error "invalid onReturn") inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) callerInput callerBuffer callerEnded Data.Map.Internal.Tip in let _ = "jump" in loop (GHC.Err.error "invalid onReturn") inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip) ) inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip) in let _ = "catch ExceptionFailure checkedHorizon=0" in let onException = let _ = "onException" in \(!_exn) (!failInp) (!farInp) (!farExp) buf end -> let _ = "comment: raiseAgainIfConsumed" in let _ = "saveInput checkedHorizon=0" in let _ = "lift2Value checkedHorizon=0" in if (GHC.Classes.==) @GHC.Types.Int failInp failInp then let _ = "choicesBranch checkedHorizon=0" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "resume" in join farInp farExp ( let _ = "resume.genCode" in v ) inp buf end ) failInp buf end Data.Map.Internal.Tip else let _ = "choicesBranch.else" in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf end in let _ = "pushValue" in let _ = "catch ExceptionFailure checkedHorizon=0" in let onException = let _ = "onException" in \(!_exn) (!failInp) (!farInp) (!farExp) buf end -> let _ = "loadInput checkedHorizon=0" in let _ = "checkHorizon.noCheck" in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf end in let _ = "pushValue" in let _ = "comment: satisfy ((GHC.Classes.==) 'v')" in let partialCont buf = let readFail = onException in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=11" in if readMore buf ((GHC.Num.+) @GHC.Types.Int 10 failInp) then let _ = "checkToken" in let !(# c, cs #) = readNext buf failInp in if (GHC.Classes.==) 'v' c then let _ = "lift2Value checkedHorizon=11" in let _ = "comment: satisfy ((GHC.Classes.==) 'a')" in let _ = "checkHorizon.oldCheck: checkedHorizon=11" in let _ = "checkToken" in let !(# c, cs #) = readNext buf cs in if (GHC.Classes.==) 'a' c then let _ = "lift2Value checkedHorizon=10" in let _ = "comment: satisfy ((GHC.Classes.==) 'r')" in let _ = "checkHorizon.oldCheck: checkedHorizon=10" in let _ = "checkToken" in let !(# c, cs #) = readNext buf cs in if (GHC.Classes.==) 'r' c then let _ = "lift2Value checkedHorizon=9" in let _ = "commit" in let _ = "lift2Value checkedHorizon=9" in let _ = "commit" in let _ = "resume" in join farInp farExp ( let _ = "resume.genCode" in GHC.Tuple . () ) cs buf end else let _ = "checkToken.fail" in let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'r' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp cs of GHC.Types.LT -> (# cs, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp buf end else let _ = "checkToken.fail" in let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'a' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp cs of GHC.Types.LT -> (# cs, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp buf end else let _ = "checkToken.fail" in let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'v' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp failInp of GHC.Types.LT -> (# failInp, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf end else let _ = "checkHorizon.newCheck.fail" in let noMoreInput = let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 11 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp failInp of GHC.Types.LT -> (# failInp, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf GHC.Types.True in if end then noMoreInput else Symantic.Parser.Machine.Generate.returnST GHC.Base.$ ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$ ( \newInput -> if Symantic.Parser.Machine.Input.nullInput newInput then noMoreInput else partialCont (append buf newInput) ) ) in partialCont buf else let _ = "choicesBranch.else" in onException callerInput Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf end in let _ = "pushValue" in let _ = "catch ExceptionFailure checkedHorizon=0" in let onException = let _ = "onException" in \(!_exn) (!failInp) (!farInp) (!farExp) buf end -> let _ = "loadInput checkedHorizon=0" in let _ = "checkHorizon.noCheck" in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf end in let _ = "pushValue" in let _ = "comment: satisfy ((GHC.Classes.==) 'w')" in let partialCont buf = let readFail = onException in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=7" in if readMore buf ((GHC.Num.+) @GHC.Types.Int 6 failInp) then let _ = "checkToken" in let !(# c, cs #) = readNext buf failInp in if (GHC.Classes.==) 'w' c then let _ = "lift2Value checkedHorizon=7" in let _ = "comment: satisfy ((GHC.Classes.==) 'h')" in let _ = "checkHorizon.oldCheck: checkedHorizon=7" in let _ = "checkToken" in let !(# c, cs #) = readNext buf cs in if (GHC.Classes.==) 'h' c then let _ = "lift2Value checkedHorizon=6" in let _ = "comment: satisfy ((GHC.Classes.==) 'i')" in let _ = "checkHorizon.oldCheck: checkedHorizon=6" in let _ = "checkToken" in let !(# c, cs #) = readNext buf cs in if (GHC.Classes.==) 'i' c then let _ = "lift2Value checkedHorizon=5" in let _ = "comment: satisfy ((GHC.Classes.==) 'l')" in let _ = "checkHorizon.oldCheck: checkedHorizon=5" in let _ = "checkToken" in let !(# c, cs #) = readNext buf cs in if (GHC.Classes.==) 'l' c then let _ = "lift2Value checkedHorizon=4" in let _ = "comment: satisfy ((GHC.Classes.==) 'e')" in let _ = "checkHorizon.oldCheck: checkedHorizon=4" in let _ = "checkToken" in let !(# c, cs #) = readNext buf cs in if (GHC.Classes.==) 'e' c then let _ = "lift2Value checkedHorizon=3" in let _ = "commit" in let _ = "lift2Value checkedHorizon=3" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "commit" in let _ = "resume" in join farInp farExp ( let _ = "resume.genCode" in v ) inp buf end ) inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip) ) cs buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "checkToken.fail" in let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'e' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp cs of GHC.Types.LT -> (# cs, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp buf end else let _ = "checkToken.fail" in let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'l' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp cs of GHC.Types.LT -> (# cs, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp buf end else let _ = "checkToken.fail" in let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'i' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp cs of GHC.Types.LT -> (# cs, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp buf end else let _ = "checkToken.fail" in let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'h' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp cs of GHC.Types.LT -> (# cs, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp buf end else let _ = "checkToken.fail" in let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'w' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp failInp of GHC.Types.LT -> (# failInp, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf end else let _ = "checkHorizon.newCheck.fail" in let noMoreInput = let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 7 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp failInp of GHC.Types.LT -> (# failInp, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf GHC.Types.True in if end then noMoreInput else Symantic.Parser.Machine.Generate.returnST GHC.Base.$ ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$ ( \newInput -> if Symantic.Parser.Machine.Input.nullInput newInput then noMoreInput else partialCont (append buf newInput) ) ) in partialCont buf else let _ = "choicesBranch.else" in onException callerInput Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf end in let _ = "pushValue" in let _ = "catch ExceptionFailure checkedHorizon=0" in let onException = let _ = "onException" in \(!_exn) (!failInp) (!farInp) (!farExp) buf end -> let _ = "loadInput checkedHorizon=0" in let _ = "checkHorizon.noCheck" in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput farInp farExp buf end in let _ = "pushValue" in let _ = "comment: satisfy ((GHC.Classes.==) 'i')" in let partialCont buf = let readFail = onException in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2" in if readMore buf ((GHC.Num.+) @GHC.Types.Int 1 callerInput) then let _ = "checkToken" in let !(# c, cs #) = readNext buf callerInput in if (GHC.Classes.==) 'i' c then let _ = "lift2Value checkedHorizon=2" in let _ = "comment: satisfy ((GHC.Classes.==) 'f')" in let _ = "checkHorizon.oldCheck: checkedHorizon=2" in let _ = "checkToken" in let !(# c, cs #) = readNext buf cs in if (GHC.Classes.==) 'f' c then let _ = "lift2Value checkedHorizon=1" in let _ = "commit" in let _ = "lift2Value checkedHorizon=1" in let _ = "commit" in let _ = "resume" in join farInp farExp ( let _ = "resume.genCode" in GHC.Tuple . () ) cs buf callerEnded else let _ = "checkToken.fail" in let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'f' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp cs of GHC.Types.LT -> (# cs, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp buf callerEnded else let _ = "checkToken.fail" in let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'i' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp callerInput of GHC.Types.LT -> (# callerInput, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput farInp farExp buf callerEnded else let _ = "checkHorizon.newCheck.fail" in let noMoreInput = let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 2 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp callerInput of GHC.Types.LT -> (# callerInput, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput farInp farExp buf GHC.Types.True in if callerEnded then noMoreInput else Symantic.Parser.Machine.Generate.returnST GHC.Base.$ ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$ ( \newInput -> if Symantic.Parser.Machine.Input.nullInput newInput then noMoreInput else partialCont (append buf newInput) ) ) in partialCont callerBuffer in let _ = "jump" in loop callerOnReturn inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip) ) cs buf callerEnd (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "checkToken.fail" in let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken '{' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int initPos callerInput of GHC.Types.LT -> (# callerInput, failExp #) GHC.Types.EQ -> (# initPos, failExp GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# initPos, Data.Set.Internal.empty #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput farInp farExp buf callerEnd else let _ = "checkHorizon.newCheck.fail" in let noMoreInput = let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 4 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int initPos callerInput of GHC.Types.LT -> (# callerInput, failExp #) GHC.Types.EQ -> (# initPos, failExp GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# initPos, Data.Set.Internal.empty #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput farInp farExp buf GHC.Types.True in if callerEnd then noMoreInput else Symantic.Parser.Machine.Generate.returnST GHC.Base.$ ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$ ( \newInput -> if Symantic.Parser.Machine.Input.nullInput newInput then noMoreInput else partialCont (append buf newInput) ) ) in partialCont callerBuffer name = \(!callerOnReturn) (!callerInput) (!callerBuffer) (!callerEnd) (!callerOnExceptionStackByLabel) -> let _ = "pushValue" in let _ = "comment: satisfy GHC.Unicode.isSpace" in let partialCont buf = let readFail = Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1" in if readMore buf callerInput then let _ = "checkToken" in let !(# c, cs #) = readNext buf callerInput in if GHC.Unicode.isSpace c then let _ = "lift2Value checkedHorizon=1" in let _ = "resume" in callerOnReturn initPos Data.Set.Internal.empty ( let _ = "resume.genCode" in GHC.Tuple . () ) cs buf callerEnd else let _ = "checkToken.fail" in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput initPos Data.Set.Internal.empty buf callerEnd else let _ = "checkHorizon.newCheck.fail" in let noMoreInput = let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 1 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int initPos callerInput of GHC.Types.LT -> (# callerInput, failExp #) GHC.Types.EQ -> (# initPos, failExp GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# initPos, Data.Set.Internal.empty #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput farInp farExp buf GHC.Types.True in if callerEnd then noMoreInput else Symantic.Parser.Machine.Generate.returnST GHC.Base.$ ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$ ( \newInput -> if Symantic.Parser.Machine.Input.nullInput newInput then noMoreInput else partialCont (append buf newInput) ) ) in partialCont callerBuffer name = \(!callerOnReturn) (!callerInput) (!callerBuffer) (!callerEnd) (!callerOnExceptionStackByLabel) -> let _ = "pushValue" in let _ = "resume" in callerOnReturn initPos Data.Set.Internal.empty ( let _ = "resume.genCode" in GHC.Tuple . () ) callerInput callerBuffer callerEnd name = \(!callerOnReturn) (!callerInput) (!callerBuffer) (!callerEnd) (!callerOnExceptionStackByLabel) -> let _ = "pushValue" in let _ = "resume" in callerOnReturn initPos Data.Set.Internal.empty ( let _ = "resume.genCode" in GHC.Tuple . () ) callerInput callerBuffer callerEnd name = \(!callerOnReturn) (!callerInput) (!callerBuffer) (!callerEnd) (!callerOnExceptionStackByLabel) -> let _ = "pushValue" in let _ = "resume" in callerOnReturn initPos Data.Set.Internal.empty ( let _ = "resume.genCode" in \u -> \u -> u ) callerInput callerBuffer callerEnd in let _ = "pushValue" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "pushValue" in do let dupv = \u -> u reg <- GHC.STRef.newSTRef dupv let _ = "iter" in let onException loopInput = let _ = "onException" in \(!_exn) (!failInp) (!farInp) (!farExp) buf end -> let _ = "comment: raiseAgainIfConsumed" in let _ = "saveInput checkedHorizon=0" in let _ = "lift2Value checkedHorizon=0" in if (GHC.Classes.==) @GHC.Types.Int loopInput failInp then let _ = "choicesBranch checkedHorizon=0" in do sr <- GHC.STRef.readSTRef reg name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "lift2Value checkedHorizon=0" in let join = \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "resume" in finalRet farInp farExp ( let _ = "resume.genCode" in GHC.Show.show GHC.Tuple . () ) inp buf end in let _ = "catch ExceptionFailure checkedHorizon=0" in let onException = let _ = "onException" in \(!_exn) (!failInp) (!farInp) (!farExp) buf end -> let _ = "comment: raiseAgainIfConsumed" in let _ = "saveInput checkedHorizon=0" in let _ = "lift2Value checkedHorizon=0" in if (GHC.Classes.==) @GHC.Types.Int inp failInp then let _ = "choicesBranch checkedHorizon=0" in let _ = "comment: eof.fail" 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 in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp failInp of GHC.Types.LT -> (# failInp, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in Symantic.Parser.Machine.Generate.unForallOnException finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf end else let _ = "choicesBranch.else" in Symantic.Parser.Machine.Generate.unForallOnException finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf end in let _ = "comment: negLook" in let _ = "catch ExceptionFailure checkedHorizon=0" in let onException = let _ = "onException" in \(!_exn) (!failInp) (!farInp) (!farExp) buf end -> let _ = "comment: negLook.reset" in let _ = "loadInput checkedHorizon=0" in let _ = "checkHorizon.noCheck" in let _ = "pushValue" in let _ = "commit" in let _ = "resume" in join farInp farExp ( let _ = "resume.genCode" in GHC.Tuple . () ) inp buf end in let _ = "comment: negLook.ahead" in let _ = "saveInput checkedHorizon=0" in let _ = "comment: satisfy (GHC.Base.const GHC.Types.True)" in let partialCont buf = let readFail = onException in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1" in if readMore buf inp then let _ = "checkToken" in let !(# c, cs #) = readNext buf inp in let _ = "popValue" in let _ = "commit" in let _ = "loadInput checkedHorizon=0" in let _ = "checkHorizon.noCheck" in onException Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp buf end else let _ = "checkHorizon.newCheck.fail" in let noMoreInput = let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 1 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp inp of GHC.Types.LT -> (# inp, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp buf GHC.Types.True in if end then noMoreInput else Symantic.Parser.Machine.Generate.returnST GHC.Base.$ ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$ ( \newInput -> if Symantic.Parser.Machine.Input.nullInput newInput then noMoreInput else partialCont (append buf newInput) ) ) in partialCont buf ) failInp buf end Data.Map.Internal.Tip else let _ = "choicesBranch.else" in Symantic.Parser.Machine.Generate.unForallOnException finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf end loop = \_callerOnReturn callerInput callerBuffer callerEnded callerOnExceptionStackByLabel -> let _ = "pushValue" in let _ = "catch ExceptionFailure checkedHorizon=0" in let onException = let _ = "onException" in \(!_exn) (!failInp) (!farInp) (!farExp) buf end -> let _ = "loadInput checkedHorizon=0" in let _ = "checkHorizon.noCheck" in onException callerInput Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput farInp farExp buf end in let _ = "pushValue" in let _ = "comment: satisfy ((GHC.Classes.==) 'f')" in let partialCont buf = let readFail = onException in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=18" in if readMore buf ((GHC.Num.+) @GHC.Types.Int 17 callerInput) then let _ = "checkToken" in let !(# c, cs #) = readNext buf callerInput in if (GHC.Classes.==) 'f' c then let _ = "lift2Value checkedHorizon=18" in let _ = "comment: satisfy ((GHC.Classes.==) 'u')" in let _ = "checkHorizon.oldCheck: checkedHorizon=18" in let _ = "checkToken" in let !(# c, cs #) = readNext buf cs in if (GHC.Classes.==) 'u' c then let _ = "lift2Value checkedHorizon=17" in let _ = "comment: satisfy ((GHC.Classes.==) 'n')" in let _ = "checkHorizon.oldCheck: checkedHorizon=17" in let _ = "checkToken" in let !(# c, cs #) = readNext buf cs in if (GHC.Classes.==) 'n' c then let _ = "lift2Value checkedHorizon=16" in let _ = "comment: satisfy ((GHC.Classes.==) 'c')" in let _ = "checkHorizon.oldCheck: checkedHorizon=16" in let _ = "checkToken" in let !(# c, cs #) = readNext buf cs in if (GHC.Classes.==) 'c' c then let _ = "lift2Value checkedHorizon=15" in let _ = "comment: satisfy ((GHC.Classes.==) 't')" in let _ = "checkHorizon.oldCheck: checkedHorizon=15" in let _ = "checkToken" in let !(# c, cs #) = readNext buf cs in if (GHC.Classes.==) 't' c then let _ = "lift2Value checkedHorizon=14" in let _ = "comment: satisfy ((GHC.Classes.==) 'i')" in let _ = "checkHorizon.oldCheck: checkedHorizon=14" in let _ = "checkToken" in let !(# c, cs #) = readNext buf cs in if (GHC.Classes.==) 'i' c then let _ = "lift2Value checkedHorizon=13" in let _ = "comment: satisfy ((GHC.Classes.==) 'o')" in let _ = "checkHorizon.oldCheck: checkedHorizon=13" in let _ = "checkToken" in let !(# c, cs #) = readNext buf cs in if (GHC.Classes.==) 'o' c then let _ = "lift2Value checkedHorizon=12" in let _ = "comment: satisfy ((GHC.Classes.==) 'n')" in let _ = "checkHorizon.oldCheck: checkedHorizon=12" in let _ = "checkToken" in let !(# c, cs #) = readNext buf cs in if (GHC.Classes.==) 'n' c then let _ = "lift2Value checkedHorizon=11" in let _ = "commit" in let _ = "lift2Value checkedHorizon=11" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let join = \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in do sr <- GHC.STRef.readSTRef reg let _ = "lift2Value checkedHorizon=0" in do let dupv = sr GHC.STRef.writeSTRef reg dupv let _ = "jump" in loop (GHC.Err.error "invalid onReturn") inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip) in let _ = "catch ExceptionFailure checkedHorizon=0" in let onException = let _ = "onException" in \(!_exn) (!failInp) (!farInp) (!farExp) buf end -> let _ = "comment: raiseAgainIfConsumed" in let _ = "saveInput checkedHorizon=0" in let _ = "lift2Value checkedHorizon=0" in if (GHC.Classes.==) @GHC.Types.Int inp failInp then let _ = "choicesBranch checkedHorizon=0" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "resume" in join farInp farExp ( let _ = "resume.genCode" in v ) inp buf end ) failInp buf end Data.Map.Internal.Tip else let _ = "choicesBranch.else" in onException callerInput Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp farInp farExp buf end in let _ = "pushValue" in let _ = "comment: satisfy ((GHC.Classes.==) ':')" in let partialCont buf = let readFail = onException in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=8" in if readMore buf ((GHC.Num.+) @GHC.Types.Int 7 inp) then let _ = "checkToken" in let !(# c, cs #) = readNext buf inp in if (GHC.Classes.==) ':' c then let _ = "lift2Value checkedHorizon=8" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in name ( let _ = "onReturn" in \farInp farExp v (!inp) buf end -> let _ = "lift2Value checkedHorizon=0" in let _ = "commit" in let _ = "resume" in join farInp farExp ( let _ = "resume.genCode" in GHC.Tuple . () ) inp buf end ) inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip) ) cs buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "checkToken.fail" in let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken ':' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp inp of GHC.Types.LT -> (# inp, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp buf end else let _ = "checkHorizon.newCheck.fail" in let noMoreInput = let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 8 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp inp of GHC.Types.LT -> (# inp, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure inp farInp farExp buf GHC.Types.True in if end then noMoreInput else Symantic.Parser.Machine.Generate.returnST GHC.Base.$ ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$ ( \newInput -> if Symantic.Parser.Machine.Input.nullInput newInput then noMoreInput else partialCont (append buf newInput) ) ) in partialCont buf ) inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) inp buf end (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) cs buf callerEnded (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException callerInput) Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "checkToken.fail" in let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'n' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp cs of GHC.Types.LT -> (# cs, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp buf callerEnded else let _ = "checkToken.fail" in let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'o' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp cs of GHC.Types.LT -> (# cs, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp buf callerEnded else let _ = "checkToken.fail" in let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'i' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp cs of GHC.Types.LT -> (# cs, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp buf callerEnded else let _ = "checkToken.fail" in let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 't' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp cs of GHC.Types.LT -> (# cs, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp buf callerEnded else let _ = "checkToken.fail" in let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'c' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp cs of GHC.Types.LT -> (# cs, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp buf callerEnded else let _ = "checkToken.fail" in let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'n' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp cs of GHC.Types.LT -> (# cs, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp buf callerEnded else let _ = "checkToken.fail" in let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'u' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp cs of GHC.Types.LT -> (# cs, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure cs farInp farExp buf callerEnded else let _ = "checkToken.fail" in let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureToken 'f' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp callerInput of GHC.Types.LT -> (# callerInput, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput farInp farExp buf callerEnded else let _ = "checkHorizon.newCheck.fail" in let noMoreInput = let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 18 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int farInp callerInput of GHC.Types.LT -> (# callerInput, failExp #) GHC.Types.EQ -> (# farInp, failExp GHC.Base.<> farExp #) GHC.Types.GT -> (# farInp, farExp #) in readFail Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput farInp farExp buf GHC.Types.True in if callerEnded then noMoreInput else Symantic.Parser.Machine.Generate.returnST GHC.Base.$ ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$ ( \newInput -> if Symantic.Parser.Machine.Input.nullInput newInput then noMoreInput else partialCont (append buf newInput) ) ) in partialCont callerBuffer in let _ = "jump" in loop finalRet inp buf end Data.Map.Internal.Tip ) initPos buf GHC.Types.False Data.Map.Internal.Tip else let _ = "checkHorizon.newCheck.fail" in let noMoreInput = let failExp = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok') -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok' 1 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp, farExp #) = case GHC.Classes.compare @GHC.Types.Int initPos initPos of GHC.Types.LT -> (# initPos, failExp #) GHC.Types.EQ -> (# initPos, failExp GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# initPos, Data.Set.Internal.empty #) in Symantic.Parser.Machine.Generate.unForallOnException finalRaise Symantic.Parser.Grammar.Combinators.ExceptionFailure initPos farInp farExp buf GHC.Types.True in if GHC.Types.False then noMoreInput else Symantic.Parser.Machine.Generate.returnST GHC.Base.$ ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$ ( \newInput -> if Symantic.Parser.Machine.Input.nullInput newInput then noMoreInput else partialCont (append buf newInput) ) ) in partialCont initBuffer