\(input_0 :: inp_6989586621679402203) -> let !(# initBuffer_1, initPos_2, readMore_3, readNext_4, append_5 #) = let next_6 buf_7 pos_8 = let !( Data.Text.Unsafe.Iter c_9 d_10 ) = Symantic.Parser.Machine.Input.Text.Buffer.iter buf_7 pos_8 in (# c_9, pos_8 GHC.Num.+ d_10 #) more_11 buf_12 pos_13 = pos_13 GHC.Classes.< Symantic.Parser.Machine.Input.Text.Buffer.length buf_12 append_14 = Symantic.Parser.Machine.Input.Text.Buffer.pappend in (# Symantic.Parser.Machine.Input.Text.Buffer.buffer input_0, 0, more_11, next_6, append_14 #) finalRet_15 = \_farInp_16 _farExp_17 v_18 _inp_19 -> Symantic.Parser.Machine.Generate.returnST GHC.Base.$ Symantic.Parser.Machine.Generate.ResultDone v_18 finalRaise_20 :: forall b_21. Symantic.Parser.Machine.Generate.OnException inp_6989586621679402203 b_21 = \(!exn_22) _failInp_23 (!farInp_24) (!farExp_25) buf_26 -> 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_24, Symantic.Parser.Machine.Generate.parsingErrorException = exn_22, Symantic.Parser.Machine.Generate.parsingErrorUnexpected = if readMore_3 buf_26 farInp_24 then GHC.Maybe.Just ( let (# c_27, _ #) = readNext_4 buf_26 farInp_24 in c_27 ) else GHC.Maybe.Nothing, Symantic.Parser.Machine.Generate.parsingErrorExpecting = let ( minHoriz_28, res_29 ) = Data.Set.Internal.foldr ( \f_30 ( minH_31, acc_32 ) -> case Symantic.Parser.Grammar.Combinators.unSomeFailure f_30 of GHC.Maybe.Just (Symantic.Parser.Grammar.Combinators.FailureHorizon h_33 :: Symantic.Parser.Grammar.Combinators.Failure (Symantic.Parser.Grammar.Combinators.CombSatisfiable (Symantic.Parser.Machine.Input.InputToken inp_6989586621679402203))) | GHC.Maybe.Just old_34 <- minH_31 -> ( GHC.Maybe.Just (GHC.Classes.min old_34 h_33), acc_32 ) | GHC.Base.otherwise -> ( GHC.Maybe.Just h_33, acc_32 ) _ -> ( minH_31, f_30 GHC.Types.: acc_32 ) ) ( GHC.Maybe.Nothing, GHC.Types . [] ) farExp_25 in Data.Set.Internal.fromList GHC.Base.$ ( case minHoriz_28 of GHC.Maybe.Just h_35 -> Symantic.Parser.Grammar.Combinators.SomeFailure (Symantic.Parser.Grammar.Combinators.FailureHorizon @(Symantic.Parser.Machine.Input.InputToken inp_6989586621679402203) h_35) GHC.Types.: res_29 GHC.Maybe.Nothing -> res_29 ) } in let inputToken = Data.Proxy.Proxy :: Data.Proxy.Proxy (Symantic.Parser.Machine.Input.InputToken inp_6989586621679402203) in let _ = "checkHorizon.noCheck" in let in let _ = "pushValue" in let _ = "pushValue" in do let dupv_36 = \x_37 -> x_37 reg_38 <- GHC.STRef.newSTRef dupv_36 let _ = "iter" in let onException_39 loopInput_40 = let _ = "onException" in \(!_exn_41) (!failInp_42) (!farInp_43) (!farExp_44) buf_45 -> let _ = "comment: raiseAgainIfConsumed" in let _ = "saveInput checkedHorizon=0" in let _ = "lift2Value checkedHorizon=0" in if (GHC.Classes.==) @GHC.Types.Int loopInput_40 failInp_42 then let _ = "choicesBranch checkedHorizon=0" in do sr_46 <- GHC.STRef.readSTRef reg_38 let _ = "pushValue" in let _ = "lift2Value checkedHorizon=0" in let _ = "lift2Value checkedHorizon=0" in let join_47 = \farInp_48 farExp_49 v_50 (!inp_51) -> let _ = "lift2Value checkedHorizon=0" in let _ = "resume" in finalRet_15 farInp_48 farExp_49 ( let _ = "resume.genCode" in GHC.Show.show (sr_46 GHC.Types . []) ) inp_51 in let _ = "catch ExceptionFailure checkedHorizon=0" in let onException_52 = let _ = "onException" in \(!_exn_53) (!failInp_54) (!farInp_55) (!farExp_56) buf_57 -> let _ = "comment: raiseAgainIfConsumed" in let _ = "saveInput checkedHorizon=0" in let _ = "lift2Value checkedHorizon=0" in if (GHC.Classes.==) @GHC.Types.Int failInp_42 failInp_54 then let _ = "choicesBranch checkedHorizon=0" in let _ = "comment: eof.fail" in let failExp_58 = 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_59, farExp_60 #) = case GHC.Classes.compare @GHC.Types.Int farInp_55 failInp_54 of GHC.Types.LT -> (# failInp_54, failExp_58 #) GHC.Types.EQ -> (# farInp_55, failExp_58 GHC.Base.<> farExp_56 #) GHC.Types.GT -> (# farInp_55, farExp_56 #) in finalRaise_20 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_54 farInp_59 farExp_60 buf_57 else let _ = "choicesBranch.else" in finalRaise_20 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_54 farInp_55 farExp_56 buf_57 in let _ = "comment: negLook" in let _ = "catch ExceptionFailure checkedHorizon=0" in let onException_61 = let _ = "onException" in \(!_exn_62) (!failInp_63) (!farInp_64) (!farExp_65) buf_66 -> let _ = "comment: negLook.reset" in let _ = "loadInput checkedHorizon=0" in let _ = "checkHorizon.noCheck" in let _ = "pushValue" in let _ = "commit" in let _ = "resume" in join_47 farInp_64 farExp_65 ( let _ = "resume.genCode" in GHC.Tuple . () ) failInp_42 in let _ = "comment: negLook.ahead" in let _ = "saveInput checkedHorizon=0" in let _ = "comment: satisfy ((\\x_0 -> \\x_1 -> x_0) GHC.Types.True)" in let partialCont_67 buf_68 = let readFail_69 = onException_61 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1" in if readMore_3 buf_68 failInp_42 then let _ = "checkToken" in let !(# c_70, cs_71 #) = readNext_4 buf_68 failInp_42 in let _ = "popValue" in let _ = "commit" in let _ = "loadInput checkedHorizon=0" in let _ = "checkHorizon.noCheck" in onException_52 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_42 farInp_43 farExp_44 buf_68 else let _ = "checkHorizon.newCheck.fail" in Symantic.Parser.Machine.Generate.returnST GHC.Base.$ ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$ ( \newInput_72 -> if Symantic.Parser.Machine.Input.nullInput newInput_72 then let failExp_73 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679082037) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679082037 1 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_74, farExp_75 #) = case GHC.Classes.compare @GHC.Types.Int farInp_43 failInp_42 of GHC.Types.LT -> (# failInp_42, failExp_73 #) GHC.Types.EQ -> (# farInp_43, failExp_73 GHC.Base.<> farExp_44 #) GHC.Types.GT -> (# farInp_43, farExp_44 #) in readFail_69 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_42 farInp_74 farExp_75 buf_68 else partialCont_67 (append_5 buf_68 newInput_72) ) ) in partialCont_67 buf_45 else let _ = "choicesBranch.else" in finalRaise_20 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_42 farInp_43 farExp_44 buf_45 loop_76 = \_callerOnReturn_77 callerInput_78 callerOnExceptionStackByLabel_79 -> let _ = "pushValue" in let _ = "comment: satisfy (\\t_0 -> ('a' GHC.Classes.== t_0) GHC.Classes.|| (('b' GHC.Classes.== t_0) GHC.Classes.|| (('c' GHC.Classes.== t_0) GHC.Classes.|| (('d' GHC.Classes.== t_0) GHC.Classes.|| GHC.Types.False))))" in let partialCont_80 buf_81 = let readFail_82 = onException_39 callerInput_78 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1" in if readMore_3 buf_81 callerInput_78 then let _ = "checkToken" in let !(# c_83, cs_84 #) = readNext_4 buf_81 callerInput_78 in if (\t_85 -> ('a' GHC.Classes.== t_85) GHC.Classes.|| (('b' GHC.Classes.== t_85) GHC.Classes.|| (('c' GHC.Classes.== t_85) GHC.Classes.|| (('d' GHC.Classes.== t_85) GHC.Classes.|| GHC.Types.False)))) c_83 then let _ = "lift2Value checkedHorizon=1" in let _ = "pushValue" in let _ = "lift2Value checkedHorizon=1" in do sr_86 <- GHC.STRef.readSTRef reg_38 let _ = "lift2Value checkedHorizon=1" in do let dupv_87 = \x_88 -> sr_86 ((GHC.Types.:) c_83 x_88) GHC.STRef.writeSTRef reg_38 dupv_87 let _ = "jump" in loop_76 (GHC.Err.error "invalid onReturn") cs_84 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_82 Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "checkToken.fail" in let failExp_89 = Data.Set.Internal.Bin 4 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679082037) -> Symantic.Parser.Grammar.Combinators.FailureToken 'b' ) ) ( Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679082037) -> Symantic.Parser.Grammar.Combinators.FailureToken 'a' ) ) 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'_6989586621679082037) -> Symantic.Parser.Grammar.Combinators.FailureToken 'c' ) ) Data.Set.Internal.Tip ( Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679082037) -> Symantic.Parser.Grammar.Combinators.FailureToken 'd' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip ) ) in let (# farInp_90, farExp_91 #) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_78 of GHC.Types.LT -> (# callerInput_78, failExp_89 #) GHC.Types.EQ -> (# initPos_2, failExp_89 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# initPos_2, Data.Set.Internal.empty #) in readFail_82 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_78 farInp_90 farExp_91 buf_81 else let _ = "checkHorizon.newCheck.fail" in Symantic.Parser.Machine.Generate.returnST GHC.Base.$ ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$ ( \newInput_92 -> if Symantic.Parser.Machine.Input.nullInput newInput_92 then let failExp_93 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679082037) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679082037 1 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_94, farExp_95 #) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_78 of GHC.Types.LT -> (# callerInput_78, failExp_93 #) GHC.Types.EQ -> (# initPos_2, failExp_93 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# initPos_2, Data.Set.Internal.empty #) in readFail_82 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_78 farInp_94 farExp_95 buf_81 else partialCont_80 (append_5 buf_81 newInput_92) ) ) in partialCont_80 initBuffer_1 in let _ = "jump" in loop_76 finalRet_15 initPos_2 Data.Map.Internal.Tip