\(input_0 :: inp_6989586621679040759) -> let !(# init_1, readMore_2, readNext_3 #) = let _ = "cursorOf" in let next_4 ( t_5@( Data.Text.Internal.Text arr_6 off_7 unconsumed_8 ) ) = let !( Data.Text.Unsafe.Iter c_9 d_10 ) = Data.Text.Unsafe.iter t_5 0 in (# c_9, Data.Text.Internal.Text arr_6 (off_7 GHC.Num.+ d_10) (unconsumed_8 GHC.Num.- d_10) #) more_11 ( Data.Text.Internal.Text _ _ unconsumed_12 ) = unconsumed_12 GHC.Classes.> 0 in (# input_0, more_11, next_4 #) finalRet_13 = \_farInp_14 _farExp_15 v_16 _inp_17 -> Symantic.Parser.Machine.Generate.returnST GHC.Base.$ Data.Either.Right v_16 finalRaise_18 :: forall st_19 b_20. Symantic.Parser.Machine.Generate.Catcher st_19 inp_6989586621679040759 b_20 = \(!exn_21) _failInp_22 (!farInp_23) (!farExp_24) -> Symantic.Parser.Machine.Generate.returnST GHC.Base.$ Data.Either.Left Symantic.Parser.Machine.Generate.ParsingError { Symantic.Parser.Machine.Generate.parsingErrorOffset = Symantic.Parser.Machine.Input.offset farInp_23, Symantic.Parser.Machine.Generate.parsingErrorException = exn_21, Symantic.Parser.Machine.Generate.parsingErrorUnexpected = if readMore_2 farInp_23 then GHC.Maybe.Just ( let (# c_25, _ #) = readNext_3 farInp_23 in c_25 ) else GHC.Maybe.Nothing, Symantic.Parser.Machine.Generate.parsingErrorExpecting = let ( minHoriz_26, res_27 ) = Data.Set.Internal.foldr ( \f_28 ( minH_29, acc_30 ) -> case Symantic.Parser.Grammar.Combinators.unSomeFailure f_28 of GHC.Maybe.Just (Symantic.Parser.Grammar.Combinators.FailureHorizon h_31 :: Symantic.Parser.Grammar.Combinators.Failure (Symantic.Parser.Grammar.Combinators.CombSatisfiable (Symantic.Parser.Machine.Input.InputToken inp_6989586621679040759))) | GHC.Maybe.Just old_32 <- minH_29 -> ( GHC.Maybe.Just (GHC.Classes.min old_32 h_31), acc_30 ) | GHC.Base.otherwise -> ( GHC.Maybe.Just h_31, acc_30 ) _ -> ( minH_29, f_28 GHC.Types.: acc_30 ) ) ( GHC.Maybe.Nothing, GHC.Types . [] ) farExp_24 in Data.Set.Internal.fromList GHC.Base.$ ( case minHoriz_26 of GHC.Maybe.Just h_33 -> Symantic.Parser.Grammar.Combinators.SomeFailure (Symantic.Parser.Grammar.Combinators.FailureHorizon @(Symantic.Parser.Machine.Input.InputToken inp_6989586621679040759) h_33) GHC.Types.: res_27 GHC.Maybe.Nothing -> res_27 ) } in GHC.ST.runST ( let inputToken = Data.Proxy.Proxy :: Data.Proxy.Proxy (Symantic.Parser.Machine.Input.InputToken inp_6989586621679040759) in let _ = "checkHorizon.noCheck" in let in let _ = "pushValue" in let _ = "catch ExceptionFailure" in let catchHandler_34 (!_exn_35) (!failInp_36) (!farInp_37) (!farExp_38) = let _ = "catch.ko ExceptionFailure" in let _ = "loadInput" in let _ = "checkHorizon.noCheck" in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure init_1 farInp_37 farExp_38 in let _ = "pushValue" in let _ = "comment: satisfy" in let inp_39 = init_1 in let readFail_40 = catchHandler_34 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=3" in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 2 inp_39) then let _ = "checkToken" in let !(# c_41, cs_42 #) = readNext_3 inp_39 in if (GHC.Classes.==) 'a' c_41 then let _ = "comment: satisfy" in let _ = "checkHorizon.oldCheck: checkedHorizon=3" in let _ = "checkToken" in let !(# c_43, cs_44 #) = readNext_3 cs_42 in if (GHC.Classes.==) 'b' c_43 then let _ = "comment: satisfy" in let _ = "checkHorizon.oldCheck: checkedHorizon=2" in let _ = "checkToken" in let !(# c_45, cs_46 #) = readNext_3 cs_44 in if (GHC.Classes.==) 'c' c_45 then let _ = "commit" in let _ = "resume" in finalRet_13 init_1 Data.Set.Internal.empty ( let _ = "resume.genCode" in GHC.Show.show ((GHC.Types.:) 'a' ((GHC.Types.:) 'b' ((GHC.Types.:) 'c' GHC.Types . []))) ) cs_46 else let _ = "checkToken.fail" in let failExp_47 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'c' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_48, farExp_49 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 cs_44 of GHC.Types.LT -> (# cs_44, failExp_47 #) GHC.Types.EQ -> (# init_1, failExp_47 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_40 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_44 farInp_48 farExp_49 else let _ = "checkToken.fail" in let failExp_50 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'b' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_51, farExp_52 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 cs_42 of GHC.Types.LT -> (# cs_42, failExp_50 #) GHC.Types.EQ -> (# init_1, failExp_50 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_40 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_42 farInp_51 farExp_52 else let _ = "checkToken.fail" in let failExp_53 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'a' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_54, farExp_55 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_39 of GHC.Types.LT -> (# inp_39, failExp_53 #) GHC.Types.EQ -> (# init_1, failExp_53 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_40 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_39 farInp_54 farExp_55 else let _ = "checkHorizon.newCheck.fail" in let failExp_56 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 3 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_57, farExp_58 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_39 of GHC.Types.LT -> (# inp_39, failExp_56 #) GHC.Types.EQ -> (# init_1, failExp_56 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_40 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_39 farInp_57 farExp_58 )