\(input_0 :: inp_6989586621679325983) ->
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
d_10
) = Symantic.Parser.Machine.Input.Text.Buffer.iter buf_7 pos_8
in (#
c_9,
pos_8 GHC.Num.+ d_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 _buf_20 _end_21 -> Symantic.Parser.Machine.Generate.returnST GHC.Base.$ Symantic.Parser.Machine.Generate.ResultDone v_18
finalRaise_22 :: Symantic.Parser.Machine.Generate.ForallOnException inp_6989586621679325983 =
Symantic.Parser.Machine.Generate.ForallOnException GHC.Base.$
( \(!exn_23) _failInp_24 (!farInp_25) (!farExp_26) buf_27 end_28 ->
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_25,
Symantic.Parser.Machine.Generate.parsingErrorException = exn_23,
Symantic.Parser.Machine.Generate.parsingErrorUnexpected =
if readMore_3 buf_27 farInp_25
then
GHC.Maybe.Just
( let (#
c_29,
_
#) = readNext_4 buf_27 farInp_25
in c_29
)
else GHC.Maybe.Nothing,
Symantic.Parser.Machine.Generate.parsingErrorExpecting =
let ( minHoriz_30,
res_31
) =
Data.Set.Internal.foldr
( \f_32
( minH_33,
acc_34
) -> case Symantic.Parser.Grammar.Combinators.unSomeFailure f_32 of
GHC.Maybe.Just (Symantic.Parser.Grammar.Combinators.FailureHorizon h_35 :: Symantic.Parser.Grammar.Combinators.Failure (Symantic.Parser.Grammar.Combinators.CombSatisfiable (Symantic.Parser.Machine.Input.InputToken inp_6989586621679325983)))
| GHC.Maybe.Just old_36 <- minH_33 ->
( GHC.Maybe.Just (GHC.Classes.min old_36 h_35),
acc_34
)
| GHC.Base.otherwise ->
( GHC.Maybe.Just h_35,
acc_34
)
_ ->
( minH_33,
f_32 GHC.Types.: acc_34
)
)
( GHC.Maybe.Nothing,
GHC.Types . []
)
farExp_26
in Data.Set.Internal.fromList GHC.Base.$
( case minHoriz_30 of
GHC.Maybe.Just h_37 -> Symantic.Parser.Grammar.Combinators.SomeFailure (Symantic.Parser.Grammar.Combinators.FailureHorizon @(Symantic.Parser.Machine.Input.InputToken inp_6989586621679325983) h_37) GHC.Types.: res_31
GHC.Maybe.Nothing -> res_31
)
}
)
in let inputToken = Data.Proxy.Proxy :: Data.Proxy.Proxy (Symantic.Parser.Machine.Input.InputToken inp_6989586621679325983)
in let partialCont_38 buf_39 =
let readFail_40 = Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22
in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
in if readMore_3 buf_39 initPos_2
then
let name_41 = \(!callerOnReturn_42) (!callerInput_43) (!callerBuffer_44) (!callerEnd_45) (!callerOnExceptionStackByLabel_46) ->
let _ = "catch ExceptionFailure checkedHorizon=0"
in let onException_47 =
let _ = "onException"
in \(!_exn_48) (!failInp_49) (!farInp_50) (!farExp_51) buf_52 end_53 ->
let _ = "comment: raiseAgainIfConsumed"
in let _ = "saveInput checkedHorizon=0"
in let _ = "lift2Value checkedHorizon=0"
in if (GHC.Classes.==) @GHC.Types.Int callerInput_43 failInp_49
then
let _ = "choicesBranch checkedHorizon=0"
in let _ = "catch ExceptionFailure checkedHorizon=0"
in let onException_54 =
let _ = "onException"
in \(!_exn_55) (!failInp_56) (!farInp_57) (!farExp_58) buf_59 end_60 ->
let _ = "comment: raiseAgainIfConsumed"
in let _ = "saveInput checkedHorizon=0"
in let _ = "lift2Value checkedHorizon=0"
in if (GHC.Classes.==) @GHC.Types.Int failInp_49 failInp_56
then
let _ = "choicesBranch checkedHorizon=0"
in let _ = "pushValue"
in name_61
( let _ = "onReturn"
in \farInp_62 farExp_63 v_64 (!inp_65) buf_66 end_67 ->
let _ = "lift2Value checkedHorizon=0"
in let join_68 = \farInp_69 farExp_70 v_71 (!inp_72) buf_73 end_74 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "resume"
in callerOnReturn_42
farInp_69
farExp_70
( let _ = "resume.genCode"
in v_71
)
inp_72
buf_73
end_74
in let _ = "catch ExceptionFailure checkedHorizon=0"
in let onException_75 =
let _ = "onException"
in \(!_exn_76) (!failInp_77) (!farInp_78) (!farExp_79) buf_80 end_81 ->
let _ = "comment: raiseAgainIfConsumed"
in let _ = "saveInput checkedHorizon=0"
in let _ = "lift2Value checkedHorizon=0"
in if (GHC.Classes.==) @GHC.Types.Int inp_65 failInp_77
then
let _ = "choicesBranch checkedHorizon=0"
in name_82
( let _ = "onReturn"
in \farInp_83 farExp_84 v_85 (!inp_86) buf_87 end_88 ->
let _ = "resume"
in join_68
farInp_83
farExp_84
( let _ = "resume.genCode"
in v_85
)
inp_86
buf_87
end_88
)
failInp_77
buf_80
end_81
Data.Map.Internal.Tip
else
let _ = "choicesBranch.else"
in Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_46 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_77 farInp_78 farExp_79 buf_80 end_81
in let _ = "pushValue"
in let join_89 = \farInp_90 farExp_91 v_92 (!inp_93) buf_94 end_95 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "commit"
in let _ = "resume"
in join_68
farInp_90
farExp_91
( let _ = "resume.genCode"
in GHC.Tuple . ()
)
inp_93
buf_94
end_95
in let _ = "catch ExceptionFailure checkedHorizon=0"
in let onException_96 =
let _ = "onException"
in \(!_exn_97) (!failInp_98) (!farInp_99) (!farExp_100) buf_101 end_102 ->
let _ = "comment: raiseAgainIfConsumed"
in let _ = "saveInput checkedHorizon=0"
in let _ = "lift2Value checkedHorizon=0"
in if (GHC.Classes.==) @GHC.Types.Int inp_65 failInp_98
then
let _ = "choicesBranch checkedHorizon=0"
in name_103
( let _ = "onReturn"
in \farInp_104 farExp_105 v_106 (!inp_107) buf_108 end_109 ->
let _ = "resume"
in join_89
farInp_104
farExp_105
( let _ = "resume.genCode"
in v_106
)
inp_107
buf_108
end_109
)
failInp_98
buf_101
end_102
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException_75 Data.Map.Internal.Tip Data.Map.Internal.Tip)
else
let _ = "choicesBranch.else"
in onException_75 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_98 farInp_99 farExp_100 buf_101 end_102
in let _ = "pushValue"
in name_110
( let _ = "onReturn"
in \farInp_111 farExp_112 v_113 (!inp_114) buf_115 end_116 ->
let _ = "lift2Value checkedHorizon=0"
in let join_117 = \farInp_118 farExp_119 v_120 (!inp_121) buf_122 end_123 ->
let _ = "lift2Value checkedHorizon=0"
in name_124
( let _ = "onReturn"
in \farInp_125 farExp_126 v_127 (!inp_128) buf_129 end_130 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "commit"
in let _ = "resume"
in join_89
farInp_125
farExp_126
( let _ = "resume.genCode"
in v_120
)
inp_128
buf_129
end_130
)
inp_121
buf_122
end_123
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException_96 Data.Map.Internal.Tip Data.Map.Internal.Tip)
in let _ = "catch ExceptionFailure checkedHorizon=0"
in let onException_131 =
let _ = "onException"
in \(!_exn_132) (!failInp_133) (!farInp_134) (!farExp_135) buf_136 end_137 ->
let _ = "comment: raiseAgainIfConsumed"
in let _ = "saveInput checkedHorizon=0"
in let _ = "lift2Value checkedHorizon=0"
in if (GHC.Classes.==) @GHC.Types.Int inp_114 failInp_133
then
let _ = "choicesBranch checkedHorizon=0"
in name_82
( let _ = "onReturn"
in \farInp_138 farExp_139 v_140 (!inp_141) buf_142 end_143 ->
let _ = "resume"
in join_117
farInp_138
farExp_139
( let _ = "resume.genCode"
in v_140
)
inp_141
buf_142
end_143
)
failInp_133
buf_136
end_137
Data.Map.Internal.Tip
else
let _ = "choicesBranch.else"
in onException_96 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_133 farInp_134 farExp_135 buf_136 end_137
in let _ = "pushValue"
in name_144
( let _ = "onReturn"
in \farInp_145 farExp_146 v_147 (!inp_148) buf_149 end_150 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "pushValue"
in do
let dupv_151 = \u_152 -> u_152
reg_153 <- GHC.STRef.newSTRef dupv_151
let _ = "iter"
in let onException_154 loopInput_155 =
let _ = "onException"
in \(!_exn_156) (!failInp_157) (!farInp_158) (!farExp_159) buf_160 end_161 ->
let _ = "comment: raiseAgainIfConsumed"
in let _ = "saveInput checkedHorizon=0"
in let _ = "lift2Value checkedHorizon=0"
in if (GHC.Classes.==) @GHC.Types.Int loopInput_155 failInp_157
then
let _ = "choicesBranch checkedHorizon=0"
in do
sr_162 <- GHC.STRef.readSTRef reg_153
name_163
( let _ = "onReturn"
in \farInp_164 farExp_165 v_166 (!inp_167) buf_168 end_169 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "lift2Value checkedHorizon=0"
in name_82
( let _ = "onReturn"
in \farInp_170 farExp_171 v_172 (!inp_173) buf_174 end_175 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "commit"
in let _ = "resume"
in join_117
farInp_170
farExp_171
( let _ = "resume.genCode"
in GHC.Tuple . ()
)
inp_173
buf_174
end_175
)
inp_167
buf_168
end_169
Data.Map.Internal.Tip
)
failInp_157
buf_160
end_161
Data.Map.Internal.Tip
else
let _ = "choicesBranch.else"
in onException_131 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_157 farInp_158 farExp_159 buf_160 end_161
loop_176 = \_callerOnReturn_177 callerInput_178 callerBuffer_179 callerEnded_180 callerOnExceptionStackByLabel_181 ->
let _ = "pushValue"
in name_182
( let _ = "onReturn"
in \farInp_183 farExp_184 v_185 (!inp_186) buf_187 end_188 ->
let _ = "lift2Value checkedHorizon=0"
in name_189
( let _ = "onReturn"
in \farInp_190 farExp_191 v_192 (!inp_193) buf_194 end_195 ->
let _ = "lift2Value checkedHorizon=0"
in name_144
( let _ = "onReturn"
in \farInp_196 farExp_197 v_198 (!inp_199) buf_200 end_201 ->
let _ = "lift2Value checkedHorizon=0"
in do
sr_202 <- GHC.STRef.readSTRef reg_153
let _ = "lift2Value checkedHorizon=0"
in do
let dupv_203 = v_185 v_198 sr_202
GHC.STRef.writeSTRef reg_153 dupv_203
let _ = "jump"
in loop_176 (GHC.Err.error "invalid onReturn") inp_199 buf_200 end_201 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_154 callerInput_178) Data.Map.Internal.Tip Data.Map.Internal.Tip)
)
inp_193
buf_194
end_195
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_154 callerInput_178) Data.Map.Internal.Tip Data.Map.Internal.Tip)
)
inp_186
buf_187
end_188
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_154 callerInput_178) Data.Map.Internal.Tip Data.Map.Internal.Tip)
)
callerInput_178
callerBuffer_179
callerEnded_180
Data.Map.Internal.Tip
in let _ = "jump"
in loop_176 callerOnReturn_42 inp_148 buf_149 end_150 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException_131 Data.Map.Internal.Tip Data.Map.Internal.Tip)
)
inp_114
buf_115
end_116
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException_131 Data.Map.Internal.Tip Data.Map.Internal.Tip)
)
inp_65
buf_66
end_67
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException_96 Data.Map.Internal.Tip Data.Map.Internal.Tip)
)
failInp_56
buf_59
end_60
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_46) Data.Map.Internal.Tip Data.Map.Internal.Tip)
else
let _ = "choicesBranch.else"
in Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_46 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_56 farInp_57 farExp_58 buf_59 end_60
in let _ = "pushValue"
in let _ = "comment: satisfy ((GHC.Classes.==) '\\'')"
in let partialCont_204 buf_205 =
let readFail_206 = onException_54
in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=4"
in if readMore_3 buf_205 ((GHC.Num.+) @GHC.Types.Int 3 failInp_49)
then
let _ = "checkToken"
in let !(#
c_207,
cs_208
#) = readNext_4 buf_205 failInp_49
in if (GHC.Classes.==) '\'' c_207
then
let _ = "lift2Value checkedHorizon=4"
in let join_209 = \farInp_210 farExp_211 v_212 (!inp_213) buf_214 end_215 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "comment: satisfy ((GHC.Classes.==) '\\'')"
in let partialCont_216 buf_217 =
let readFail_218 = readFail_206
in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
in if readMore_3 buf_217 ((GHC.Num.+) @GHC.Types.Int 1 inp_213)
then
let _ = "checkToken"
in let !(#
c_219,
cs_220
#) = readNext_4 buf_217 inp_213
in if (GHC.Classes.==) '\'' c_219
then
let _ = "lift2Value checkedHorizon=2"
in name_221
( let _ = "onReturn"
in \farInp_222 farExp_223 v_224 (!inp_225) buf_226 end_227 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "commit"
in let _ = "resume"
in callerOnReturn_42
farInp_222
farExp_223
( let _ = "resume.genCode"
in v_212
)
inp_225
buf_226
end_227
)
cs_220
buf_217
end_215
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_218 Data.Map.Internal.Tip Data.Map.Internal.Tip)
else
let _ = "checkToken.fail"
in let failExp_228 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '\''
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_229,
farExp_230
#) = case GHC.Classes.compare @GHC.Types.Int farInp_210 inp_213 of
GHC.Types.LT ->
(#
inp_213,
failExp_228
#)
GHC.Types.EQ ->
(#
farInp_210,
failExp_228 GHC.Base.<> farExp_211
#)
GHC.Types.GT ->
(#
farInp_210,
farExp_211
#)
in readFail_218 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_213 farInp_229 farExp_230 buf_217 end_215
else
let _ = "checkHorizon.newCheck.fail"
in let noMoreInput_231 =
let failExp_232 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 2
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_233,
farExp_234
#) = case GHC.Classes.compare @GHC.Types.Int farInp_210 inp_213 of
GHC.Types.LT ->
(#
inp_213,
failExp_232
#)
GHC.Types.EQ ->
(#
farInp_210,
failExp_232 GHC.Base.<> farExp_211
#)
GHC.Types.GT ->
(#
farInp_210,
farExp_211
#)
in readFail_218 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_213 farInp_233 farExp_234 buf_217 GHC.Types.True
in if end_215
then noMoreInput_231
else
Symantic.Parser.Machine.Generate.returnST GHC.Base.$
( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
( \newInput_235 ->
if Symantic.Parser.Machine.Input.nullInput newInput_235
then noMoreInput_231
else partialCont_216 (append_5 buf_217 newInput_235)
)
)
in partialCont_216 buf_214
in let _ = "catch ExceptionFailure checkedHorizon=4"
in let onException_236 =
let _ = "onException"
in \(!_exn_237) (!failInp_238) (!farInp_239) (!farExp_240) buf_241 end_242 ->
let _ = "comment: raiseAgainIfConsumed"
in let _ = "saveInput checkedHorizon=0"
in let _ = "lift2Value checkedHorizon=0"
in if (GHC.Classes.==) @GHC.Types.Int cs_208 failInp_238
then
let _ = "choicesBranch checkedHorizon=0"
in let _ = "pushValue"
in let _ = "comment: satisfy ((GHC.Classes.==) '\\\\')"
in let partialCont_243 buf_244 =
let readFail_245 = readFail_206
in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=4"
in if readMore_3 buf_244 ((GHC.Num.+) @GHC.Types.Int 3 failInp_238)
then
let _ = "checkToken"
in let !(#
c_246,
cs_247
#) = readNext_4 buf_244 failInp_238
in if (GHC.Classes.==) '\\' c_246
then
let _ = "lift2Value checkedHorizon=4"
in let _ = "comment: satisfy (\\t_0 -> ('0' GHC.Classes.== t_0) GHC.Classes.|| (('t' GHC.Classes.== t_0) GHC.Classes.|| (('n' GHC.Classes.== t_0) GHC.Classes.|| (('v' GHC.Classes.== t_0) GHC.Classes.|| (('f' GHC.Classes.== t_0) GHC.Classes.|| (('r' GHC.Classes.== t_0) GHC.Classes.|| GHC.Types.False))))))"
in let _ = "checkHorizon.oldCheck: checkedHorizon=4"
in let _ = "checkToken"
in let !(#
c_248,
cs_249
#) = readNext_4 buf_244 cs_247
in if (\t_250 -> ('0' GHC.Classes.== t_250) GHC.Classes.|| (('t' GHC.Classes.== t_250) GHC.Classes.|| (('n' GHC.Classes.== t_250) GHC.Classes.|| (('v' GHC.Classes.== t_250) GHC.Classes.|| (('f' GHC.Classes.== t_250) GHC.Classes.|| (('r' GHC.Classes.== t_250) GHC.Classes.|| GHC.Types.False)))))) c_248
then
let _ = "lift2Value checkedHorizon=3"
in name_82
( let _ = "onReturn"
in \farInp_251 farExp_252 v_253 (!inp_254) buf_255 end_256 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "resume"
in join_209
farInp_251
farExp_252
( let _ = "resume.genCode"
in v_253
)
inp_254
buf_255
end_256
)
cs_249
buf_244
end_242
Data.Map.Internal.Tip
else
let _ = "checkToken.fail"
in let failExp_257 =
Data.Set.Internal.Bin
6
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'n'
)
)
( Data.Set.Internal.Bin
2
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '0'
)
)
Data.Set.Internal.Tip
( Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'f'
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
)
)
( Data.Set.Internal.Bin
3
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 't'
)
)
( Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'r'
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
)
( Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'v'
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
)
)
in let (#
farInp_258,
farExp_259
#) = case GHC.Classes.compare @GHC.Types.Int farInp_239 cs_247 of
GHC.Types.LT ->
(#
cs_247,
failExp_257
#)
GHC.Types.EQ ->
(#
farInp_239,
failExp_257 GHC.Base.<> farExp_240
#)
GHC.Types.GT ->
(#
farInp_239,
farExp_240
#)
in readFail_245 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_247 farInp_258 farExp_259 buf_244 end_242
else
let _ = "checkToken.fail"
in let failExp_260 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '\\'
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_261,
farExp_262
#) = case GHC.Classes.compare @GHC.Types.Int farInp_239 failInp_238 of
GHC.Types.LT ->
(#
failInp_238,
failExp_260
#)
GHC.Types.EQ ->
(#
farInp_239,
failExp_260 GHC.Base.<> farExp_240
#)
GHC.Types.GT ->
(#
farInp_239,
farExp_240
#)
in readFail_245 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_238 farInp_261 farExp_262 buf_244 end_242
else
let _ = "checkHorizon.newCheck.fail"
in let noMoreInput_263 =
let failExp_264 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 4
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_265,
farExp_266
#) = case GHC.Classes.compare @GHC.Types.Int farInp_239 failInp_238 of
GHC.Types.LT ->
(#
failInp_238,
failExp_264
#)
GHC.Types.EQ ->
(#
farInp_239,
failExp_264 GHC.Base.<> farExp_240
#)
GHC.Types.GT ->
(#
farInp_239,
farExp_240
#)
in readFail_245 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_238 farInp_265 farExp_266 buf_244 GHC.Types.True
in if end_242
then noMoreInput_263
else
Symantic.Parser.Machine.Generate.returnST GHC.Base.$
( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
( \newInput_267 ->
if Symantic.Parser.Machine.Input.nullInput newInput_267
then noMoreInput_263
else partialCont_243 (append_5 buf_244 newInput_267)
)
)
in partialCont_243 buf_241
else
let _ = "choicesBranch.else"
in readFail_206 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_238 farInp_239 farExp_240 buf_241 end_242
in let _ = "pushValue"
in let _ = "comment: satisfy Parsers.Nandlang.nandStringLetter"
in let _ = "checkHorizon.oldCheck: checkedHorizon=4"
in let _ = "checkToken"
in let !(#
c_268,
cs_269
#) = readNext_4 buf_205 cs_208
in if Parsers.Nandlang.nandStringLetter c_268
then
let _ = "lift2Value checkedHorizon=3"
in name_82
( let _ = "onReturn"
in \farInp_270 farExp_271 v_272 (!inp_273) buf_274 end_275 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "commit"
in let _ = "resume"
in join_209
farInp_270
farExp_271
( let _ = "resume.genCode"
in v_272
)
inp_273
buf_274
end_275
)
cs_269
buf_205
end_53
Data.Map.Internal.Tip
else
let _ = "checkToken.fail"
in onException_236 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_208 farInp_50 farExp_51 buf_205 end_53
else
let _ = "checkToken.fail"
in let failExp_276 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '\''
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_277,
farExp_278
#) = case GHC.Classes.compare @GHC.Types.Int farInp_50 failInp_49 of
GHC.Types.LT ->
(#
failInp_49,
failExp_276
#)
GHC.Types.EQ ->
(#
farInp_50,
failExp_276 GHC.Base.<> farExp_51
#)
GHC.Types.GT ->
(#
farInp_50,
farExp_51
#)
in readFail_206 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_49 farInp_277 farExp_278 buf_205 end_53
else
let _ = "checkHorizon.newCheck.fail"
in let noMoreInput_279 =
let failExp_280 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 4
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_281,
farExp_282
#) = case GHC.Classes.compare @GHC.Types.Int farInp_50 failInp_49 of
GHC.Types.LT ->
(#
failInp_49,
failExp_280
#)
GHC.Types.EQ ->
(#
farInp_50,
failExp_280 GHC.Base.<> farExp_51
#)
GHC.Types.GT ->
(#
farInp_50,
farExp_51
#)
in readFail_206 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_49 farInp_281 farExp_282 buf_205 GHC.Types.True
in if end_53
then noMoreInput_279
else
Symantic.Parser.Machine.Generate.returnST GHC.Base.$
( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
( \newInput_283 ->
if Symantic.Parser.Machine.Input.nullInput newInput_283
then noMoreInput_279
else partialCont_204 (append_5 buf_205 newInput_283)
)
)
in partialCont_204 buf_52
else
let _ = "choicesBranch.else"
in Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_46 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_49 farInp_50 farExp_51 buf_52 end_53
in let _ = "pushValue"
in let join_284 = \farInp_285 farExp_286 v_287 (!inp_288) buf_289 end_290 ->
let _ = "lift2Value checkedHorizon=0"
in name_221
( let _ = "onReturn"
in \farInp_291 farExp_292 v_293 (!inp_294) buf_295 end_296 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "commit"
in let _ = "resume"
in callerOnReturn_42
farInp_291
farExp_292
( let _ = "resume.genCode"
in v_293
)
inp_294
buf_295
end_296
)
inp_288
buf_289
end_290
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException_47 Data.Map.Internal.Tip Data.Map.Internal.Tip)
in let _ = "catch ExceptionFailure checkedHorizon=0"
in let onException_297 =
let _ = "onException"
in \(!_exn_298) (!failInp_299) (!farInp_300) (!farExp_301) buf_302 end_303 ->
let _ = "comment: raiseAgainIfConsumed"
in let _ = "saveInput checkedHorizon=0"
in let _ = "lift2Value checkedHorizon=0"
in if (GHC.Classes.==) @GHC.Types.Int callerInput_43 failInp_299
then
let _ = "choicesBranch checkedHorizon=0"
in let _ = "pushValue"
in let _ = "comment: satisfy ((GHC.Classes.==) '1')"
in let partialCont_304 buf_305 =
let readFail_306 = onException_47
in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
in if readMore_3 buf_305 ((GHC.Num.+) @GHC.Types.Int 1 failInp_299)
then
let _ = "checkToken"
in let !(#
c_307,
cs_308
#) = readNext_4 buf_305 failInp_299
in if (GHC.Classes.==) '1' c_307
then
let _ = "lift2Value checkedHorizon=2"
in let _ = "resume"
in join_284
farInp_300
farExp_301
( let _ = "resume.genCode"
in '1'
)
cs_308
buf_305
end_303
else
let _ = "checkToken.fail"
in let failExp_309 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '1'
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_310,
farExp_311
#) = case GHC.Classes.compare @GHC.Types.Int farInp_300 failInp_299 of
GHC.Types.LT ->
(#
failInp_299,
failExp_309
#)
GHC.Types.EQ ->
(#
farInp_300,
failExp_309 GHC.Base.<> farExp_301
#)
GHC.Types.GT ->
(#
farInp_300,
farExp_301
#)
in readFail_306 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_299 farInp_310 farExp_311 buf_305 end_303
else
let _ = "checkHorizon.newCheck.fail"
in let noMoreInput_312 =
let failExp_313 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 2
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_314,
farExp_315
#) = case GHC.Classes.compare @GHC.Types.Int farInp_300 failInp_299 of
GHC.Types.LT ->
(#
failInp_299,
failExp_313
#)
GHC.Types.EQ ->
(#
farInp_300,
failExp_313 GHC.Base.<> farExp_301
#)
GHC.Types.GT ->
(#
farInp_300,
farExp_301
#)
in readFail_306 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_299 farInp_314 farExp_315 buf_305 GHC.Types.True
in if end_303
then noMoreInput_312
else
Symantic.Parser.Machine.Generate.returnST GHC.Base.$
( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
( \newInput_316 ->
if Symantic.Parser.Machine.Input.nullInput newInput_316
then noMoreInput_312
else partialCont_304 (append_5 buf_305 newInput_316)
)
)
in partialCont_304 buf_302
else
let _ = "choicesBranch.else"
in onException_47 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_299 farInp_300 farExp_301 buf_302 end_303
in let _ = "pushValue"
in let _ = "comment: satisfy ((GHC.Classes.==) '0')"
in let partialCont_317 buf_318 =
let readFail_319 = onException_297
in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
in if readMore_3 buf_318 ((GHC.Num.+) @GHC.Types.Int 1 callerInput_43)
then
let _ = "checkToken"
in let !(#
c_320,
cs_321
#) = readNext_4 buf_318 callerInput_43
in if (GHC.Classes.==) '0' c_320
then
let _ = "lift2Value checkedHorizon=2"
in let _ = "commit"
in let _ = "resume"
in join_284
initPos_2
Data.Set.Internal.empty
( let _ = "resume.genCode"
in '0'
)
cs_321
buf_318
callerEnd_45
else
let _ = "checkToken.fail"
in let failExp_322 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '0'
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_323,
farExp_324
#) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_43 of
GHC.Types.LT ->
(#
callerInput_43,
failExp_322
#)
GHC.Types.EQ ->
(#
initPos_2,
failExp_322 GHC.Base.<> Data.Set.Internal.empty
#)
GHC.Types.GT ->
(#
initPos_2,
Data.Set.Internal.empty
#)
in readFail_319 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_43 farInp_323 farExp_324 buf_318 callerEnd_45
else
let _ = "checkHorizon.newCheck.fail"
in let noMoreInput_325 =
let failExp_326 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 2
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_327,
farExp_328
#) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_43 of
GHC.Types.LT ->
(#
callerInput_43,
failExp_326
#)
GHC.Types.EQ ->
(#
initPos_2,
failExp_326 GHC.Base.<> Data.Set.Internal.empty
#)
GHC.Types.GT ->
(#
initPos_2,
Data.Set.Internal.empty
#)
in readFail_319 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_43 farInp_327 farExp_328 buf_318 GHC.Types.True
in if callerEnd_45
then noMoreInput_325
else
Symantic.Parser.Machine.Generate.returnST GHC.Base.$
( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
( \newInput_329 ->
if Symantic.Parser.Machine.Input.nullInput newInput_329
then noMoreInput_325
else partialCont_317 (append_5 buf_318 newInput_329)
)
)
in partialCont_317 callerBuffer_44
name_330 = \(!callerOnReturn_331) (!callerInput_332) (!callerBuffer_333) (!callerEnd_334) (!callerOnExceptionStackByLabel_335) ->
let _ = "catch ExceptionFailure checkedHorizon=0"
in let onException_336 =
let _ = "onException"
in \(!_exn_337) (!failInp_338) (!farInp_339) (!farExp_340) buf_341 end_342 ->
let _ = "comment: raiseAgainIfConsumed"
in let _ = "saveInput checkedHorizon=0"
in let _ = "lift2Value checkedHorizon=0"
in if (GHC.Classes.==) @GHC.Types.Int callerInput_332 failInp_338
then
let _ = "choicesBranch checkedHorizon=0"
in let _ = "jump"
in name_82 callerOnReturn_331 failInp_338 buf_341 end_342 Data.Map.Internal.Tip
else
let _ = "choicesBranch.else"
in Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_335 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_338 farInp_339 farExp_340 buf_341 end_342
in let _ = "pushValue"
in name_343
( let _ = "onReturn"
in \farInp_344 farExp_345 v_346 (!inp_347) buf_348 end_349 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "pushValue"
in do
let dupv_350 = \u_351 -> u_351
reg_352 <- GHC.STRef.newSTRef dupv_350
let _ = "iter"
in let onException_353 loopInput_354 =
let _ = "onException"
in \(!_exn_355) (!failInp_356) (!farInp_357) (!farExp_358) buf_359 end_360 ->
let _ = "comment: raiseAgainIfConsumed"
in let _ = "saveInput checkedHorizon=0"
in let _ = "lift2Value checkedHorizon=0"
in if (GHC.Classes.==) @GHC.Types.Int loopInput_354 failInp_356
then
let _ = "choicesBranch checkedHorizon=0"
in do
sr_361 <- GHC.STRef.readSTRef reg_352
name_163
( let _ = "onReturn"
in \farInp_362 farExp_363 v_364 (!inp_365) buf_366 end_367 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "lift2Value checkedHorizon=0"
in name_82
( let _ = "onReturn"
in \farInp_368 farExp_369 v_370 (!inp_371) buf_372 end_373 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "commit"
in let _ = "resume"
in callerOnReturn_331
farInp_368
farExp_369
( let _ = "resume.genCode"
in GHC.Tuple . ()
)
inp_371
buf_372
end_373
)
inp_365
buf_366
end_367
Data.Map.Internal.Tip
)
failInp_356
buf_359
end_360
Data.Map.Internal.Tip
else
let _ = "choicesBranch.else"
in onException_336 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_356 farInp_357 farExp_358 buf_359 end_360
loop_374 = \_callerOnReturn_375 callerInput_376 callerBuffer_377 callerEnded_378 callerOnExceptionStackByLabel_379 ->
let _ = "pushValue"
in name_182
( let _ = "onReturn"
in \farInp_380 farExp_381 v_382 (!inp_383) buf_384 end_385 ->
let _ = "lift2Value checkedHorizon=0"
in name_189
( let _ = "onReturn"
in \farInp_386 farExp_387 v_388 (!inp_389) buf_390 end_391 ->
let _ = "lift2Value checkedHorizon=0"
in name_343
( let _ = "onReturn"
in \farInp_392 farExp_393 v_394 (!inp_395) buf_396 end_397 ->
let _ = "lift2Value checkedHorizon=0"
in do
sr_398 <- GHC.STRef.readSTRef reg_352
let _ = "lift2Value checkedHorizon=0"
in do
let dupv_399 = v_382 v_394 sr_398
GHC.STRef.writeSTRef reg_352 dupv_399
let _ = "jump"
in loop_374 (GHC.Err.error "invalid onReturn") inp_395 buf_396 end_397 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_353 callerInput_376) Data.Map.Internal.Tip Data.Map.Internal.Tip)
)
inp_389
buf_390
end_391
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_353 callerInput_376) Data.Map.Internal.Tip Data.Map.Internal.Tip)
)
inp_383
buf_384
end_385
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_353 callerInput_376) Data.Map.Internal.Tip Data.Map.Internal.Tip)
)
callerInput_376
callerBuffer_377
callerEnded_378
Data.Map.Internal.Tip
in let _ = "jump"
in loop_374 callerOnReturn_331 inp_347 buf_348 end_349 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException_336 Data.Map.Internal.Tip Data.Map.Internal.Tip)
)
callerInput_332
callerBuffer_333
callerEnd_334
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException_336 Data.Map.Internal.Tip Data.Map.Internal.Tip)
name_400 = \(!callerOnReturn_401) (!callerInput_402) (!callerBuffer_403) (!callerEnd_404) (!callerOnExceptionStackByLabel_405) ->
let _ = "comment: satisfy (\\t_0 -> ('0' GHC.Classes.== t_0) GHC.Classes.|| (('1' GHC.Classes.== t_0) GHC.Classes.|| (('2' GHC.Classes.== t_0) GHC.Classes.|| (('3' GHC.Classes.== t_0) GHC.Classes.|| (('4' GHC.Classes.== t_0) GHC.Classes.|| (('5' GHC.Classes.== t_0) GHC.Classes.|| (('6' GHC.Classes.== t_0) GHC.Classes.|| (('7' GHC.Classes.== t_0) GHC.Classes.|| (('8' GHC.Classes.== t_0) GHC.Classes.|| (('9' GHC.Classes.== t_0) GHC.Classes.|| GHC.Types.False))))))))))"
in let partialCont_406 buf_407 =
let readFail_408 = Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_405
in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
in if readMore_3 buf_407 callerInput_402
then
let _ = "checkToken"
in let !(#
c_409,
cs_410
#) = readNext_4 buf_407 callerInput_402
in if (\t_411 -> ('0' GHC.Classes.== t_411) GHC.Classes.|| (('1' GHC.Classes.== t_411) GHC.Classes.|| (('2' GHC.Classes.== t_411) GHC.Classes.|| (('3' GHC.Classes.== t_411) GHC.Classes.|| (('4' GHC.Classes.== t_411) GHC.Classes.|| (('5' GHC.Classes.== t_411) GHC.Classes.|| (('6' GHC.Classes.== t_411) GHC.Classes.|| (('7' GHC.Classes.== t_411) GHC.Classes.|| (('8' GHC.Classes.== t_411) GHC.Classes.|| (('9' GHC.Classes.== t_411) GHC.Classes.|| GHC.Types.False)))))))))) c_409
then
let _ = "resume"
in callerOnReturn_401
initPos_2
Data.Set.Internal.empty
( let _ = "resume.genCode"
in c_409
)
cs_410
buf_407
callerEnd_404
else
let _ = "checkToken.fail"
in let failExp_412 =
Data.Set.Internal.Bin
10
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '3'
)
)
( Data.Set.Internal.Bin
3
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '1'
)
)
( Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '0'
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
)
( Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '2'
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
)
)
( Data.Set.Internal.Bin
6
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '7'
)
)
( Data.Set.Internal.Bin
3
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '5'
)
)
( Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '4'
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
)
( Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '6'
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
)
)
( Data.Set.Internal.Bin
2
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '8'
)
)
Data.Set.Internal.Tip
( Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '9'
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
)
)
)
in let (#
farInp_413,
farExp_414
#) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_402 of
GHC.Types.LT ->
(#
callerInput_402,
failExp_412
#)
GHC.Types.EQ ->
(#
initPos_2,
failExp_412 GHC.Base.<> Data.Set.Internal.empty
#)
GHC.Types.GT ->
(#
initPos_2,
Data.Set.Internal.empty
#)
in readFail_408 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_402 farInp_413 farExp_414 buf_407 callerEnd_404
else
let _ = "checkHorizon.newCheck.fail"
in let noMoreInput_415 =
let failExp_416 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 1
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_417,
farExp_418
#) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_402 of
GHC.Types.LT ->
(#
callerInput_402,
failExp_416
#)
GHC.Types.EQ ->
(#
initPos_2,
failExp_416 GHC.Base.<> Data.Set.Internal.empty
#)
GHC.Types.GT ->
(#
initPos_2,
Data.Set.Internal.empty
#)
in readFail_408 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_402 farInp_417 farExp_418 buf_407 GHC.Types.True
in if callerEnd_404
then noMoreInput_415
else
Symantic.Parser.Machine.Generate.returnST GHC.Base.$
( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
( \newInput_419 ->
if Symantic.Parser.Machine.Input.nullInput newInput_419
then noMoreInput_415
else partialCont_406 (append_5 buf_407 newInput_419)
)
)
in partialCont_406 callerBuffer_403
name_343 = \(!callerOnReturn_420) (!callerInput_421) (!callerBuffer_422) (!callerEnd_423) (!callerOnExceptionStackByLabel_424) ->
let _ = "pushValue"
in name_61
( let _ = "onReturn"
in \farInp_425 farExp_426 v_427 (!inp_428) buf_429 end_430 ->
let _ = "lift2Value checkedHorizon=0"
in let join_431 = \farInp_432 farExp_433 v_434 (!inp_435) buf_436 end_437 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "resume"
in callerOnReturn_420
farInp_432
farExp_433
( let _ = "resume.genCode"
in v_434
)
inp_435
buf_436
end_437
in let _ = "catch ExceptionFailure checkedHorizon=0"
in let onException_438 =
let _ = "onException"
in \(!_exn_439) (!failInp_440) (!farInp_441) (!farExp_442) buf_443 end_444 ->
let _ = "comment: raiseAgainIfConsumed"
in let _ = "saveInput checkedHorizon=0"
in let _ = "lift2Value checkedHorizon=0"
in if (GHC.Classes.==) @GHC.Types.Int inp_428 failInp_440
then
let _ = "choicesBranch checkedHorizon=0"
in name_82
( let _ = "onReturn"
in \farInp_445 farExp_446 v_447 (!inp_448) buf_449 end_450 ->
let _ = "resume"
in join_431
farInp_445
farExp_446
( let _ = "resume.genCode"
in v_447
)
inp_448
buf_449
end_450
)
failInp_440
buf_443
end_444
Data.Map.Internal.Tip
else
let _ = "choicesBranch.else"
in Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_424 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_440 farInp_441 farExp_442 buf_443 end_444
in let _ = "pushValue"
in name_103
( let _ = "onReturn"
in \farInp_451 farExp_452 v_453 (!inp_454) buf_455 end_456 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "commit"
in let _ = "resume"
in join_431
farInp_451
farExp_452
( let _ = "resume.genCode"
in GHC.Tuple . ()
)
inp_454
buf_455
end_456
)
inp_428
buf_429
end_430
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException_438 Data.Map.Internal.Tip Data.Map.Internal.Tip)
)
callerInput_421
callerBuffer_422
callerEnd_423
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_424) Data.Map.Internal.Tip Data.Map.Internal.Tip)
name_144 = \(!callerOnReturn_457) (!callerInput_458) (!callerBuffer_459) (!callerEnd_460) (!callerOnExceptionStackByLabel_461) ->
let _ = "pushValue"
in name_41
( let _ = "onReturn"
in \farInp_462 farExp_463 v_464 (!inp_465) buf_466 end_467 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "pushValue"
in do
let dupv_468 = \u_469 -> u_469
reg_470 <- GHC.STRef.newSTRef dupv_468
let _ = "iter"
in let onException_471 loopInput_472 =
let _ = "onException"
in \(!_exn_473) (!failInp_474) (!farInp_475) (!farExp_476) buf_477 end_478 ->
let _ = "comment: raiseAgainIfConsumed"
in let _ = "saveInput checkedHorizon=0"
in let _ = "lift2Value checkedHorizon=0"
in if (GHC.Classes.==) @GHC.Types.Int loopInput_472 failInp_474
then
let _ = "choicesBranch checkedHorizon=0"
in do
sr_479 <- GHC.STRef.readSTRef reg_470
name_163
( let _ = "onReturn"
in \farInp_480 farExp_481 v_482 (!inp_483) buf_484 end_485 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "lift2Value checkedHorizon=0"
in name_82
( let _ = "onReturn"
in \farInp_486 farExp_487 v_488 (!inp_489) buf_490 end_491 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "resume"
in callerOnReturn_457
farInp_486
farExp_487
( let _ = "resume.genCode"
in v_488
)
inp_489
buf_490
end_491
)
inp_483
buf_484
end_485
Data.Map.Internal.Tip
)
failInp_474
buf_477
end_478
Data.Map.Internal.Tip
else
let _ = "choicesBranch.else"
in Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_461 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_474 farInp_475 farExp_476 buf_477 end_478
loop_492 = \_callerOnReturn_493 callerInput_494 callerBuffer_495 callerEnded_496 callerOnExceptionStackByLabel_497 ->
let _ = "pushValue"
in let _ = "comment: satisfy ((GHC.Classes.==) '!')"
in let partialCont_498 buf_499 =
let readFail_500 = onException_471 callerInput_494
in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=4"
in if readMore_3 buf_499 ((GHC.Num.+) @GHC.Types.Int 3 callerInput_494)
then
let _ = "checkToken"
in let !(#
c_501,
cs_502
#) = readNext_4 buf_499 callerInput_494
in if (GHC.Classes.==) '!' c_501
then
let _ = "lift2Value checkedHorizon=4"
in name_221
( let _ = "onReturn"
in \farInp_503 farExp_504 v_505 (!inp_506) buf_507 end_508 ->
let _ = "lift2Value checkedHorizon=0"
in name_41
( let _ = "onReturn"
in \farInp_509 farExp_510 v_511 (!inp_512) buf_513 end_514 ->
let _ = "lift2Value checkedHorizon=0"
in do
sr_515 <- GHC.STRef.readSTRef reg_470
let _ = "lift2Value checkedHorizon=0"
in do
let dupv_516 = sr_515
GHC.STRef.writeSTRef reg_470 dupv_516
let _ = "jump"
in loop_492 (GHC.Err.error "invalid onReturn") inp_512 buf_513 end_514 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_500 Data.Map.Internal.Tip Data.Map.Internal.Tip)
)
inp_506
buf_507
end_508
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_500 Data.Map.Internal.Tip Data.Map.Internal.Tip)
)
cs_502
buf_499
callerEnded_496
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_500 Data.Map.Internal.Tip Data.Map.Internal.Tip)
else
let _ = "checkToken.fail"
in let failExp_517 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '!'
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_518,
farExp_519
#) = case GHC.Classes.compare @GHC.Types.Int farInp_462 callerInput_494 of
GHC.Types.LT ->
(#
callerInput_494,
failExp_517
#)
GHC.Types.EQ ->
(#
farInp_462,
failExp_517 GHC.Base.<> farExp_463
#)
GHC.Types.GT ->
(#
farInp_462,
farExp_463
#)
in readFail_500 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_494 farInp_518 farExp_519 buf_499 callerEnded_496
else
let _ = "checkHorizon.newCheck.fail"
in let noMoreInput_520 =
let failExp_521 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 4
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_522,
farExp_523
#) = case GHC.Classes.compare @GHC.Types.Int farInp_462 callerInput_494 of
GHC.Types.LT ->
(#
callerInput_494,
failExp_521
#)
GHC.Types.EQ ->
(#
farInp_462,
failExp_521 GHC.Base.<> farExp_463
#)
GHC.Types.GT ->
(#
farInp_462,
farExp_463
#)
in readFail_500 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_494 farInp_522 farExp_523 buf_499 GHC.Types.True
in if callerEnded_496
then noMoreInput_520
else
Symantic.Parser.Machine.Generate.returnST GHC.Base.$
( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
( \newInput_524 ->
if Symantic.Parser.Machine.Input.nullInput newInput_524
then noMoreInput_520
else partialCont_498 (append_5 buf_499 newInput_524)
)
)
in partialCont_498 callerBuffer_495
in let _ = "jump"
in loop_492 callerOnReturn_457 inp_465 buf_466 end_467 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_461) Data.Map.Internal.Tip Data.Map.Internal.Tip)
)
callerInput_458
callerBuffer_459
callerEnd_460
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_461) Data.Map.Internal.Tip Data.Map.Internal.Tip)
name_221 = \(!callerOnReturn_525) (!callerInput_526) (!callerBuffer_527) (!callerEnd_528) (!callerOnExceptionStackByLabel_529) ->
let _ = "pushValue"
in name_530
( let _ = "onReturn"
in \farInp_531 farExp_532 v_533 (!inp_534) buf_535 end_536 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "pushValue"
in do
let dupv_537 = \u_538 -> u_538
reg_539 <- GHC.STRef.newSTRef dupv_537
let _ = "iter"
in let onException_540 loopInput_541 =
let _ = "onException"
in \(!_exn_542) (!failInp_543) (!farInp_544) (!farExp_545) buf_546 end_547 ->
let _ = "comment: raiseAgainIfConsumed"
in let _ = "saveInput checkedHorizon=0"
in let _ = "lift2Value checkedHorizon=0"
in if (GHC.Classes.==) @GHC.Types.Int loopInput_541 failInp_543
then
let _ = "choicesBranch checkedHorizon=0"
in do
sr_548 <- GHC.STRef.readSTRef reg_539
let _ = "pushValue"
in let _ = "lift2Value checkedHorizon=0"
in let _ = "lift2Value checkedHorizon=0"
in let _ = "resume"
in callerOnReturn_525
farInp_544
farExp_545
( let _ = "resume.genCode"
in GHC.Tuple . ()
)
failInp_543
buf_546
end_547
else
let _ = "choicesBranch.else"
in Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_529 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_543 farInp_544 farExp_545 buf_546 end_547
loop_549 = \_callerOnReturn_550 callerInput_551 callerBuffer_552 callerEnded_553 callerOnExceptionStackByLabel_554 ->
let _ = "pushValue"
in name_530
( let _ = "onReturn"
in \farInp_555 farExp_556 v_557 (!inp_558) buf_559 end_560 ->
let _ = "lift2Value checkedHorizon=0"
in do
sr_561 <- GHC.STRef.readSTRef reg_539
let _ = "lift2Value checkedHorizon=0"
in do
let dupv_562 = sr_561
GHC.STRef.writeSTRef reg_539 dupv_562
let _ = "jump"
in loop_549 (GHC.Err.error "invalid onReturn") inp_558 buf_559 end_560 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_540 callerInput_551) Data.Map.Internal.Tip Data.Map.Internal.Tip)
)
callerInput_551
callerBuffer_552
callerEnded_553
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_540 callerInput_551) Data.Map.Internal.Tip Data.Map.Internal.Tip)
in let _ = "jump"
in loop_549 callerOnReturn_525 inp_534 buf_535 end_536 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_529) Data.Map.Internal.Tip Data.Map.Internal.Tip)
)
callerInput_526
callerBuffer_527
callerEnd_528
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_529) Data.Map.Internal.Tip Data.Map.Internal.Tip)
name_61 = \(!callerOnReturn_563) (!callerInput_564) (!callerBuffer_565) (!callerEnd_566) (!callerOnExceptionStackByLabel_567) ->
let _ = "pushValue"
in let _ = "catch ExceptionFailure checkedHorizon=0"
in let onException_568 =
let _ = "onException"
in \(!_exn_569) (!failInp_570) (!farInp_571) (!farExp_572) buf_573 end_574 ->
let _ = "loadInput checkedHorizon=0"
in let _ = "checkHorizon.noCheck"
in Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_567 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_564 farInp_571 farExp_572 buf_573 end_574
in let _ = "pushValue"
in let _ = "comment: satisfy Parsers.Nandlang.nandIdentStart"
in let partialCont_575 buf_576 =
let readFail_577 = onException_568
in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
in if readMore_3 buf_576 ((GHC.Num.+) @GHC.Types.Int 1 callerInput_564)
then
let _ = "checkToken"
in let !(#
c_578,
cs_579
#) = readNext_4 buf_576 callerInput_564
in if Parsers.Nandlang.nandIdentStart c_578
then
let _ = "lift2Value checkedHorizon=2"
in let _ = "pushValue"
in do
let dupv_580 = \u_581 -> u_581
reg_582 <- GHC.STRef.newSTRef dupv_580
let _ = "iter"
in let onException_583 loopInput_584 =
let _ = "onException"
in \(!_exn_585) (!failInp_586) (!farInp_587) (!farExp_588) buf_589 end_590 ->
let _ = "comment: raiseAgainIfConsumed"
in let _ = "saveInput checkedHorizon=0"
in let _ = "lift2Value checkedHorizon=0"
in if (GHC.Classes.==) @GHC.Types.Int loopInput_584 failInp_586
then
let _ = "choicesBranch checkedHorizon=0"
in do
sr_591 <- GHC.STRef.readSTRef reg_582
name_163
( let _ = "onReturn"
in \farInp_592 farExp_593 v_594 (!inp_595) buf_596 end_597 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "lift2Value checkedHorizon=0"
in let _ = "commit"
in let _ = "lift2Value checkedHorizon=0"
in name_221
( let _ = "onReturn"
in \farInp_598 farExp_599 v_600 (!inp_601) buf_602 end_603 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "resume"
in callerOnReturn_563
farInp_598
farExp_599
( let _ = "resume.genCode"
in v_600
)
inp_601
buf_602
end_603
)
inp_595
buf_596
end_597
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_567) Data.Map.Internal.Tip Data.Map.Internal.Tip)
)
failInp_586
buf_589
end_590
Data.Map.Internal.Tip
else
let _ = "choicesBranch.else"
in readFail_577 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_586 farInp_587 farExp_588 buf_589 end_590
loop_604 = \_callerOnReturn_605 callerInput_606 callerBuffer_607 callerEnded_608 callerOnExceptionStackByLabel_609 ->
let _ = "pushValue"
in let _ = "comment: satisfy Parsers.Nandlang.nandIdentLetter"
in let partialCont_610 buf_611 =
let readFail_612 = onException_583 callerInput_606
in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
in if readMore_3 buf_611 callerInput_606
then
let _ = "checkToken"
in let !(#
c_613,
cs_614
#) = readNext_4 buf_611 callerInput_606
in if Parsers.Nandlang.nandIdentLetter c_613
then
let _ = "lift2Value checkedHorizon=1"
in do
sr_615 <- GHC.STRef.readSTRef reg_582
let _ = "lift2Value checkedHorizon=1"
in do
let dupv_616 = sr_615
GHC.STRef.writeSTRef reg_582 dupv_616
let _ = "jump"
in loop_604 (GHC.Err.error "invalid onReturn") cs_614 buf_611 callerEnded_608 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_612 Data.Map.Internal.Tip Data.Map.Internal.Tip)
else
let _ = "checkToken.fail"
in readFail_612 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_606 initPos_2 Data.Set.Internal.empty buf_611 callerEnded_608
else
let _ = "checkHorizon.newCheck.fail"
in let noMoreInput_617 =
let failExp_618 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 1
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_619,
farExp_620
#) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_606 of
GHC.Types.LT ->
(#
callerInput_606,
failExp_618
#)
GHC.Types.EQ ->
(#
initPos_2,
failExp_618 GHC.Base.<> Data.Set.Internal.empty
#)
GHC.Types.GT ->
(#
initPos_2,
Data.Set.Internal.empty
#)
in readFail_612 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_606 farInp_619 farExp_620 buf_611 GHC.Types.True
in if callerEnded_608
then noMoreInput_617
else
Symantic.Parser.Machine.Generate.returnST GHC.Base.$
( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
( \newInput_621 ->
if Symantic.Parser.Machine.Input.nullInput newInput_621
then noMoreInput_617
else partialCont_610 (append_5 buf_611 newInput_621)
)
)
in partialCont_610 callerBuffer_607
in let _ = "jump"
in loop_604 callerOnReturn_563 cs_579 buf_576 callerEnd_566 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_577 Data.Map.Internal.Tip Data.Map.Internal.Tip)
else
let _ = "checkToken.fail"
in readFail_577 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_564 initPos_2 Data.Set.Internal.empty buf_576 callerEnd_566
else
let _ = "checkHorizon.newCheck.fail"
in let noMoreInput_622 =
let failExp_623 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 2
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_624,
farExp_625
#) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_564 of
GHC.Types.LT ->
(#
callerInput_564,
failExp_623
#)
GHC.Types.EQ ->
(#
initPos_2,
failExp_623 GHC.Base.<> Data.Set.Internal.empty
#)
GHC.Types.GT ->
(#
initPos_2,
Data.Set.Internal.empty
#)
in readFail_577 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_564 farInp_624 farExp_625 buf_576 GHC.Types.True
in if callerEnd_566
then noMoreInput_622
else
Symantic.Parser.Machine.Generate.returnST GHC.Base.$
( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
( \newInput_626 ->
if Symantic.Parser.Machine.Input.nullInput newInput_626
then noMoreInput_622
else partialCont_575 (append_5 buf_576 newInput_626)
)
)
in partialCont_575 callerBuffer_565
name_110 = \(!callerOnReturn_627) (!callerInput_628) (!callerBuffer_629) (!callerEnd_630) (!callerOnExceptionStackByLabel_631) ->
let _ = "pushValue"
in let _ = "comment: satisfy ((GHC.Classes.==) '(')"
in let partialCont_632 buf_633 =
let readFail_634 = Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_631
in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
in if readMore_3 buf_633 ((GHC.Num.+) @GHC.Types.Int 1 callerInput_628)
then
let _ = "checkToken"
in let !(#
c_635,
cs_636
#) = readNext_4 buf_633 callerInput_628
in if (GHC.Classes.==) '(' c_635
then
let _ = "lift2Value checkedHorizon=2"
in name_221
( let _ = "onReturn"
in \farInp_637 farExp_638 v_639 (!inp_640) buf_641 end_642 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "resume"
in callerOnReturn_627
farInp_637
farExp_638
( let _ = "resume.genCode"
in '('
)
inp_640
buf_641
end_642
)
cs_636
buf_633
callerEnd_630
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_634 Data.Map.Internal.Tip Data.Map.Internal.Tip)
else
let _ = "checkToken.fail"
in let failExp_643 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '('
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_644,
farExp_645
#) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_628 of
GHC.Types.LT ->
(#
callerInput_628,
failExp_643
#)
GHC.Types.EQ ->
(#
initPos_2,
failExp_643 GHC.Base.<> Data.Set.Internal.empty
#)
GHC.Types.GT ->
(#
initPos_2,
Data.Set.Internal.empty
#)
in readFail_634 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_628 farInp_644 farExp_645 buf_633 callerEnd_630
else
let _ = "checkHorizon.newCheck.fail"
in let noMoreInput_646 =
let failExp_647 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 2
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_648,
farExp_649
#) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_628 of
GHC.Types.LT ->
(#
callerInput_628,
failExp_647
#)
GHC.Types.EQ ->
(#
initPos_2,
failExp_647 GHC.Base.<> Data.Set.Internal.empty
#)
GHC.Types.GT ->
(#
initPos_2,
Data.Set.Internal.empty
#)
in readFail_634 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_628 farInp_648 farExp_649 buf_633 GHC.Types.True
in if callerEnd_630
then noMoreInput_646
else
Symantic.Parser.Machine.Generate.returnST GHC.Base.$
( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
( \newInput_650 ->
if Symantic.Parser.Machine.Input.nullInput newInput_650
then noMoreInput_646
else partialCont_632 (append_5 buf_633 newInput_650)
)
)
in partialCont_632 callerBuffer_629
name_124 = \(!callerOnReturn_651) (!callerInput_652) (!callerBuffer_653) (!callerEnd_654) (!callerOnExceptionStackByLabel_655) ->
let _ = "pushValue"
in let _ = "comment: satisfy ((GHC.Classes.==) ')')"
in let partialCont_656 buf_657 =
let readFail_658 = Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_655
in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
in if readMore_3 buf_657 ((GHC.Num.+) @GHC.Types.Int 1 callerInput_652)
then
let _ = "checkToken"
in let !(#
c_659,
cs_660
#) = readNext_4 buf_657 callerInput_652
in if (GHC.Classes.==) ')' c_659
then
let _ = "lift2Value checkedHorizon=2"
in name_221
( let _ = "onReturn"
in \farInp_661 farExp_662 v_663 (!inp_664) buf_665 end_666 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "resume"
in callerOnReturn_651
farInp_661
farExp_662
( let _ = "resume.genCode"
in ')'
)
inp_664
buf_665
end_666
)
cs_660
buf_657
callerEnd_654
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_658 Data.Map.Internal.Tip Data.Map.Internal.Tip)
else
let _ = "checkToken.fail"
in let failExp_667 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken ')'
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_668,
farExp_669
#) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_652 of
GHC.Types.LT ->
(#
callerInput_652,
failExp_667
#)
GHC.Types.EQ ->
(#
initPos_2,
failExp_667 GHC.Base.<> Data.Set.Internal.empty
#)
GHC.Types.GT ->
(#
initPos_2,
Data.Set.Internal.empty
#)
in readFail_658 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_652 farInp_668 farExp_669 buf_657 callerEnd_654
else
let _ = "checkHorizon.newCheck.fail"
in let noMoreInput_670 =
let failExp_671 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 2
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_672,
farExp_673
#) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_652 of
GHC.Types.LT ->
(#
callerInput_652,
failExp_671
#)
GHC.Types.EQ ->
(#
initPos_2,
failExp_671 GHC.Base.<> Data.Set.Internal.empty
#)
GHC.Types.GT ->
(#
initPos_2,
Data.Set.Internal.empty
#)
in readFail_658 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_652 farInp_672 farExp_673 buf_657 GHC.Types.True
in if callerEnd_654
then noMoreInput_670
else
Symantic.Parser.Machine.Generate.returnST GHC.Base.$
( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
( \newInput_674 ->
if Symantic.Parser.Machine.Input.nullInput newInput_674
then noMoreInput_670
else partialCont_656 (append_5 buf_657 newInput_674)
)
)
in partialCont_656 callerBuffer_653
name_189 = \(!callerOnReturn_675) (!callerInput_676) (!callerBuffer_677) (!callerEnd_678) (!callerOnExceptionStackByLabel_679) ->
let _ = "pushValue"
in let _ = "comment: satisfy ((GHC.Classes.==) ',')"
in let partialCont_680 buf_681 =
let readFail_682 = Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_679
in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
in if readMore_3 buf_681 ((GHC.Num.+) @GHC.Types.Int 1 callerInput_676)
then
let _ = "checkToken"
in let !(#
c_683,
cs_684
#) = readNext_4 buf_681 callerInput_676
in if (GHC.Classes.==) ',' c_683
then
let _ = "lift2Value checkedHorizon=2"
in name_221
( let _ = "onReturn"
in \farInp_685 farExp_686 v_687 (!inp_688) buf_689 end_690 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "resume"
in callerOnReturn_675
farInp_685
farExp_686
( let _ = "resume.genCode"
in ','
)
inp_688
buf_689
end_690
)
cs_684
buf_681
callerEnd_678
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_682 Data.Map.Internal.Tip Data.Map.Internal.Tip)
else
let _ = "checkToken.fail"
in let failExp_691 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken ','
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_692,
farExp_693
#) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_676 of
GHC.Types.LT ->
(#
callerInput_676,
failExp_691
#)
GHC.Types.EQ ->
(#
initPos_2,
failExp_691 GHC.Base.<> Data.Set.Internal.empty
#)
GHC.Types.GT ->
(#
initPos_2,
Data.Set.Internal.empty
#)
in readFail_682 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_676 farInp_692 farExp_693 buf_681 callerEnd_678
else
let _ = "checkHorizon.newCheck.fail"
in let noMoreInput_694 =
let failExp_695 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 2
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_696,
farExp_697
#) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_676 of
GHC.Types.LT ->
(#
callerInput_676,
failExp_695
#)
GHC.Types.EQ ->
(#
initPos_2,
failExp_695 GHC.Base.<> Data.Set.Internal.empty
#)
GHC.Types.GT ->
(#
initPos_2,
Data.Set.Internal.empty
#)
in readFail_682 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_676 farInp_696 farExp_697 buf_681 GHC.Types.True
in if callerEnd_678
then noMoreInput_694
else
Symantic.Parser.Machine.Generate.returnST GHC.Base.$
( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
( \newInput_698 ->
if Symantic.Parser.Machine.Input.nullInput newInput_698
then noMoreInput_694
else partialCont_680 (append_5 buf_681 newInput_698)
)
)
in partialCont_680 callerBuffer_677
name_699 = \(!callerOnReturn_700) (!callerInput_701) (!callerBuffer_702) (!callerEnd_703) (!callerOnExceptionStackByLabel_704) ->
let _ = "pushValue"
in let _ = "comment: satisfy ((GHC.Classes.==) ';')"
in let partialCont_705 buf_706 =
let readFail_707 = Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_704
in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
in if readMore_3 buf_706 ((GHC.Num.+) @GHC.Types.Int 1 callerInput_701)
then
let _ = "checkToken"
in let !(#
c_708,
cs_709
#) = readNext_4 buf_706 callerInput_701
in if (GHC.Classes.==) ';' c_708
then
let _ = "lift2Value checkedHorizon=2"
in name_221
( let _ = "onReturn"
in \farInp_710 farExp_711 v_712 (!inp_713) buf_714 end_715 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "resume"
in callerOnReturn_700
farInp_710
farExp_711
( let _ = "resume.genCode"
in ';'
)
inp_713
buf_714
end_715
)
cs_709
buf_706
callerEnd_703
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_707 Data.Map.Internal.Tip Data.Map.Internal.Tip)
else
let _ = "checkToken.fail"
in let failExp_716 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken ';'
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_717,
farExp_718
#) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_701 of
GHC.Types.LT ->
(#
callerInput_701,
failExp_716
#)
GHC.Types.EQ ->
(#
initPos_2,
failExp_716 GHC.Base.<> Data.Set.Internal.empty
#)
GHC.Types.GT ->
(#
initPos_2,
Data.Set.Internal.empty
#)
in readFail_707 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_701 farInp_717 farExp_718 buf_706 callerEnd_703
else
let _ = "checkHorizon.newCheck.fail"
in let noMoreInput_719 =
let failExp_720 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 2
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_721,
farExp_722
#) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_701 of
GHC.Types.LT ->
(#
callerInput_701,
failExp_720
#)
GHC.Types.EQ ->
(#
initPos_2,
failExp_720 GHC.Base.<> Data.Set.Internal.empty
#)
GHC.Types.GT ->
(#
initPos_2,
Data.Set.Internal.empty
#)
in readFail_707 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_701 farInp_721 farExp_722 buf_706 GHC.Types.True
in if callerEnd_703
then noMoreInput_719
else
Symantic.Parser.Machine.Generate.returnST GHC.Base.$
( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
( \newInput_723 ->
if Symantic.Parser.Machine.Input.nullInput newInput_723
then noMoreInput_719
else partialCont_705 (append_5 buf_706 newInput_723)
)
)
in partialCont_705 callerBuffer_702
name_103 = \(!callerOnReturn_724) (!callerInput_725) (!callerBuffer_726) (!callerEnd_727) (!callerOnExceptionStackByLabel_728) ->
let _ = "pushValue"
in let _ = "comment: satisfy ((GHC.Classes.==) '[')"
in let partialCont_729 buf_730 =
let readFail_731 = Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_728
in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=5"
in if readMore_3 buf_730 ((GHC.Num.+) @GHC.Types.Int 4 callerInput_725)
then
let _ = "checkToken"
in let !(#
c_732,
cs_733
#) = readNext_4 buf_730 callerInput_725
in if (GHC.Classes.==) '[' c_732
then
let _ = "lift2Value checkedHorizon=5"
in name_221
( let _ = "onReturn"
in \farInp_734 farExp_735 v_736 (!inp_737) buf_738 end_739 ->
let _ = "lift2Value checkedHorizon=0"
in name_400
( let _ = "onReturn"
in \farInp_740 farExp_741 v_742 (!inp_743) buf_744 end_745 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "pushValue"
in do
let dupv_746 = \u_747 -> u_747
reg_748 <- GHC.STRef.newSTRef dupv_746
let _ = "iter"
in let onException_749 loopInput_750 =
let _ = "onException"
in \(!_exn_751) (!failInp_752) (!farInp_753) (!farExp_754) buf_755 end_756 ->
let _ = "comment: raiseAgainIfConsumed"
in let _ = "saveInput checkedHorizon=0"
in let _ = "lift2Value checkedHorizon=0"
in if (GHC.Classes.==) @GHC.Types.Int loopInput_750 failInp_752
then
let _ = "choicesBranch checkedHorizon=0"
in do
sr_757 <- GHC.STRef.readSTRef reg_748
let _ = "pushValue"
in let _ = "lift2Value checkedHorizon=0"
in let _ = "lift2Value checkedHorizon=0"
in let _ = "comment: satisfy ((GHC.Classes.==) ']')"
in let partialCont_758 buf_759 =
let readFail_760 = readFail_731
in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
in if readMore_3 buf_759 ((GHC.Num.+) @GHC.Types.Int 1 failInp_752)
then
let _ = "checkToken"
in let !(#
c_761,
cs_762
#) = readNext_4 buf_759 failInp_752
in if (GHC.Classes.==) ']' c_761
then
let _ = "lift2Value checkedHorizon=2"
in name_221
( let _ = "onReturn"
in \farInp_763 farExp_764 v_765 (!inp_766) buf_767 end_768 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "resume"
in callerOnReturn_724
farInp_763
farExp_764
( let _ = "resume.genCode"
in GHC.Tuple . ()
)
inp_766
buf_767
end_768
)
cs_762
buf_759
end_756
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_760 Data.Map.Internal.Tip Data.Map.Internal.Tip)
else
let _ = "checkToken.fail"
in let failExp_769 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken ']'
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_770,
farExp_771
#) = case GHC.Classes.compare @GHC.Types.Int farInp_753 failInp_752 of
GHC.Types.LT ->
(#
failInp_752,
failExp_769
#)
GHC.Types.EQ ->
(#
farInp_753,
failExp_769 GHC.Base.<> farExp_754
#)
GHC.Types.GT ->
(#
farInp_753,
farExp_754
#)
in readFail_760 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_752 farInp_770 farExp_771 buf_759 end_756
else
let _ = "checkHorizon.newCheck.fail"
in let noMoreInput_772 =
let failExp_773 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 2
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_774,
farExp_775
#) = case GHC.Classes.compare @GHC.Types.Int farInp_753 failInp_752 of
GHC.Types.LT ->
(#
failInp_752,
failExp_773
#)
GHC.Types.EQ ->
(#
farInp_753,
failExp_773 GHC.Base.<> farExp_754
#)
GHC.Types.GT ->
(#
farInp_753,
farExp_754
#)
in readFail_760 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_752 farInp_774 farExp_775 buf_759 GHC.Types.True
in if end_756
then noMoreInput_772
else
Symantic.Parser.Machine.Generate.returnST GHC.Base.$
( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
( \newInput_776 ->
if Symantic.Parser.Machine.Input.nullInput newInput_776
then noMoreInput_772
else partialCont_758 (append_5 buf_759 newInput_776)
)
)
in partialCont_758 buf_755
else
let _ = "choicesBranch.else"
in readFail_731 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_752 farInp_753 farExp_754 buf_755 end_756
loop_777 = \_callerOnReturn_778 callerInput_779 callerBuffer_780 callerEnded_781 callerOnExceptionStackByLabel_782 ->
let _ = "pushValue"
in name_400
( let _ = "onReturn"
in \farInp_783 farExp_784 v_785 (!inp_786) buf_787 end_788 ->
let _ = "lift2Value checkedHorizon=0"
in do
sr_789 <- GHC.STRef.readSTRef reg_748
let _ = "lift2Value checkedHorizon=0"
in do
let dupv_790 = sr_789
GHC.STRef.writeSTRef reg_748 dupv_790
let _ = "jump"
in loop_777 (GHC.Err.error "invalid onReturn") inp_786 buf_787 end_788 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_749 callerInput_779) Data.Map.Internal.Tip Data.Map.Internal.Tip)
)
callerInput_779
callerBuffer_780
callerEnded_781
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_749 callerInput_779) Data.Map.Internal.Tip Data.Map.Internal.Tip)
in let _ = "jump"
in loop_777 callerOnReturn_724 inp_743 buf_744 end_745 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_731 Data.Map.Internal.Tip Data.Map.Internal.Tip)
)
inp_737
buf_738
end_739
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_731 Data.Map.Internal.Tip Data.Map.Internal.Tip)
)
cs_733
buf_730
callerEnd_727
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_731 Data.Map.Internal.Tip Data.Map.Internal.Tip)
else
let _ = "checkToken.fail"
in let failExp_791 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '['
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_792,
farExp_793
#) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_725 of
GHC.Types.LT ->
(#
callerInput_725,
failExp_791
#)
GHC.Types.EQ ->
(#
initPos_2,
failExp_791 GHC.Base.<> Data.Set.Internal.empty
#)
GHC.Types.GT ->
(#
initPos_2,
Data.Set.Internal.empty
#)
in readFail_731 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_725 farInp_792 farExp_793 buf_730 callerEnd_727
else
let _ = "checkHorizon.newCheck.fail"
in let noMoreInput_794 =
let failExp_795 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 5
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_796,
farExp_797
#) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_725 of
GHC.Types.LT ->
(#
callerInput_725,
failExp_795
#)
GHC.Types.EQ ->
(#
initPos_2,
failExp_795 GHC.Base.<> Data.Set.Internal.empty
#)
GHC.Types.GT ->
(#
initPos_2,
Data.Set.Internal.empty
#)
in readFail_731 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_725 farInp_796 farExp_797 buf_730 GHC.Types.True
in if callerEnd_727
then noMoreInput_794
else
Symantic.Parser.Machine.Generate.returnST GHC.Base.$
( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
( \newInput_798 ->
if Symantic.Parser.Machine.Input.nullInput newInput_798
then noMoreInput_794
else partialCont_729 (append_5 buf_730 newInput_798)
)
)
in partialCont_729 callerBuffer_726
name_799 = \(!callerOnReturn_800) (!callerInput_801) (!callerBuffer_802) (!callerEnd_803) (!callerOnExceptionStackByLabel_804) ->
let _ = "pushValue"
in let _ = "comment: satisfy ((GHC.Classes.==) '{')"
in let partialCont_805 buf_806 =
let readFail_807 = Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_804
in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=4"
in if readMore_3 buf_806 ((GHC.Num.+) @GHC.Types.Int 3 callerInput_801)
then
let _ = "checkToken"
in let !(#
c_808,
cs_809
#) = readNext_4 buf_806 callerInput_801
in if (GHC.Classes.==) '{' c_808
then
let _ = "lift2Value checkedHorizon=4"
in name_221
( let _ = "onReturn"
in \farInp_810 farExp_811 v_812 (!inp_813) buf_814 end_815 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "pushValue"
in do
let dupv_816 = \u_817 -> u_817
reg_818 <- GHC.STRef.newSTRef dupv_816
let _ = "iter"
in let onException_819 loopInput_820 =
let _ = "onException"
in \(!_exn_821) (!failInp_822) (!farInp_823) (!farExp_824) buf_825 end_826 ->
let _ = "comment: raiseAgainIfConsumed"
in let _ = "saveInput checkedHorizon=0"
in let _ = "lift2Value checkedHorizon=0"
in if (GHC.Classes.==) @GHC.Types.Int loopInput_820 failInp_822
then
let _ = "choicesBranch checkedHorizon=0"
in do
sr_827 <- GHC.STRef.readSTRef reg_818
name_163
( let _ = "onReturn"
in \farInp_828 farExp_829 v_830 (!inp_831) buf_832 end_833 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "lift2Value checkedHorizon=0"
in name_82
( let _ = "onReturn"
in \farInp_834 farExp_835 v_836 (!inp_837) buf_838 end_839 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "comment: satisfy ((GHC.Classes.==) '}')"
in let partialCont_840 buf_841 =
let readFail_842 = readFail_807
in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
in if readMore_3 buf_841 ((GHC.Num.+) @GHC.Types.Int 1 inp_837)
then
let _ = "checkToken"
in let !(#
c_843,
cs_844
#) = readNext_4 buf_841 inp_837
in if (GHC.Classes.==) '}' c_843
then
let _ = "lift2Value checkedHorizon=2"
in name_221
( let _ = "onReturn"
in \farInp_845 farExp_846 v_847 (!inp_848) buf_849 end_850 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "resume"
in callerOnReturn_800
farInp_845
farExp_846
( let _ = "resume.genCode"
in v_836
)
inp_848
buf_849
end_850
)
cs_844
buf_841
end_839
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_842 Data.Map.Internal.Tip Data.Map.Internal.Tip)
else
let _ = "checkToken.fail"
in let failExp_851 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '}'
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_852,
farExp_853
#) = case GHC.Classes.compare @GHC.Types.Int farInp_834 inp_837 of
GHC.Types.LT ->
(#
inp_837,
failExp_851
#)
GHC.Types.EQ ->
(#
farInp_834,
failExp_851 GHC.Base.<> farExp_835
#)
GHC.Types.GT ->
(#
farInp_834,
farExp_835
#)
in readFail_842 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_837 farInp_852 farExp_853 buf_841 end_839
else
let _ = "checkHorizon.newCheck.fail"
in let noMoreInput_854 =
let failExp_855 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 2
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_856,
farExp_857
#) = case GHC.Classes.compare @GHC.Types.Int farInp_834 inp_837 of
GHC.Types.LT ->
(#
inp_837,
failExp_855
#)
GHC.Types.EQ ->
(#
farInp_834,
failExp_855 GHC.Base.<> farExp_835
#)
GHC.Types.GT ->
(#
farInp_834,
farExp_835
#)
in readFail_842 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_837 farInp_856 farExp_857 buf_841 GHC.Types.True
in if end_839
then noMoreInput_854
else
Symantic.Parser.Machine.Generate.returnST GHC.Base.$
( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
( \newInput_858 ->
if Symantic.Parser.Machine.Input.nullInput newInput_858
then noMoreInput_854
else partialCont_840 (append_5 buf_841 newInput_858)
)
)
in partialCont_840 buf_838
)
inp_831
buf_832
end_833
Data.Map.Internal.Tip
)
failInp_822
buf_825
end_826
Data.Map.Internal.Tip
else
let _ = "choicesBranch.else"
in readFail_807 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_822 farInp_823 farExp_824 buf_825 end_826
loop_859 = \_callerOnReturn_860 callerInput_861 callerBuffer_862 callerEnded_863 callerOnExceptionStackByLabel_864 ->
let _ = "pushValue"
in let join_865 = \farInp_866 farExp_867 v_868 (!inp_869) buf_870 end_871 ->
let _ = "lift2Value checkedHorizon=0"
in do
sr_872 <- GHC.STRef.readSTRef reg_818
let _ = "lift2Value checkedHorizon=0"
in do
let dupv_873 = sr_872
GHC.STRef.writeSTRef reg_818 dupv_873
let _ = "jump"
in loop_859 (GHC.Err.error "invalid onReturn") inp_869 buf_870 end_871 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_819 callerInput_861) Data.Map.Internal.Tip Data.Map.Internal.Tip)
in let _ = "catch ExceptionFailure checkedHorizon=0"
in let onException_874 =
let _ = "onException"
in \(!_exn_875) (!failInp_876) (!farInp_877) (!farExp_878) buf_879 end_880 ->
let _ = "comment: raiseAgainIfConsumed"
in let _ = "saveInput checkedHorizon=0"
in let _ = "lift2Value checkedHorizon=0"
in if (GHC.Classes.==) @GHC.Types.Int callerInput_861 failInp_876
then
let _ = "choicesBranch checkedHorizon=0"
in let _ = "catch ExceptionFailure checkedHorizon=0"
in let onException_881 =
let _ = "onException"
in \(!_exn_882) (!failInp_883) (!farInp_884) (!farExp_885) buf_886 end_887 ->
let _ = "comment: raiseAgainIfConsumed"
in let _ = "saveInput checkedHorizon=0"
in let _ = "lift2Value checkedHorizon=0"
in if (GHC.Classes.==) @GHC.Types.Int failInp_876 failInp_883
then
let _ = "choicesBranch checkedHorizon=0"
in let _ = "catch ExceptionFailure checkedHorizon=0"
in let onException_888 =
let _ = "onException"
in \(!_exn_889) (!failInp_890) (!farInp_891) (!farExp_892) buf_893 end_894 ->
let _ = "comment: raiseAgainIfConsumed"
in let _ = "saveInput checkedHorizon=0"
in let _ = "lift2Value checkedHorizon=0"
in if (GHC.Classes.==) @GHC.Types.Int failInp_883 failInp_890
then
let _ = "choicesBranch checkedHorizon=0"
in let _ = "pushValue"
in name_144
( let _ = "onReturn"
in \farInp_895 farExp_896 v_897 (!inp_898) buf_899 end_900 ->
let _ = "lift2Value checkedHorizon=0"
in name_699
( let _ = "onReturn"
in \farInp_901 farExp_902 v_903 (!inp_904) buf_905 end_906 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "resume"
in join_865
farInp_901
farExp_902
( let _ = "resume.genCode"
in v_897
)
inp_904
buf_905
end_906
)
inp_898
buf_899
end_900
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_819 callerInput_861) Data.Map.Internal.Tip Data.Map.Internal.Tip)
)
failInp_890
buf_893
end_894
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_819 callerInput_861) Data.Map.Internal.Tip Data.Map.Internal.Tip)
else
let _ = "choicesBranch.else"
in onException_819 callerInput_861 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_890 farInp_891 farExp_892 buf_893 end_894
in let _ = "catch ExceptionFailure checkedHorizon=0"
in let onException_907 =
let _ = "onException"
in \(!_exn_908) (!failInp_909) (!farInp_910) (!farExp_911) buf_912 end_913 ->
let _ = "loadInput checkedHorizon=0"
in let _ = "checkHorizon.noCheck"
in onException_888 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_883 farInp_910 farExp_911 buf_912 end_913
in let _ = "pushValue"
in let join_914 = \farInp_915 farExp_916 v_917 (!inp_918) buf_919 end_920 ->
let _ = "lift2Value checkedHorizon=0"
in name_343
( let _ = "onReturn"
in \farInp_921 farExp_922 v_923 (!inp_924) buf_925 end_926 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "pushValue"
in do
let dupv_927 = \u_928 -> u_928
reg_929 <- GHC.STRef.newSTRef dupv_927
let _ = "iter"
in let onException_930 loopInput_931 =
let _ = "onException"
in \(!_exn_932) (!failInp_933) (!farInp_934) (!farExp_935) buf_936 end_937 ->
let _ = "comment: raiseAgainIfConsumed"
in let _ = "saveInput checkedHorizon=0"
in let _ = "lift2Value checkedHorizon=0"
in if (GHC.Classes.==) @GHC.Types.Int loopInput_931 failInp_933
then
let _ = "choicesBranch checkedHorizon=0"
in do
sr_938 <- GHC.STRef.readSTRef reg_929
name_163
( let _ = "onReturn"
in \farInp_939 farExp_940 v_941 (!inp_942) buf_943 end_944 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "lift2Value checkedHorizon=0"
in name_82
( let _ = "onReturn"
in \farInp_945 farExp_946 v_947 (!inp_948) buf_949 end_950 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "comment: satisfy ((GHC.Classes.==) '=')"
in let partialCont_951 buf_952 =
let readFail_953 = onException_907
in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=6"
in if readMore_3 buf_952 ((GHC.Num.+) @GHC.Types.Int 5 inp_948)
then
let _ = "checkToken"
in let !(#
c_954,
cs_955
#) = readNext_4 buf_952 inp_948
in if (GHC.Classes.==) '=' c_954
then
let _ = "lift2Value checkedHorizon=6"
in name_221
( let _ = "onReturn"
in \farInp_956 farExp_957 v_958 (!inp_959) buf_960 end_961 ->
let _ = "lift2Value checkedHorizon=0"
in name_144
( let _ = "onReturn"
in \farInp_962 farExp_963 v_964 (!inp_965) buf_966 end_967 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "pushValue"
in do
let dupv_968 = \u_969 -> u_969
reg_970 <- GHC.STRef.newSTRef dupv_968
let _ = "iter"
in let onException_971 loopInput_972 =
let _ = "onException"
in \(!_exn_973) (!failInp_974) (!farInp_975) (!farExp_976) buf_977 end_978 ->
let _ = "comment: raiseAgainIfConsumed"
in let _ = "saveInput checkedHorizon=0"
in let _ = "lift2Value checkedHorizon=0"
in if (GHC.Classes.==) @GHC.Types.Int loopInput_972 failInp_974
then
let _ = "choicesBranch checkedHorizon=0"
in do
sr_979 <- GHC.STRef.readSTRef reg_970
name_163
( let _ = "onReturn"
in \farInp_980 farExp_981 v_982 (!inp_983) buf_984 end_985 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "lift2Value checkedHorizon=0"
in name_82
( let _ = "onReturn"
in \farInp_986 farExp_987 v_988 (!inp_989) buf_990 end_991 ->
let _ = "lift2Value checkedHorizon=0"
in name_699
( let _ = "onReturn"
in \farInp_992 farExp_993 v_994 (!inp_995) buf_996 end_997 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "commit"
in let _ = "commit"
in let _ = "resume"
in join_865
farInp_992
farExp_993
( let _ = "resume.genCode"
in v_988
)
inp_995
buf_996
end_997
)
inp_989
buf_990
end_991
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_953 Data.Map.Internal.Tip Data.Map.Internal.Tip)
)
inp_983
buf_984
end_985
Data.Map.Internal.Tip
)
failInp_974
buf_977
end_978
Data.Map.Internal.Tip
else
let _ = "choicesBranch.else"
in readFail_953 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_974 farInp_975 farExp_976 buf_977 end_978
loop_998 = \_callerOnReturn_999 callerInput_1000 callerBuffer_1001 callerEnded_1002 callerOnExceptionStackByLabel_1003 ->
let _ = "pushValue"
in name_182
( let _ = "onReturn"
in \farInp_1004 farExp_1005 v_1006 (!inp_1007) buf_1008 end_1009 ->
let _ = "lift2Value checkedHorizon=0"
in name_189
( let _ = "onReturn"
in \farInp_1010 farExp_1011 v_1012 (!inp_1013) buf_1014 end_1015 ->
let _ = "lift2Value checkedHorizon=0"
in name_144
( let _ = "onReturn"
in \farInp_1016 farExp_1017 v_1018 (!inp_1019) buf_1020 end_1021 ->
let _ = "lift2Value checkedHorizon=0"
in do
sr_1022 <- GHC.STRef.readSTRef reg_970
let _ = "lift2Value checkedHorizon=0"
in do
let dupv_1023 = v_1006 v_1018 sr_1022
GHC.STRef.writeSTRef reg_970 dupv_1023
let _ = "jump"
in loop_998 (GHC.Err.error "invalid onReturn") inp_1019 buf_1020 end_1021 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_971 callerInput_1000) Data.Map.Internal.Tip Data.Map.Internal.Tip)
)
inp_1013
buf_1014
end_1015
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_971 callerInput_1000) Data.Map.Internal.Tip Data.Map.Internal.Tip)
)
inp_1007
buf_1008
end_1009
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_971 callerInput_1000) Data.Map.Internal.Tip Data.Map.Internal.Tip)
)
callerInput_1000
callerBuffer_1001
callerEnded_1002
Data.Map.Internal.Tip
in let _ = "jump"
in loop_998 (GHC.Err.error "invalid onReturn") inp_965 buf_966 end_967 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_953 Data.Map.Internal.Tip Data.Map.Internal.Tip)
)
inp_959
buf_960
end_961
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_953 Data.Map.Internal.Tip Data.Map.Internal.Tip)
)
cs_955
buf_952
end_950
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_953 Data.Map.Internal.Tip Data.Map.Internal.Tip)
else
let _ = "checkToken.fail"
in let failExp_1024 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '='
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_1025,
farExp_1026
#) = case GHC.Classes.compare @GHC.Types.Int farInp_945 inp_948 of
GHC.Types.LT ->
(#
inp_948,
failExp_1024
#)
GHC.Types.EQ ->
(#
farInp_945,
failExp_1024 GHC.Base.<> farExp_946
#)
GHC.Types.GT ->
(#
farInp_945,
farExp_946
#)
in readFail_953 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_948 farInp_1025 farExp_1026 buf_952 end_950
else
let _ = "checkHorizon.newCheck.fail"
in let noMoreInput_1027 =
let failExp_1028 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 6
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_1029,
farExp_1030
#) = case GHC.Classes.compare @GHC.Types.Int farInp_945 inp_948 of
GHC.Types.LT ->
(#
inp_948,
failExp_1028
#)
GHC.Types.EQ ->
(#
farInp_945,
failExp_1028 GHC.Base.<> farExp_946
#)
GHC.Types.GT ->
(#
farInp_945,
farExp_946
#)
in readFail_953 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_948 farInp_1029 farExp_1030 buf_952 GHC.Types.True
in if end_950
then noMoreInput_1027
else
Symantic.Parser.Machine.Generate.returnST GHC.Base.$
( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
( \newInput_1031 ->
if Symantic.Parser.Machine.Input.nullInput newInput_1031
then noMoreInput_1027
else partialCont_951 (append_5 buf_952 newInput_1031)
)
)
in partialCont_951 buf_949
)
inp_942
buf_943
end_944
Data.Map.Internal.Tip
)
failInp_933
buf_936
end_937
Data.Map.Internal.Tip
else
let _ = "choicesBranch.else"
in onException_907 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_933 farInp_934 farExp_935 buf_936 end_937
loop_1032 = \_callerOnReturn_1033 callerInput_1034 callerBuffer_1035 callerEnded_1036 callerOnExceptionStackByLabel_1037 ->
let _ = "pushValue"
in name_182
( let _ = "onReturn"
in \farInp_1038 farExp_1039 v_1040 (!inp_1041) buf_1042 end_1043 ->
let _ = "lift2Value checkedHorizon=0"
in name_189
( let _ = "onReturn"
in \farInp_1044 farExp_1045 v_1046 (!inp_1047) buf_1048 end_1049 ->
let _ = "lift2Value checkedHorizon=0"
in name_343
( let _ = "onReturn"
in \farInp_1050 farExp_1051 v_1052 (!inp_1053) buf_1054 end_1055 ->
let _ = "lift2Value checkedHorizon=0"
in do
sr_1056 <- GHC.STRef.readSTRef reg_929
let _ = "lift2Value checkedHorizon=0"
in do
let dupv_1057 = v_1040 v_1052 sr_1056
GHC.STRef.writeSTRef reg_929 dupv_1057
let _ = "jump"
in loop_1032 (GHC.Err.error "invalid onReturn") inp_1053 buf_1054 end_1055 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_930 callerInput_1034) Data.Map.Internal.Tip Data.Map.Internal.Tip)
)
inp_1047
buf_1048
end_1049
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_930 callerInput_1034) Data.Map.Internal.Tip Data.Map.Internal.Tip)
)
inp_1041
buf_1042
end_1043
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_930 callerInput_1034) Data.Map.Internal.Tip Data.Map.Internal.Tip)
)
callerInput_1034
callerBuffer_1035
callerEnded_1036
Data.Map.Internal.Tip
in let _ = "jump"
in loop_1032 (GHC.Err.error "invalid onReturn") inp_924 buf_925 end_926 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException_907 Data.Map.Internal.Tip Data.Map.Internal.Tip)
)
inp_918
buf_919
end_920
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException_907 Data.Map.Internal.Tip Data.Map.Internal.Tip)
in let _ = "catch ExceptionFailure checkedHorizon=0"
in let onException_1058 =
let _ = "onException"
in \(!_exn_1059) (!failInp_1060) (!farInp_1061) (!farExp_1062) buf_1063 end_1064 ->
let _ = "comment: raiseAgainIfConsumed"
in let _ = "saveInput checkedHorizon=0"
in let _ = "lift2Value checkedHorizon=0"
in if (GHC.Classes.==) @GHC.Types.Int failInp_883 failInp_1060
then
let _ = "choicesBranch checkedHorizon=0"
in name_82
( let _ = "onReturn"
in \farInp_1065 farExp_1066 v_1067 (!inp_1068) buf_1069 end_1070 ->
let _ = "resume"
in join_914
farInp_1065
farExp_1066
( let _ = "resume.genCode"
in v_1067
)
inp_1068
buf_1069
end_1070
)
failInp_1060
buf_1063
end_1064
Data.Map.Internal.Tip
else
let _ = "choicesBranch.else"
in onException_907 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_1060 farInp_1061 farExp_1062 buf_1063 end_1064
in let _ = "pushValue"
in let _ = "catch ExceptionFailure checkedHorizon=0"
in let onException_1071 =
let _ = "onException"
in \(!_exn_1072) (!failInp_1073) (!farInp_1074) (!farExp_1075) buf_1076 end_1077 ->
let _ = "loadInput checkedHorizon=0"
in let _ = "checkHorizon.noCheck"
in onException_1058 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_883 farInp_1074 farExp_1075 buf_1076 end_1077
in let _ = "pushValue"
in let _ = "comment: satisfy ((GHC.Classes.==) 'v')"
in let partialCont_1078 buf_1079 =
let readFail_1080 = onException_1071
in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=11"
in if readMore_3 buf_1079 ((GHC.Num.+) @GHC.Types.Int 10 failInp_883)
then
let _ = "checkToken"
in let !(#
c_1081,
cs_1082
#) = readNext_4 buf_1079 failInp_883
in if (GHC.Classes.==) 'v' c_1081
then
let _ = "lift2Value checkedHorizon=11"
in let _ = "comment: satisfy ((GHC.Classes.==) 'a')"
in let _ = "checkHorizon.oldCheck: checkedHorizon=11"
in let _ = "checkToken"
in let !(#
c_1083,
cs_1084
#) = readNext_4 buf_1079 cs_1082
in if (GHC.Classes.==) 'a' c_1083
then
let _ = "lift2Value checkedHorizon=10"
in let _ = "comment: satisfy ((GHC.Classes.==) 'r')"
in let _ = "checkHorizon.oldCheck: checkedHorizon=10"
in let _ = "checkToken"
in let !(#
c_1085,
cs_1086
#) = readNext_4 buf_1079 cs_1084
in if (GHC.Classes.==) 'r' c_1085
then
let _ = "lift2Value checkedHorizon=9"
in let _ = "commit"
in let _ = "lift2Value checkedHorizon=9"
in let _ = "commit"
in let _ = "resume"
in join_914
farInp_884
farExp_885
( let _ = "resume.genCode"
in GHC.Tuple . ()
)
cs_1086
buf_1079
end_887
else
let _ = "checkToken.fail"
in let failExp_1087 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'r'
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_1088,
farExp_1089
#) = case GHC.Classes.compare @GHC.Types.Int farInp_884 cs_1084 of
GHC.Types.LT ->
(#
cs_1084,
failExp_1087
#)
GHC.Types.EQ ->
(#
farInp_884,
failExp_1087 GHC.Base.<> farExp_885
#)
GHC.Types.GT ->
(#
farInp_884,
farExp_885
#)
in readFail_1080 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1084 farInp_1088 farExp_1089 buf_1079 end_887
else
let _ = "checkToken.fail"
in let failExp_1090 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'a'
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_1091,
farExp_1092
#) = case GHC.Classes.compare @GHC.Types.Int farInp_884 cs_1082 of
GHC.Types.LT ->
(#
cs_1082,
failExp_1090
#)
GHC.Types.EQ ->
(#
farInp_884,
failExp_1090 GHC.Base.<> farExp_885
#)
GHC.Types.GT ->
(#
farInp_884,
farExp_885
#)
in readFail_1080 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1082 farInp_1091 farExp_1092 buf_1079 end_887
else
let _ = "checkToken.fail"
in let failExp_1093 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'v'
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_1094,
farExp_1095
#) = case GHC.Classes.compare @GHC.Types.Int farInp_884 failInp_883 of
GHC.Types.LT ->
(#
failInp_883,
failExp_1093
#)
GHC.Types.EQ ->
(#
farInp_884,
failExp_1093 GHC.Base.<> farExp_885
#)
GHC.Types.GT ->
(#
farInp_884,
farExp_885
#)
in readFail_1080 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_883 farInp_1094 farExp_1095 buf_1079 end_887
else
let _ = "checkHorizon.newCheck.fail"
in let noMoreInput_1096 =
let failExp_1097 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 11
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_1098,
farExp_1099
#) = case GHC.Classes.compare @GHC.Types.Int farInp_884 failInp_883 of
GHC.Types.LT ->
(#
failInp_883,
failExp_1097
#)
GHC.Types.EQ ->
(#
farInp_884,
failExp_1097 GHC.Base.<> farExp_885
#)
GHC.Types.GT ->
(#
farInp_884,
farExp_885
#)
in readFail_1080 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_883 farInp_1098 farExp_1099 buf_1079 GHC.Types.True
in if end_887
then noMoreInput_1096
else
Symantic.Parser.Machine.Generate.returnST GHC.Base.$
( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
( \newInput_1100 ->
if Symantic.Parser.Machine.Input.nullInput newInput_1100
then noMoreInput_1096
else partialCont_1078 (append_5 buf_1079 newInput_1100)
)
)
in partialCont_1078 buf_886
else
let _ = "choicesBranch.else"
in onException_819 callerInput_861 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_883 farInp_884 farExp_885 buf_886 end_887
in let _ = "pushValue"
in let _ = "catch ExceptionFailure checkedHorizon=0"
in let onException_1101 =
let _ = "onException"
in \(!_exn_1102) (!failInp_1103) (!farInp_1104) (!farExp_1105) buf_1106 end_1107 ->
let _ = "loadInput checkedHorizon=0"
in let _ = "checkHorizon.noCheck"
in onException_881 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_876 farInp_1104 farExp_1105 buf_1106 end_1107
in let _ = "pushValue"
in let _ = "comment: satisfy ((GHC.Classes.==) 'w')"
in let partialCont_1108 buf_1109 =
let readFail_1110 = onException_1101
in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=7"
in if readMore_3 buf_1109 ((GHC.Num.+) @GHC.Types.Int 6 failInp_876)
then
let _ = "checkToken"
in let !(#
c_1111,
cs_1112
#) = readNext_4 buf_1109 failInp_876
in if (GHC.Classes.==) 'w' c_1111
then
let _ = "lift2Value checkedHorizon=7"
in let _ = "comment: satisfy ((GHC.Classes.==) 'h')"
in let _ = "checkHorizon.oldCheck: checkedHorizon=7"
in let _ = "checkToken"
in let !(#
c_1113,
cs_1114
#) = readNext_4 buf_1109 cs_1112
in if (GHC.Classes.==) 'h' c_1113
then
let _ = "lift2Value checkedHorizon=6"
in let _ = "comment: satisfy ((GHC.Classes.==) 'i')"
in let _ = "checkHorizon.oldCheck: checkedHorizon=6"
in let _ = "checkToken"
in let !(#
c_1115,
cs_1116
#) = readNext_4 buf_1109 cs_1114
in if (GHC.Classes.==) 'i' c_1115
then
let _ = "lift2Value checkedHorizon=5"
in let _ = "comment: satisfy ((GHC.Classes.==) 'l')"
in let _ = "checkHorizon.oldCheck: checkedHorizon=5"
in let _ = "checkToken"
in let !(#
c_1117,
cs_1118
#) = readNext_4 buf_1109 cs_1116
in if (GHC.Classes.==) 'l' c_1117
then
let _ = "lift2Value checkedHorizon=4"
in let _ = "comment: satisfy ((GHC.Classes.==) 'e')"
in let _ = "checkHorizon.oldCheck: checkedHorizon=4"
in let _ = "checkToken"
in let !(#
c_1119,
cs_1120
#) = readNext_4 buf_1109 cs_1118
in if (GHC.Classes.==) 'e' c_1119
then
let _ = "lift2Value checkedHorizon=3"
in let _ = "commit"
in let _ = "lift2Value checkedHorizon=3"
in name_144
( let _ = "onReturn"
in \farInp_1121 farExp_1122 v_1123 (!inp_1124) buf_1125 end_1126 ->
let _ = "lift2Value checkedHorizon=0"
in name_799
( let _ = "onReturn"
in \farInp_1127 farExp_1128 v_1129 (!inp_1130) buf_1131 end_1132 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "commit"
in let _ = "resume"
in join_865
farInp_1127
farExp_1128
( let _ = "resume.genCode"
in v_1129
)
inp_1130
buf_1131
end_1132
)
inp_1124
buf_1125
end_1126
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException_881 Data.Map.Internal.Tip Data.Map.Internal.Tip)
)
cs_1120
buf_1109
end_880
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException_881 Data.Map.Internal.Tip Data.Map.Internal.Tip)
else
let _ = "checkToken.fail"
in let failExp_1133 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'e'
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_1134,
farExp_1135
#) = case GHC.Classes.compare @GHC.Types.Int farInp_877 cs_1118 of
GHC.Types.LT ->
(#
cs_1118,
failExp_1133
#)
GHC.Types.EQ ->
(#
farInp_877,
failExp_1133 GHC.Base.<> farExp_878
#)
GHC.Types.GT ->
(#
farInp_877,
farExp_878
#)
in readFail_1110 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1118 farInp_1134 farExp_1135 buf_1109 end_880
else
let _ = "checkToken.fail"
in let failExp_1136 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'l'
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_1137,
farExp_1138
#) = case GHC.Classes.compare @GHC.Types.Int farInp_877 cs_1116 of
GHC.Types.LT ->
(#
cs_1116,
failExp_1136
#)
GHC.Types.EQ ->
(#
farInp_877,
failExp_1136 GHC.Base.<> farExp_878
#)
GHC.Types.GT ->
(#
farInp_877,
farExp_878
#)
in readFail_1110 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1116 farInp_1137 farExp_1138 buf_1109 end_880
else
let _ = "checkToken.fail"
in let failExp_1139 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'i'
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_1140,
farExp_1141
#) = case GHC.Classes.compare @GHC.Types.Int farInp_877 cs_1114 of
GHC.Types.LT ->
(#
cs_1114,
failExp_1139
#)
GHC.Types.EQ ->
(#
farInp_877,
failExp_1139 GHC.Base.<> farExp_878
#)
GHC.Types.GT ->
(#
farInp_877,
farExp_878
#)
in readFail_1110 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1114 farInp_1140 farExp_1141 buf_1109 end_880
else
let _ = "checkToken.fail"
in let failExp_1142 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'h'
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_1143,
farExp_1144
#) = case GHC.Classes.compare @GHC.Types.Int farInp_877 cs_1112 of
GHC.Types.LT ->
(#
cs_1112,
failExp_1142
#)
GHC.Types.EQ ->
(#
farInp_877,
failExp_1142 GHC.Base.<> farExp_878
#)
GHC.Types.GT ->
(#
farInp_877,
farExp_878
#)
in readFail_1110 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1112 farInp_1143 farExp_1144 buf_1109 end_880
else
let _ = "checkToken.fail"
in let failExp_1145 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'w'
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_1146,
farExp_1147
#) = case GHC.Classes.compare @GHC.Types.Int farInp_877 failInp_876 of
GHC.Types.LT ->
(#
failInp_876,
failExp_1145
#)
GHC.Types.EQ ->
(#
farInp_877,
failExp_1145 GHC.Base.<> farExp_878
#)
GHC.Types.GT ->
(#
farInp_877,
farExp_878
#)
in readFail_1110 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_876 farInp_1146 farExp_1147 buf_1109 end_880
else
let _ = "checkHorizon.newCheck.fail"
in let noMoreInput_1148 =
let failExp_1149 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 7
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_1150,
farExp_1151
#) = case GHC.Classes.compare @GHC.Types.Int farInp_877 failInp_876 of
GHC.Types.LT ->
(#
failInp_876,
failExp_1149
#)
GHC.Types.EQ ->
(#
farInp_877,
failExp_1149 GHC.Base.<> farExp_878
#)
GHC.Types.GT ->
(#
farInp_877,
farExp_878
#)
in readFail_1110 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_876 farInp_1150 farExp_1151 buf_1109 GHC.Types.True
in if end_880
then noMoreInput_1148
else
Symantic.Parser.Machine.Generate.returnST GHC.Base.$
( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
( \newInput_1152 ->
if Symantic.Parser.Machine.Input.nullInput newInput_1152
then noMoreInput_1148
else partialCont_1108 (append_5 buf_1109 newInput_1152)
)
)
in partialCont_1108 buf_879
else
let _ = "choicesBranch.else"
in onException_819 callerInput_861 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_876 farInp_877 farExp_878 buf_879 end_880
in let _ = "pushValue"
in let _ = "catch ExceptionFailure checkedHorizon=0"
in let onException_1153 =
let _ = "onException"
in \(!_exn_1154) (!failInp_1155) (!farInp_1156) (!farExp_1157) buf_1158 end_1159 ->
let _ = "loadInput checkedHorizon=0"
in let _ = "checkHorizon.noCheck"
in onException_874 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_861 farInp_1156 farExp_1157 buf_1158 end_1159
in let _ = "pushValue"
in let _ = "comment: satisfy ((GHC.Classes.==) 'i')"
in let partialCont_1160 buf_1161 =
let readFail_1162 = onException_1153
in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
in if readMore_3 buf_1161 ((GHC.Num.+) @GHC.Types.Int 1 callerInput_861)
then
let _ = "checkToken"
in let !(#
c_1163,
cs_1164
#) = readNext_4 buf_1161 callerInput_861
in if (GHC.Classes.==) 'i' c_1163
then
let _ = "lift2Value checkedHorizon=2"
in let _ = "comment: satisfy ((GHC.Classes.==) 'f')"
in let _ = "checkHorizon.oldCheck: checkedHorizon=2"
in let _ = "checkToken"
in let !(#
c_1165,
cs_1166
#) = readNext_4 buf_1161 cs_1164
in if (GHC.Classes.==) 'f' c_1165
then
let _ = "lift2Value checkedHorizon=1"
in let _ = "commit"
in let _ = "lift2Value checkedHorizon=1"
in let _ = "commit"
in let _ = "resume"
in join_865
farInp_810
farExp_811
( let _ = "resume.genCode"
in GHC.Tuple . ()
)
cs_1166
buf_1161
callerEnded_863
else
let _ = "checkToken.fail"
in let failExp_1167 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'f'
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_1168,
farExp_1169
#) = case GHC.Classes.compare @GHC.Types.Int farInp_810 cs_1164 of
GHC.Types.LT ->
(#
cs_1164,
failExp_1167
#)
GHC.Types.EQ ->
(#
farInp_810,
failExp_1167 GHC.Base.<> farExp_811
#)
GHC.Types.GT ->
(#
farInp_810,
farExp_811
#)
in readFail_1162 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1164 farInp_1168 farExp_1169 buf_1161 callerEnded_863
else
let _ = "checkToken.fail"
in let failExp_1170 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'i'
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_1171,
farExp_1172
#) = case GHC.Classes.compare @GHC.Types.Int farInp_810 callerInput_861 of
GHC.Types.LT ->
(#
callerInput_861,
failExp_1170
#)
GHC.Types.EQ ->
(#
farInp_810,
failExp_1170 GHC.Base.<> farExp_811
#)
GHC.Types.GT ->
(#
farInp_810,
farExp_811
#)
in readFail_1162 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_861 farInp_1171 farExp_1172 buf_1161 callerEnded_863
else
let _ = "checkHorizon.newCheck.fail"
in let noMoreInput_1173 =
let failExp_1174 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 2
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_1175,
farExp_1176
#) = case GHC.Classes.compare @GHC.Types.Int farInp_810 callerInput_861 of
GHC.Types.LT ->
(#
callerInput_861,
failExp_1174
#)
GHC.Types.EQ ->
(#
farInp_810,
failExp_1174 GHC.Base.<> farExp_811
#)
GHC.Types.GT ->
(#
farInp_810,
farExp_811
#)
in readFail_1162 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_861 farInp_1175 farExp_1176 buf_1161 GHC.Types.True
in if callerEnded_863
then noMoreInput_1173
else
Symantic.Parser.Machine.Generate.returnST GHC.Base.$
( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
( \newInput_1177 ->
if Symantic.Parser.Machine.Input.nullInput newInput_1177
then noMoreInput_1173
else partialCont_1160 (append_5 buf_1161 newInput_1177)
)
)
in partialCont_1160 callerBuffer_862
in let _ = "jump"
in loop_859 callerOnReturn_800 inp_813 buf_814 end_815 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_807 Data.Map.Internal.Tip Data.Map.Internal.Tip)
)
cs_809
buf_806
callerEnd_803
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_807 Data.Map.Internal.Tip Data.Map.Internal.Tip)
else
let _ = "checkToken.fail"
in let failExp_1178 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '{'
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_1179,
farExp_1180
#) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_801 of
GHC.Types.LT ->
(#
callerInput_801,
failExp_1178
#)
GHC.Types.EQ ->
(#
initPos_2,
failExp_1178 GHC.Base.<> Data.Set.Internal.empty
#)
GHC.Types.GT ->
(#
initPos_2,
Data.Set.Internal.empty
#)
in readFail_807 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_801 farInp_1179 farExp_1180 buf_806 callerEnd_803
else
let _ = "checkHorizon.newCheck.fail"
in let noMoreInput_1181 =
let failExp_1182 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 4
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_1183,
farExp_1184
#) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_801 of
GHC.Types.LT ->
(#
callerInput_801,
failExp_1182
#)
GHC.Types.EQ ->
(#
initPos_2,
failExp_1182 GHC.Base.<> Data.Set.Internal.empty
#)
GHC.Types.GT ->
(#
initPos_2,
Data.Set.Internal.empty
#)
in readFail_807 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_801 farInp_1183 farExp_1184 buf_806 GHC.Types.True
in if callerEnd_803
then noMoreInput_1181
else
Symantic.Parser.Machine.Generate.returnST GHC.Base.$
( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
( \newInput_1185 ->
if Symantic.Parser.Machine.Input.nullInput newInput_1185
then noMoreInput_1181
else partialCont_805 (append_5 buf_806 newInput_1185)
)
)
in partialCont_805 callerBuffer_802
name_530 = \(!callerOnReturn_1186) (!callerInput_1187) (!callerBuffer_1188) (!callerEnd_1189) (!callerOnExceptionStackByLabel_1190) ->
let _ = "pushValue"
in let _ = "comment: satisfy GHC.Unicode.isSpace"
in let partialCont_1191 buf_1192 =
let readFail_1193 = Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_1190
in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
in if readMore_3 buf_1192 callerInput_1187
then
let _ = "checkToken"
in let !(#
c_1194,
cs_1195
#) = readNext_4 buf_1192 callerInput_1187
in if GHC.Unicode.isSpace c_1194
then
let _ = "lift2Value checkedHorizon=1"
in let _ = "resume"
in callerOnReturn_1186
initPos_2
Data.Set.Internal.empty
( let _ = "resume.genCode"
in GHC.Tuple . ()
)
cs_1195
buf_1192
callerEnd_1189
else
let _ = "checkToken.fail"
in readFail_1193 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_1187 initPos_2 Data.Set.Internal.empty buf_1192 callerEnd_1189
else
let _ = "checkHorizon.newCheck.fail"
in let noMoreInput_1196 =
let failExp_1197 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 1
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_1198,
farExp_1199
#) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_1187 of
GHC.Types.LT ->
(#
callerInput_1187,
failExp_1197
#)
GHC.Types.EQ ->
(#
initPos_2,
failExp_1197 GHC.Base.<> Data.Set.Internal.empty
#)
GHC.Types.GT ->
(#
initPos_2,
Data.Set.Internal.empty
#)
in readFail_1193 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_1187 farInp_1198 farExp_1199 buf_1192 GHC.Types.True
in if callerEnd_1189
then noMoreInput_1196
else
Symantic.Parser.Machine.Generate.returnST GHC.Base.$
( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
( \newInput_1200 ->
if Symantic.Parser.Machine.Input.nullInput newInput_1200
then noMoreInput_1196
else partialCont_1191 (append_5 buf_1192 newInput_1200)
)
)
in partialCont_1191 callerBuffer_1188
name_82 = \(!callerOnReturn_1201) (!callerInput_1202) (!callerBuffer_1203) (!callerEnd_1204) (!callerOnExceptionStackByLabel_1205) ->
let _ = "pushValue"
in let _ = "resume"
in callerOnReturn_1201
initPos_2
Data.Set.Internal.empty
( let _ = "resume.genCode"
in GHC.Tuple . ()
)
callerInput_1202
callerBuffer_1203
callerEnd_1204
name_163 = \(!callerOnReturn_1206) (!callerInput_1207) (!callerBuffer_1208) (!callerEnd_1209) (!callerOnExceptionStackByLabel_1210) ->
let _ = "pushValue"
in let _ = "resume"
in callerOnReturn_1206
initPos_2
Data.Set.Internal.empty
( let _ = "resume.genCode"
in GHC.Tuple . ()
)
callerInput_1207
callerBuffer_1208
callerEnd_1209
name_182 = \(!callerOnReturn_1211) (!callerInput_1212) (!callerBuffer_1213) (!callerEnd_1214) (!callerOnExceptionStackByLabel_1215) ->
let _ = "pushValue"
in let _ = "resume"
in callerOnReturn_1211
initPos_2
Data.Set.Internal.empty
( let _ = "resume.genCode"
in \u_1216 -> \u_1217 -> u_1217
)
callerInput_1212
callerBuffer_1213
callerEnd_1214
in let _ = "pushValue"
in name_221
( let _ = "onReturn"
in \farInp_1218 farExp_1219 v_1220 (!inp_1221) buf_1222 end_1223 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "pushValue"
in do
let dupv_1224 = \u_1225 -> u_1225
reg_1226 <- GHC.STRef.newSTRef dupv_1224
let _ = "iter"
in let onException_1227 loopInput_1228 =
let _ = "onException"
in \(!_exn_1229) (!failInp_1230) (!farInp_1231) (!farExp_1232) buf_1233 end_1234 ->
let _ = "comment: raiseAgainIfConsumed"
in let _ = "saveInput checkedHorizon=0"
in let _ = "lift2Value checkedHorizon=0"
in if (GHC.Classes.==) @GHC.Types.Int loopInput_1228 failInp_1230
then
let _ = "choicesBranch checkedHorizon=0"
in do
sr_1235 <- GHC.STRef.readSTRef reg_1226
name_163
( let _ = "onReturn"
in \farInp_1236 farExp_1237 v_1238 (!inp_1239) buf_1240 end_1241 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "lift2Value checkedHorizon=0"
in let join_1242 = \farInp_1243 farExp_1244 v_1245 (!inp_1246) buf_1247 end_1248 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "resume"
in finalRet_15
farInp_1243
farExp_1244
( let _ = "resume.genCode"
in GHC.Show.show GHC.Tuple . ()
)
inp_1246
buf_1247
end_1248
in let _ = "catch ExceptionFailure checkedHorizon=0"
in let onException_1249 =
let _ = "onException"
in \(!_exn_1250) (!failInp_1251) (!farInp_1252) (!farExp_1253) buf_1254 end_1255 ->
let _ = "comment: raiseAgainIfConsumed"
in let _ = "saveInput checkedHorizon=0"
in let _ = "lift2Value checkedHorizon=0"
in if (GHC.Classes.==) @GHC.Types.Int inp_1239 failInp_1251
then
let _ = "choicesBranch checkedHorizon=0"
in let _ = "comment: eof.fail"
in let failExp_1256 = Data.Set.Internal.Bin 1 (Symantic.Parser.Grammar.Combinators.SomeFailure Symantic.Parser.Grammar.Combinators.FailureEnd) Data.Set.Internal.Tip Data.Set.Internal.Tip
in let (#
farInp_1257,
farExp_1258
#) = case GHC.Classes.compare @GHC.Types.Int farInp_1252 failInp_1251 of
GHC.Types.LT ->
(#
failInp_1251,
failExp_1256
#)
GHC.Types.EQ ->
(#
farInp_1252,
failExp_1256 GHC.Base.<> farExp_1253
#)
GHC.Types.GT ->
(#
farInp_1252,
farExp_1253
#)
in Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_1251 farInp_1257 farExp_1258 buf_1254 end_1255
else
let _ = "choicesBranch.else"
in Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_1251 farInp_1252 farExp_1253 buf_1254 end_1255
in let _ = "comment: negLook"
in let _ = "catch ExceptionFailure checkedHorizon=0"
in let onException_1259 =
let _ = "onException"
in \(!_exn_1260) (!failInp_1261) (!farInp_1262) (!farExp_1263) buf_1264 end_1265 ->
let _ = "comment: negLook.reset"
in let _ = "loadInput checkedHorizon=0"
in let _ = "checkHorizon.noCheck"
in let _ = "pushValue"
in let _ = "commit"
in let _ = "resume"
in join_1242
farInp_1262
farExp_1263
( let _ = "resume.genCode"
in GHC.Tuple . ()
)
inp_1239
buf_1264
end_1265
in let _ = "comment: negLook.ahead"
in let _ = "saveInput checkedHorizon=0"
in let _ = "comment: satisfy (GHC.Base.const GHC.Types.True)"
in let partialCont_1266 buf_1267 =
let readFail_1268 = onException_1259
in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
in if readMore_3 buf_1267 inp_1239
then
let _ = "checkToken"
in let !(#
c_1269,
cs_1270
#) = readNext_4 buf_1267 inp_1239
in let _ = "popValue"
in let _ = "commit"
in let _ = "loadInput checkedHorizon=0"
in let _ = "checkHorizon.noCheck"
in onException_1249 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_1239 farInp_1236 farExp_1237 buf_1267 end_1241
else
let _ = "checkHorizon.newCheck.fail"
in let noMoreInput_1271 =
let failExp_1272 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 1
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_1273,
farExp_1274
#) = case GHC.Classes.compare @GHC.Types.Int farInp_1236 inp_1239 of
GHC.Types.LT ->
(#
inp_1239,
failExp_1272
#)
GHC.Types.EQ ->
(#
farInp_1236,
failExp_1272 GHC.Base.<> farExp_1237
#)
GHC.Types.GT ->
(#
farInp_1236,
farExp_1237
#)
in readFail_1268 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_1239 farInp_1273 farExp_1274 buf_1267 GHC.Types.True
in if end_1241
then noMoreInput_1271
else
Symantic.Parser.Machine.Generate.returnST GHC.Base.$
( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
( \newInput_1275 ->
if Symantic.Parser.Machine.Input.nullInput newInput_1275
then noMoreInput_1271
else partialCont_1266 (append_5 buf_1267 newInput_1275)
)
)
in partialCont_1266 buf_1240
)
failInp_1230
buf_1233
end_1234
Data.Map.Internal.Tip
else
let _ = "choicesBranch.else"
in Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_1230 farInp_1231 farExp_1232 buf_1233 end_1234
loop_1276 = \_callerOnReturn_1277 callerInput_1278 callerBuffer_1279 callerEnded_1280 callerOnExceptionStackByLabel_1281 ->
let _ = "pushValue"
in let _ = "catch ExceptionFailure checkedHorizon=0"
in let onException_1282 =
let _ = "onException"
in \(!_exn_1283) (!failInp_1284) (!farInp_1285) (!farExp_1286) buf_1287 end_1288 ->
let _ = "loadInput checkedHorizon=0"
in let _ = "checkHorizon.noCheck"
in onException_1227 callerInput_1278 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_1278 farInp_1285 farExp_1286 buf_1287 end_1288
in let _ = "pushValue"
in let _ = "comment: satisfy ((GHC.Classes.==) 'f')"
in let partialCont_1289 buf_1290 =
let readFail_1291 = onException_1282
in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=18"
in if readMore_3 buf_1290 ((GHC.Num.+) @GHC.Types.Int 17 callerInput_1278)
then
let _ = "checkToken"
in let !(#
c_1292,
cs_1293
#) = readNext_4 buf_1290 callerInput_1278
in if (GHC.Classes.==) 'f' c_1292
then
let _ = "lift2Value checkedHorizon=18"
in let _ = "comment: satisfy ((GHC.Classes.==) 'u')"
in let _ = "checkHorizon.oldCheck: checkedHorizon=18"
in let _ = "checkToken"
in let !(#
c_1294,
cs_1295
#) = readNext_4 buf_1290 cs_1293
in if (GHC.Classes.==) 'u' c_1294
then
let _ = "lift2Value checkedHorizon=17"
in let _ = "comment: satisfy ((GHC.Classes.==) 'n')"
in let _ = "checkHorizon.oldCheck: checkedHorizon=17"
in let _ = "checkToken"
in let !(#
c_1296,
cs_1297
#) = readNext_4 buf_1290 cs_1295
in if (GHC.Classes.==) 'n' c_1296
then
let _ = "lift2Value checkedHorizon=16"
in let _ = "comment: satisfy ((GHC.Classes.==) 'c')"
in let _ = "checkHorizon.oldCheck: checkedHorizon=16"
in let _ = "checkToken"
in let !(#
c_1298,
cs_1299
#) = readNext_4 buf_1290 cs_1297
in if (GHC.Classes.==) 'c' c_1298
then
let _ = "lift2Value checkedHorizon=15"
in let _ = "comment: satisfy ((GHC.Classes.==) 't')"
in let _ = "checkHorizon.oldCheck: checkedHorizon=15"
in let _ = "checkToken"
in let !(#
c_1300,
cs_1301
#) = readNext_4 buf_1290 cs_1299
in if (GHC.Classes.==) 't' c_1300
then
let _ = "lift2Value checkedHorizon=14"
in let _ = "comment: satisfy ((GHC.Classes.==) 'i')"
in let _ = "checkHorizon.oldCheck: checkedHorizon=14"
in let _ = "checkToken"
in let !(#
c_1302,
cs_1303
#) = readNext_4 buf_1290 cs_1301
in if (GHC.Classes.==) 'i' c_1302
then
let _ = "lift2Value checkedHorizon=13"
in let _ = "comment: satisfy ((GHC.Classes.==) 'o')"
in let _ = "checkHorizon.oldCheck: checkedHorizon=13"
in let _ = "checkToken"
in let !(#
c_1304,
cs_1305
#) = readNext_4 buf_1290 cs_1303
in if (GHC.Classes.==) 'o' c_1304
then
let _ = "lift2Value checkedHorizon=12"
in let _ = "comment: satisfy ((GHC.Classes.==) 'n')"
in let _ = "checkHorizon.oldCheck: checkedHorizon=12"
in let _ = "checkToken"
in let !(#
c_1306,
cs_1307
#) = readNext_4 buf_1290 cs_1305
in if (GHC.Classes.==) 'n' c_1306
then
let _ = "lift2Value checkedHorizon=11"
in let _ = "commit"
in let _ = "lift2Value checkedHorizon=11"
in name_61
( let _ = "onReturn"
in \farInp_1308 farExp_1309 v_1310 (!inp_1311) buf_1312 end_1313 ->
let _ = "lift2Value checkedHorizon=0"
in name_110
( let _ = "onReturn"
in \farInp_1314 farExp_1315 v_1316 (!inp_1317) buf_1318 end_1319 ->
let _ = "lift2Value checkedHorizon=0"
in name_330
( let _ = "onReturn"
in \farInp_1320 farExp_1321 v_1322 (!inp_1323) buf_1324 end_1325 ->
let _ = "lift2Value checkedHorizon=0"
in let join_1326 = \farInp_1327 farExp_1328 v_1329 (!inp_1330) buf_1331 end_1332 ->
let _ = "lift2Value checkedHorizon=0"
in name_124
( let _ = "onReturn"
in \farInp_1333 farExp_1334 v_1335 (!inp_1336) buf_1337 end_1338 ->
let _ = "lift2Value checkedHorizon=0"
in name_799
( let _ = "onReturn"
in \farInp_1339 farExp_1340 v_1341 (!inp_1342) buf_1343 end_1344 ->
let _ = "lift2Value checkedHorizon=0"
in do
sr_1345 <- GHC.STRef.readSTRef reg_1226
let _ = "lift2Value checkedHorizon=0"
in do
let dupv_1346 = sr_1345
GHC.STRef.writeSTRef reg_1226 dupv_1346
let _ = "jump"
in loop_1276 (GHC.Err.error "invalid onReturn") inp_1342 buf_1343 end_1344 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_1227 callerInput_1278) Data.Map.Internal.Tip Data.Map.Internal.Tip)
)
inp_1336
buf_1337
end_1338
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_1227 callerInput_1278) Data.Map.Internal.Tip Data.Map.Internal.Tip)
)
inp_1330
buf_1331
end_1332
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_1227 callerInput_1278) Data.Map.Internal.Tip Data.Map.Internal.Tip)
in let _ = "catch ExceptionFailure checkedHorizon=0"
in let onException_1347 =
let _ = "onException"
in \(!_exn_1348) (!failInp_1349) (!farInp_1350) (!farExp_1351) buf_1352 end_1353 ->
let _ = "comment: raiseAgainIfConsumed"
in let _ = "saveInput checkedHorizon=0"
in let _ = "lift2Value checkedHorizon=0"
in if (GHC.Classes.==) @GHC.Types.Int inp_1323 failInp_1349
then
let _ = "choicesBranch checkedHorizon=0"
in name_82
( let _ = "onReturn"
in \farInp_1354 farExp_1355 v_1356 (!inp_1357) buf_1358 end_1359 ->
let _ = "resume"
in join_1326
farInp_1354
farExp_1355
( let _ = "resume.genCode"
in v_1356
)
inp_1357
buf_1358
end_1359
)
failInp_1349
buf_1352
end_1353
Data.Map.Internal.Tip
else
let _ = "choicesBranch.else"
in onException_1227 callerInput_1278 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_1349 farInp_1350 farExp_1351 buf_1352 end_1353
in let _ = "pushValue"
in let _ = "comment: satisfy ((GHC.Classes.==) ':')"
in let partialCont_1360 buf_1361 =
let readFail_1362 = onException_1347
in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=8"
in if readMore_3 buf_1361 ((GHC.Num.+) @GHC.Types.Int 7 inp_1323)
then
let _ = "checkToken"
in let !(#
c_1363,
cs_1364
#) = readNext_4 buf_1361 inp_1323
in if (GHC.Classes.==) ':' c_1363
then
let _ = "lift2Value checkedHorizon=8"
in name_221
( let _ = "onReturn"
in \farInp_1365 farExp_1366 v_1367 (!inp_1368) buf_1369 end_1370 ->
let _ = "lift2Value checkedHorizon=0"
in name_330
( let _ = "onReturn"
in \farInp_1371 farExp_1372 v_1373 (!inp_1374) buf_1375 end_1376 ->
let _ = "lift2Value checkedHorizon=0"
in let _ = "commit"
in let _ = "resume"
in join_1326
farInp_1371
farExp_1372
( let _ = "resume.genCode"
in GHC.Tuple . ()
)
inp_1374
buf_1375
end_1376
)
inp_1368
buf_1369
end_1370
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_1362 Data.Map.Internal.Tip Data.Map.Internal.Tip)
)
cs_1364
buf_1361
end_1325
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_1362 Data.Map.Internal.Tip Data.Map.Internal.Tip)
else
let _ = "checkToken.fail"
in let failExp_1377 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken ':'
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_1378,
farExp_1379
#) = case GHC.Classes.compare @GHC.Types.Int farInp_1320 inp_1323 of
GHC.Types.LT ->
(#
inp_1323,
failExp_1377
#)
GHC.Types.EQ ->
(#
farInp_1320,
failExp_1377 GHC.Base.<> farExp_1321
#)
GHC.Types.GT ->
(#
farInp_1320,
farExp_1321
#)
in readFail_1362 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_1323 farInp_1378 farExp_1379 buf_1361 end_1325
else
let _ = "checkHorizon.newCheck.fail"
in let noMoreInput_1380 =
let failExp_1381 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 8
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_1382,
farExp_1383
#) = case GHC.Classes.compare @GHC.Types.Int farInp_1320 inp_1323 of
GHC.Types.LT ->
(#
inp_1323,
failExp_1381
#)
GHC.Types.EQ ->
(#
farInp_1320,
failExp_1381 GHC.Base.<> farExp_1321
#)
GHC.Types.GT ->
(#
farInp_1320,
farExp_1321
#)
in readFail_1362 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_1323 farInp_1382 farExp_1383 buf_1361 GHC.Types.True
in if end_1325
then noMoreInput_1380
else
Symantic.Parser.Machine.Generate.returnST GHC.Base.$
( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
( \newInput_1384 ->
if Symantic.Parser.Machine.Input.nullInput newInput_1384
then noMoreInput_1380
else partialCont_1360 (append_5 buf_1361 newInput_1384)
)
)
in partialCont_1360 buf_1324
)
inp_1317
buf_1318
end_1319
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_1227 callerInput_1278) Data.Map.Internal.Tip Data.Map.Internal.Tip)
)
inp_1311
buf_1312
end_1313
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_1227 callerInput_1278) Data.Map.Internal.Tip Data.Map.Internal.Tip)
)
cs_1307
buf_1290
callerEnded_1280
(Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_1227 callerInput_1278) Data.Map.Internal.Tip Data.Map.Internal.Tip)
else
let _ = "checkToken.fail"
in let failExp_1385 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'n'
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_1386,
farExp_1387
#) = case GHC.Classes.compare @GHC.Types.Int farInp_1218 cs_1305 of
GHC.Types.LT ->
(#
cs_1305,
failExp_1385
#)
GHC.Types.EQ ->
(#
farInp_1218,
failExp_1385 GHC.Base.<> farExp_1219
#)
GHC.Types.GT ->
(#
farInp_1218,
farExp_1219
#)
in readFail_1291 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1305 farInp_1386 farExp_1387 buf_1290 callerEnded_1280
else
let _ = "checkToken.fail"
in let failExp_1388 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'o'
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_1389,
farExp_1390
#) = case GHC.Classes.compare @GHC.Types.Int farInp_1218 cs_1303 of
GHC.Types.LT ->
(#
cs_1303,
failExp_1388
#)
GHC.Types.EQ ->
(#
farInp_1218,
failExp_1388 GHC.Base.<> farExp_1219
#)
GHC.Types.GT ->
(#
farInp_1218,
farExp_1219
#)
in readFail_1291 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1303 farInp_1389 farExp_1390 buf_1290 callerEnded_1280
else
let _ = "checkToken.fail"
in let failExp_1391 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'i'
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_1392,
farExp_1393
#) = case GHC.Classes.compare @GHC.Types.Int farInp_1218 cs_1301 of
GHC.Types.LT ->
(#
cs_1301,
failExp_1391
#)
GHC.Types.EQ ->
(#
farInp_1218,
failExp_1391 GHC.Base.<> farExp_1219
#)
GHC.Types.GT ->
(#
farInp_1218,
farExp_1219
#)
in readFail_1291 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1301 farInp_1392 farExp_1393 buf_1290 callerEnded_1280
else
let _ = "checkToken.fail"
in let failExp_1394 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 't'
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_1395,
farExp_1396
#) = case GHC.Classes.compare @GHC.Types.Int farInp_1218 cs_1299 of
GHC.Types.LT ->
(#
cs_1299,
failExp_1394
#)
GHC.Types.EQ ->
(#
farInp_1218,
failExp_1394 GHC.Base.<> farExp_1219
#)
GHC.Types.GT ->
(#
farInp_1218,
farExp_1219
#)
in readFail_1291 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1299 farInp_1395 farExp_1396 buf_1290 callerEnded_1280
else
let _ = "checkToken.fail"
in let failExp_1397 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'c'
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_1398,
farExp_1399
#) = case GHC.Classes.compare @GHC.Types.Int farInp_1218 cs_1297 of
GHC.Types.LT ->
(#
cs_1297,
failExp_1397
#)
GHC.Types.EQ ->
(#
farInp_1218,
failExp_1397 GHC.Base.<> farExp_1219
#)
GHC.Types.GT ->
(#
farInp_1218,
farExp_1219
#)
in readFail_1291 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1297 farInp_1398 farExp_1399 buf_1290 callerEnded_1280
else
let _ = "checkToken.fail"
in let failExp_1400 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'n'
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_1401,
farExp_1402
#) = case GHC.Classes.compare @GHC.Types.Int farInp_1218 cs_1295 of
GHC.Types.LT ->
(#
cs_1295,
failExp_1400
#)
GHC.Types.EQ ->
(#
farInp_1218,
failExp_1400 GHC.Base.<> farExp_1219
#)
GHC.Types.GT ->
(#
farInp_1218,
farExp_1219
#)
in readFail_1291 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1295 farInp_1401 farExp_1402 buf_1290 callerEnded_1280
else
let _ = "checkToken.fail"
in let failExp_1403 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'u'
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_1404,
farExp_1405
#) = case GHC.Classes.compare @GHC.Types.Int farInp_1218 cs_1293 of
GHC.Types.LT ->
(#
cs_1293,
failExp_1403
#)
GHC.Types.EQ ->
(#
farInp_1218,
failExp_1403 GHC.Base.<> farExp_1219
#)
GHC.Types.GT ->
(#
farInp_1218,
farExp_1219
#)
in readFail_1291 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1293 farInp_1404 farExp_1405 buf_1290 callerEnded_1280
else
let _ = "checkToken.fail"
in let failExp_1406 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'f'
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_1407,
farExp_1408
#) = case GHC.Classes.compare @GHC.Types.Int farInp_1218 callerInput_1278 of
GHC.Types.LT ->
(#
callerInput_1278,
failExp_1406
#)
GHC.Types.EQ ->
(#
farInp_1218,
failExp_1406 GHC.Base.<> farExp_1219
#)
GHC.Types.GT ->
(#
farInp_1218,
farExp_1219
#)
in readFail_1291 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_1278 farInp_1407 farExp_1408 buf_1290 callerEnded_1280
else
let _ = "checkHorizon.newCheck.fail"
in let noMoreInput_1409 =
let failExp_1410 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 18
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_1411,
farExp_1412
#) = case GHC.Classes.compare @GHC.Types.Int farInp_1218 callerInput_1278 of
GHC.Types.LT ->
(#
callerInput_1278,
failExp_1410
#)
GHC.Types.EQ ->
(#
farInp_1218,
failExp_1410 GHC.Base.<> farExp_1219
#)
GHC.Types.GT ->
(#
farInp_1218,
farExp_1219
#)
in readFail_1291 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_1278 farInp_1411 farExp_1412 buf_1290 GHC.Types.True
in if callerEnded_1280
then noMoreInput_1409
else
Symantic.Parser.Machine.Generate.returnST GHC.Base.$
( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
( \newInput_1413 ->
if Symantic.Parser.Machine.Input.nullInput newInput_1413
then noMoreInput_1409
else partialCont_1289 (append_5 buf_1290 newInput_1413)
)
)
in partialCont_1289 callerBuffer_1279
in let _ = "jump"
in loop_1276 finalRet_15 inp_1221 buf_1222 end_1223 Data.Map.Internal.Tip
)
initPos_2
buf_39
GHC.Types.False
Data.Map.Internal.Tip
else
let _ = "checkHorizon.newCheck.fail"
in let noMoreInput_1414 =
let failExp_1415 =
Data.Set.Internal.Bin
1
( Symantic.Parser.Grammar.Combinators.SomeFailure
( case inputToken of
(Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 1
)
)
Data.Set.Internal.Tip
Data.Set.Internal.Tip
in let (#
farInp_1416,
farExp_1417
#) = case GHC.Classes.compare @GHC.Types.Int initPos_2 initPos_2 of
GHC.Types.LT ->
(#
initPos_2,
failExp_1415
#)
GHC.Types.EQ ->
(#
initPos_2,
failExp_1415 GHC.Base.<> Data.Set.Internal.empty
#)
GHC.Types.GT ->
(#
initPos_2,
Data.Set.Internal.empty
#)
in Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22 Symantic.Parser.Grammar.Combinators.ExceptionFailure initPos_2 farInp_1416 farExp_1417 buf_39 GHC.Types.True
in if GHC.Types.False
then noMoreInput_1414
else
Symantic.Parser.Machine.Generate.returnST GHC.Base.$
( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
( \newInput_1418 ->
if Symantic.Parser.Machine.Input.nullInput newInput_1418
then noMoreInput_1414
else partialCont_38 (append_5 buf_39 newInput_1418)
)
)
in partialCont_38 initBuffer_1