\(input_0 :: inp_6989586621679041345) -> 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 p_10 ) = Symantic.Parser.Machine.Input.Text.Buffer.iter buf_7 pos_8 in (# c_9, p_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_6989586621679041345 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_6989586621679041345))) | 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_6989586621679041345) 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_6989586621679041345) in let partialCont_36 buf_37 = let readFail_38 = finalRaise_20 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=3" in if readMore_3 buf_37 ((GHC.Num.+) @GHC.Types.Int 2 initPos_2) then let in let _ = "pushValue" in let _ = "catch ExceptionFailure checkedHorizon=3" in let onException_39 = let _ = "onException" in \(!_exn_40) (!failInp_41) (!farInp_42) (!farExp_43) buf_44 -> let _ = "loadInput checkedHorizon=3" in let _ = "checkHorizon.oldCheck: checkedHorizon=3" in finalRaise_20 Symantic.Parser.Grammar.Combinators.ExceptionFailure initPos_2 farInp_42 farExp_43 buf_44 in let _ = "pushValue" in let _ = "comment: satisfy ((GHC.Classes.==) 'a')" in let _ = "checkHorizon.oldCheck: checkedHorizon=3" in let _ = "checkToken" in let !(# c_45, cs_46 #) = readNext_4 buf_37 initPos_2 in if (GHC.Classes.==) 'a' c_45 then let _ = "lift2Value checkedHorizon=2" in let _ = "comment: satisfy ((GHC.Classes.==) 'b')" in let _ = "checkHorizon.oldCheck: checkedHorizon=2" in let _ = "checkToken" in let !(# c_47, cs_48 #) = readNext_4 buf_37 cs_46 in if (GHC.Classes.==) 'b' c_47 then let _ = "lift2Value checkedHorizon=1" in let _ = "comment: satisfy ((GHC.Classes.==) 'c')" in let _ = "checkHorizon.oldCheck: checkedHorizon=1" in let _ = "checkToken" in let !(# c_49, cs_50 #) = readNext_4 buf_37 cs_48 in if (GHC.Classes.==) 'c' c_49 then let _ = "lift2Value checkedHorizon=0" in let _ = "commit" in let _ = "lift2Value checkedHorizon=0" in let _ = "resume" in finalRet_15 initPos_2 Data.Set.Internal.empty ( let _ = "resume.genCode" in GHC.Show.show ((GHC.Types.:) 'a' ((GHC.Types.:) 'b' ((GHC.Types.:) 'c' GHC.Types . []))) ) cs_50 else let _ = "checkToken.fail" in let failExp_51 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679072653) -> Symantic.Parser.Grammar.Combinators.FailureToken 'c' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_52, farExp_53 #) = case GHC.Classes.compare @GHC.Types.Int initPos_2 cs_48 of GHC.Types.LT -> (# cs_48, failExp_51 #) GHC.Types.EQ -> (# initPos_2, failExp_51 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# initPos_2, Data.Set.Internal.empty #) in onException_39 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_48 farInp_52 farExp_53 buf_37 else let _ = "checkToken.fail" in let failExp_54 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679072653) -> Symantic.Parser.Grammar.Combinators.FailureToken 'b' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_55, farExp_56 #) = case GHC.Classes.compare @GHC.Types.Int initPos_2 cs_46 of GHC.Types.LT -> (# cs_46, failExp_54 #) GHC.Types.EQ -> (# initPos_2, failExp_54 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# initPos_2, Data.Set.Internal.empty #) in onException_39 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_46 farInp_55 farExp_56 buf_37 else let _ = "checkToken.fail" in let failExp_57 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679072653) -> Symantic.Parser.Grammar.Combinators.FailureToken 'a' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_58, farExp_59 #) = case GHC.Classes.compare @GHC.Types.Int initPos_2 initPos_2 of GHC.Types.LT -> (# initPos_2, failExp_57 #) GHC.Types.EQ -> (# initPos_2, failExp_57 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# initPos_2, Data.Set.Internal.empty #) in onException_39 Symantic.Parser.Grammar.Combinators.ExceptionFailure initPos_2 farInp_58 farExp_59 buf_37 else let _ = "checkHorizon.newCheck.fail" in let failExp_60 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679072653) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679072653 3 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_61, farExp_62 #) = case GHC.Classes.compare @GHC.Types.Int initPos_2 initPos_2 of GHC.Types.LT -> (# initPos_2, failExp_60 #) GHC.Types.EQ -> (# initPos_2, failExp_60 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# initPos_2, Data.Set.Internal.empty #) in finalRaise_20 Symantic.Parser.Grammar.Combinators.ExceptionFailure initPos_2 farInp_61 farExp_62 buf_37 in partialCont_36 initBuffer_1