\(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 _ = "pushValue" in do let dupv_34 = \x_35 -> x_35 reg_36 <- GHC.STRef.newSTRef dupv_34 let _ = "iter" in let catchHandler_37 loopInput_38 (!_exn_39) (!failInp_40) (!farInp_41) (!farExp_42) = let _ = "pushInput" in if ( \( Data.Text.Internal.Text _ i_43 _ ) ( Data.Text.Internal.Text _ j_44 _ ) -> i_43 GHC.Classes.== j_44 ) loopInput_38 failInp_40 then let _ = "choicesBranch.then" in do sr_45 <- GHC.STRef.readSTRef reg_36 let _ = "pushValue" in let _ = "comment: satisfy" in let inp_46 = failInp_40 in let readFail_47 = finalRaise_18 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1" in if readMore_2 inp_46 then let _ = "checkToken" in let !(# c_48, cs_49 #) = readNext_3 inp_46 in if (GHC.Classes.==) 'b' c_48 then let _ = "resume" in finalRet_13 farInp_41 farExp_42 ( let _ = "resume.genCode" in GHC.Show.show (sr_45 GHC.Types . []) ) cs_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) farInp_41 inp_46 of GHC.Types.LT -> (# inp_46, failExp_50 #) GHC.Types.EQ -> (# farInp_41, failExp_50 GHC.Base.<> farExp_42 #) GHC.Types.GT -> (# farInp_41, farExp_42 #) in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_46 farInp_51 farExp_52 else let _ = "checkHorizon.newCheck.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.FailureHorizon @tok'_6989586621679080671 1 ) ) 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) farInp_41 inp_46 of GHC.Types.LT -> (# inp_46, failExp_53 #) GHC.Types.EQ -> (# farInp_41, failExp_53 GHC.Base.<> farExp_42 #) GHC.Types.GT -> (# farInp_41, farExp_42 #) in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_46 farInp_54 farExp_55 else let _ = "choicesBranch.else" in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_40 farInp_41 farExp_42 loop_56 = \_callReturn_57 callInput_58 callCatchStackByLabel_59 -> let _ = "pushValue" in let _ = "comment: satisfy" in let inp_60 = callInput_58 in let readFail_61 = catchHandler_37 callInput_58 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1" in if readMore_2 inp_60 then let _ = "checkToken" in let !(# c_62, cs_63 #) = readNext_3 inp_60 in if (GHC.Classes.==) 'a' c_62 then let _ = "pushValue" in do sr_64 <- GHC.STRef.readSTRef reg_36 do let dupv_65 = \x_66 -> sr_64 ((GHC.Types.:) 'a' x_66) GHC.STRef.writeSTRef reg_36 dupv_65 let _ = "jump" in loop_56 (GHC.Err.error "invalid return") cs_63 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_61 Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "checkToken.fail" in let failExp_67 = 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_68, farExp_69 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_60 of GHC.Types.LT -> (# inp_60, failExp_67 #) GHC.Types.EQ -> (# init_1, failExp_67 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_61 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_60 farInp_68 farExp_69 else let _ = "checkHorizon.newCheck.fail" in let failExp_70 = 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 1 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_71, farExp_72 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_60 of GHC.Types.LT -> (# inp_60, failExp_70 #) GHC.Types.EQ -> (# init_1, failExp_70 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_61 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_60 farInp_71 farExp_72 in let _ = "jump" in loop_56 finalRet_13 init_1 Data.Map.Internal.Tip )