\(input_0 :: inp_6989586621679040759) -> let !(# init_1, readMore_2, readNext_3 #) = let _ = "cursorOf" in let next_4 ( t_5@( Data.Text.Internal.Text arr_6 off_7 unconsumed_8 ) ) = let !( Data.Text.Unsafe.Iter c_9 d_10 ) = Data.Text.Unsafe.iter t_5 0 in (# c_9, Data.Text.Internal.Text arr_6 (off_7 GHC.Num.+ d_10) (unconsumed_8 GHC.Num.- d_10) #) more_11 ( Data.Text.Internal.Text _ _ unconsumed_12 ) = unconsumed_12 GHC.Classes.> 0 in (# input_0, more_11, next_4 #) finalRet_13 = \_farInp_14 _farExp_15 v_16 _inp_17 -> Symantic.Parser.Machine.Generate.returnST GHC.Base.$ Data.Either.Right v_16 finalRaise_18 :: forall st_19 b_20. Symantic.Parser.Machine.Generate.Catcher st_19 inp_6989586621679040759 b_20 = \(!exn_21) _failInp_22 (!farInp_23) (!farExp_24) -> Symantic.Parser.Machine.Generate.returnST GHC.Base.$ Data.Either.Left Symantic.Parser.Machine.Generate.ParsingError { Symantic.Parser.Machine.Generate.parsingErrorOffset = Symantic.Parser.Machine.Input.offset farInp_23, Symantic.Parser.Machine.Generate.parsingErrorException = exn_21, Symantic.Parser.Machine.Generate.parsingErrorUnexpected = if readMore_2 farInp_23 then GHC.Maybe.Just ( let (# c_25, _ #) = readNext_3 farInp_23 in c_25 ) else GHC.Maybe.Nothing, Symantic.Parser.Machine.Generate.parsingErrorExpecting = let ( minHoriz_26, res_27 ) = Data.Set.Internal.foldr ( \f_28 ( minH_29, acc_30 ) -> case Symantic.Parser.Grammar.Combinators.unSomeFailure f_28 of GHC.Maybe.Just (Symantic.Parser.Grammar.Combinators.FailureHorizon h_31 :: Symantic.Parser.Grammar.Combinators.Failure (Symantic.Parser.Grammar.Combinators.CombSatisfiable (Symantic.Parser.Machine.Input.InputToken inp_6989586621679040759))) | GHC.Maybe.Just old_32 <- minH_29 -> ( GHC.Maybe.Just (GHC.Classes.min old_32 h_31), acc_30 ) | GHC.Base.otherwise -> ( GHC.Maybe.Just h_31, acc_30 ) _ -> ( minH_29, f_28 GHC.Types.: acc_30 ) ) ( GHC.Maybe.Nothing, GHC.Types . [] ) farExp_24 in Data.Set.Internal.fromList GHC.Base.$ ( case minHoriz_26 of GHC.Maybe.Just h_33 -> Symantic.Parser.Grammar.Combinators.SomeFailure (Symantic.Parser.Grammar.Combinators.FailureHorizon @(Symantic.Parser.Machine.Input.InputToken inp_6989586621679040759) h_33) GHC.Types.: res_27 GHC.Maybe.Nothing -> res_27 ) } in GHC.ST.runST ( let inputToken = Data.Proxy.Proxy :: Data.Proxy.Proxy (Symantic.Parser.Machine.Input.InputToken inp_6989586621679040759) in let inp_34 = init_1 in let readFail_35 = finalRaise_18 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1" in if readMore_2 inp_34 then let name_36 = \(!callReturn_37) (!callInput_38) (!callCatchStackByLabel_39) -> let _ = "catch ExceptionFailure" in let catchHandler_40 (!_exn_41) (!failInp_42) (!farInp_43) (!farExp_44) = let _ = "catch.ko ExceptionFailure" in let _ = "pushInput" in if ( \( Data.Text.Internal.Text _ i_45 _ ) ( Data.Text.Internal.Text _ j_46 _ ) -> i_45 GHC.Classes.== j_46 ) callInput_38 failInp_42 then let _ = "choicesBranch.then" in let _ = "catch ExceptionFailure" in let catchHandler_47 (!_exn_48) (!failInp_49) (!farInp_50) (!farExp_51) = let _ = "catch.ko ExceptionFailure" in let _ = "pushInput" in if ( \( Data.Text.Internal.Text _ i_52 _ ) ( Data.Text.Internal.Text _ j_53 _ ) -> i_52 GHC.Classes.== j_53 ) failInp_42 failInp_49 then let _ = "choicesBranch.then" in let _ = "pushValue" in name_54 ( let _ = "suspend" in \farInp_55 farExp_56 v_57 (!inp_58) -> let join_59 = \farInp_60 farExp_61 v_62 (!inp_63) -> let _ = "resume" in callReturn_37 farInp_60 farExp_61 ( let _ = "resume.genCode" in v_62 ) inp_63 in let _ = "catch ExceptionFailure" in let catchHandler_64 (!_exn_65) (!failInp_66) (!farInp_67) (!farExp_68) = let _ = "catch.ko ExceptionFailure" in let _ = "pushInput" in if ( \( Data.Text.Internal.Text _ i_69 _ ) ( Data.Text.Internal.Text _ j_70 _ ) -> i_69 GHC.Classes.== j_70 ) inp_58 failInp_66 then let _ = "choicesBranch.then" in name_71 ( let _ = "suspend" in \farInp_72 farExp_73 v_74 (!inp_75) -> let _ = "resume" in join_59 farInp_72 farExp_73 ( let _ = "resume.genCode" in v_74 ) inp_75 ) failInp_66 Data.Map.Internal.Tip else let _ = "choicesBranch.else" in Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_39 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_66 farInp_67 farExp_68 in let _ = "pushValue" in let join_76 = \farInp_77 farExp_78 v_79 (!inp_80) -> let _ = "commit" in let _ = "resume" in join_59 farInp_77 farExp_78 ( let _ = "resume.genCode" in GHC.Tuple . () ) inp_80 in let _ = "catch ExceptionFailure" in let catchHandler_81 (!_exn_82) (!failInp_83) (!farInp_84) (!farExp_85) = let _ = "catch.ko ExceptionFailure" in let _ = "pushInput" in if ( \( Data.Text.Internal.Text _ i_86 _ ) ( Data.Text.Internal.Text _ j_87 _ ) -> i_86 GHC.Classes.== j_87 ) inp_58 failInp_83 then let _ = "choicesBranch.then" in name_88 ( let _ = "suspend" in \farInp_89 farExp_90 v_91 (!inp_92) -> let _ = "resume" in join_76 farInp_89 farExp_90 ( let _ = "resume.genCode" in v_91 ) inp_92 ) failInp_83 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure catchHandler_64 Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "choicesBranch.else" in catchHandler_64 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_83 farInp_84 farExp_85 in let _ = "pushValue" in name_93 ( let _ = "suspend" in \farInp_94 farExp_95 v_96 (!inp_97) -> let join_98 = \farInp_99 farExp_100 v_101 (!inp_102) -> name_103 ( let _ = "suspend" in \farInp_104 farExp_105 v_106 (!inp_107) -> let _ = "commit" in let _ = "resume" in join_76 farInp_104 farExp_105 ( let _ = "resume.genCode" in v_101 ) inp_107 ) inp_102 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure catchHandler_81 Data.Map.Internal.Tip Data.Map.Internal.Tip) in let _ = "catch ExceptionFailure" in let catchHandler_108 (!_exn_109) (!failInp_110) (!farInp_111) (!farExp_112) = let _ = "catch.ko ExceptionFailure" in let _ = "pushInput" in if ( \( Data.Text.Internal.Text _ i_113 _ ) ( Data.Text.Internal.Text _ j_114 _ ) -> i_113 GHC.Classes.== j_114 ) inp_97 failInp_110 then let _ = "choicesBranch.then" in name_71 ( let _ = "suspend" in \farInp_115 farExp_116 v_117 (!inp_118) -> let _ = "resume" in join_98 farInp_115 farExp_116 ( let _ = "resume.genCode" in v_117 ) inp_118 ) failInp_110 Data.Map.Internal.Tip else let _ = "choicesBranch.else" in catchHandler_81 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_110 farInp_111 farExp_112 in let _ = "pushValue" in name_119 ( let _ = "suspend" in \farInp_120 farExp_121 v_122 (!inp_123) -> let _ = "pushValue" in do let dupv_124 = \x_125 -> x_125 reg_126 <- GHC.STRef.newSTRef dupv_124 let _ = "iter" in let catchHandler_127 loopInput_128 (!_exn_129) (!failInp_130) (!farInp_131) (!farExp_132) = let _ = "pushInput" in if ( \( Data.Text.Internal.Text _ i_133 _ ) ( Data.Text.Internal.Text _ j_134 _ ) -> i_133 GHC.Classes.== j_134 ) loopInput_128 failInp_130 then let _ = "choicesBranch.then" in do sr_135 <- GHC.STRef.readSTRef reg_126 name_71 ( let _ = "suspend" in \farInp_136 farExp_137 v_138 (!inp_139) -> name_71 ( let _ = "suspend" in \farInp_140 farExp_141 v_142 (!inp_143) -> let _ = "commit" in let _ = "resume" in join_98 farInp_140 farExp_141 ( let _ = "resume.genCode" in GHC.Tuple . () ) inp_143 ) inp_139 Data.Map.Internal.Tip ) failInp_130 Data.Map.Internal.Tip else let _ = "choicesBranch.else" in catchHandler_108 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_130 farInp_131 farExp_132 loop_144 = \_callReturn_145 callInput_146 callCatchStackByLabel_147 -> let _ = "pushValue" in name_148 ( let _ = "suspend" in \farInp_149 farExp_150 v_151 (!inp_152) -> name_153 ( let _ = "suspend" in \farInp_154 farExp_155 v_156 (!inp_157) -> name_119 ( let _ = "suspend" in \farInp_158 farExp_159 v_160 (!inp_161) -> do sr_162 <- GHC.STRef.readSTRef reg_126 do let dupv_163 = v_151 v_160 sr_162 GHC.STRef.writeSTRef reg_126 dupv_163 let _ = "jump" in loop_144 (GHC.Err.error "invalid return") inp_161 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_127 callInput_146) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) inp_157 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_127 callInput_146) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) inp_152 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_127 callInput_146) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) callInput_146 Data.Map.Internal.Tip in let _ = "jump" in loop_144 callReturn_37 inp_123 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure catchHandler_108 Data.Map.Internal.Tip Data.Map.Internal.Tip) ) inp_97 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure catchHandler_108 Data.Map.Internal.Tip Data.Map.Internal.Tip) ) inp_58 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure catchHandler_81 Data.Map.Internal.Tip Data.Map.Internal.Tip) ) failInp_49 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_39) Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "choicesBranch.else" in Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_39 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_49 farInp_50 farExp_51 in let _ = "pushValue" in let _ = "comment: satisfy" in let inp_164 = failInp_42 in let readFail_165 = catchHandler_47 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1" in if readMore_2 inp_164 then let _ = "checkToken" in let !(# c_166, cs_167 #) = readNext_3 inp_164 in if (GHC.Classes.==) '\'' c_166 then let join_168 = \farInp_169 farExp_170 v_171 (!inp_172) -> let _ = "comment: satisfy" in let inp_173 = inp_172 in let readFail_174 = readFail_165 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2" in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 1 inp_173) then let _ = "checkToken" in let !(# c_175, cs_176 #) = readNext_3 inp_173 in if (GHC.Classes.==) '\'' c_175 then name_177 ( let _ = "suspend" in \farInp_178 farExp_179 v_180 (!inp_181) -> let _ = "commit" in let _ = "resume" in callReturn_37 farInp_178 farExp_179 ( let _ = "resume.genCode" in v_171 ) inp_181 ) cs_176 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_174 Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "checkToken.fail" in let failExp_182 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken '\'' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_183, farExp_184 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_169 inp_173 of GHC.Types.LT -> (# inp_173, failExp_182 #) GHC.Types.EQ -> (# farInp_169, failExp_182 GHC.Base.<> farExp_170 #) GHC.Types.GT -> (# farInp_169, farExp_170 #) in readFail_174 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_173 farInp_183 farExp_184 else let _ = "checkHorizon.newCheck.fail" in let failExp_185 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 2 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_186, farExp_187 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_169 inp_173 of GHC.Types.LT -> (# inp_173, failExp_185 #) GHC.Types.EQ -> (# farInp_169, failExp_185 GHC.Base.<> farExp_170 #) GHC.Types.GT -> (# farInp_169, farExp_170 #) in readFail_174 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_173 farInp_186 farExp_187 in let _ = "catch ExceptionFailure" in let catchHandler_188 (!_exn_189) (!failInp_190) (!farInp_191) (!farExp_192) = let _ = "catch.ko ExceptionFailure" in let _ = "pushInput" in if ( \( Data.Text.Internal.Text _ i_193 _ ) ( Data.Text.Internal.Text _ j_194 _ ) -> i_193 GHC.Classes.== j_194 ) cs_167 failInp_190 then let _ = "choicesBranch.then" in let _ = "pushValue" in let _ = "comment: satisfy" in let inp_195 = failInp_190 in let readFail_196 = readFail_165 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=4" in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 3 inp_195) then let _ = "checkToken" in let !(# c_197, cs_198 #) = readNext_3 inp_195 in if (GHC.Classes.==) '\\' c_197 then let _ = "comment: satisfy" in let _ = "checkHorizon.oldCheck: checkedHorizon=4" in let _ = "checkToken" in let !(# c_199, cs_200 #) = readNext_3 cs_198 in if (\t_201 -> ('0' GHC.Classes.== t_201) GHC.Classes.|| (('t' GHC.Classes.== t_201) GHC.Classes.|| (('n' GHC.Classes.== t_201) GHC.Classes.|| (('v' GHC.Classes.== t_201) GHC.Classes.|| (('f' GHC.Classes.== t_201) GHC.Classes.|| (('r' GHC.Classes.== t_201) GHC.Classes.|| GHC.Types.False)))))) c_199 then name_71 ( let _ = "suspend" in \farInp_202 farExp_203 v_204 (!inp_205) -> let _ = "resume" in join_168 farInp_202 farExp_203 ( let _ = "resume.genCode" in v_204 ) inp_205 ) cs_200 Data.Map.Internal.Tip else let _ = "checkToken.fail" in let failExp_206 = Data.Set.Internal.Bin 6 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> 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'_6989586621679080671) -> 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'_6989586621679080671) -> 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'_6989586621679080671) -> 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'_6989586621679080671) -> 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'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'v' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip ) ) in let (# farInp_207, farExp_208 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_191 cs_198 of GHC.Types.LT -> (# cs_198, failExp_206 #) GHC.Types.EQ -> (# farInp_191, failExp_206 GHC.Base.<> farExp_192 #) GHC.Types.GT -> (# farInp_191, farExp_192 #) in readFail_196 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_198 farInp_207 farExp_208 else let _ = "checkToken.fail" in let failExp_209 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken '\\' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_210, farExp_211 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_191 inp_195 of GHC.Types.LT -> (# inp_195, failExp_209 #) GHC.Types.EQ -> (# farInp_191, failExp_209 GHC.Base.<> farExp_192 #) GHC.Types.GT -> (# farInp_191, farExp_192 #) in readFail_196 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_195 farInp_210 farExp_211 else let _ = "checkHorizon.newCheck.fail" in let failExp_212 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 4 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_213, farExp_214 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_191 inp_195 of GHC.Types.LT -> (# inp_195, failExp_212 #) GHC.Types.EQ -> (# farInp_191, failExp_212 GHC.Base.<> farExp_192 #) GHC.Types.GT -> (# farInp_191, farExp_192 #) in readFail_196 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_195 farInp_213 farExp_214 else let _ = "choicesBranch.else" in readFail_165 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_190 farInp_191 farExp_192 in let _ = "pushValue" in let _ = "comment: satisfy" in let _ = "checkHorizon.oldCheck: checkedHorizon=1" in let _ = "checkToken" in let !(# c_215, cs_216 #) = readNext_3 cs_167 in if Parsers.Nandlang.nandStringLetter c_215 then name_71 ( let _ = "suspend" in \farInp_217 farExp_218 v_219 (!inp_220) -> let _ = "commit" in let _ = "resume" in join_168 farInp_217 farExp_218 ( let _ = "resume.genCode" in v_219 ) inp_220 ) cs_216 Data.Map.Internal.Tip else let _ = "checkToken.fail" in catchHandler_188 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_167 farInp_43 farExp_44 else let _ = "checkToken.fail" in let failExp_221 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken '\'' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_222, farExp_223 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_43 inp_164 of GHC.Types.LT -> (# inp_164, failExp_221 #) GHC.Types.EQ -> (# farInp_43, failExp_221 GHC.Base.<> farExp_44 #) GHC.Types.GT -> (# farInp_43, farExp_44 #) in readFail_165 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_164 farInp_222 farExp_223 else let _ = "checkHorizon.newCheck.fail" in let failExp_224 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 1 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_225, farExp_226 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_43 inp_164 of GHC.Types.LT -> (# inp_164, failExp_224 #) GHC.Types.EQ -> (# farInp_43, failExp_224 GHC.Base.<> farExp_44 #) GHC.Types.GT -> (# farInp_43, farExp_44 #) in readFail_165 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_164 farInp_225 farExp_226 else let _ = "choicesBranch.else" in Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_39 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_42 farInp_43 farExp_44 in let _ = "pushValue" in let join_227 = \farInp_228 farExp_229 v_230 (!inp_231) -> name_177 ( let _ = "suspend" in \farInp_232 farExp_233 v_234 (!inp_235) -> let _ = "commit" in let _ = "resume" in callReturn_37 farInp_232 farExp_233 ( let _ = "resume.genCode" in v_234 ) inp_235 ) inp_231 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure catchHandler_40 Data.Map.Internal.Tip Data.Map.Internal.Tip) in let _ = "catch ExceptionFailure" in let catchHandler_236 (!_exn_237) (!failInp_238) (!farInp_239) (!farExp_240) = let _ = "catch.ko ExceptionFailure" in let _ = "pushInput" in if ( \( Data.Text.Internal.Text _ i_241 _ ) ( Data.Text.Internal.Text _ j_242 _ ) -> i_241 GHC.Classes.== j_242 ) callInput_38 failInp_238 then let _ = "choicesBranch.then" in let _ = "pushValue" in let _ = "comment: satisfy" in let inp_243 = failInp_238 in let readFail_244 = catchHandler_40 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2" in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 1 inp_243) then let _ = "checkToken" in let !(# c_245, cs_246 #) = readNext_3 inp_243 in if (GHC.Classes.==) '1' c_245 then let _ = "resume" in join_227 farInp_239 farExp_240 ( let _ = "resume.genCode" in '1' ) cs_246 else let _ = "checkToken.fail" in let failExp_247 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken '1' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_248, farExp_249 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_239 inp_243 of GHC.Types.LT -> (# inp_243, failExp_247 #) GHC.Types.EQ -> (# farInp_239, failExp_247 GHC.Base.<> farExp_240 #) GHC.Types.GT -> (# farInp_239, farExp_240 #) in readFail_244 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_243 farInp_248 farExp_249 else let _ = "checkHorizon.newCheck.fail" in let failExp_250 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 2 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_251, farExp_252 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_239 inp_243 of GHC.Types.LT -> (# inp_243, failExp_250 #) GHC.Types.EQ -> (# farInp_239, failExp_250 GHC.Base.<> farExp_240 #) GHC.Types.GT -> (# farInp_239, farExp_240 #) in readFail_244 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_243 farInp_251 farExp_252 else let _ = "choicesBranch.else" in catchHandler_40 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_238 farInp_239 farExp_240 in let _ = "pushValue" in let _ = "comment: satisfy" in let inp_253 = callInput_38 in let readFail_254 = catchHandler_236 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2" in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 1 inp_253) then let _ = "checkToken" in let !(# c_255, cs_256 #) = readNext_3 inp_253 in if (GHC.Classes.==) '0' c_255 then let _ = "commit" in let _ = "resume" in join_227 init_1 Data.Set.Internal.empty ( let _ = "resume.genCode" in '0' ) cs_256 else let _ = "checkToken.fail" in let failExp_257 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken '0' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_258, farExp_259 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_253 of GHC.Types.LT -> (# inp_253, failExp_257 #) GHC.Types.EQ -> (# init_1, failExp_257 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_254 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_253 farInp_258 farExp_259 else let _ = "checkHorizon.newCheck.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'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 2 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_261, farExp_262 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_253 of GHC.Types.LT -> (# inp_253, failExp_260 #) GHC.Types.EQ -> (# init_1, failExp_260 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_254 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_253 farInp_261 farExp_262 name_263 = \(!callReturn_264) (!callInput_265) (!callCatchStackByLabel_266) -> let _ = "catch ExceptionFailure" in let catchHandler_267 (!_exn_268) (!failInp_269) (!farInp_270) (!farExp_271) = let _ = "catch.ko ExceptionFailure" in let _ = "pushInput" in if ( \( Data.Text.Internal.Text _ i_272 _ ) ( Data.Text.Internal.Text _ j_273 _ ) -> i_272 GHC.Classes.== j_273 ) callInput_265 failInp_269 then let _ = "choicesBranch.then" in let _ = "jump" in name_71 callReturn_264 failInp_269 Data.Map.Internal.Tip else let _ = "choicesBranch.else" in Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_266 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_269 farInp_270 farExp_271 in let _ = "pushValue" in name_274 ( let _ = "suspend" in \farInp_275 farExp_276 v_277 (!inp_278) -> let _ = "pushValue" in do let dupv_279 = \x_280 -> x_280 reg_281 <- GHC.STRef.newSTRef dupv_279 let _ = "iter" in let catchHandler_282 loopInput_283 (!_exn_284) (!failInp_285) (!farInp_286) (!farExp_287) = let _ = "pushInput" in if ( \( Data.Text.Internal.Text _ i_288 _ ) ( Data.Text.Internal.Text _ j_289 _ ) -> i_288 GHC.Classes.== j_289 ) loopInput_283 failInp_285 then let _ = "choicesBranch.then" in do sr_290 <- GHC.STRef.readSTRef reg_281 name_71 ( let _ = "suspend" in \farInp_291 farExp_292 v_293 (!inp_294) -> name_71 ( let _ = "suspend" in \farInp_295 farExp_296 v_297 (!inp_298) -> let _ = "commit" in let _ = "resume" in callReturn_264 farInp_295 farExp_296 ( let _ = "resume.genCode" in GHC.Tuple . () ) inp_298 ) inp_294 Data.Map.Internal.Tip ) failInp_285 Data.Map.Internal.Tip else let _ = "choicesBranch.else" in catchHandler_267 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_285 farInp_286 farExp_287 loop_299 = \_callReturn_300 callInput_301 callCatchStackByLabel_302 -> let _ = "pushValue" in name_148 ( let _ = "suspend" in \farInp_303 farExp_304 v_305 (!inp_306) -> name_153 ( let _ = "suspend" in \farInp_307 farExp_308 v_309 (!inp_310) -> name_274 ( let _ = "suspend" in \farInp_311 farExp_312 v_313 (!inp_314) -> do sr_315 <- GHC.STRef.readSTRef reg_281 do let dupv_316 = v_305 v_313 sr_315 GHC.STRef.writeSTRef reg_281 dupv_316 let _ = "jump" in loop_299 (GHC.Err.error "invalid return") inp_314 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_282 callInput_301) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) inp_310 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_282 callInput_301) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) inp_306 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_282 callInput_301) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) callInput_301 Data.Map.Internal.Tip in let _ = "jump" in loop_299 callReturn_264 inp_278 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure catchHandler_267 Data.Map.Internal.Tip Data.Map.Internal.Tip) ) callInput_265 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure catchHandler_267 Data.Map.Internal.Tip Data.Map.Internal.Tip) name_317 = \(!callReturn_318) (!callInput_319) (!callCatchStackByLabel_320) -> let _ = "comment: satisfy" in let inp_321 = callInput_319 in let readFail_322 = Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_320 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1" in if readMore_2 inp_321 then let _ = "checkToken" in let !(# c_323, cs_324 #) = readNext_3 inp_321 in if (\t_325 -> ('0' GHC.Classes.== t_325) GHC.Classes.|| (('1' GHC.Classes.== t_325) GHC.Classes.|| (('2' GHC.Classes.== t_325) GHC.Classes.|| (('3' GHC.Classes.== t_325) GHC.Classes.|| (('4' GHC.Classes.== t_325) GHC.Classes.|| (('5' GHC.Classes.== t_325) GHC.Classes.|| (('6' GHC.Classes.== t_325) GHC.Classes.|| (('7' GHC.Classes.== t_325) GHC.Classes.|| (('8' GHC.Classes.== t_325) GHC.Classes.|| (('9' GHC.Classes.== t_325) GHC.Classes.|| GHC.Types.False)))))))))) c_323 then let _ = "resume" in callReturn_318 init_1 Data.Set.Internal.empty ( let _ = "resume.genCode" in c_323 ) cs_324 else let _ = "checkToken.fail" in let failExp_326 = Data.Set.Internal.Bin 10 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> 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'_6989586621679080671) -> 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'_6989586621679080671) -> 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'_6989586621679080671) -> 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'_6989586621679080671) -> 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'_6989586621679080671) -> 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'_6989586621679080671) -> 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'_6989586621679080671) -> 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'_6989586621679080671) -> 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'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken '9' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip ) ) ) in let (# farInp_327, farExp_328 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_321 of GHC.Types.LT -> (# inp_321, failExp_326 #) GHC.Types.EQ -> (# init_1, failExp_326 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_322 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_321 farInp_327 farExp_328 else let _ = "checkHorizon.newCheck.fail" in let failExp_329 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 1 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_330, farExp_331 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_321 of GHC.Types.LT -> (# inp_321, failExp_329 #) GHC.Types.EQ -> (# init_1, failExp_329 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_322 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_321 farInp_330 farExp_331 name_274 = \(!callReturn_332) (!callInput_333) (!callCatchStackByLabel_334) -> let _ = "pushValue" in name_54 ( let _ = "suspend" in \farInp_335 farExp_336 v_337 (!inp_338) -> let join_339 = \farInp_340 farExp_341 v_342 (!inp_343) -> let _ = "resume" in callReturn_332 farInp_340 farExp_341 ( let _ = "resume.genCode" in v_342 ) inp_343 in let _ = "catch ExceptionFailure" in let catchHandler_344 (!_exn_345) (!failInp_346) (!farInp_347) (!farExp_348) = let _ = "catch.ko ExceptionFailure" in let _ = "pushInput" in if ( \( Data.Text.Internal.Text _ i_349 _ ) ( Data.Text.Internal.Text _ j_350 _ ) -> i_349 GHC.Classes.== j_350 ) inp_338 failInp_346 then let _ = "choicesBranch.then" in name_71 ( let _ = "suspend" in \farInp_351 farExp_352 v_353 (!inp_354) -> let _ = "resume" in join_339 farInp_351 farExp_352 ( let _ = "resume.genCode" in v_353 ) inp_354 ) failInp_346 Data.Map.Internal.Tip else let _ = "choicesBranch.else" in Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_334 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_346 farInp_347 farExp_348 in let _ = "pushValue" in name_88 ( let _ = "suspend" in \farInp_355 farExp_356 v_357 (!inp_358) -> let _ = "commit" in let _ = "resume" in join_339 farInp_355 farExp_356 ( let _ = "resume.genCode" in GHC.Tuple . () ) inp_358 ) inp_338 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure catchHandler_344 Data.Map.Internal.Tip Data.Map.Internal.Tip) ) callInput_333 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_334) Data.Map.Internal.Tip Data.Map.Internal.Tip) name_119 = \(!callReturn_359) (!callInput_360) (!callCatchStackByLabel_361) -> let _ = "pushValue" in name_36 ( let _ = "suspend" in \farInp_362 farExp_363 v_364 (!inp_365) -> let _ = "pushValue" in do let dupv_366 = \x_367 -> x_367 reg_368 <- GHC.STRef.newSTRef dupv_366 let _ = "iter" in let catchHandler_369 loopInput_370 (!_exn_371) (!failInp_372) (!farInp_373) (!farExp_374) = let _ = "pushInput" in if ( \( Data.Text.Internal.Text _ i_375 _ ) ( Data.Text.Internal.Text _ j_376 _ ) -> i_375 GHC.Classes.== j_376 ) loopInput_370 failInp_372 then let _ = "choicesBranch.then" in do sr_377 <- GHC.STRef.readSTRef reg_368 name_71 ( let _ = "suspend" in \farInp_378 farExp_379 v_380 (!inp_381) -> name_71 ( let _ = "suspend" in \farInp_382 farExp_383 v_384 (!inp_385) -> let _ = "resume" in callReturn_359 farInp_382 farExp_383 ( let _ = "resume.genCode" in v_384 ) inp_385 ) inp_381 Data.Map.Internal.Tip ) failInp_372 Data.Map.Internal.Tip else let _ = "choicesBranch.else" in Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_361 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_372 farInp_373 farExp_374 loop_386 = \_callReturn_387 callInput_388 callCatchStackByLabel_389 -> let _ = "pushValue" in let _ = "comment: satisfy" in let inp_390 = callInput_388 in let readFail_391 = catchHandler_369 callInput_388 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2" in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 1 inp_390) then let _ = "checkToken" in let !(# c_392, cs_393 #) = readNext_3 inp_390 in if (GHC.Classes.==) '!' c_392 then name_177 ( let _ = "suspend" in \farInp_394 farExp_395 v_396 (!inp_397) -> name_36 ( let _ = "suspend" in \farInp_398 farExp_399 v_400 (!inp_401) -> do sr_402 <- GHC.STRef.readSTRef reg_368 do let dupv_403 = sr_402 GHC.STRef.writeSTRef reg_368 dupv_403 let _ = "jump" in loop_386 (GHC.Err.error "invalid return") inp_401 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_391 Data.Map.Internal.Tip Data.Map.Internal.Tip) ) inp_397 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_391 Data.Map.Internal.Tip Data.Map.Internal.Tip) ) cs_393 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_391 Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "checkToken.fail" in let failExp_404 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken '!' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_405, farExp_406 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_362 inp_390 of GHC.Types.LT -> (# inp_390, failExp_404 #) GHC.Types.EQ -> (# farInp_362, failExp_404 GHC.Base.<> farExp_363 #) GHC.Types.GT -> (# farInp_362, farExp_363 #) in readFail_391 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_390 farInp_405 farExp_406 else let _ = "checkHorizon.newCheck.fail" in let failExp_407 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 2 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_408, farExp_409 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_362 inp_390 of GHC.Types.LT -> (# inp_390, failExp_407 #) GHC.Types.EQ -> (# farInp_362, failExp_407 GHC.Base.<> farExp_363 #) GHC.Types.GT -> (# farInp_362, farExp_363 #) in readFail_391 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_390 farInp_408 farExp_409 in let _ = "jump" in loop_386 callReturn_359 inp_365 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_361) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) callInput_360 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_361) Data.Map.Internal.Tip Data.Map.Internal.Tip) name_177 = \(!callReturn_410) (!callInput_411) (!callCatchStackByLabel_412) -> let _ = "pushValue" in name_413 ( let _ = "suspend" in \farInp_414 farExp_415 v_416 (!inp_417) -> let _ = "pushValue" in do let dupv_418 = \x_419 -> x_419 reg_420 <- GHC.STRef.newSTRef dupv_418 let _ = "iter" in let catchHandler_421 loopInput_422 (!_exn_423) (!failInp_424) (!farInp_425) (!farExp_426) = let _ = "pushInput" in if ( \( Data.Text.Internal.Text _ i_427 _ ) ( Data.Text.Internal.Text _ j_428 _ ) -> i_427 GHC.Classes.== j_428 ) loopInput_422 failInp_424 then let _ = "choicesBranch.then" in do sr_429 <- GHC.STRef.readSTRef reg_420 let _ = "pushValue" in let _ = "resume" in callReturn_410 farInp_425 farExp_426 ( let _ = "resume.genCode" in GHC.Tuple . () ) failInp_424 else let _ = "choicesBranch.else" in Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_412 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_424 farInp_425 farExp_426 loop_430 = \_callReturn_431 callInput_432 callCatchStackByLabel_433 -> let _ = "pushValue" in name_413 ( let _ = "suspend" in \farInp_434 farExp_435 v_436 (!inp_437) -> do sr_438 <- GHC.STRef.readSTRef reg_420 do let dupv_439 = sr_438 GHC.STRef.writeSTRef reg_420 dupv_439 let _ = "jump" in loop_430 (GHC.Err.error "invalid return") inp_437 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_421 callInput_432) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) callInput_432 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_421 callInput_432) Data.Map.Internal.Tip Data.Map.Internal.Tip) in let _ = "jump" in loop_430 callReturn_410 inp_417 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_412) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) callInput_411 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_412) Data.Map.Internal.Tip Data.Map.Internal.Tip) name_54 = \(!callReturn_440) (!callInput_441) (!callCatchStackByLabel_442) -> let _ = "pushValue" in let _ = "catch ExceptionFailure" in let catchHandler_443 (!_exn_444) (!failInp_445) (!farInp_446) (!farExp_447) = let _ = "catch.ko ExceptionFailure" in let _ = "loadInput" in let _ = "checkHorizon.noCheck" in Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_442 Symantic.Parser.Grammar.Combinators.ExceptionFailure callInput_441 farInp_446 farExp_447 in let _ = "pushValue" in let _ = "comment: satisfy" in let inp_448 = callInput_441 in let readFail_449 = catchHandler_443 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1" in if readMore_2 inp_448 then let _ = "checkToken" in let !(# c_450, cs_451 #) = readNext_3 inp_448 in if Parsers.Nandlang.nandIdentStart c_450 then let _ = "pushValue" in do let dupv_452 = \x_453 -> x_453 reg_454 <- GHC.STRef.newSTRef dupv_452 let _ = "iter" in let catchHandler_455 loopInput_456 (!_exn_457) (!failInp_458) (!farInp_459) (!farExp_460) = let _ = "pushInput" in if ( \( Data.Text.Internal.Text _ i_461 _ ) ( Data.Text.Internal.Text _ j_462 _ ) -> i_461 GHC.Classes.== j_462 ) loopInput_456 failInp_458 then let _ = "choicesBranch.then" in do sr_463 <- GHC.STRef.readSTRef reg_454 name_71 ( let _ = "suspend" in \farInp_464 farExp_465 v_466 (!inp_467) -> name_71 ( let _ = "suspend" in \farInp_468 farExp_469 v_470 (!inp_471) -> let _ = "commit" in name_177 ( let _ = "suspend" in \farInp_472 farExp_473 v_474 (!inp_475) -> let _ = "resume" in callReturn_440 farInp_472 farExp_473 ( let _ = "resume.genCode" in v_474 ) inp_475 ) inp_471 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_442) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) inp_467 Data.Map.Internal.Tip ) failInp_458 Data.Map.Internal.Tip else let _ = "choicesBranch.else" in readFail_449 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_458 farInp_459 farExp_460 loop_476 = \_callReturn_477 callInput_478 callCatchStackByLabel_479 -> let _ = "pushValue" in let _ = "comment: satisfy" in let inp_480 = callInput_478 in let readFail_481 = catchHandler_455 callInput_478 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1" in if readMore_2 inp_480 then let _ = "checkToken" in let !(# c_482, cs_483 #) = readNext_3 inp_480 in if Parsers.Nandlang.nandIdentLetter c_482 then do sr_484 <- GHC.STRef.readSTRef reg_454 do let dupv_485 = sr_484 GHC.STRef.writeSTRef reg_454 dupv_485 let _ = "jump" in loop_476 (GHC.Err.error "invalid return") cs_483 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_481 Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "checkToken.fail" in readFail_481 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_480 init_1 Data.Set.Internal.empty else let _ = "checkHorizon.newCheck.fail" in let failExp_486 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 1 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_487, farExp_488 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_480 of GHC.Types.LT -> (# inp_480, failExp_486 #) GHC.Types.EQ -> (# init_1, failExp_486 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_481 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_480 farInp_487 farExp_488 in let _ = "jump" in loop_476 callReturn_440 cs_451 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_449 Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "checkToken.fail" in readFail_449 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_448 init_1 Data.Set.Internal.empty else let _ = "checkHorizon.newCheck.fail" in let failExp_489 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 1 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_490, farExp_491 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_448 of GHC.Types.LT -> (# inp_448, failExp_489 #) GHC.Types.EQ -> (# init_1, failExp_489 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_449 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_448 farInp_490 farExp_491 name_413 = \(!callReturn_492) (!callInput_493) (!callCatchStackByLabel_494) -> let _ = "pushValue" in let _ = "comment: satisfy" in let inp_495 = callInput_493 in let readFail_496 = Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_494 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1" in if readMore_2 inp_495 then let _ = "checkToken" in let !(# c_497, cs_498 #) = readNext_3 inp_495 in if GHC.Unicode.isSpace c_497 then name_71 ( let _ = "suspend" in \farInp_499 farExp_500 v_501 (!inp_502) -> let _ = "resume" in callReturn_492 farInp_499 farExp_500 ( let _ = "resume.genCode" in v_501 ) inp_502 ) cs_498 Data.Map.Internal.Tip else let _ = "checkToken.fail" in readFail_496 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_495 init_1 Data.Set.Internal.empty else let _ = "checkHorizon.newCheck.fail" in let failExp_503 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 1 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_504, farExp_505 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_495 of GHC.Types.LT -> (# inp_495, failExp_503 #) GHC.Types.EQ -> (# init_1, failExp_503 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_496 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_495 farInp_504 farExp_505 name_93 = \(!callReturn_506) (!callInput_507) (!callCatchStackByLabel_508) -> let _ = "pushValue" in let _ = "comment: satisfy" in let inp_509 = callInput_507 in let readFail_510 = Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_508 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2" in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 1 inp_509) then let _ = "checkToken" in let !(# c_511, cs_512 #) = readNext_3 inp_509 in if (GHC.Classes.==) '(' c_511 then name_177 ( let _ = "suspend" in \farInp_513 farExp_514 v_515 (!inp_516) -> let _ = "resume" in callReturn_506 farInp_513 farExp_514 ( let _ = "resume.genCode" in '(' ) inp_516 ) cs_512 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_510 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'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken '(' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_518, farExp_519 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_509 of GHC.Types.LT -> (# inp_509, failExp_517 #) GHC.Types.EQ -> (# init_1, failExp_517 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_510 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_509 farInp_518 farExp_519 else let _ = "checkHorizon.newCheck.fail" in let failExp_520 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 2 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_521, farExp_522 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_509 of GHC.Types.LT -> (# inp_509, failExp_520 #) GHC.Types.EQ -> (# init_1, failExp_520 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_510 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_509 farInp_521 farExp_522 name_103 = \(!callReturn_523) (!callInput_524) (!callCatchStackByLabel_525) -> let _ = "pushValue" in let _ = "comment: satisfy" in let inp_526 = callInput_524 in let readFail_527 = Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_525 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2" in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 1 inp_526) then let _ = "checkToken" in let !(# c_528, cs_529 #) = readNext_3 inp_526 in if (GHC.Classes.==) ')' c_528 then name_177 ( let _ = "suspend" in \farInp_530 farExp_531 v_532 (!inp_533) -> let _ = "resume" in callReturn_523 farInp_530 farExp_531 ( let _ = "resume.genCode" in ')' ) inp_533 ) cs_529 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_527 Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "checkToken.fail" in let failExp_534 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken ')' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_535, farExp_536 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_526 of GHC.Types.LT -> (# inp_526, failExp_534 #) GHC.Types.EQ -> (# init_1, failExp_534 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_527 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_526 farInp_535 farExp_536 else let _ = "checkHorizon.newCheck.fail" in let failExp_537 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 2 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_538, farExp_539 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_526 of GHC.Types.LT -> (# inp_526, failExp_537 #) GHC.Types.EQ -> (# init_1, failExp_537 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_527 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_526 farInp_538 farExp_539 name_153 = \(!callReturn_540) (!callInput_541) (!callCatchStackByLabel_542) -> let _ = "pushValue" in let _ = "comment: satisfy" in let inp_543 = callInput_541 in let readFail_544 = Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_542 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2" in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 1 inp_543) then let _ = "checkToken" in let !(# c_545, cs_546 #) = readNext_3 inp_543 in if (GHC.Classes.==) ',' c_545 then name_177 ( let _ = "suspend" in \farInp_547 farExp_548 v_549 (!inp_550) -> let _ = "resume" in callReturn_540 farInp_547 farExp_548 ( let _ = "resume.genCode" in ',' ) inp_550 ) cs_546 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_544 Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "checkToken.fail" in let failExp_551 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken ',' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_552, farExp_553 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_543 of GHC.Types.LT -> (# inp_543, failExp_551 #) GHC.Types.EQ -> (# init_1, failExp_551 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_544 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_543 farInp_552 farExp_553 else let _ = "checkHorizon.newCheck.fail" in let failExp_554 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 2 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_555, farExp_556 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_543 of GHC.Types.LT -> (# inp_543, failExp_554 #) GHC.Types.EQ -> (# init_1, failExp_554 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_544 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_543 farInp_555 farExp_556 name_557 = \(!callReturn_558) (!callInput_559) (!callCatchStackByLabel_560) -> let _ = "pushValue" in let _ = "comment: satisfy" in let inp_561 = callInput_559 in let readFail_562 = Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_560 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2" in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 1 inp_561) then let _ = "checkToken" in let !(# c_563, cs_564 #) = readNext_3 inp_561 in if (GHC.Classes.==) ';' c_563 then name_177 ( let _ = "suspend" in \farInp_565 farExp_566 v_567 (!inp_568) -> let _ = "resume" in callReturn_558 farInp_565 farExp_566 ( let _ = "resume.genCode" in ';' ) inp_568 ) cs_564 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_562 Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "checkToken.fail" in let failExp_569 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken ';' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_570, farExp_571 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_561 of GHC.Types.LT -> (# inp_561, failExp_569 #) GHC.Types.EQ -> (# init_1, failExp_569 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_562 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_561 farInp_570 farExp_571 else let _ = "checkHorizon.newCheck.fail" in let failExp_572 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 2 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_573, farExp_574 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_561 of GHC.Types.LT -> (# inp_561, failExp_572 #) GHC.Types.EQ -> (# init_1, failExp_572 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_562 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_561 farInp_573 farExp_574 name_575 = \(!callReturn_576) (!callInput_577) (!callCatchStackByLabel_578) -> let _ = "pushValue" in let _ = "comment: satisfy" in let inp_579 = callInput_577 in let readFail_580 = Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_578 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2" in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 1 inp_579) then let _ = "checkToken" in let !(# c_581, cs_582 #) = readNext_3 inp_579 in if (GHC.Classes.==) '{' c_581 then name_177 ( let _ = "suspend" in \farInp_583 farExp_584 v_585 (!inp_586) -> let _ = "pushValue" in do let dupv_587 = \x_588 -> x_588 reg_589 <- GHC.STRef.newSTRef dupv_587 let _ = "iter" in let catchHandler_590 loopInput_591 (!_exn_592) (!failInp_593) (!farInp_594) (!farExp_595) = let _ = "pushInput" in if ( \( Data.Text.Internal.Text _ i_596 _ ) ( Data.Text.Internal.Text _ j_597 _ ) -> i_596 GHC.Classes.== j_597 ) loopInput_591 failInp_593 then let _ = "choicesBranch.then" in do sr_598 <- GHC.STRef.readSTRef reg_589 name_71 ( let _ = "suspend" in \farInp_599 farExp_600 v_601 (!inp_602) -> name_71 ( let _ = "suspend" in \farInp_603 farExp_604 v_605 (!inp_606) -> let _ = "comment: satisfy" in let inp_607 = inp_606 in let readFail_608 = readFail_580 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2" in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 1 inp_607) then let _ = "checkToken" in let !(# c_609, cs_610 #) = readNext_3 inp_607 in if (GHC.Classes.==) '}' c_609 then name_177 ( let _ = "suspend" in \farInp_611 farExp_612 v_613 (!inp_614) -> let _ = "resume" in callReturn_576 farInp_611 farExp_612 ( let _ = "resume.genCode" in v_605 ) inp_614 ) cs_610 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_608 Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "checkToken.fail" in let failExp_615 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken '}' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_616, farExp_617 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_603 inp_607 of GHC.Types.LT -> (# inp_607, failExp_615 #) GHC.Types.EQ -> (# farInp_603, failExp_615 GHC.Base.<> farExp_604 #) GHC.Types.GT -> (# farInp_603, farExp_604 #) in readFail_608 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_607 farInp_616 farExp_617 else let _ = "checkHorizon.newCheck.fail" in let failExp_618 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 2 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_619, farExp_620 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_603 inp_607 of GHC.Types.LT -> (# inp_607, failExp_618 #) GHC.Types.EQ -> (# farInp_603, failExp_618 GHC.Base.<> farExp_604 #) GHC.Types.GT -> (# farInp_603, farExp_604 #) in readFail_608 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_607 farInp_619 farExp_620 ) inp_602 Data.Map.Internal.Tip ) failInp_593 Data.Map.Internal.Tip else let _ = "choicesBranch.else" in readFail_580 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_593 farInp_594 farExp_595 loop_621 = \_callReturn_622 callInput_623 callCatchStackByLabel_624 -> let _ = "pushValue" in let join_625 = \farInp_626 farExp_627 v_628 (!inp_629) -> do sr_630 <- GHC.STRef.readSTRef reg_589 do let dupv_631 = sr_630 GHC.STRef.writeSTRef reg_589 dupv_631 let _ = "jump" in loop_621 (GHC.Err.error "invalid return") inp_629 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_590 callInput_623) Data.Map.Internal.Tip Data.Map.Internal.Tip) in let _ = "catch ExceptionFailure" in let catchHandler_632 (!_exn_633) (!failInp_634) (!farInp_635) (!farExp_636) = let _ = "catch.ko ExceptionFailure" in let _ = "pushInput" in if ( \( Data.Text.Internal.Text _ i_637 _ ) ( Data.Text.Internal.Text _ j_638 _ ) -> i_637 GHC.Classes.== j_638 ) callInput_623 failInp_634 then let _ = "choicesBranch.then" in let _ = "catch ExceptionFailure" in let catchHandler_639 (!_exn_640) (!failInp_641) (!farInp_642) (!farExp_643) = let _ = "catch.ko ExceptionFailure" in let _ = "pushInput" in if ( \( Data.Text.Internal.Text _ i_644 _ ) ( Data.Text.Internal.Text _ j_645 _ ) -> i_644 GHC.Classes.== j_645 ) failInp_634 failInp_641 then let _ = "choicesBranch.then" in let _ = "catch ExceptionFailure" in let catchHandler_646 (!_exn_647) (!failInp_648) (!farInp_649) (!farExp_650) = let _ = "catch.ko ExceptionFailure" in let _ = "pushInput" in if ( \( Data.Text.Internal.Text _ i_651 _ ) ( Data.Text.Internal.Text _ j_652 _ ) -> i_651 GHC.Classes.== j_652 ) failInp_641 failInp_648 then let _ = "choicesBranch.then" in let _ = "pushValue" in name_119 ( let _ = "suspend" in \farInp_653 farExp_654 v_655 (!inp_656) -> name_557 ( let _ = "suspend" in \farInp_657 farExp_658 v_659 (!inp_660) -> let _ = "resume" in join_625 farInp_657 farExp_658 ( let _ = "resume.genCode" in v_655 ) inp_660 ) inp_656 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_590 callInput_623) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) failInp_648 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_590 callInput_623) Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "choicesBranch.else" in catchHandler_590 callInput_623 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_648 farInp_649 farExp_650 in let _ = "catch ExceptionFailure" in let catchHandler_661 (!_exn_662) (!failInp_663) (!farInp_664) (!farExp_665) = let _ = "catch.ko ExceptionFailure" in let _ = "loadInput" in let _ = "checkHorizon.noCheck" in catchHandler_646 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_641 farInp_664 farExp_665 in let _ = "pushValue" in let join_666 = \farInp_667 farExp_668 v_669 (!inp_670) -> name_274 ( let _ = "suspend" in \farInp_671 farExp_672 v_673 (!inp_674) -> let _ = "pushValue" in do let dupv_675 = \x_676 -> x_676 reg_677 <- GHC.STRef.newSTRef dupv_675 let _ = "iter" in let catchHandler_678 loopInput_679 (!_exn_680) (!failInp_681) (!farInp_682) (!farExp_683) = let _ = "pushInput" in if ( \( Data.Text.Internal.Text _ i_684 _ ) ( Data.Text.Internal.Text _ j_685 _ ) -> i_684 GHC.Classes.== j_685 ) loopInput_679 failInp_681 then let _ = "choicesBranch.then" in do sr_686 <- GHC.STRef.readSTRef reg_677 name_71 ( let _ = "suspend" in \farInp_687 farExp_688 v_689 (!inp_690) -> name_71 ( let _ = "suspend" in \farInp_691 farExp_692 v_693 (!inp_694) -> let _ = "comment: satisfy" in let inp_695 = inp_694 in let readFail_696 = catchHandler_661 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2" in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 1 inp_695) then let _ = "checkToken" in let !(# c_697, cs_698 #) = readNext_3 inp_695 in if (GHC.Classes.==) '=' c_697 then name_177 ( let _ = "suspend" in \farInp_699 farExp_700 v_701 (!inp_702) -> name_119 ( let _ = "suspend" in \farInp_703 farExp_704 v_705 (!inp_706) -> let _ = "pushValue" in do let dupv_707 = \x_708 -> x_708 reg_709 <- GHC.STRef.newSTRef dupv_707 let _ = "iter" in let catchHandler_710 loopInput_711 (!_exn_712) (!failInp_713) (!farInp_714) (!farExp_715) = let _ = "pushInput" in if ( \( Data.Text.Internal.Text _ i_716 _ ) ( Data.Text.Internal.Text _ j_717 _ ) -> i_716 GHC.Classes.== j_717 ) loopInput_711 failInp_713 then let _ = "choicesBranch.then" in do sr_718 <- GHC.STRef.readSTRef reg_709 name_71 ( let _ = "suspend" in \farInp_719 farExp_720 v_721 (!inp_722) -> name_71 ( let _ = "suspend" in \farInp_723 farExp_724 v_725 (!inp_726) -> name_557 ( let _ = "suspend" in \farInp_727 farExp_728 v_729 (!inp_730) -> let _ = "commit" in let _ = "commit" in let _ = "resume" in join_625 farInp_727 farExp_728 ( let _ = "resume.genCode" in v_725 ) inp_730 ) inp_726 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_696 Data.Map.Internal.Tip Data.Map.Internal.Tip) ) inp_722 Data.Map.Internal.Tip ) failInp_713 Data.Map.Internal.Tip else let _ = "choicesBranch.else" in readFail_696 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_713 farInp_714 farExp_715 loop_731 = \_callReturn_732 callInput_733 callCatchStackByLabel_734 -> let _ = "pushValue" in name_148 ( let _ = "suspend" in \farInp_735 farExp_736 v_737 (!inp_738) -> name_153 ( let _ = "suspend" in \farInp_739 farExp_740 v_741 (!inp_742) -> name_119 ( let _ = "suspend" in \farInp_743 farExp_744 v_745 (!inp_746) -> do sr_747 <- GHC.STRef.readSTRef reg_709 do let dupv_748 = v_737 v_745 sr_747 GHC.STRef.writeSTRef reg_709 dupv_748 let _ = "jump" in loop_731 (GHC.Err.error "invalid return") inp_746 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_710 callInput_733) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) inp_742 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_710 callInput_733) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) inp_738 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_710 callInput_733) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) callInput_733 Data.Map.Internal.Tip in let _ = "jump" in loop_731 (GHC.Err.error "invalid return") inp_706 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_696 Data.Map.Internal.Tip Data.Map.Internal.Tip) ) inp_702 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_696 Data.Map.Internal.Tip Data.Map.Internal.Tip) ) cs_698 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_696 Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "checkToken.fail" in let failExp_749 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken '=' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_750, farExp_751 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_691 inp_695 of GHC.Types.LT -> (# inp_695, failExp_749 #) GHC.Types.EQ -> (# farInp_691, failExp_749 GHC.Base.<> farExp_692 #) GHC.Types.GT -> (# farInp_691, farExp_692 #) in readFail_696 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_695 farInp_750 farExp_751 else let _ = "checkHorizon.newCheck.fail" in let failExp_752 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 2 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_753, farExp_754 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_691 inp_695 of GHC.Types.LT -> (# inp_695, failExp_752 #) GHC.Types.EQ -> (# farInp_691, failExp_752 GHC.Base.<> farExp_692 #) GHC.Types.GT -> (# farInp_691, farExp_692 #) in readFail_696 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_695 farInp_753 farExp_754 ) inp_690 Data.Map.Internal.Tip ) failInp_681 Data.Map.Internal.Tip else let _ = "choicesBranch.else" in catchHandler_661 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_681 farInp_682 farExp_683 loop_755 = \_callReturn_756 callInput_757 callCatchStackByLabel_758 -> let _ = "pushValue" in name_148 ( let _ = "suspend" in \farInp_759 farExp_760 v_761 (!inp_762) -> name_153 ( let _ = "suspend" in \farInp_763 farExp_764 v_765 (!inp_766) -> name_274 ( let _ = "suspend" in \farInp_767 farExp_768 v_769 (!inp_770) -> do sr_771 <- GHC.STRef.readSTRef reg_677 do let dupv_772 = v_761 v_769 sr_771 GHC.STRef.writeSTRef reg_677 dupv_772 let _ = "jump" in loop_755 (GHC.Err.error "invalid return") inp_770 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_678 callInput_757) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) inp_766 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_678 callInput_757) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) inp_762 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_678 callInput_757) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) callInput_757 Data.Map.Internal.Tip in let _ = "jump" in loop_755 (GHC.Err.error "invalid return") inp_674 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure catchHandler_661 Data.Map.Internal.Tip Data.Map.Internal.Tip) ) inp_670 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure catchHandler_661 Data.Map.Internal.Tip Data.Map.Internal.Tip) in let _ = "catch ExceptionFailure" in let catchHandler_773 (!_exn_774) (!failInp_775) (!farInp_776) (!farExp_777) = let _ = "catch.ko ExceptionFailure" in let _ = "pushInput" in if ( \( Data.Text.Internal.Text _ i_778 _ ) ( Data.Text.Internal.Text _ j_779 _ ) -> i_778 GHC.Classes.== j_779 ) failInp_641 failInp_775 then let _ = "choicesBranch.then" in name_71 ( let _ = "suspend" in \farInp_780 farExp_781 v_782 (!inp_783) -> let _ = "resume" in join_666 farInp_780 farExp_781 ( let _ = "resume.genCode" in v_782 ) inp_783 ) failInp_775 Data.Map.Internal.Tip else let _ = "choicesBranch.else" in catchHandler_661 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_775 farInp_776 farExp_777 in let _ = "pushValue" in let _ = "catch ExceptionFailure" in let catchHandler_784 (!_exn_785) (!failInp_786) (!farInp_787) (!farExp_788) = let _ = "catch.ko ExceptionFailure" in let _ = "loadInput" in let _ = "checkHorizon.noCheck" in catchHandler_773 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_641 farInp_787 farExp_788 in let _ = "pushValue" in let _ = "comment: satisfy" in let inp_789 = failInp_641 in let readFail_790 = catchHandler_784 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=3" in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 2 inp_789) then let _ = "checkToken" in let !(# c_791, cs_792 #) = readNext_3 inp_789 in if (GHC.Classes.==) 'v' c_791 then let _ = "comment: satisfy" in let _ = "checkHorizon.oldCheck: checkedHorizon=3" in let _ = "checkToken" in let !(# c_793, cs_794 #) = readNext_3 cs_792 in if (GHC.Classes.==) 'a' c_793 then let _ = "comment: satisfy" in let _ = "checkHorizon.oldCheck: checkedHorizon=2" in let _ = "checkToken" in let !(# c_795, cs_796 #) = readNext_3 cs_794 in if (GHC.Classes.==) 'r' c_795 then let _ = "commit" in name_797 ( let _ = "suspend" in \farInp_798 farExp_799 v_800 (!inp_801) -> let _ = "commit" in let _ = "resume" in join_666 farInp_798 farExp_799 ( let _ = "resume.genCode" in GHC.Tuple . () ) inp_801 ) cs_796 Data.Map.Internal.Tip else let _ = "checkToken.fail" in let failExp_802 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'r' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_803, farExp_804 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_642 cs_794 of GHC.Types.LT -> (# cs_794, failExp_802 #) GHC.Types.EQ -> (# farInp_642, failExp_802 GHC.Base.<> farExp_643 #) GHC.Types.GT -> (# farInp_642, farExp_643 #) in readFail_790 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_794 farInp_803 farExp_804 else let _ = "checkToken.fail" in let failExp_805 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'a' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_806, farExp_807 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_642 cs_792 of GHC.Types.LT -> (# cs_792, failExp_805 #) GHC.Types.EQ -> (# farInp_642, failExp_805 GHC.Base.<> farExp_643 #) GHC.Types.GT -> (# farInp_642, farExp_643 #) in readFail_790 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_792 farInp_806 farExp_807 else let _ = "checkToken.fail" in let failExp_808 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'v' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_809, farExp_810 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_642 inp_789 of GHC.Types.LT -> (# inp_789, failExp_808 #) GHC.Types.EQ -> (# farInp_642, failExp_808 GHC.Base.<> farExp_643 #) GHC.Types.GT -> (# farInp_642, farExp_643 #) in readFail_790 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_789 farInp_809 farExp_810 else let _ = "checkHorizon.newCheck.fail" in let failExp_811 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 3 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_812, farExp_813 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_642 inp_789 of GHC.Types.LT -> (# inp_789, failExp_811 #) GHC.Types.EQ -> (# farInp_642, failExp_811 GHC.Base.<> farExp_643 #) GHC.Types.GT -> (# farInp_642, farExp_643 #) in readFail_790 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_789 farInp_812 farExp_813 else let _ = "choicesBranch.else" in catchHandler_590 callInput_623 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_641 farInp_642 farExp_643 in let _ = "pushValue" in let _ = "catch ExceptionFailure" in let catchHandler_814 (!_exn_815) (!failInp_816) (!farInp_817) (!farExp_818) = let _ = "catch.ko ExceptionFailure" in let _ = "loadInput" in let _ = "checkHorizon.noCheck" in catchHandler_639 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_634 farInp_817 farExp_818 in let _ = "pushValue" in let _ = "comment: satisfy" in let inp_819 = failInp_634 in let readFail_820 = catchHandler_814 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=5" in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 4 inp_819) then let _ = "checkToken" in let !(# c_821, cs_822 #) = readNext_3 inp_819 in if (GHC.Classes.==) 'w' c_821 then let _ = "comment: satisfy" in let _ = "checkHorizon.oldCheck: checkedHorizon=5" in let _ = "checkToken" in let !(# c_823, cs_824 #) = readNext_3 cs_822 in if (GHC.Classes.==) 'h' c_823 then let _ = "comment: satisfy" in let _ = "checkHorizon.oldCheck: checkedHorizon=4" in let _ = "checkToken" in let !(# c_825, cs_826 #) = readNext_3 cs_824 in if (GHC.Classes.==) 'i' c_825 then let _ = "comment: satisfy" in let _ = "checkHorizon.oldCheck: checkedHorizon=3" in let _ = "checkToken" in let !(# c_827, cs_828 #) = readNext_3 cs_826 in if (GHC.Classes.==) 'l' c_827 then let _ = "comment: satisfy" in let _ = "checkHorizon.oldCheck: checkedHorizon=2" in let _ = "checkToken" in let !(# c_829, cs_830 #) = readNext_3 cs_828 in if (GHC.Classes.==) 'e' c_829 then let _ = "commit" in name_797 ( let _ = "suspend" in \farInp_831 farExp_832 v_833 (!inp_834) -> name_119 ( let _ = "suspend" in \farInp_835 farExp_836 v_837 (!inp_838) -> name_575 ( let _ = "suspend" in \farInp_839 farExp_840 v_841 (!inp_842) -> let _ = "commit" in let _ = "resume" in join_625 farInp_839 farExp_840 ( let _ = "resume.genCode" in v_841 ) inp_842 ) inp_838 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure catchHandler_639 Data.Map.Internal.Tip Data.Map.Internal.Tip) ) inp_834 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure catchHandler_639 Data.Map.Internal.Tip Data.Map.Internal.Tip) ) cs_830 Data.Map.Internal.Tip else let _ = "checkToken.fail" in let failExp_843 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'e' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_844, farExp_845 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_635 cs_828 of GHC.Types.LT -> (# cs_828, failExp_843 #) GHC.Types.EQ -> (# farInp_635, failExp_843 GHC.Base.<> farExp_636 #) GHC.Types.GT -> (# farInp_635, farExp_636 #) in readFail_820 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_828 farInp_844 farExp_845 else let _ = "checkToken.fail" in let failExp_846 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'l' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_847, farExp_848 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_635 cs_826 of GHC.Types.LT -> (# cs_826, failExp_846 #) GHC.Types.EQ -> (# farInp_635, failExp_846 GHC.Base.<> farExp_636 #) GHC.Types.GT -> (# farInp_635, farExp_636 #) in readFail_820 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_826 farInp_847 farExp_848 else let _ = "checkToken.fail" in let failExp_849 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'i' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_850, farExp_851 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_635 cs_824 of GHC.Types.LT -> (# cs_824, failExp_849 #) GHC.Types.EQ -> (# farInp_635, failExp_849 GHC.Base.<> farExp_636 #) GHC.Types.GT -> (# farInp_635, farExp_636 #) in readFail_820 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_824 farInp_850 farExp_851 else let _ = "checkToken.fail" in let failExp_852 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'h' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_853, farExp_854 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_635 cs_822 of GHC.Types.LT -> (# cs_822, failExp_852 #) GHC.Types.EQ -> (# farInp_635, failExp_852 GHC.Base.<> farExp_636 #) GHC.Types.GT -> (# farInp_635, farExp_636 #) in readFail_820 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_822 farInp_853 farExp_854 else let _ = "checkToken.fail" in let failExp_855 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'w' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_856, farExp_857 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_635 inp_819 of GHC.Types.LT -> (# inp_819, failExp_855 #) GHC.Types.EQ -> (# farInp_635, failExp_855 GHC.Base.<> farExp_636 #) GHC.Types.GT -> (# farInp_635, farExp_636 #) in readFail_820 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_819 farInp_856 farExp_857 else let _ = "checkHorizon.newCheck.fail" in let failExp_858 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 5 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_859, farExp_860 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_635 inp_819 of GHC.Types.LT -> (# inp_819, failExp_858 #) GHC.Types.EQ -> (# farInp_635, failExp_858 GHC.Base.<> farExp_636 #) GHC.Types.GT -> (# farInp_635, farExp_636 #) in readFail_820 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_819 farInp_859 farExp_860 else let _ = "choicesBranch.else" in catchHandler_590 callInput_623 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_634 farInp_635 farExp_636 in let _ = "pushValue" in let _ = "catch ExceptionFailure" in let catchHandler_861 (!_exn_862) (!failInp_863) (!farInp_864) (!farExp_865) = let _ = "catch.ko ExceptionFailure" in let _ = "loadInput" in let _ = "checkHorizon.noCheck" in catchHandler_632 Symantic.Parser.Grammar.Combinators.ExceptionFailure callInput_623 farInp_864 farExp_865 in let _ = "pushValue" in let _ = "comment: satisfy" in let inp_866 = callInput_623 in let readFail_867 = catchHandler_861 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2" in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 1 inp_866) then let _ = "checkToken" in let !(# c_868, cs_869 #) = readNext_3 inp_866 in if (GHC.Classes.==) 'i' c_868 then let _ = "comment: satisfy" in let _ = "checkHorizon.oldCheck: checkedHorizon=2" in let _ = "checkToken" in let !(# c_870, cs_871 #) = readNext_3 cs_869 in if (GHC.Classes.==) 'f' c_870 then let _ = "commit" in name_797 ( let _ = "suspend" in \farInp_872 farExp_873 v_874 (!inp_875) -> let _ = "commit" in let _ = "resume" in join_625 farInp_872 farExp_873 ( let _ = "resume.genCode" in v_874 ) inp_875 ) cs_871 Data.Map.Internal.Tip else let _ = "checkToken.fail" in let failExp_876 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'f' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_877, farExp_878 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_583 cs_869 of GHC.Types.LT -> (# cs_869, failExp_876 #) GHC.Types.EQ -> (# farInp_583, failExp_876 GHC.Base.<> farExp_584 #) GHC.Types.GT -> (# farInp_583, farExp_584 #) in readFail_867 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_869 farInp_877 farExp_878 else let _ = "checkToken.fail" in let failExp_879 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'i' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_880, farExp_881 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_583 inp_866 of GHC.Types.LT -> (# inp_866, failExp_879 #) GHC.Types.EQ -> (# farInp_583, failExp_879 GHC.Base.<> farExp_584 #) GHC.Types.GT -> (# farInp_583, farExp_584 #) in readFail_867 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_866 farInp_880 farExp_881 else let _ = "checkHorizon.newCheck.fail" in let failExp_882 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 2 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_883, farExp_884 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_583 inp_866 of GHC.Types.LT -> (# inp_866, failExp_882 #) GHC.Types.EQ -> (# farInp_583, failExp_882 GHC.Base.<> farExp_584 #) GHC.Types.GT -> (# farInp_583, farExp_584 #) in readFail_867 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_866 farInp_883 farExp_884 in let _ = "jump" in loop_621 callReturn_576 inp_586 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_580 Data.Map.Internal.Tip Data.Map.Internal.Tip) ) cs_582 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_580 Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "checkToken.fail" in let failExp_885 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken '{' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_886, farExp_887 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_579 of GHC.Types.LT -> (# inp_579, failExp_885 #) GHC.Types.EQ -> (# init_1, failExp_885 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_580 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_579 farInp_886 farExp_887 else let _ = "checkHorizon.newCheck.fail" in let failExp_888 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 2 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_889, farExp_890 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_579 of GHC.Types.LT -> (# inp_579, failExp_888 #) GHC.Types.EQ -> (# init_1, failExp_888 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_580 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_579 farInp_889 farExp_890 name_88 = \(!callReturn_891) (!callInput_892) (!callCatchStackByLabel_893) -> let _ = "pushValue" in let _ = "comment: satisfy" in let inp_894 = callInput_892 in let readFail_895 = Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_893 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=3" in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 2 inp_894) then let _ = "checkToken" in let !(# c_896, cs_897 #) = readNext_3 inp_894 in if (GHC.Classes.==) '[' c_896 then name_177 ( let _ = "suspend" in \farInp_898 farExp_899 v_900 (!inp_901) -> name_317 ( let _ = "suspend" in \farInp_902 farExp_903 v_904 (!inp_905) -> let _ = "pushValue" in do let dupv_906 = \x_907 -> x_907 reg_908 <- GHC.STRef.newSTRef dupv_906 let _ = "iter" in let catchHandler_909 loopInput_910 (!_exn_911) (!failInp_912) (!farInp_913) (!farExp_914) = let _ = "pushInput" in if ( \( Data.Text.Internal.Text _ i_915 _ ) ( Data.Text.Internal.Text _ j_916 _ ) -> i_915 GHC.Classes.== j_916 ) loopInput_910 failInp_912 then let _ = "choicesBranch.then" in do sr_917 <- GHC.STRef.readSTRef reg_908 let _ = "pushValue" in let _ = "comment: satisfy" in let inp_918 = failInp_912 in let readFail_919 = readFail_895 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2" in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 1 inp_918) then let _ = "checkToken" in let !(# c_920, cs_921 #) = readNext_3 inp_918 in if (GHC.Classes.==) ']' c_920 then name_177 ( let _ = "suspend" in \farInp_922 farExp_923 v_924 (!inp_925) -> let _ = "resume" in callReturn_891 farInp_922 farExp_923 ( let _ = "resume.genCode" in GHC.Tuple . () ) inp_925 ) cs_921 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_919 Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "checkToken.fail" in let failExp_926 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken ']' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_927, farExp_928 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_913 inp_918 of GHC.Types.LT -> (# inp_918, failExp_926 #) GHC.Types.EQ -> (# farInp_913, failExp_926 GHC.Base.<> farExp_914 #) GHC.Types.GT -> (# farInp_913, farExp_914 #) in readFail_919 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_918 farInp_927 farExp_928 else let _ = "checkHorizon.newCheck.fail" in let failExp_929 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 2 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_930, farExp_931 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_913 inp_918 of GHC.Types.LT -> (# inp_918, failExp_929 #) GHC.Types.EQ -> (# farInp_913, failExp_929 GHC.Base.<> farExp_914 #) GHC.Types.GT -> (# farInp_913, farExp_914 #) in readFail_919 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_918 farInp_930 farExp_931 else let _ = "choicesBranch.else" in readFail_895 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_912 farInp_913 farExp_914 loop_932 = \_callReturn_933 callInput_934 callCatchStackByLabel_935 -> let _ = "pushValue" in name_317 ( let _ = "suspend" in \farInp_936 farExp_937 v_938 (!inp_939) -> do sr_940 <- GHC.STRef.readSTRef reg_908 do let dupv_941 = sr_940 GHC.STRef.writeSTRef reg_908 dupv_941 let _ = "jump" in loop_932 (GHC.Err.error "invalid return") inp_939 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_909 callInput_934) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) callInput_934 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_909 callInput_934) Data.Map.Internal.Tip Data.Map.Internal.Tip) in let _ = "jump" in loop_932 callReturn_891 inp_905 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_895 Data.Map.Internal.Tip Data.Map.Internal.Tip) ) inp_901 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_895 Data.Map.Internal.Tip Data.Map.Internal.Tip) ) cs_897 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_895 Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "checkToken.fail" in let failExp_942 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken '[' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_943, farExp_944 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_894 of GHC.Types.LT -> (# inp_894, failExp_942 #) GHC.Types.EQ -> (# init_1, failExp_942 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_895 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_894 farInp_943 farExp_944 else let _ = "checkHorizon.newCheck.fail" in let failExp_945 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 3 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_946, farExp_947 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_894 of GHC.Types.LT -> (# inp_894, failExp_945 #) GHC.Types.EQ -> (# init_1, failExp_945 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_895 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_894 farInp_946 farExp_947 name_71 = \(!callReturn_948) (!callInput_949) (!callCatchStackByLabel_950) -> let _ = "pushValue" in let _ = "resume" in callReturn_948 init_1 Data.Set.Internal.empty ( let _ = "resume.genCode" in GHC.Tuple . () ) callInput_949 name_797 = \(!callReturn_951) (!callInput_952) (!callCatchStackByLabel_953) -> let _ = "pushValue" in let _ = "resume" in callReturn_951 init_1 Data.Set.Internal.empty ( let _ = "resume.genCode" in GHC.Tuple . () ) callInput_952 name_148 = \(!callReturn_954) (!callInput_955) (!callCatchStackByLabel_956) -> let _ = "pushValue" in let _ = "resume" in callReturn_954 init_1 Data.Set.Internal.empty ( let _ = "resume.genCode" in \x_957 -> \x_958 -> x_958 ) callInput_955 in let _ = "pushValue" in name_177 ( let _ = "suspend" in \farInp_959 farExp_960 v_961 (!inp_962) -> let _ = "pushValue" in do let dupv_963 = \x_964 -> x_964 reg_965 <- GHC.STRef.newSTRef dupv_963 let _ = "iter" in let catchHandler_966 loopInput_967 (!_exn_968) (!failInp_969) (!farInp_970) (!farExp_971) = let _ = "pushInput" in if ( \( Data.Text.Internal.Text _ i_972 _ ) ( Data.Text.Internal.Text _ j_973 _ ) -> i_972 GHC.Classes.== j_973 ) loopInput_967 failInp_969 then let _ = "choicesBranch.then" in do sr_974 <- GHC.STRef.readSTRef reg_965 name_71 ( let _ = "suspend" in \farInp_975 farExp_976 v_977 (!inp_978) -> name_71 ( let _ = "suspend" in \farInp_979 farExp_980 v_981 (!inp_982) -> let join_983 = \farInp_984 farExp_985 v_986 (!inp_987) -> let _ = "resume" in finalRet_13 farInp_984 farExp_985 ( let _ = "resume.genCode" in GHC.Show.show v_981 ) inp_987 in let _ = "catch ExceptionFailure" in let catchHandler_988 (!_exn_989) (!failInp_990) (!farInp_991) (!farExp_992) = let _ = "catch.ko ExceptionFailure" in let _ = "pushInput" in if ( \( Data.Text.Internal.Text _ i_993 _ ) ( Data.Text.Internal.Text _ j_994 _ ) -> i_993 GHC.Classes.== j_994 ) inp_982 failInp_990 then let _ = "choicesBranch.then" in let _ = "comment: eof.fail" in let failExp_995 = 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_996, farExp_997 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_991 failInp_990 of GHC.Types.LT -> (# failInp_990, failExp_995 #) GHC.Types.EQ -> (# farInp_991, failExp_995 GHC.Base.<> farExp_992 #) GHC.Types.GT -> (# farInp_991, farExp_992 #) in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_990 farInp_996 farExp_997 else let _ = "choicesBranch.else" in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_990 farInp_991 farExp_992 in let _ = "comment: negLook" in let _ = "catch ExceptionFailure" in let catchHandler_998 (!_exn_999) (!failInp_1000) (!farInp_1001) (!farExp_1002) = let _ = "catch.ko ExceptionFailure" in let _ = "comment: negLook.reset" in let _ = "loadInput" in let _ = "checkHorizon.noCheck" in let _ = "pushValue" in let _ = "commit" in let _ = "resume" in join_983 farInp_1001 farExp_1002 ( let _ = "resume.genCode" in GHC.Tuple . () ) inp_982 in let _ = "comment: negLook.ahead" in let _ = "pushInput" in let _ = "comment: satisfy" in let inp_1003 = inp_982 in let readFail_1004 = catchHandler_998 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1" in if readMore_2 inp_1003 then let _ = "checkToken" in let !(# c_1005, cs_1006 #) = readNext_3 inp_1003 in let _ = "popValue" in let _ = "commit" in let _ = "loadInput" in let _ = "checkHorizon.noCheck" in catchHandler_988 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_982 farInp_979 farExp_980 else let _ = "checkHorizon.newCheck.fail" in let failExp_1007 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 1 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_1008, farExp_1009 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_979 inp_1003 of GHC.Types.LT -> (# inp_1003, failExp_1007 #) GHC.Types.EQ -> (# farInp_979, failExp_1007 GHC.Base.<> farExp_980 #) GHC.Types.GT -> (# farInp_979, farExp_980 #) in readFail_1004 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_1003 farInp_1008 farExp_1009 ) inp_978 Data.Map.Internal.Tip ) failInp_969 Data.Map.Internal.Tip else let _ = "choicesBranch.else" in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_969 farInp_970 farExp_971 loop_1010 = \_callReturn_1011 callInput_1012 callCatchStackByLabel_1013 -> let _ = "pushValue" in let _ = "catch ExceptionFailure" in let catchHandler_1014 (!_exn_1015) (!failInp_1016) (!farInp_1017) (!farExp_1018) = let _ = "catch.ko ExceptionFailure" in let _ = "loadInput" in let _ = "checkHorizon.noCheck" in catchHandler_966 callInput_1012 Symantic.Parser.Grammar.Combinators.ExceptionFailure callInput_1012 farInp_1017 farExp_1018 in let _ = "pushValue" in let _ = "comment: satisfy" in let inp_1019 = callInput_1012 in let readFail_1020 = catchHandler_1014 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=10" in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 9 inp_1019) then let _ = "checkToken" in let !(# c_1021, cs_1022 #) = readNext_3 inp_1019 in if (GHC.Classes.==) 'f' c_1021 then let _ = "comment: satisfy" in let _ = "checkHorizon.oldCheck: checkedHorizon=10" in let _ = "checkToken" in let !(# c_1023, cs_1024 #) = readNext_3 cs_1022 in if (GHC.Classes.==) 'u' c_1023 then let _ = "comment: satisfy" in let _ = "checkHorizon.oldCheck: checkedHorizon=9" in let _ = "checkToken" in let !(# c_1025, cs_1026 #) = readNext_3 cs_1024 in if (GHC.Classes.==) 'n' c_1025 then let _ = "comment: satisfy" in let _ = "checkHorizon.oldCheck: checkedHorizon=8" in let _ = "checkToken" in let !(# c_1027, cs_1028 #) = readNext_3 cs_1026 in if (GHC.Classes.==) 'c' c_1027 then let _ = "comment: satisfy" in let _ = "checkHorizon.oldCheck: checkedHorizon=7" in let _ = "checkToken" in let !(# c_1029, cs_1030 #) = readNext_3 cs_1028 in if (GHC.Classes.==) 't' c_1029 then let _ = "comment: satisfy" in let _ = "checkHorizon.oldCheck: checkedHorizon=6" in let _ = "checkToken" in let !(# c_1031, cs_1032 #) = readNext_3 cs_1030 in if (GHC.Classes.==) 'i' c_1031 then let _ = "comment: satisfy" in let _ = "checkHorizon.oldCheck: checkedHorizon=5" in let _ = "checkToken" in let !(# c_1033, cs_1034 #) = readNext_3 cs_1032 in if (GHC.Classes.==) 'o' c_1033 then let _ = "comment: satisfy" in let _ = "checkHorizon.oldCheck: checkedHorizon=4" in let _ = "checkToken" in let !(# c_1035, cs_1036 #) = readNext_3 cs_1034 in if (GHC.Classes.==) 'n' c_1035 then let _ = "commit" in name_797 ( let _ = "suspend" in \farInp_1037 farExp_1038 v_1039 (!inp_1040) -> name_54 ( let _ = "suspend" in \farInp_1041 farExp_1042 v_1043 (!inp_1044) -> name_93 ( let _ = "suspend" in \farInp_1045 farExp_1046 v_1047 (!inp_1048) -> name_263 ( let _ = "suspend" in \farInp_1049 farExp_1050 v_1051 (!inp_1052) -> let join_1053 = \farInp_1054 farExp_1055 v_1056 (!inp_1057) -> name_103 ( let _ = "suspend" in \farInp_1058 farExp_1059 v_1060 (!inp_1061) -> name_575 ( let _ = "suspend" in \farInp_1062 farExp_1063 v_1064 (!inp_1065) -> do sr_1066 <- GHC.STRef.readSTRef reg_965 do let dupv_1067 = sr_1066 GHC.STRef.writeSTRef reg_965 dupv_1067 let _ = "jump" in loop_1010 (GHC.Err.error "invalid return") inp_1065 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_966 callInput_1012) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) inp_1061 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_966 callInput_1012) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) inp_1057 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_966 callInput_1012) Data.Map.Internal.Tip Data.Map.Internal.Tip) in let _ = "catch ExceptionFailure" in let catchHandler_1068 (!_exn_1069) (!failInp_1070) (!farInp_1071) (!farExp_1072) = let _ = "catch.ko ExceptionFailure" in let _ = "pushInput" in if ( \( Data.Text.Internal.Text _ i_1073 _ ) ( Data.Text.Internal.Text _ j_1074 _ ) -> i_1073 GHC.Classes.== j_1074 ) inp_1052 failInp_1070 then let _ = "choicesBranch.then" in name_71 ( let _ = "suspend" in \farInp_1075 farExp_1076 v_1077 (!inp_1078) -> let _ = "resume" in join_1053 farInp_1075 farExp_1076 ( let _ = "resume.genCode" in v_1077 ) inp_1078 ) failInp_1070 Data.Map.Internal.Tip else let _ = "choicesBranch.else" in catchHandler_966 callInput_1012 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_1070 farInp_1071 farExp_1072 in let _ = "pushValue" in let _ = "comment: satisfy" in let inp_1079 = inp_1052 in let readFail_1080 = catchHandler_1068 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=6" in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 5 inp_1079) then let _ = "checkToken" in let !(# c_1081, cs_1082 #) = readNext_3 inp_1079 in if (GHC.Classes.==) ':' c_1081 then name_177 ( let _ = "suspend" in \farInp_1083 farExp_1084 v_1085 (!inp_1086) -> name_263 ( let _ = "suspend" in \farInp_1087 farExp_1088 v_1089 (!inp_1090) -> let _ = "commit" in let _ = "resume" in join_1053 farInp_1087 farExp_1088 ( let _ = "resume.genCode" in GHC.Tuple . () ) inp_1090 ) inp_1086 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_1080 Data.Map.Internal.Tip Data.Map.Internal.Tip) ) cs_1082 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_1080 Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "checkToken.fail" in let failExp_1091 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken ':' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_1092, farExp_1093 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_1049 inp_1079 of GHC.Types.LT -> (# inp_1079, failExp_1091 #) GHC.Types.EQ -> (# farInp_1049, failExp_1091 GHC.Base.<> farExp_1050 #) GHC.Types.GT -> (# farInp_1049, farExp_1050 #) in readFail_1080 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_1079 farInp_1092 farExp_1093 else let _ = "checkHorizon.newCheck.fail" in let failExp_1094 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 6 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_1095, farExp_1096 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_1049 inp_1079 of GHC.Types.LT -> (# inp_1079, failExp_1094 #) GHC.Types.EQ -> (# farInp_1049, failExp_1094 GHC.Base.<> farExp_1050 #) GHC.Types.GT -> (# farInp_1049, farExp_1050 #) in readFail_1080 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_1079 farInp_1095 farExp_1096 ) inp_1048 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_966 callInput_1012) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) inp_1044 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_966 callInput_1012) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) inp_1040 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_966 callInput_1012) Data.Map.Internal.Tip Data.Map.Internal.Tip) ) cs_1036 Data.Map.Internal.Tip else let _ = "checkToken.fail" in let failExp_1097 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'n' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_1098, farExp_1099 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_959 cs_1034 of GHC.Types.LT -> (# cs_1034, failExp_1097 #) GHC.Types.EQ -> (# farInp_959, failExp_1097 GHC.Base.<> farExp_960 #) GHC.Types.GT -> (# farInp_959, farExp_960 #) in readFail_1020 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1034 farInp_1098 farExp_1099 else let _ = "checkToken.fail" in let failExp_1100 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'o' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_1101, farExp_1102 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_959 cs_1032 of GHC.Types.LT -> (# cs_1032, failExp_1100 #) GHC.Types.EQ -> (# farInp_959, failExp_1100 GHC.Base.<> farExp_960 #) GHC.Types.GT -> (# farInp_959, farExp_960 #) in readFail_1020 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1032 farInp_1101 farExp_1102 else let _ = "checkToken.fail" in let failExp_1103 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'i' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_1104, farExp_1105 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_959 cs_1030 of GHC.Types.LT -> (# cs_1030, failExp_1103 #) GHC.Types.EQ -> (# farInp_959, failExp_1103 GHC.Base.<> farExp_960 #) GHC.Types.GT -> (# farInp_959, farExp_960 #) in readFail_1020 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1030 farInp_1104 farExp_1105 else let _ = "checkToken.fail" in let failExp_1106 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 't' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_1107, farExp_1108 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_959 cs_1028 of GHC.Types.LT -> (# cs_1028, failExp_1106 #) GHC.Types.EQ -> (# farInp_959, failExp_1106 GHC.Base.<> farExp_960 #) GHC.Types.GT -> (# farInp_959, farExp_960 #) in readFail_1020 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1028 farInp_1107 farExp_1108 else let _ = "checkToken.fail" in let failExp_1109 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'c' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_1110, farExp_1111 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_959 cs_1026 of GHC.Types.LT -> (# cs_1026, failExp_1109 #) GHC.Types.EQ -> (# farInp_959, failExp_1109 GHC.Base.<> farExp_960 #) GHC.Types.GT -> (# farInp_959, farExp_960 #) in readFail_1020 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1026 farInp_1110 farExp_1111 else let _ = "checkToken.fail" in let failExp_1112 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'n' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_1113, farExp_1114 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_959 cs_1024 of GHC.Types.LT -> (# cs_1024, failExp_1112 #) GHC.Types.EQ -> (# farInp_959, failExp_1112 GHC.Base.<> farExp_960 #) GHC.Types.GT -> (# farInp_959, farExp_960 #) in readFail_1020 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1024 farInp_1113 farExp_1114 else let _ = "checkToken.fail" in let failExp_1115 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'u' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_1116, farExp_1117 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_959 cs_1022 of GHC.Types.LT -> (# cs_1022, failExp_1115 #) GHC.Types.EQ -> (# farInp_959, failExp_1115 GHC.Base.<> farExp_960 #) GHC.Types.GT -> (# farInp_959, farExp_960 #) in readFail_1020 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1022 farInp_1116 farExp_1117 else let _ = "checkToken.fail" in let failExp_1118 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'f' ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_1119, farExp_1120 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_959 inp_1019 of GHC.Types.LT -> (# inp_1019, failExp_1118 #) GHC.Types.EQ -> (# farInp_959, failExp_1118 GHC.Base.<> farExp_960 #) GHC.Types.GT -> (# farInp_959, farExp_960 #) in readFail_1020 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_1019 farInp_1119 farExp_1120 else let _ = "checkHorizon.newCheck.fail" in let failExp_1121 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 10 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_1122, farExp_1123 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_959 inp_1019 of GHC.Types.LT -> (# inp_1019, failExp_1121 #) GHC.Types.EQ -> (# farInp_959, failExp_1121 GHC.Base.<> farExp_960 #) GHC.Types.GT -> (# farInp_959, farExp_960 #) in readFail_1020 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_1019 farInp_1122 farExp_1123 in let _ = "jump" in loop_1010 finalRet_13 inp_962 Data.Map.Internal.Tip ) inp_34 Data.Map.Internal.Tip else let _ = "checkHorizon.newCheck.fail" in let failExp_1124 = Data.Set.Internal.Bin 1 ( Symantic.Parser.Grammar.Combinators.SomeFailure ( case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 1 ) ) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_1125, farExp_1126 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_34 of GHC.Types.LT -> (# inp_34, failExp_1124 #) GHC.Types.EQ -> (# init_1, failExp_1124 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_34 farInp_1125 farExp_1126 )