\(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