\(input_0 :: inp_6989586621679141738) -> 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_6989586621679141738 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_6989586621679141738))) | 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_6989586621679141738) 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_6989586621679141738) in let _ = "checkHorizon.noCheck" in let in let _ = "pushValue" in let join_34 = \farInp_35 farExp_36 v_37 (!inp_38) -> let _ = "catch ExceptionFailure" in let onException_39 (!_exn_40) (!failInp_41) (!farInp_42) (!farExp_43) = let _ = "catch.ko ExceptionFailure" in let _ = "loadInput" in let _ = "checkHorizon.noCheck" in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_38 farInp_42 farExp_43 in let _ = "pushValue" in let _ = "comment: satisfy" in let inp_44 = inp_38 in let readFail_45 = onException_39 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=3" in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 2 inp_44) then let _ = "checkToken" in let !(# c_46, cs_47 #) = readNext_3 inp_44 in if (GHC.Classes.==) 'd' c_46 then let _ = "comment: satisfy" in let _ = "checkHorizon.oldCheck: checkedHorizon=3" in let _ = "checkToken" in let !(# c_48, cs_49 #) = readNext_3 cs_47 in if (GHC.Classes.==) 'e' c_48 then let _ = "comment: satisfy" in let _ = "checkHorizon.oldCheck: checkedHorizon=2" in let _ = "checkToken" in let !(# c_50, cs_51 #) = readNext_3 cs_49 in if (GHC.Classes.==) 'f' c_50 then let _ = "commit" in let _ = "resume" in finalRet_13 farInp_35 farExp_36 ( let _ = "resume.genCode" in GHC.Show.show GHC.Tuple . () ) cs_51 else let _ = "checkToken.fail" in readFail_45 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_49 farInp_35 farExp_36 else let _ = "checkToken.fail" in readFail_45 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_47 farInp_35 farExp_36 else let _ = "checkToken.fail" in readFail_45 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_44 farInp_35 farExp_36 else let _ = "checkHorizon.newCheck.fail" in let failExp_52 = 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_53, farExp_54 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_35 inp_44 of GHC.Types.LT -> (# inp_44, failExp_52 #) GHC.Types.EQ -> (# farInp_35, failExp_52 GHC.Base.<> farExp_36 #) GHC.Types.GT -> (# farInp_35, farExp_36 #) in readFail_45 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_44 farInp_53 farExp_54 in let _ = "catch ExceptionFailure" in let onException_55 (!_exn_56) (!failInp_57) (!farInp_58) (!farExp_59) = let _ = "catch.ko ExceptionFailure" in let _ = "pushInput" in if ( \( Data.Text.Internal.Text _ i_60 _ ) ( Data.Text.Internal.Text _ j_61 _ ) -> i_60 GHC.Classes.== j_61 ) init_1 failInp_57 then let _ = "choicesBranch.then" in let _ = "catch ExceptionFailure" in let onException_62 (!_exn_63) (!failInp_64) (!farInp_65) (!farExp_66) = let _ = "catch.ko ExceptionFailure" in let _ = "loadInput" in let _ = "checkHorizon.noCheck" in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_57 farInp_65 farExp_66 in let _ = "pushValue" in let _ = "commit" in let _ = "resume" in join_34 farInp_58 farExp_59 ( let _ = "resume.genCode" in GHC.Types . [] ) failInp_57 else let _ = "choicesBranch.else" in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_57 farInp_58 farExp_59 in let _ = "catch ExceptionFailure" in let onException_67 (!_exn_68) (!failInp_69) (!farInp_70) (!farExp_71) = let _ = "catch.ko ExceptionFailure" in let _ = "loadInput" in let _ = "checkHorizon.noCheck" in onException_55 Symantic.Parser.Grammar.Combinators.ExceptionFailure init_1 farInp_70 farExp_71 in let _ = "pushValue" in let _ = "comment: satisfy" in let inp_72 = init_1 in let readFail_73 = onException_67 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=3" in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 2 inp_72) then let _ = "checkToken" in let !(# c_74, cs_75 #) = readNext_3 inp_72 in if (GHC.Classes.==) 'a' c_74 then let _ = "comment: satisfy" in let _ = "checkHorizon.oldCheck: checkedHorizon=3" in let _ = "checkToken" in let !(# c_76, cs_77 #) = readNext_3 cs_75 in if (GHC.Classes.==) 'b' c_76 then let _ = "comment: satisfy" in let _ = "checkHorizon.oldCheck: checkedHorizon=2" in let _ = "checkToken" in let !(# c_78, cs_79 #) = readNext_3 cs_77 in if (GHC.Classes.==) 'c' c_78 then let _ = "commit" in let _ = "commit" in let _ = "resume" in join_34 init_1 Data.Set.Internal.empty ( let _ = "resume.genCode" in (GHC.Types.:) 'a' ((GHC.Types.:) 'b' ((GHC.Types.:) 'c' GHC.Types . [])) ) cs_79 else let _ = "checkToken.fail" in readFail_73 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_77 init_1 Data.Set.Internal.empty else let _ = "checkToken.fail" in readFail_73 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_75 init_1 Data.Set.Internal.empty else let _ = "checkToken.fail" in readFail_73 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_72 init_1 Data.Set.Internal.empty else let _ = "checkHorizon.newCheck.fail" in let failExp_80 = 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_81, farExp_82 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_72 of GHC.Types.LT -> (# inp_72, failExp_80 #) GHC.Types.EQ -> (# init_1, failExp_80 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_73 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_72 farInp_81 farExp_82 )