\(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 join_39 = \farInp_40 farExp_41 v_42 (!inp_43) ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "catch ExceptionFailure checkedHorizon=0"
in let onException_44 =
let _ = "onException"
in \(!_exn_45) (!failInp_46) (!farInp_47) (!farExp_48) buf_49 ->
let _ = "loadInput checkedHorizon=0"
in let _ = "checkHorizon.noCheck"
in finalRaise_20 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_43 farInp_47 farExp_48 buf_49
in let _ = "pushValue"
in let _ = "comment: satisfy ((GHC.Classes.==) 'd')"
in let partialCont_50 buf_51 =
let readFail_52 = onException_44
in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=3"
in if readMore_3 buf_51 ((GHC.Num.+) @GHC.Types.Int 2 inp_43)
then
let _ = "checkToken"
in let !(#
c_53,
cs_54
#) = readNext_4 buf_51 inp_43
in if (GHC.Classes.==) 'd' c_53
then
let _ = "lift2Value checkedHorizon=3"
in let _ = "comment: satisfy ((GHC.Classes.==) 'e')"
in let _ = "checkHorizon.oldCheck: checkedHorizon=3"
in let _ = "checkToken"
in let !(#
c_55,
cs_56
#) = readNext_4 buf_51 cs_54
in if (GHC.Classes.==) 'e' c_55
then
let _ = "lift2Value checkedHorizon=2"
in let _ = "comment: satisfy ((GHC.Classes.==) 'f')"
in let _ = "checkHorizon.oldCheck: checkedHorizon=2"
in let _ = "checkToken"
in let !(#
c_57,
cs_58
#) = readNext_4 buf_51 cs_56
in if (GHC.Classes.==) 'f' c_57
then
let _ = "lift2Value checkedHorizon=1"
in let _ = "commit"
in let _ = "lift2Value checkedHorizon=1"
in let _ = "resume"
in finalRet_15
farInp_40
farExp_41
( let _ = "resume.genCode"
in GHC.Show.show GHC.Tuple . ()
)
cs_58
else
let _ = "checkToken.fail"
in readFail_52 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_56 farInp_40 farExp_41 buf_51
else
let _ = "checkToken.fail"
in readFail_52 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_54 farInp_40 farExp_41 buf_51
else
let _ = "checkToken.fail"
in readFail_52 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_43 farInp_40 farExp_41 buf_51
else
let _ = "checkHorizon.newCheck.fail"
in let failExp_59 =
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_60,
farExp_61
#) = case GHC.Classes.compare @GHC.Types.Int farInp_40 inp_43 of
GHC.Types.LT ->
(#
inp_43,
failExp_59
#)
GHC.Types.EQ ->
(#
farInp_40,
failExp_59 GHC.Base.<> farExp_41
#)
GHC.Types.GT ->
(#
farInp_40,
farExp_41
#)
in readFail_52 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_43 farInp_60 farExp_61 buf_51
in partialCont_50 buf_37
in let _ = "catch ExceptionFailure checkedHorizon=3"
in let onException_62 =
let _ = "onException"
in \(!_exn_63) (!failInp_64) (!farInp_65) (!farExp_66) buf_67 ->
let _ = "comment: raiseAgainIfConsumed"
in let _ = "saveInput checkedHorizon=0"
in let _ = "lift2Value checkedHorizon=0"
in if (GHC.Classes.==) @GHC.Types.Int initPos_2 failInp_64
then
let _ = "choicesBranch checkedHorizon=0"
in let _ = "catch ExceptionFailure checkedHorizon=0"
in let onException_68 =
let _ = "onException"
in \(!_exn_69) (!failInp_70) (!farInp_71) (!farExp_72) buf_73 ->
let _ = "loadInput checkedHorizon=0"
in let _ = "checkHorizon.noCheck"
in finalRaise_20 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_64 farInp_71 farExp_72 buf_73
in let _ = "pushValue"
in let _ = "commit"
in let _ = "resume"
in join_39
farInp_65
farExp_66
( let _ = "resume.genCode"
in GHC.Types . []
)
failInp_64
else
let _ = "choicesBranch.else"
in finalRaise_20 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_64 farInp_65 farExp_66 buf_67
in let _ = "catch ExceptionFailure checkedHorizon=3"
in let onException_74 =
let _ = "onException"
in \(!_exn_75) (!failInp_76) (!farInp_77) (!farExp_78) buf_79 ->
let _ = "loadInput checkedHorizon=3"
in let _ = "checkHorizon.oldCheck: checkedHorizon=3"
in onException_62 Symantic.Parser.Grammar.Combinators.ExceptionFailure initPos_2 farInp_77 farExp_78 buf_79
in let _ = "pushValue"
in let _ = "comment: satisfy ((GHC.Classes.==) 'a')"
in let _ = "checkHorizon.oldCheck: checkedHorizon=3"
in let _ = "checkToken"
in let !(#
c_80,
cs_81
#) = readNext_4 buf_37 initPos_2
in if (GHC.Classes.==) 'a' c_80
then
let _ = "lift2Value checkedHorizon=2"
in let _ = "comment: satisfy ((GHC.Classes.==) 'b')"
in let _ = "checkHorizon.oldCheck: checkedHorizon=2"
in let _ = "checkToken"
in let !(#
c_82,
cs_83
#) = readNext_4 buf_37 cs_81
in if (GHC.Classes.==) 'b' c_82
then
let _ = "lift2Value checkedHorizon=1"
in let _ = "comment: satisfy ((GHC.Classes.==) 'c')"
in let _ = "checkHorizon.oldCheck: checkedHorizon=1"
in let _ = "checkToken"
in let !(#
c_84,
cs_85
#) = readNext_4 buf_37 cs_83
in if (GHC.Classes.==) 'c' c_84
then
let _ = "lift2Value checkedHorizon=0"
in let _ = "commit"
in let _ = "commit"
in let _ = "resume"
in join_39
initPos_2
Data.Set.Internal.empty
( let _ = "resume.genCode"
in (GHC.Types.:) 'a' ((GHC.Types.:) 'b' ((GHC.Types.:) 'c' GHC.Types . []))
)
cs_85
else
let _ = "checkToken.fail"
in onException_74 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_83 initPos_2 Data.Set.Internal.empty buf_37
else
let _ = "checkToken.fail"
in onException_74 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_81 initPos_2 Data.Set.Internal.empty buf_37
else
let _ = "checkToken.fail"
in onException_74 Symantic.Parser.Grammar.Combinators.ExceptionFailure initPos_2 initPos_2 Data.Set.Internal.empty buf_37
else
let _ = "checkHorizon.newCheck.fail"
in let failExp_86 =
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_87,
farExp_88
#) = case GHC.Classes.compare @GHC.Types.Int initPos_2 initPos_2 of
GHC.Types.LT ->
(#
initPos_2,
failExp_86
#)
GHC.Types.EQ ->
(#
initPos_2,
failExp_86 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_87 farExp_88 buf_37
in partialCont_36 initBuffer_1