]> Git — Sourcephile - haskell/symantic-parser.git/blob - tests/Golden/Splice/G14.expected.txt
sourcephile / git / haskell / symantic-parser.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
iface: remove `satisfyOrFail`
[haskell/symantic-parser.git] / tests / Golden / Splice / G14.expected.txt
1 \(input_0 :: inp_6989586621679325983) ->
2 let !(#
3 initBuffer_1,
4 initPos_2,
5 readMore_3,
6 readNext_4,
7 append_5
8 #) =
9 let next_6 buf_7 pos_8 =
10 let !( Data.Text.Unsafe.Iter
11 c_9
12 d_10
13 ) = Symantic.Parser.Machine.Input.Text.Buffer.iter buf_7 pos_8
14 in (#
15 c_9,
16 pos_8 GHC.Num.+ d_10
17 #)
18 more_11 buf_12 pos_13 = pos_13 GHC.Classes.< Symantic.Parser.Machine.Input.Text.Buffer.length buf_12
19 append_14 = Symantic.Parser.Machine.Input.Text.Buffer.pappend
20 in (#
21 Symantic.Parser.Machine.Input.Text.Buffer.buffer input_0,
22 0,
23 more_11,
24 next_6,
25 append_14
26 #)
27 finalRet_15 = \_farInp_16 _farExp_17 v_18 _inp_19 _buf_20 _end_21 -> Symantic.Parser.Machine.Generate.returnST GHC.Base.$ Symantic.Parser.Machine.Generate.ResultDone v_18
28 finalRaise_22 :: Symantic.Parser.Machine.Generate.ForallOnException inp_6989586621679325983 =
29 Symantic.Parser.Machine.Generate.ForallOnException GHC.Base.$
30 ( \(!exn_23) _failInp_24 (!farInp_25) (!farExp_26) buf_27 end_28 ->
31 Symantic.Parser.Machine.Generate.returnST GHC.Base.$
32 Symantic.Parser.Machine.Generate.ResultError
33 Symantic.Parser.Machine.Generate.ParsingError
34 { Symantic.Parser.Machine.Generate.parsingErrorOffset = Symantic.Parser.Machine.Input.position farInp_25,
35 Symantic.Parser.Machine.Generate.parsingErrorException = exn_23,
36 Symantic.Parser.Machine.Generate.parsingErrorUnexpected =
37 if readMore_3 buf_27 farInp_25
38 then
39 GHC.Maybe.Just
40 ( let (#
41 c_29,
42 _
43 #) = readNext_4 buf_27 farInp_25
44 in c_29
45 )
46 else GHC.Maybe.Nothing,
47 Symantic.Parser.Machine.Generate.parsingErrorExpecting =
48 let ( minHoriz_30,
49 res_31
50 ) =
51 Data.Set.Internal.foldr
52 ( \f_32
53 ( minH_33,
54 acc_34
55 ) -> case Symantic.Parser.Grammar.Combinators.unSomeFailure f_32 of
56 GHC.Maybe.Just (Symantic.Parser.Grammar.Combinators.FailureHorizon h_35 :: Symantic.Parser.Grammar.Combinators.Failure (Symantic.Parser.Grammar.Combinators.CombSatisfiable (Symantic.Parser.Machine.Input.InputToken inp_6989586621679325983)))
57 | GHC.Maybe.Just old_36 <- minH_33 ->
58 ( GHC.Maybe.Just (GHC.Classes.min old_36 h_35),
59 acc_34
60 )
61 | GHC.Base.otherwise ->
62 ( GHC.Maybe.Just h_35,
63 acc_34
64 )
65 _ ->
66 ( minH_33,
67 f_32 GHC.Types.: acc_34
68 )
69 )
70 ( GHC.Maybe.Nothing,
71 GHC.Types . []
72 )
73 farExp_26
74 in Data.Set.Internal.fromList GHC.Base.$
75 ( case minHoriz_30 of
76 GHC.Maybe.Just h_37 -> Symantic.Parser.Grammar.Combinators.SomeFailure (Symantic.Parser.Grammar.Combinators.FailureHorizon @(Symantic.Parser.Machine.Input.InputToken inp_6989586621679325983) h_37) GHC.Types.: res_31
77 GHC.Maybe.Nothing -> res_31
78 )
79 }
80 )
81 in let inputToken = Data.Proxy.Proxy :: Data.Proxy.Proxy (Symantic.Parser.Machine.Input.InputToken inp_6989586621679325983)
82 in let partialCont_38 buf_39 =
83 let readFail_40 = Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22
84 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
85 in if readMore_3 buf_39 initPos_2
86 then
87 let name_41 = \(!callerOnReturn_42) (!callerInput_43) (!callerBuffer_44) (!callerEnd_45) (!callerOnExceptionStackByLabel_46) ->
88 let _ = "catch ExceptionFailure checkedHorizon=0"
89 in let onException_47 =
90 let _ = "onException"
91 in \(!_exn_48) (!failInp_49) (!farInp_50) (!farExp_51) buf_52 end_53 ->
92 let _ = "comment: raiseAgainIfConsumed"
93 in let _ = "saveInput checkedHorizon=0"
94 in let _ = "lift2Value checkedHorizon=0"
95 in if (GHC.Classes.==) @GHC.Types.Int callerInput_43 failInp_49
96 then
97 let _ = "choicesBranch checkedHorizon=0"
98 in let _ = "catch ExceptionFailure checkedHorizon=0"
99 in let onException_54 =
100 let _ = "onException"
101 in \(!_exn_55) (!failInp_56) (!farInp_57) (!farExp_58) buf_59 end_60 ->
102 let _ = "comment: raiseAgainIfConsumed"
103 in let _ = "saveInput checkedHorizon=0"
104 in let _ = "lift2Value checkedHorizon=0"
105 in if (GHC.Classes.==) @GHC.Types.Int failInp_49 failInp_56
106 then
107 let _ = "choicesBranch checkedHorizon=0"
108 in let _ = "pushValue"
109 in name_61
110 ( let _ = "onReturn"
111 in \farInp_62 farExp_63 v_64 (!inp_65) buf_66 end_67 ->
112 let _ = "lift2Value checkedHorizon=0"
113 in let join_68 = \farInp_69 farExp_70 v_71 (!inp_72) buf_73 end_74 ->
114 let _ = "lift2Value checkedHorizon=0"
115 in let _ = "resume"
116 in callerOnReturn_42
117 farInp_69
118 farExp_70
119 ( let _ = "resume.genCode"
120 in v_71
121 )
122 inp_72
123 buf_73
124 end_74
125 in let _ = "catch ExceptionFailure checkedHorizon=0"
126 in let onException_75 =
127 let _ = "onException"
128 in \(!_exn_76) (!failInp_77) (!farInp_78) (!farExp_79) buf_80 end_81 ->
129 let _ = "comment: raiseAgainIfConsumed"
130 in let _ = "saveInput checkedHorizon=0"
131 in let _ = "lift2Value checkedHorizon=0"
132 in if (GHC.Classes.==) @GHC.Types.Int inp_65 failInp_77
133 then
134 let _ = "choicesBranch checkedHorizon=0"
135 in name_82
136 ( let _ = "onReturn"
137 in \farInp_83 farExp_84 v_85 (!inp_86) buf_87 end_88 ->
138 let _ = "resume"
139 in join_68
140 farInp_83
141 farExp_84
142 ( let _ = "resume.genCode"
143 in v_85
144 )
145 inp_86
146 buf_87
147 end_88
148 )
149 failInp_77
150 buf_80
151 end_81
152 Data.Map.Internal.Tip
153 else
154 let _ = "choicesBranch.else"
155 in Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_46 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_77 farInp_78 farExp_79 buf_80 end_81
156 in let _ = "pushValue"
157 in let join_89 = \farInp_90 farExp_91 v_92 (!inp_93) buf_94 end_95 ->
158 let _ = "lift2Value checkedHorizon=0"
159 in let _ = "commit"
160 in let _ = "resume"
161 in join_68
162 farInp_90
163 farExp_91
164 ( let _ = "resume.genCode"
165 in GHC.Tuple . ()
166 )
167 inp_93
168 buf_94
169 end_95
170 in let _ = "catch ExceptionFailure checkedHorizon=0"
171 in let onException_96 =
172 let _ = "onException"
173 in \(!_exn_97) (!failInp_98) (!farInp_99) (!farExp_100) buf_101 end_102 ->
174 let _ = "comment: raiseAgainIfConsumed"
175 in let _ = "saveInput checkedHorizon=0"
176 in let _ = "lift2Value checkedHorizon=0"
177 in if (GHC.Classes.==) @GHC.Types.Int inp_65 failInp_98
178 then
179 let _ = "choicesBranch checkedHorizon=0"
180 in name_103
181 ( let _ = "onReturn"
182 in \farInp_104 farExp_105 v_106 (!inp_107) buf_108 end_109 ->
183 let _ = "resume"
184 in join_89
185 farInp_104
186 farExp_105
187 ( let _ = "resume.genCode"
188 in v_106
189 )
190 inp_107
191 buf_108
192 end_109
193 )
194 failInp_98
195 buf_101
196 end_102
197 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException_75 Data.Map.Internal.Tip Data.Map.Internal.Tip)
198 else
199 let _ = "choicesBranch.else"
200 in onException_75 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_98 farInp_99 farExp_100 buf_101 end_102
201 in let _ = "pushValue"
202 in name_110
203 ( let _ = "onReturn"
204 in \farInp_111 farExp_112 v_113 (!inp_114) buf_115 end_116 ->
205 let _ = "lift2Value checkedHorizon=0"
206 in let join_117 = \farInp_118 farExp_119 v_120 (!inp_121) buf_122 end_123 ->
207 let _ = "lift2Value checkedHorizon=0"
208 in name_124
209 ( let _ = "onReturn"
210 in \farInp_125 farExp_126 v_127 (!inp_128) buf_129 end_130 ->
211 let _ = "lift2Value checkedHorizon=0"
212 in let _ = "commit"
213 in let _ = "resume"
214 in join_89
215 farInp_125
216 farExp_126
217 ( let _ = "resume.genCode"
218 in v_120
219 )
220 inp_128
221 buf_129
222 end_130
223 )
224 inp_121
225 buf_122
226 end_123
227 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException_96 Data.Map.Internal.Tip Data.Map.Internal.Tip)
228 in let _ = "catch ExceptionFailure checkedHorizon=0"
229 in let onException_131 =
230 let _ = "onException"
231 in \(!_exn_132) (!failInp_133) (!farInp_134) (!farExp_135) buf_136 end_137 ->
232 let _ = "comment: raiseAgainIfConsumed"
233 in let _ = "saveInput checkedHorizon=0"
234 in let _ = "lift2Value checkedHorizon=0"
235 in if (GHC.Classes.==) @GHC.Types.Int inp_114 failInp_133
236 then
237 let _ = "choicesBranch checkedHorizon=0"
238 in name_82
239 ( let _ = "onReturn"
240 in \farInp_138 farExp_139 v_140 (!inp_141) buf_142 end_143 ->
241 let _ = "resume"
242 in join_117
243 farInp_138
244 farExp_139
245 ( let _ = "resume.genCode"
246 in v_140
247 )
248 inp_141
249 buf_142
250 end_143
251 )
252 failInp_133
253 buf_136
254 end_137
255 Data.Map.Internal.Tip
256 else
257 let _ = "choicesBranch.else"
258 in onException_96 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_133 farInp_134 farExp_135 buf_136 end_137
259 in let _ = "pushValue"
260 in name_144
261 ( let _ = "onReturn"
262 in \farInp_145 farExp_146 v_147 (!inp_148) buf_149 end_150 ->
263 let _ = "lift2Value checkedHorizon=0"
264 in let _ = "pushValue"
265 in do
266 let dupv_151 = \u_152 -> u_152
267 reg_153 <- GHC.STRef.newSTRef dupv_151
268 let _ = "iter"
269 in let onException_154 loopInput_155 =
270 let _ = "onException"
271 in \(!_exn_156) (!failInp_157) (!farInp_158) (!farExp_159) buf_160 end_161 ->
272 let _ = "comment: raiseAgainIfConsumed"
273 in let _ = "saveInput checkedHorizon=0"
274 in let _ = "lift2Value checkedHorizon=0"
275 in if (GHC.Classes.==) @GHC.Types.Int loopInput_155 failInp_157
276 then
277 let _ = "choicesBranch checkedHorizon=0"
278 in do
279 sr_162 <- GHC.STRef.readSTRef reg_153
280 name_163
281 ( let _ = "onReturn"
282 in \farInp_164 farExp_165 v_166 (!inp_167) buf_168 end_169 ->
283 let _ = "lift2Value checkedHorizon=0"
284 in let _ = "lift2Value checkedHorizon=0"
285 in name_82
286 ( let _ = "onReturn"
287 in \farInp_170 farExp_171 v_172 (!inp_173) buf_174 end_175 ->
288 let _ = "lift2Value checkedHorizon=0"
289 in let _ = "commit"
290 in let _ = "resume"
291 in join_117
292 farInp_170
293 farExp_171
294 ( let _ = "resume.genCode"
295 in GHC.Tuple . ()
296 )
297 inp_173
298 buf_174
299 end_175
300 )
301 inp_167
302 buf_168
303 end_169
304 Data.Map.Internal.Tip
305 )
306 failInp_157
307 buf_160
308 end_161
309 Data.Map.Internal.Tip
310 else
311 let _ = "choicesBranch.else"
312 in onException_131 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_157 farInp_158 farExp_159 buf_160 end_161
313 loop_176 = \_callerOnReturn_177 callerInput_178 callerBuffer_179 callerEnded_180 callerOnExceptionStackByLabel_181 ->
314 let _ = "pushValue"
315 in name_182
316 ( let _ = "onReturn"
317 in \farInp_183 farExp_184 v_185 (!inp_186) buf_187 end_188 ->
318 let _ = "lift2Value checkedHorizon=0"
319 in name_189
320 ( let _ = "onReturn"
321 in \farInp_190 farExp_191 v_192 (!inp_193) buf_194 end_195 ->
322 let _ = "lift2Value checkedHorizon=0"
323 in name_144
324 ( let _ = "onReturn"
325 in \farInp_196 farExp_197 v_198 (!inp_199) buf_200 end_201 ->
326 let _ = "lift2Value checkedHorizon=0"
327 in do
328 sr_202 <- GHC.STRef.readSTRef reg_153
329 let _ = "lift2Value checkedHorizon=0"
330 in do
331 let dupv_203 = v_185 v_198 sr_202
332 GHC.STRef.writeSTRef reg_153 dupv_203
333 let _ = "jump"
334 in loop_176 (GHC.Err.error "invalid onReturn") inp_199 buf_200 end_201 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_154 callerInput_178) Data.Map.Internal.Tip Data.Map.Internal.Tip)
335 )
336 inp_193
337 buf_194
338 end_195
339 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_154 callerInput_178) Data.Map.Internal.Tip Data.Map.Internal.Tip)
340 )
341 inp_186
342 buf_187
343 end_188
344 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_154 callerInput_178) Data.Map.Internal.Tip Data.Map.Internal.Tip)
345 )
346 callerInput_178
347 callerBuffer_179
348 callerEnded_180
349 Data.Map.Internal.Tip
350 in let _ = "jump"
351 in loop_176 callerOnReturn_42 inp_148 buf_149 end_150 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException_131 Data.Map.Internal.Tip Data.Map.Internal.Tip)
352 )
353 inp_114
354 buf_115
355 end_116
356 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException_131 Data.Map.Internal.Tip Data.Map.Internal.Tip)
357 )
358 inp_65
359 buf_66
360 end_67
361 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException_96 Data.Map.Internal.Tip Data.Map.Internal.Tip)
362 )
363 failInp_56
364 buf_59
365 end_60
366 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_46) Data.Map.Internal.Tip Data.Map.Internal.Tip)
367 else
368 let _ = "choicesBranch.else"
369 in Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_46 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_56 farInp_57 farExp_58 buf_59 end_60
370 in let _ = "pushValue"
371 in let _ = "comment: satisfy ((GHC.Classes.==) '\\'')"
372 in let partialCont_204 buf_205 =
373 let readFail_206 = onException_54
374 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=4"
375 in if readMore_3 buf_205 ((GHC.Num.+) @GHC.Types.Int 3 failInp_49)
376 then
377 let _ = "checkToken"
378 in let !(#
379 c_207,
380 cs_208
381 #) = readNext_4 buf_205 failInp_49
382 in if (GHC.Classes.==) '\'' c_207
383 then
384 let _ = "lift2Value checkedHorizon=4"
385 in let join_209 = \farInp_210 farExp_211 v_212 (!inp_213) buf_214 end_215 ->
386 let _ = "lift2Value checkedHorizon=0"
387 in let _ = "comment: satisfy ((GHC.Classes.==) '\\'')"
388 in let partialCont_216 buf_217 =
389 let readFail_218 = readFail_206
390 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
391 in if readMore_3 buf_217 ((GHC.Num.+) @GHC.Types.Int 1 inp_213)
392 then
393 let _ = "checkToken"
394 in let !(#
395 c_219,
396 cs_220
397 #) = readNext_4 buf_217 inp_213
398 in if (GHC.Classes.==) '\'' c_219
399 then
400 let _ = "lift2Value checkedHorizon=2"
401 in name_221
402 ( let _ = "onReturn"
403 in \farInp_222 farExp_223 v_224 (!inp_225) buf_226 end_227 ->
404 let _ = "lift2Value checkedHorizon=0"
405 in let _ = "commit"
406 in let _ = "resume"
407 in callerOnReturn_42
408 farInp_222
409 farExp_223
410 ( let _ = "resume.genCode"
411 in v_212
412 )
413 inp_225
414 buf_226
415 end_227
416 )
417 cs_220
418 buf_217
419 end_215
420 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_218 Data.Map.Internal.Tip Data.Map.Internal.Tip)
421 else
422 let _ = "checkToken.fail"
423 in let failExp_228 =
424 Data.Set.Internal.Bin
425 1
426 ( Symantic.Parser.Grammar.Combinators.SomeFailure
427 ( case inputToken of
428 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '\''
429 )
430 )
431 Data.Set.Internal.Tip
432 Data.Set.Internal.Tip
433 in let (#
434 farInp_229,
435 farExp_230
436 #) = case GHC.Classes.compare @GHC.Types.Int farInp_210 inp_213 of
437 GHC.Types.LT ->
438 (#
439 inp_213,
440 failExp_228
441 #)
442 GHC.Types.EQ ->
443 (#
444 farInp_210,
445 failExp_228 GHC.Base.<> farExp_211
446 #)
447 GHC.Types.GT ->
448 (#
449 farInp_210,
450 farExp_211
451 #)
452 in readFail_218 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_213 farInp_229 farExp_230 buf_217 end_215
453 else
454 let _ = "checkHorizon.newCheck.fail"
455 in let noMoreInput_231 =
456 let failExp_232 =
457 Data.Set.Internal.Bin
458 1
459 ( Symantic.Parser.Grammar.Combinators.SomeFailure
460 ( case inputToken of
461 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 2
462 )
463 )
464 Data.Set.Internal.Tip
465 Data.Set.Internal.Tip
466 in let (#
467 farInp_233,
468 farExp_234
469 #) = case GHC.Classes.compare @GHC.Types.Int farInp_210 inp_213 of
470 GHC.Types.LT ->
471 (#
472 inp_213,
473 failExp_232
474 #)
475 GHC.Types.EQ ->
476 (#
477 farInp_210,
478 failExp_232 GHC.Base.<> farExp_211
479 #)
480 GHC.Types.GT ->
481 (#
482 farInp_210,
483 farExp_211
484 #)
485 in readFail_218 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_213 farInp_233 farExp_234 buf_217 GHC.Types.True
486 in if end_215
487 then noMoreInput_231
488 else
489 Symantic.Parser.Machine.Generate.returnST GHC.Base.$
490 ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
491 ( \newInput_235 ->
492 if Symantic.Parser.Machine.Input.nullInput newInput_235
493 then noMoreInput_231
494 else partialCont_216 (append_5 buf_217 newInput_235)
495 )
496 )
497 in partialCont_216 buf_214
498 in let _ = "catch ExceptionFailure checkedHorizon=4"
499 in let onException_236 =
500 let _ = "onException"
501 in \(!_exn_237) (!failInp_238) (!farInp_239) (!farExp_240) buf_241 end_242 ->
502 let _ = "comment: raiseAgainIfConsumed"
503 in let _ = "saveInput checkedHorizon=0"
504 in let _ = "lift2Value checkedHorizon=0"
505 in if (GHC.Classes.==) @GHC.Types.Int cs_208 failInp_238
506 then
507 let _ = "choicesBranch checkedHorizon=0"
508 in let _ = "pushValue"
509 in let _ = "comment: satisfy ((GHC.Classes.==) '\\\\')"
510 in let partialCont_243 buf_244 =
511 let readFail_245 = readFail_206
512 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=4"
513 in if readMore_3 buf_244 ((GHC.Num.+) @GHC.Types.Int 3 failInp_238)
514 then
515 let _ = "checkToken"
516 in let !(#
517 c_246,
518 cs_247
519 #) = readNext_4 buf_244 failInp_238
520 in if (GHC.Classes.==) '\\' c_246
521 then
522 let _ = "lift2Value checkedHorizon=4"
523 in let _ = "comment: satisfy (\\t_0 -> ('0' GHC.Classes.== t_0) GHC.Classes.|| (('t' GHC.Classes.== t_0) GHC.Classes.|| (('n' GHC.Classes.== t_0) GHC.Classes.|| (('v' GHC.Classes.== t_0) GHC.Classes.|| (('f' GHC.Classes.== t_0) GHC.Classes.|| (('r' GHC.Classes.== t_0) GHC.Classes.|| GHC.Types.False))))))"
524 in let _ = "checkHorizon.oldCheck: checkedHorizon=4"
525 in let _ = "checkToken"
526 in let !(#
527 c_248,
528 cs_249
529 #) = readNext_4 buf_244 cs_247
530 in if (\t_250 -> ('0' GHC.Classes.== t_250) GHC.Classes.|| (('t' GHC.Classes.== t_250) GHC.Classes.|| (('n' GHC.Classes.== t_250) GHC.Classes.|| (('v' GHC.Classes.== t_250) GHC.Classes.|| (('f' GHC.Classes.== t_250) GHC.Classes.|| (('r' GHC.Classes.== t_250) GHC.Classes.|| GHC.Types.False)))))) c_248
531 then
532 let _ = "lift2Value checkedHorizon=3"
533 in name_82
534 ( let _ = "onReturn"
535 in \farInp_251 farExp_252 v_253 (!inp_254) buf_255 end_256 ->
536 let _ = "lift2Value checkedHorizon=0"
537 in let _ = "resume"
538 in join_209
539 farInp_251
540 farExp_252
541 ( let _ = "resume.genCode"
542 in v_253
543 )
544 inp_254
545 buf_255
546 end_256
547 )
548 cs_249
549 buf_244
550 end_242
551 Data.Map.Internal.Tip
552 else
553 let _ = "checkToken.fail"
554 in let failExp_257 =
555 Data.Set.Internal.Bin
556 6
557 ( Symantic.Parser.Grammar.Combinators.SomeFailure
558 ( case inputToken of
559 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'n'
560 )
561 )
562 ( Data.Set.Internal.Bin
563 2
564 ( Symantic.Parser.Grammar.Combinators.SomeFailure
565 ( case inputToken of
566 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '0'
567 )
568 )
569 Data.Set.Internal.Tip
570 ( Data.Set.Internal.Bin
571 1
572 ( Symantic.Parser.Grammar.Combinators.SomeFailure
573 ( case inputToken of
574 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'f'
575 )
576 )
577 Data.Set.Internal.Tip
578 Data.Set.Internal.Tip
579 )
580 )
581 ( Data.Set.Internal.Bin
582 3
583 ( Symantic.Parser.Grammar.Combinators.SomeFailure
584 ( case inputToken of
585 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 't'
586 )
587 )
588 ( Data.Set.Internal.Bin
589 1
590 ( Symantic.Parser.Grammar.Combinators.SomeFailure
591 ( case inputToken of
592 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'r'
593 )
594 )
595 Data.Set.Internal.Tip
596 Data.Set.Internal.Tip
597 )
598 ( Data.Set.Internal.Bin
599 1
600 ( Symantic.Parser.Grammar.Combinators.SomeFailure
601 ( case inputToken of
602 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'v'
603 )
604 )
605 Data.Set.Internal.Tip
606 Data.Set.Internal.Tip
607 )
608 )
609 in let (#
610 farInp_258,
611 farExp_259
612 #) = case GHC.Classes.compare @GHC.Types.Int farInp_239 cs_247 of
613 GHC.Types.LT ->
614 (#
615 cs_247,
616 failExp_257
617 #)
618 GHC.Types.EQ ->
619 (#
620 farInp_239,
621 failExp_257 GHC.Base.<> farExp_240
622 #)
623 GHC.Types.GT ->
624 (#
625 farInp_239,
626 farExp_240
627 #)
628 in readFail_245 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_247 farInp_258 farExp_259 buf_244 end_242
629 else
630 let _ = "checkToken.fail"
631 in let failExp_260 =
632 Data.Set.Internal.Bin
633 1
634 ( Symantic.Parser.Grammar.Combinators.SomeFailure
635 ( case inputToken of
636 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '\\'
637 )
638 )
639 Data.Set.Internal.Tip
640 Data.Set.Internal.Tip
641 in let (#
642 farInp_261,
643 farExp_262
644 #) = case GHC.Classes.compare @GHC.Types.Int farInp_239 failInp_238 of
645 GHC.Types.LT ->
646 (#
647 failInp_238,
648 failExp_260
649 #)
650 GHC.Types.EQ ->
651 (#
652 farInp_239,
653 failExp_260 GHC.Base.<> farExp_240
654 #)
655 GHC.Types.GT ->
656 (#
657 farInp_239,
658 farExp_240
659 #)
660 in readFail_245 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_238 farInp_261 farExp_262 buf_244 end_242
661 else
662 let _ = "checkHorizon.newCheck.fail"
663 in let noMoreInput_263 =
664 let failExp_264 =
665 Data.Set.Internal.Bin
666 1
667 ( Symantic.Parser.Grammar.Combinators.SomeFailure
668 ( case inputToken of
669 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 4
670 )
671 )
672 Data.Set.Internal.Tip
673 Data.Set.Internal.Tip
674 in let (#
675 farInp_265,
676 farExp_266
677 #) = case GHC.Classes.compare @GHC.Types.Int farInp_239 failInp_238 of
678 GHC.Types.LT ->
679 (#
680 failInp_238,
681 failExp_264
682 #)
683 GHC.Types.EQ ->
684 (#
685 farInp_239,
686 failExp_264 GHC.Base.<> farExp_240
687 #)
688 GHC.Types.GT ->
689 (#
690 farInp_239,
691 farExp_240
692 #)
693 in readFail_245 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_238 farInp_265 farExp_266 buf_244 GHC.Types.True
694 in if end_242
695 then noMoreInput_263
696 else
697 Symantic.Parser.Machine.Generate.returnST GHC.Base.$
698 ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
699 ( \newInput_267 ->
700 if Symantic.Parser.Machine.Input.nullInput newInput_267
701 then noMoreInput_263
702 else partialCont_243 (append_5 buf_244 newInput_267)
703 )
704 )
705 in partialCont_243 buf_241
706 else
707 let _ = "choicesBranch.else"
708 in readFail_206 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_238 farInp_239 farExp_240 buf_241 end_242
709 in let _ = "pushValue"
710 in let _ = "comment: satisfy Parsers.Nandlang.nandStringLetter"
711 in let _ = "checkHorizon.oldCheck: checkedHorizon=4"
712 in let _ = "checkToken"
713 in let !(#
714 c_268,
715 cs_269
716 #) = readNext_4 buf_205 cs_208
717 in if Parsers.Nandlang.nandStringLetter c_268
718 then
719 let _ = "lift2Value checkedHorizon=3"
720 in name_82
721 ( let _ = "onReturn"
722 in \farInp_270 farExp_271 v_272 (!inp_273) buf_274 end_275 ->
723 let _ = "lift2Value checkedHorizon=0"
724 in let _ = "commit"
725 in let _ = "resume"
726 in join_209
727 farInp_270
728 farExp_271
729 ( let _ = "resume.genCode"
730 in v_272
731 )
732 inp_273
733 buf_274
734 end_275
735 )
736 cs_269
737 buf_205
738 end_53
739 Data.Map.Internal.Tip
740 else
741 let _ = "checkToken.fail"
742 in onException_236 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_208 farInp_50 farExp_51 buf_205 end_53
743 else
744 let _ = "checkToken.fail"
745 in let failExp_276 =
746 Data.Set.Internal.Bin
747 1
748 ( Symantic.Parser.Grammar.Combinators.SomeFailure
749 ( case inputToken of
750 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '\''
751 )
752 )
753 Data.Set.Internal.Tip
754 Data.Set.Internal.Tip
755 in let (#
756 farInp_277,
757 farExp_278
758 #) = case GHC.Classes.compare @GHC.Types.Int farInp_50 failInp_49 of
759 GHC.Types.LT ->
760 (#
761 failInp_49,
762 failExp_276
763 #)
764 GHC.Types.EQ ->
765 (#
766 farInp_50,
767 failExp_276 GHC.Base.<> farExp_51
768 #)
769 GHC.Types.GT ->
770 (#
771 farInp_50,
772 farExp_51
773 #)
774 in readFail_206 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_49 farInp_277 farExp_278 buf_205 end_53
775 else
776 let _ = "checkHorizon.newCheck.fail"
777 in let noMoreInput_279 =
778 let failExp_280 =
779 Data.Set.Internal.Bin
780 1
781 ( Symantic.Parser.Grammar.Combinators.SomeFailure
782 ( case inputToken of
783 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 4
784 )
785 )
786 Data.Set.Internal.Tip
787 Data.Set.Internal.Tip
788 in let (#
789 farInp_281,
790 farExp_282
791 #) = case GHC.Classes.compare @GHC.Types.Int farInp_50 failInp_49 of
792 GHC.Types.LT ->
793 (#
794 failInp_49,
795 failExp_280
796 #)
797 GHC.Types.EQ ->
798 (#
799 farInp_50,
800 failExp_280 GHC.Base.<> farExp_51
801 #)
802 GHC.Types.GT ->
803 (#
804 farInp_50,
805 farExp_51
806 #)
807 in readFail_206 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_49 farInp_281 farExp_282 buf_205 GHC.Types.True
808 in if end_53
809 then noMoreInput_279
810 else
811 Symantic.Parser.Machine.Generate.returnST GHC.Base.$
812 ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
813 ( \newInput_283 ->
814 if Symantic.Parser.Machine.Input.nullInput newInput_283
815 then noMoreInput_279
816 else partialCont_204 (append_5 buf_205 newInput_283)
817 )
818 )
819 in partialCont_204 buf_52
820 else
821 let _ = "choicesBranch.else"
822 in Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_46 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_49 farInp_50 farExp_51 buf_52 end_53
823 in let _ = "pushValue"
824 in let join_284 = \farInp_285 farExp_286 v_287 (!inp_288) buf_289 end_290 ->
825 let _ = "lift2Value checkedHorizon=0"
826 in name_221
827 ( let _ = "onReturn"
828 in \farInp_291 farExp_292 v_293 (!inp_294) buf_295 end_296 ->
829 let _ = "lift2Value checkedHorizon=0"
830 in let _ = "commit"
831 in let _ = "resume"
832 in callerOnReturn_42
833 farInp_291
834 farExp_292
835 ( let _ = "resume.genCode"
836 in v_293
837 )
838 inp_294
839 buf_295
840 end_296
841 )
842 inp_288
843 buf_289
844 end_290
845 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException_47 Data.Map.Internal.Tip Data.Map.Internal.Tip)
846 in let _ = "catch ExceptionFailure checkedHorizon=0"
847 in let onException_297 =
848 let _ = "onException"
849 in \(!_exn_298) (!failInp_299) (!farInp_300) (!farExp_301) buf_302 end_303 ->
850 let _ = "comment: raiseAgainIfConsumed"
851 in let _ = "saveInput checkedHorizon=0"
852 in let _ = "lift2Value checkedHorizon=0"
853 in if (GHC.Classes.==) @GHC.Types.Int callerInput_43 failInp_299
854 then
855 let _ = "choicesBranch checkedHorizon=0"
856 in let _ = "pushValue"
857 in let _ = "comment: satisfy ((GHC.Classes.==) '1')"
858 in let partialCont_304 buf_305 =
859 let readFail_306 = onException_47
860 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
861 in if readMore_3 buf_305 ((GHC.Num.+) @GHC.Types.Int 1 failInp_299)
862 then
863 let _ = "checkToken"
864 in let !(#
865 c_307,
866 cs_308
867 #) = readNext_4 buf_305 failInp_299
868 in if (GHC.Classes.==) '1' c_307
869 then
870 let _ = "lift2Value checkedHorizon=2"
871 in let _ = "resume"
872 in join_284
873 farInp_300
874 farExp_301
875 ( let _ = "resume.genCode"
876 in '1'
877 )
878 cs_308
879 buf_305
880 end_303
881 else
882 let _ = "checkToken.fail"
883 in let failExp_309 =
884 Data.Set.Internal.Bin
885 1
886 ( Symantic.Parser.Grammar.Combinators.SomeFailure
887 ( case inputToken of
888 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '1'
889 )
890 )
891 Data.Set.Internal.Tip
892 Data.Set.Internal.Tip
893 in let (#
894 farInp_310,
895 farExp_311
896 #) = case GHC.Classes.compare @GHC.Types.Int farInp_300 failInp_299 of
897 GHC.Types.LT ->
898 (#
899 failInp_299,
900 failExp_309
901 #)
902 GHC.Types.EQ ->
903 (#
904 farInp_300,
905 failExp_309 GHC.Base.<> farExp_301
906 #)
907 GHC.Types.GT ->
908 (#
909 farInp_300,
910 farExp_301
911 #)
912 in readFail_306 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_299 farInp_310 farExp_311 buf_305 end_303
913 else
914 let _ = "checkHorizon.newCheck.fail"
915 in let noMoreInput_312 =
916 let failExp_313 =
917 Data.Set.Internal.Bin
918 1
919 ( Symantic.Parser.Grammar.Combinators.SomeFailure
920 ( case inputToken of
921 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 2
922 )
923 )
924 Data.Set.Internal.Tip
925 Data.Set.Internal.Tip
926 in let (#
927 farInp_314,
928 farExp_315
929 #) = case GHC.Classes.compare @GHC.Types.Int farInp_300 failInp_299 of
930 GHC.Types.LT ->
931 (#
932 failInp_299,
933 failExp_313
934 #)
935 GHC.Types.EQ ->
936 (#
937 farInp_300,
938 failExp_313 GHC.Base.<> farExp_301
939 #)
940 GHC.Types.GT ->
941 (#
942 farInp_300,
943 farExp_301
944 #)
945 in readFail_306 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_299 farInp_314 farExp_315 buf_305 GHC.Types.True
946 in if end_303
947 then noMoreInput_312
948 else
949 Symantic.Parser.Machine.Generate.returnST GHC.Base.$
950 ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
951 ( \newInput_316 ->
952 if Symantic.Parser.Machine.Input.nullInput newInput_316
953 then noMoreInput_312
954 else partialCont_304 (append_5 buf_305 newInput_316)
955 )
956 )
957 in partialCont_304 buf_302
958 else
959 let _ = "choicesBranch.else"
960 in onException_47 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_299 farInp_300 farExp_301 buf_302 end_303
961 in let _ = "pushValue"
962 in let _ = "comment: satisfy ((GHC.Classes.==) '0')"
963 in let partialCont_317 buf_318 =
964 let readFail_319 = onException_297
965 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
966 in if readMore_3 buf_318 ((GHC.Num.+) @GHC.Types.Int 1 callerInput_43)
967 then
968 let _ = "checkToken"
969 in let !(#
970 c_320,
971 cs_321
972 #) = readNext_4 buf_318 callerInput_43
973 in if (GHC.Classes.==) '0' c_320
974 then
975 let _ = "lift2Value checkedHorizon=2"
976 in let _ = "commit"
977 in let _ = "resume"
978 in join_284
979 initPos_2
980 Data.Set.Internal.empty
981 ( let _ = "resume.genCode"
982 in '0'
983 )
984 cs_321
985 buf_318
986 callerEnd_45
987 else
988 let _ = "checkToken.fail"
989 in let failExp_322 =
990 Data.Set.Internal.Bin
991 1
992 ( Symantic.Parser.Grammar.Combinators.SomeFailure
993 ( case inputToken of
994 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '0'
995 )
996 )
997 Data.Set.Internal.Tip
998 Data.Set.Internal.Tip
999 in let (#
1000 farInp_323,
1001 farExp_324
1002 #) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_43 of
1003 GHC.Types.LT ->
1004 (#
1005 callerInput_43,
1006 failExp_322
1007 #)
1008 GHC.Types.EQ ->
1009 (#
1010 initPos_2,
1011 failExp_322 GHC.Base.<> Data.Set.Internal.empty
1012 #)
1013 GHC.Types.GT ->
1014 (#
1015 initPos_2,
1016 Data.Set.Internal.empty
1017 #)
1018 in readFail_319 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_43 farInp_323 farExp_324 buf_318 callerEnd_45
1019 else
1020 let _ = "checkHorizon.newCheck.fail"
1021 in let noMoreInput_325 =
1022 let failExp_326 =
1023 Data.Set.Internal.Bin
1024 1
1025 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1026 ( case inputToken of
1027 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 2
1028 )
1029 )
1030 Data.Set.Internal.Tip
1031 Data.Set.Internal.Tip
1032 in let (#
1033 farInp_327,
1034 farExp_328
1035 #) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_43 of
1036 GHC.Types.LT ->
1037 (#
1038 callerInput_43,
1039 failExp_326
1040 #)
1041 GHC.Types.EQ ->
1042 (#
1043 initPos_2,
1044 failExp_326 GHC.Base.<> Data.Set.Internal.empty
1045 #)
1046 GHC.Types.GT ->
1047 (#
1048 initPos_2,
1049 Data.Set.Internal.empty
1050 #)
1051 in readFail_319 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_43 farInp_327 farExp_328 buf_318 GHC.Types.True
1052 in if callerEnd_45
1053 then noMoreInput_325
1054 else
1055 Symantic.Parser.Machine.Generate.returnST GHC.Base.$
1056 ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
1057 ( \newInput_329 ->
1058 if Symantic.Parser.Machine.Input.nullInput newInput_329
1059 then noMoreInput_325
1060 else partialCont_317 (append_5 buf_318 newInput_329)
1061 )
1062 )
1063 in partialCont_317 callerBuffer_44
1064 name_330 = \(!callerOnReturn_331) (!callerInput_332) (!callerBuffer_333) (!callerEnd_334) (!callerOnExceptionStackByLabel_335) ->
1065 let _ = "catch ExceptionFailure checkedHorizon=0"
1066 in let onException_336 =
1067 let _ = "onException"
1068 in \(!_exn_337) (!failInp_338) (!farInp_339) (!farExp_340) buf_341 end_342 ->
1069 let _ = "comment: raiseAgainIfConsumed"
1070 in let _ = "saveInput checkedHorizon=0"
1071 in let _ = "lift2Value checkedHorizon=0"
1072 in if (GHC.Classes.==) @GHC.Types.Int callerInput_332 failInp_338
1073 then
1074 let _ = "choicesBranch checkedHorizon=0"
1075 in let _ = "jump"
1076 in name_82 callerOnReturn_331 failInp_338 buf_341 end_342 Data.Map.Internal.Tip
1077 else
1078 let _ = "choicesBranch.else"
1079 in Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_335 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_338 farInp_339 farExp_340 buf_341 end_342
1080 in let _ = "pushValue"
1081 in name_343
1082 ( let _ = "onReturn"
1083 in \farInp_344 farExp_345 v_346 (!inp_347) buf_348 end_349 ->
1084 let _ = "lift2Value checkedHorizon=0"
1085 in let _ = "pushValue"
1086 in do
1087 let dupv_350 = \u_351 -> u_351
1088 reg_352 <- GHC.STRef.newSTRef dupv_350
1089 let _ = "iter"
1090 in let onException_353 loopInput_354 =
1091 let _ = "onException"
1092 in \(!_exn_355) (!failInp_356) (!farInp_357) (!farExp_358) buf_359 end_360 ->
1093 let _ = "comment: raiseAgainIfConsumed"
1094 in let _ = "saveInput checkedHorizon=0"
1095 in let _ = "lift2Value checkedHorizon=0"
1096 in if (GHC.Classes.==) @GHC.Types.Int loopInput_354 failInp_356
1097 then
1098 let _ = "choicesBranch checkedHorizon=0"
1099 in do
1100 sr_361 <- GHC.STRef.readSTRef reg_352
1101 name_163
1102 ( let _ = "onReturn"
1103 in \farInp_362 farExp_363 v_364 (!inp_365) buf_366 end_367 ->
1104 let _ = "lift2Value checkedHorizon=0"
1105 in let _ = "lift2Value checkedHorizon=0"
1106 in name_82
1107 ( let _ = "onReturn"
1108 in \farInp_368 farExp_369 v_370 (!inp_371) buf_372 end_373 ->
1109 let _ = "lift2Value checkedHorizon=0"
1110 in let _ = "commit"
1111 in let _ = "resume"
1112 in callerOnReturn_331
1113 farInp_368
1114 farExp_369
1115 ( let _ = "resume.genCode"
1116 in GHC.Tuple . ()
1117 )
1118 inp_371
1119 buf_372
1120 end_373
1121 )
1122 inp_365
1123 buf_366
1124 end_367
1125 Data.Map.Internal.Tip
1126 )
1127 failInp_356
1128 buf_359
1129 end_360
1130 Data.Map.Internal.Tip
1131 else
1132 let _ = "choicesBranch.else"
1133 in onException_336 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_356 farInp_357 farExp_358 buf_359 end_360
1134 loop_374 = \_callerOnReturn_375 callerInput_376 callerBuffer_377 callerEnded_378 callerOnExceptionStackByLabel_379 ->
1135 let _ = "pushValue"
1136 in name_182
1137 ( let _ = "onReturn"
1138 in \farInp_380 farExp_381 v_382 (!inp_383) buf_384 end_385 ->
1139 let _ = "lift2Value checkedHorizon=0"
1140 in name_189
1141 ( let _ = "onReturn"
1142 in \farInp_386 farExp_387 v_388 (!inp_389) buf_390 end_391 ->
1143 let _ = "lift2Value checkedHorizon=0"
1144 in name_343
1145 ( let _ = "onReturn"
1146 in \farInp_392 farExp_393 v_394 (!inp_395) buf_396 end_397 ->
1147 let _ = "lift2Value checkedHorizon=0"
1148 in do
1149 sr_398 <- GHC.STRef.readSTRef reg_352
1150 let _ = "lift2Value checkedHorizon=0"
1151 in do
1152 let dupv_399 = v_382 v_394 sr_398
1153 GHC.STRef.writeSTRef reg_352 dupv_399
1154 let _ = "jump"
1155 in loop_374 (GHC.Err.error "invalid onReturn") inp_395 buf_396 end_397 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_353 callerInput_376) Data.Map.Internal.Tip Data.Map.Internal.Tip)
1156 )
1157 inp_389
1158 buf_390
1159 end_391
1160 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_353 callerInput_376) Data.Map.Internal.Tip Data.Map.Internal.Tip)
1161 )
1162 inp_383
1163 buf_384
1164 end_385
1165 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_353 callerInput_376) Data.Map.Internal.Tip Data.Map.Internal.Tip)
1166 )
1167 callerInput_376
1168 callerBuffer_377
1169 callerEnded_378
1170 Data.Map.Internal.Tip
1171 in let _ = "jump"
1172 in loop_374 callerOnReturn_331 inp_347 buf_348 end_349 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException_336 Data.Map.Internal.Tip Data.Map.Internal.Tip)
1173 )
1174 callerInput_332
1175 callerBuffer_333
1176 callerEnd_334
1177 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException_336 Data.Map.Internal.Tip Data.Map.Internal.Tip)
1178 name_400 = \(!callerOnReturn_401) (!callerInput_402) (!callerBuffer_403) (!callerEnd_404) (!callerOnExceptionStackByLabel_405) ->
1179 let _ = "comment: satisfy (\\t_0 -> ('0' GHC.Classes.== t_0) GHC.Classes.|| (('1' GHC.Classes.== t_0) GHC.Classes.|| (('2' GHC.Classes.== t_0) GHC.Classes.|| (('3' GHC.Classes.== t_0) GHC.Classes.|| (('4' GHC.Classes.== t_0) GHC.Classes.|| (('5' GHC.Classes.== t_0) GHC.Classes.|| (('6' GHC.Classes.== t_0) GHC.Classes.|| (('7' GHC.Classes.== t_0) GHC.Classes.|| (('8' GHC.Classes.== t_0) GHC.Classes.|| (('9' GHC.Classes.== t_0) GHC.Classes.|| GHC.Types.False))))))))))"
1180 in let partialCont_406 buf_407 =
1181 let readFail_408 = Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_405
1182 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
1183 in if readMore_3 buf_407 callerInput_402
1184 then
1185 let _ = "checkToken"
1186 in let !(#
1187 c_409,
1188 cs_410
1189 #) = readNext_4 buf_407 callerInput_402
1190 in if (\t_411 -> ('0' GHC.Classes.== t_411) GHC.Classes.|| (('1' GHC.Classes.== t_411) GHC.Classes.|| (('2' GHC.Classes.== t_411) GHC.Classes.|| (('3' GHC.Classes.== t_411) GHC.Classes.|| (('4' GHC.Classes.== t_411) GHC.Classes.|| (('5' GHC.Classes.== t_411) GHC.Classes.|| (('6' GHC.Classes.== t_411) GHC.Classes.|| (('7' GHC.Classes.== t_411) GHC.Classes.|| (('8' GHC.Classes.== t_411) GHC.Classes.|| (('9' GHC.Classes.== t_411) GHC.Classes.|| GHC.Types.False)))))))))) c_409
1191 then
1192 let _ = "resume"
1193 in callerOnReturn_401
1194 initPos_2
1195 Data.Set.Internal.empty
1196 ( let _ = "resume.genCode"
1197 in c_409
1198 )
1199 cs_410
1200 buf_407
1201 callerEnd_404
1202 else
1203 let _ = "checkToken.fail"
1204 in let failExp_412 =
1205 Data.Set.Internal.Bin
1206 10
1207 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1208 ( case inputToken of
1209 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '3'
1210 )
1211 )
1212 ( Data.Set.Internal.Bin
1213 3
1214 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1215 ( case inputToken of
1216 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '1'
1217 )
1218 )
1219 ( Data.Set.Internal.Bin
1220 1
1221 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1222 ( case inputToken of
1223 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '0'
1224 )
1225 )
1226 Data.Set.Internal.Tip
1227 Data.Set.Internal.Tip
1228 )
1229 ( Data.Set.Internal.Bin
1230 1
1231 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1232 ( case inputToken of
1233 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '2'
1234 )
1235 )
1236 Data.Set.Internal.Tip
1237 Data.Set.Internal.Tip
1238 )
1239 )
1240 ( Data.Set.Internal.Bin
1241 6
1242 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1243 ( case inputToken of
1244 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '7'
1245 )
1246 )
1247 ( Data.Set.Internal.Bin
1248 3
1249 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1250 ( case inputToken of
1251 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '5'
1252 )
1253 )
1254 ( Data.Set.Internal.Bin
1255 1
1256 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1257 ( case inputToken of
1258 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '4'
1259 )
1260 )
1261 Data.Set.Internal.Tip
1262 Data.Set.Internal.Tip
1263 )
1264 ( Data.Set.Internal.Bin
1265 1
1266 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1267 ( case inputToken of
1268 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '6'
1269 )
1270 )
1271 Data.Set.Internal.Tip
1272 Data.Set.Internal.Tip
1273 )
1274 )
1275 ( Data.Set.Internal.Bin
1276 2
1277 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1278 ( case inputToken of
1279 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '8'
1280 )
1281 )
1282 Data.Set.Internal.Tip
1283 ( Data.Set.Internal.Bin
1284 1
1285 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1286 ( case inputToken of
1287 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '9'
1288 )
1289 )
1290 Data.Set.Internal.Tip
1291 Data.Set.Internal.Tip
1292 )
1293 )
1294 )
1295 in let (#
1296 farInp_413,
1297 farExp_414
1298 #) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_402 of
1299 GHC.Types.LT ->
1300 (#
1301 callerInput_402,
1302 failExp_412
1303 #)
1304 GHC.Types.EQ ->
1305 (#
1306 initPos_2,
1307 failExp_412 GHC.Base.<> Data.Set.Internal.empty
1308 #)
1309 GHC.Types.GT ->
1310 (#
1311 initPos_2,
1312 Data.Set.Internal.empty
1313 #)
1314 in readFail_408 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_402 farInp_413 farExp_414 buf_407 callerEnd_404
1315 else
1316 let _ = "checkHorizon.newCheck.fail"
1317 in let noMoreInput_415 =
1318 let failExp_416 =
1319 Data.Set.Internal.Bin
1320 1
1321 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1322 ( case inputToken of
1323 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 1
1324 )
1325 )
1326 Data.Set.Internal.Tip
1327 Data.Set.Internal.Tip
1328 in let (#
1329 farInp_417,
1330 farExp_418
1331 #) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_402 of
1332 GHC.Types.LT ->
1333 (#
1334 callerInput_402,
1335 failExp_416
1336 #)
1337 GHC.Types.EQ ->
1338 (#
1339 initPos_2,
1340 failExp_416 GHC.Base.<> Data.Set.Internal.empty
1341 #)
1342 GHC.Types.GT ->
1343 (#
1344 initPos_2,
1345 Data.Set.Internal.empty
1346 #)
1347 in readFail_408 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_402 farInp_417 farExp_418 buf_407 GHC.Types.True
1348 in if callerEnd_404
1349 then noMoreInput_415
1350 else
1351 Symantic.Parser.Machine.Generate.returnST GHC.Base.$
1352 ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
1353 ( \newInput_419 ->
1354 if Symantic.Parser.Machine.Input.nullInput newInput_419
1355 then noMoreInput_415
1356 else partialCont_406 (append_5 buf_407 newInput_419)
1357 )
1358 )
1359 in partialCont_406 callerBuffer_403
1360 name_343 = \(!callerOnReturn_420) (!callerInput_421) (!callerBuffer_422) (!callerEnd_423) (!callerOnExceptionStackByLabel_424) ->
1361 let _ = "pushValue"
1362 in name_61
1363 ( let _ = "onReturn"
1364 in \farInp_425 farExp_426 v_427 (!inp_428) buf_429 end_430 ->
1365 let _ = "lift2Value checkedHorizon=0"
1366 in let join_431 = \farInp_432 farExp_433 v_434 (!inp_435) buf_436 end_437 ->
1367 let _ = "lift2Value checkedHorizon=0"
1368 in let _ = "resume"
1369 in callerOnReturn_420
1370 farInp_432
1371 farExp_433
1372 ( let _ = "resume.genCode"
1373 in v_434
1374 )
1375 inp_435
1376 buf_436
1377 end_437
1378 in let _ = "catch ExceptionFailure checkedHorizon=0"
1379 in let onException_438 =
1380 let _ = "onException"
1381 in \(!_exn_439) (!failInp_440) (!farInp_441) (!farExp_442) buf_443 end_444 ->
1382 let _ = "comment: raiseAgainIfConsumed"
1383 in let _ = "saveInput checkedHorizon=0"
1384 in let _ = "lift2Value checkedHorizon=0"
1385 in if (GHC.Classes.==) @GHC.Types.Int inp_428 failInp_440
1386 then
1387 let _ = "choicesBranch checkedHorizon=0"
1388 in name_82
1389 ( let _ = "onReturn"
1390 in \farInp_445 farExp_446 v_447 (!inp_448) buf_449 end_450 ->
1391 let _ = "resume"
1392 in join_431
1393 farInp_445
1394 farExp_446
1395 ( let _ = "resume.genCode"
1396 in v_447
1397 )
1398 inp_448
1399 buf_449
1400 end_450
1401 )
1402 failInp_440
1403 buf_443
1404 end_444
1405 Data.Map.Internal.Tip
1406 else
1407 let _ = "choicesBranch.else"
1408 in Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_424 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_440 farInp_441 farExp_442 buf_443 end_444
1409 in let _ = "pushValue"
1410 in name_103
1411 ( let _ = "onReturn"
1412 in \farInp_451 farExp_452 v_453 (!inp_454) buf_455 end_456 ->
1413 let _ = "lift2Value checkedHorizon=0"
1414 in let _ = "commit"
1415 in let _ = "resume"
1416 in join_431
1417 farInp_451
1418 farExp_452
1419 ( let _ = "resume.genCode"
1420 in GHC.Tuple . ()
1421 )
1422 inp_454
1423 buf_455
1424 end_456
1425 )
1426 inp_428
1427 buf_429
1428 end_430
1429 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException_438 Data.Map.Internal.Tip Data.Map.Internal.Tip)
1430 )
1431 callerInput_421
1432 callerBuffer_422
1433 callerEnd_423
1434 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_424) Data.Map.Internal.Tip Data.Map.Internal.Tip)
1435 name_144 = \(!callerOnReturn_457) (!callerInput_458) (!callerBuffer_459) (!callerEnd_460) (!callerOnExceptionStackByLabel_461) ->
1436 let _ = "pushValue"
1437 in name_41
1438 ( let _ = "onReturn"
1439 in \farInp_462 farExp_463 v_464 (!inp_465) buf_466 end_467 ->
1440 let _ = "lift2Value checkedHorizon=0"
1441 in let _ = "pushValue"
1442 in do
1443 let dupv_468 = \u_469 -> u_469
1444 reg_470 <- GHC.STRef.newSTRef dupv_468
1445 let _ = "iter"
1446 in let onException_471 loopInput_472 =
1447 let _ = "onException"
1448 in \(!_exn_473) (!failInp_474) (!farInp_475) (!farExp_476) buf_477 end_478 ->
1449 let _ = "comment: raiseAgainIfConsumed"
1450 in let _ = "saveInput checkedHorizon=0"
1451 in let _ = "lift2Value checkedHorizon=0"
1452 in if (GHC.Classes.==) @GHC.Types.Int loopInput_472 failInp_474
1453 then
1454 let _ = "choicesBranch checkedHorizon=0"
1455 in do
1456 sr_479 <- GHC.STRef.readSTRef reg_470
1457 name_163
1458 ( let _ = "onReturn"
1459 in \farInp_480 farExp_481 v_482 (!inp_483) buf_484 end_485 ->
1460 let _ = "lift2Value checkedHorizon=0"
1461 in let _ = "lift2Value checkedHorizon=0"
1462 in name_82
1463 ( let _ = "onReturn"
1464 in \farInp_486 farExp_487 v_488 (!inp_489) buf_490 end_491 ->
1465 let _ = "lift2Value checkedHorizon=0"
1466 in let _ = "resume"
1467 in callerOnReturn_457
1468 farInp_486
1469 farExp_487
1470 ( let _ = "resume.genCode"
1471 in v_488
1472 )
1473 inp_489
1474 buf_490
1475 end_491
1476 )
1477 inp_483
1478 buf_484
1479 end_485
1480 Data.Map.Internal.Tip
1481 )
1482 failInp_474
1483 buf_477
1484 end_478
1485 Data.Map.Internal.Tip
1486 else
1487 let _ = "choicesBranch.else"
1488 in Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_461 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_474 farInp_475 farExp_476 buf_477 end_478
1489 loop_492 = \_callerOnReturn_493 callerInput_494 callerBuffer_495 callerEnded_496 callerOnExceptionStackByLabel_497 ->
1490 let _ = "pushValue"
1491 in let _ = "comment: satisfy ((GHC.Classes.==) '!')"
1492 in let partialCont_498 buf_499 =
1493 let readFail_500 = onException_471 callerInput_494
1494 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=4"
1495 in if readMore_3 buf_499 ((GHC.Num.+) @GHC.Types.Int 3 callerInput_494)
1496 then
1497 let _ = "checkToken"
1498 in let !(#
1499 c_501,
1500 cs_502
1501 #) = readNext_4 buf_499 callerInput_494
1502 in if (GHC.Classes.==) '!' c_501
1503 then
1504 let _ = "lift2Value checkedHorizon=4"
1505 in name_221
1506 ( let _ = "onReturn"
1507 in \farInp_503 farExp_504 v_505 (!inp_506) buf_507 end_508 ->
1508 let _ = "lift2Value checkedHorizon=0"
1509 in name_41
1510 ( let _ = "onReturn"
1511 in \farInp_509 farExp_510 v_511 (!inp_512) buf_513 end_514 ->
1512 let _ = "lift2Value checkedHorizon=0"
1513 in do
1514 sr_515 <- GHC.STRef.readSTRef reg_470
1515 let _ = "lift2Value checkedHorizon=0"
1516 in do
1517 let dupv_516 = sr_515
1518 GHC.STRef.writeSTRef reg_470 dupv_516
1519 let _ = "jump"
1520 in loop_492 (GHC.Err.error "invalid onReturn") inp_512 buf_513 end_514 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_500 Data.Map.Internal.Tip Data.Map.Internal.Tip)
1521 )
1522 inp_506
1523 buf_507
1524 end_508
1525 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_500 Data.Map.Internal.Tip Data.Map.Internal.Tip)
1526 )
1527 cs_502
1528 buf_499
1529 callerEnded_496
1530 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_500 Data.Map.Internal.Tip Data.Map.Internal.Tip)
1531 else
1532 let _ = "checkToken.fail"
1533 in let failExp_517 =
1534 Data.Set.Internal.Bin
1535 1
1536 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1537 ( case inputToken of
1538 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '!'
1539 )
1540 )
1541 Data.Set.Internal.Tip
1542 Data.Set.Internal.Tip
1543 in let (#
1544 farInp_518,
1545 farExp_519
1546 #) = case GHC.Classes.compare @GHC.Types.Int farInp_462 callerInput_494 of
1547 GHC.Types.LT ->
1548 (#
1549 callerInput_494,
1550 failExp_517
1551 #)
1552 GHC.Types.EQ ->
1553 (#
1554 farInp_462,
1555 failExp_517 GHC.Base.<> farExp_463
1556 #)
1557 GHC.Types.GT ->
1558 (#
1559 farInp_462,
1560 farExp_463
1561 #)
1562 in readFail_500 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_494 farInp_518 farExp_519 buf_499 callerEnded_496
1563 else
1564 let _ = "checkHorizon.newCheck.fail"
1565 in let noMoreInput_520 =
1566 let failExp_521 =
1567 Data.Set.Internal.Bin
1568 1
1569 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1570 ( case inputToken of
1571 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 4
1572 )
1573 )
1574 Data.Set.Internal.Tip
1575 Data.Set.Internal.Tip
1576 in let (#
1577 farInp_522,
1578 farExp_523
1579 #) = case GHC.Classes.compare @GHC.Types.Int farInp_462 callerInput_494 of
1580 GHC.Types.LT ->
1581 (#
1582 callerInput_494,
1583 failExp_521
1584 #)
1585 GHC.Types.EQ ->
1586 (#
1587 farInp_462,
1588 failExp_521 GHC.Base.<> farExp_463
1589 #)
1590 GHC.Types.GT ->
1591 (#
1592 farInp_462,
1593 farExp_463
1594 #)
1595 in readFail_500 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_494 farInp_522 farExp_523 buf_499 GHC.Types.True
1596 in if callerEnded_496
1597 then noMoreInput_520
1598 else
1599 Symantic.Parser.Machine.Generate.returnST GHC.Base.$
1600 ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
1601 ( \newInput_524 ->
1602 if Symantic.Parser.Machine.Input.nullInput newInput_524
1603 then noMoreInput_520
1604 else partialCont_498 (append_5 buf_499 newInput_524)
1605 )
1606 )
1607 in partialCont_498 callerBuffer_495
1608 in let _ = "jump"
1609 in loop_492 callerOnReturn_457 inp_465 buf_466 end_467 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_461) Data.Map.Internal.Tip Data.Map.Internal.Tip)
1610 )
1611 callerInput_458
1612 callerBuffer_459
1613 callerEnd_460
1614 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_461) Data.Map.Internal.Tip Data.Map.Internal.Tip)
1615 name_221 = \(!callerOnReturn_525) (!callerInput_526) (!callerBuffer_527) (!callerEnd_528) (!callerOnExceptionStackByLabel_529) ->
1616 let _ = "pushValue"
1617 in name_530
1618 ( let _ = "onReturn"
1619 in \farInp_531 farExp_532 v_533 (!inp_534) buf_535 end_536 ->
1620 let _ = "lift2Value checkedHorizon=0"
1621 in let _ = "pushValue"
1622 in do
1623 let dupv_537 = \u_538 -> u_538
1624 reg_539 <- GHC.STRef.newSTRef dupv_537
1625 let _ = "iter"
1626 in let onException_540 loopInput_541 =
1627 let _ = "onException"
1628 in \(!_exn_542) (!failInp_543) (!farInp_544) (!farExp_545) buf_546 end_547 ->
1629 let _ = "comment: raiseAgainIfConsumed"
1630 in let _ = "saveInput checkedHorizon=0"
1631 in let _ = "lift2Value checkedHorizon=0"
1632 in if (GHC.Classes.==) @GHC.Types.Int loopInput_541 failInp_543
1633 then
1634 let _ = "choicesBranch checkedHorizon=0"
1635 in do
1636 sr_548 <- GHC.STRef.readSTRef reg_539
1637 let _ = "pushValue"
1638 in let _ = "lift2Value checkedHorizon=0"
1639 in let _ = "lift2Value checkedHorizon=0"
1640 in let _ = "resume"
1641 in callerOnReturn_525
1642 farInp_544
1643 farExp_545
1644 ( let _ = "resume.genCode"
1645 in GHC.Tuple . ()
1646 )
1647 failInp_543
1648 buf_546
1649 end_547
1650 else
1651 let _ = "choicesBranch.else"
1652 in Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_529 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_543 farInp_544 farExp_545 buf_546 end_547
1653 loop_549 = \_callerOnReturn_550 callerInput_551 callerBuffer_552 callerEnded_553 callerOnExceptionStackByLabel_554 ->
1654 let _ = "pushValue"
1655 in name_530
1656 ( let _ = "onReturn"
1657 in \farInp_555 farExp_556 v_557 (!inp_558) buf_559 end_560 ->
1658 let _ = "lift2Value checkedHorizon=0"
1659 in do
1660 sr_561 <- GHC.STRef.readSTRef reg_539
1661 let _ = "lift2Value checkedHorizon=0"
1662 in do
1663 let dupv_562 = sr_561
1664 GHC.STRef.writeSTRef reg_539 dupv_562
1665 let _ = "jump"
1666 in loop_549 (GHC.Err.error "invalid onReturn") inp_558 buf_559 end_560 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_540 callerInput_551) Data.Map.Internal.Tip Data.Map.Internal.Tip)
1667 )
1668 callerInput_551
1669 callerBuffer_552
1670 callerEnded_553
1671 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_540 callerInput_551) Data.Map.Internal.Tip Data.Map.Internal.Tip)
1672 in let _ = "jump"
1673 in loop_549 callerOnReturn_525 inp_534 buf_535 end_536 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_529) Data.Map.Internal.Tip Data.Map.Internal.Tip)
1674 )
1675 callerInput_526
1676 callerBuffer_527
1677 callerEnd_528
1678 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_529) Data.Map.Internal.Tip Data.Map.Internal.Tip)
1679 name_61 = \(!callerOnReturn_563) (!callerInput_564) (!callerBuffer_565) (!callerEnd_566) (!callerOnExceptionStackByLabel_567) ->
1680 let _ = "pushValue"
1681 in let _ = "catch ExceptionFailure checkedHorizon=0"
1682 in let onException_568 =
1683 let _ = "onException"
1684 in \(!_exn_569) (!failInp_570) (!farInp_571) (!farExp_572) buf_573 end_574 ->
1685 let _ = "loadInput checkedHorizon=0"
1686 in let _ = "checkHorizon.noCheck"
1687 in Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_567 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_564 farInp_571 farExp_572 buf_573 end_574
1688 in let _ = "pushValue"
1689 in let _ = "comment: satisfy Parsers.Nandlang.nandIdentStart"
1690 in let partialCont_575 buf_576 =
1691 let readFail_577 = onException_568
1692 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
1693 in if readMore_3 buf_576 ((GHC.Num.+) @GHC.Types.Int 1 callerInput_564)
1694 then
1695 let _ = "checkToken"
1696 in let !(#
1697 c_578,
1698 cs_579
1699 #) = readNext_4 buf_576 callerInput_564
1700 in if Parsers.Nandlang.nandIdentStart c_578
1701 then
1702 let _ = "lift2Value checkedHorizon=2"
1703 in let _ = "pushValue"
1704 in do
1705 let dupv_580 = \u_581 -> u_581
1706 reg_582 <- GHC.STRef.newSTRef dupv_580
1707 let _ = "iter"
1708 in let onException_583 loopInput_584 =
1709 let _ = "onException"
1710 in \(!_exn_585) (!failInp_586) (!farInp_587) (!farExp_588) buf_589 end_590 ->
1711 let _ = "comment: raiseAgainIfConsumed"
1712 in let _ = "saveInput checkedHorizon=0"
1713 in let _ = "lift2Value checkedHorizon=0"
1714 in if (GHC.Classes.==) @GHC.Types.Int loopInput_584 failInp_586
1715 then
1716 let _ = "choicesBranch checkedHorizon=0"
1717 in do
1718 sr_591 <- GHC.STRef.readSTRef reg_582
1719 name_163
1720 ( let _ = "onReturn"
1721 in \farInp_592 farExp_593 v_594 (!inp_595) buf_596 end_597 ->
1722 let _ = "lift2Value checkedHorizon=0"
1723 in let _ = "lift2Value checkedHorizon=0"
1724 in let _ = "commit"
1725 in let _ = "lift2Value checkedHorizon=0"
1726 in name_221
1727 ( let _ = "onReturn"
1728 in \farInp_598 farExp_599 v_600 (!inp_601) buf_602 end_603 ->
1729 let _ = "lift2Value checkedHorizon=0"
1730 in let _ = "resume"
1731 in callerOnReturn_563
1732 farInp_598
1733 farExp_599
1734 ( let _ = "resume.genCode"
1735 in v_600
1736 )
1737 inp_601
1738 buf_602
1739 end_603
1740 )
1741 inp_595
1742 buf_596
1743 end_597
1744 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_567) Data.Map.Internal.Tip Data.Map.Internal.Tip)
1745 )
1746 failInp_586
1747 buf_589
1748 end_590
1749 Data.Map.Internal.Tip
1750 else
1751 let _ = "choicesBranch.else"
1752 in readFail_577 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_586 farInp_587 farExp_588 buf_589 end_590
1753 loop_604 = \_callerOnReturn_605 callerInput_606 callerBuffer_607 callerEnded_608 callerOnExceptionStackByLabel_609 ->
1754 let _ = "pushValue"
1755 in let _ = "comment: satisfy Parsers.Nandlang.nandIdentLetter"
1756 in let partialCont_610 buf_611 =
1757 let readFail_612 = onException_583 callerInput_606
1758 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
1759 in if readMore_3 buf_611 callerInput_606
1760 then
1761 let _ = "checkToken"
1762 in let !(#
1763 c_613,
1764 cs_614
1765 #) = readNext_4 buf_611 callerInput_606
1766 in if Parsers.Nandlang.nandIdentLetter c_613
1767 then
1768 let _ = "lift2Value checkedHorizon=1"
1769 in do
1770 sr_615 <- GHC.STRef.readSTRef reg_582
1771 let _ = "lift2Value checkedHorizon=1"
1772 in do
1773 let dupv_616 = sr_615
1774 GHC.STRef.writeSTRef reg_582 dupv_616
1775 let _ = "jump"
1776 in loop_604 (GHC.Err.error "invalid onReturn") cs_614 buf_611 callerEnded_608 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_612 Data.Map.Internal.Tip Data.Map.Internal.Tip)
1777 else
1778 let _ = "checkToken.fail"
1779 in readFail_612 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_606 initPos_2 Data.Set.Internal.empty buf_611 callerEnded_608
1780 else
1781 let _ = "checkHorizon.newCheck.fail"
1782 in let noMoreInput_617 =
1783 let failExp_618 =
1784 Data.Set.Internal.Bin
1785 1
1786 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1787 ( case inputToken of
1788 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 1
1789 )
1790 )
1791 Data.Set.Internal.Tip
1792 Data.Set.Internal.Tip
1793 in let (#
1794 farInp_619,
1795 farExp_620
1796 #) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_606 of
1797 GHC.Types.LT ->
1798 (#
1799 callerInput_606,
1800 failExp_618
1801 #)
1802 GHC.Types.EQ ->
1803 (#
1804 initPos_2,
1805 failExp_618 GHC.Base.<> Data.Set.Internal.empty
1806 #)
1807 GHC.Types.GT ->
1808 (#
1809 initPos_2,
1810 Data.Set.Internal.empty
1811 #)
1812 in readFail_612 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_606 farInp_619 farExp_620 buf_611 GHC.Types.True
1813 in if callerEnded_608
1814 then noMoreInput_617
1815 else
1816 Symantic.Parser.Machine.Generate.returnST GHC.Base.$
1817 ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
1818 ( \newInput_621 ->
1819 if Symantic.Parser.Machine.Input.nullInput newInput_621
1820 then noMoreInput_617
1821 else partialCont_610 (append_5 buf_611 newInput_621)
1822 )
1823 )
1824 in partialCont_610 callerBuffer_607
1825 in let _ = "jump"
1826 in loop_604 callerOnReturn_563 cs_579 buf_576 callerEnd_566 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_577 Data.Map.Internal.Tip Data.Map.Internal.Tip)
1827 else
1828 let _ = "checkToken.fail"
1829 in readFail_577 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_564 initPos_2 Data.Set.Internal.empty buf_576 callerEnd_566
1830 else
1831 let _ = "checkHorizon.newCheck.fail"
1832 in let noMoreInput_622 =
1833 let failExp_623 =
1834 Data.Set.Internal.Bin
1835 1
1836 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1837 ( case inputToken of
1838 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 2
1839 )
1840 )
1841 Data.Set.Internal.Tip
1842 Data.Set.Internal.Tip
1843 in let (#
1844 farInp_624,
1845 farExp_625
1846 #) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_564 of
1847 GHC.Types.LT ->
1848 (#
1849 callerInput_564,
1850 failExp_623
1851 #)
1852 GHC.Types.EQ ->
1853 (#
1854 initPos_2,
1855 failExp_623 GHC.Base.<> Data.Set.Internal.empty
1856 #)
1857 GHC.Types.GT ->
1858 (#
1859 initPos_2,
1860 Data.Set.Internal.empty
1861 #)
1862 in readFail_577 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_564 farInp_624 farExp_625 buf_576 GHC.Types.True
1863 in if callerEnd_566
1864 then noMoreInput_622
1865 else
1866 Symantic.Parser.Machine.Generate.returnST GHC.Base.$
1867 ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
1868 ( \newInput_626 ->
1869 if Symantic.Parser.Machine.Input.nullInput newInput_626
1870 then noMoreInput_622
1871 else partialCont_575 (append_5 buf_576 newInput_626)
1872 )
1873 )
1874 in partialCont_575 callerBuffer_565
1875 name_110 = \(!callerOnReturn_627) (!callerInput_628) (!callerBuffer_629) (!callerEnd_630) (!callerOnExceptionStackByLabel_631) ->
1876 let _ = "pushValue"
1877 in let _ = "comment: satisfy ((GHC.Classes.==) '(')"
1878 in let partialCont_632 buf_633 =
1879 let readFail_634 = Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_631
1880 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
1881 in if readMore_3 buf_633 ((GHC.Num.+) @GHC.Types.Int 1 callerInput_628)
1882 then
1883 let _ = "checkToken"
1884 in let !(#
1885 c_635,
1886 cs_636
1887 #) = readNext_4 buf_633 callerInput_628
1888 in if (GHC.Classes.==) '(' c_635
1889 then
1890 let _ = "lift2Value checkedHorizon=2"
1891 in name_221
1892 ( let _ = "onReturn"
1893 in \farInp_637 farExp_638 v_639 (!inp_640) buf_641 end_642 ->
1894 let _ = "lift2Value checkedHorizon=0"
1895 in let _ = "resume"
1896 in callerOnReturn_627
1897 farInp_637
1898 farExp_638
1899 ( let _ = "resume.genCode"
1900 in '('
1901 )
1902 inp_640
1903 buf_641
1904 end_642
1905 )
1906 cs_636
1907 buf_633
1908 callerEnd_630
1909 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_634 Data.Map.Internal.Tip Data.Map.Internal.Tip)
1910 else
1911 let _ = "checkToken.fail"
1912 in let failExp_643 =
1913 Data.Set.Internal.Bin
1914 1
1915 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1916 ( case inputToken of
1917 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '('
1918 )
1919 )
1920 Data.Set.Internal.Tip
1921 Data.Set.Internal.Tip
1922 in let (#
1923 farInp_644,
1924 farExp_645
1925 #) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_628 of
1926 GHC.Types.LT ->
1927 (#
1928 callerInput_628,
1929 failExp_643
1930 #)
1931 GHC.Types.EQ ->
1932 (#
1933 initPos_2,
1934 failExp_643 GHC.Base.<> Data.Set.Internal.empty
1935 #)
1936 GHC.Types.GT ->
1937 (#
1938 initPos_2,
1939 Data.Set.Internal.empty
1940 #)
1941 in readFail_634 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_628 farInp_644 farExp_645 buf_633 callerEnd_630
1942 else
1943 let _ = "checkHorizon.newCheck.fail"
1944 in let noMoreInput_646 =
1945 let failExp_647 =
1946 Data.Set.Internal.Bin
1947 1
1948 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1949 ( case inputToken of
1950 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 2
1951 )
1952 )
1953 Data.Set.Internal.Tip
1954 Data.Set.Internal.Tip
1955 in let (#
1956 farInp_648,
1957 farExp_649
1958 #) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_628 of
1959 GHC.Types.LT ->
1960 (#
1961 callerInput_628,
1962 failExp_647
1963 #)
1964 GHC.Types.EQ ->
1965 (#
1966 initPos_2,
1967 failExp_647 GHC.Base.<> Data.Set.Internal.empty
1968 #)
1969 GHC.Types.GT ->
1970 (#
1971 initPos_2,
1972 Data.Set.Internal.empty
1973 #)
1974 in readFail_634 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_628 farInp_648 farExp_649 buf_633 GHC.Types.True
1975 in if callerEnd_630
1976 then noMoreInput_646
1977 else
1978 Symantic.Parser.Machine.Generate.returnST GHC.Base.$
1979 ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
1980 ( \newInput_650 ->
1981 if Symantic.Parser.Machine.Input.nullInput newInput_650
1982 then noMoreInput_646
1983 else partialCont_632 (append_5 buf_633 newInput_650)
1984 )
1985 )
1986 in partialCont_632 callerBuffer_629
1987 name_124 = \(!callerOnReturn_651) (!callerInput_652) (!callerBuffer_653) (!callerEnd_654) (!callerOnExceptionStackByLabel_655) ->
1988 let _ = "pushValue"
1989 in let _ = "comment: satisfy ((GHC.Classes.==) ')')"
1990 in let partialCont_656 buf_657 =
1991 let readFail_658 = Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_655
1992 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
1993 in if readMore_3 buf_657 ((GHC.Num.+) @GHC.Types.Int 1 callerInput_652)
1994 then
1995 let _ = "checkToken"
1996 in let !(#
1997 c_659,
1998 cs_660
1999 #) = readNext_4 buf_657 callerInput_652
2000 in if (GHC.Classes.==) ')' c_659
2001 then
2002 let _ = "lift2Value checkedHorizon=2"
2003 in name_221
2004 ( let _ = "onReturn"
2005 in \farInp_661 farExp_662 v_663 (!inp_664) buf_665 end_666 ->
2006 let _ = "lift2Value checkedHorizon=0"
2007 in let _ = "resume"
2008 in callerOnReturn_651
2009 farInp_661
2010 farExp_662
2011 ( let _ = "resume.genCode"
2012 in ')'
2013 )
2014 inp_664
2015 buf_665
2016 end_666
2017 )
2018 cs_660
2019 buf_657
2020 callerEnd_654
2021 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_658 Data.Map.Internal.Tip Data.Map.Internal.Tip)
2022 else
2023 let _ = "checkToken.fail"
2024 in let failExp_667 =
2025 Data.Set.Internal.Bin
2026 1
2027 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2028 ( case inputToken of
2029 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken ')'
2030 )
2031 )
2032 Data.Set.Internal.Tip
2033 Data.Set.Internal.Tip
2034 in let (#
2035 farInp_668,
2036 farExp_669
2037 #) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_652 of
2038 GHC.Types.LT ->
2039 (#
2040 callerInput_652,
2041 failExp_667
2042 #)
2043 GHC.Types.EQ ->
2044 (#
2045 initPos_2,
2046 failExp_667 GHC.Base.<> Data.Set.Internal.empty
2047 #)
2048 GHC.Types.GT ->
2049 (#
2050 initPos_2,
2051 Data.Set.Internal.empty
2052 #)
2053 in readFail_658 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_652 farInp_668 farExp_669 buf_657 callerEnd_654
2054 else
2055 let _ = "checkHorizon.newCheck.fail"
2056 in let noMoreInput_670 =
2057 let failExp_671 =
2058 Data.Set.Internal.Bin
2059 1
2060 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2061 ( case inputToken of
2062 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 2
2063 )
2064 )
2065 Data.Set.Internal.Tip
2066 Data.Set.Internal.Tip
2067 in let (#
2068 farInp_672,
2069 farExp_673
2070 #) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_652 of
2071 GHC.Types.LT ->
2072 (#
2073 callerInput_652,
2074 failExp_671
2075 #)
2076 GHC.Types.EQ ->
2077 (#
2078 initPos_2,
2079 failExp_671 GHC.Base.<> Data.Set.Internal.empty
2080 #)
2081 GHC.Types.GT ->
2082 (#
2083 initPos_2,
2084 Data.Set.Internal.empty
2085 #)
2086 in readFail_658 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_652 farInp_672 farExp_673 buf_657 GHC.Types.True
2087 in if callerEnd_654
2088 then noMoreInput_670
2089 else
2090 Symantic.Parser.Machine.Generate.returnST GHC.Base.$
2091 ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
2092 ( \newInput_674 ->
2093 if Symantic.Parser.Machine.Input.nullInput newInput_674
2094 then noMoreInput_670
2095 else partialCont_656 (append_5 buf_657 newInput_674)
2096 )
2097 )
2098 in partialCont_656 callerBuffer_653
2099 name_189 = \(!callerOnReturn_675) (!callerInput_676) (!callerBuffer_677) (!callerEnd_678) (!callerOnExceptionStackByLabel_679) ->
2100 let _ = "pushValue"
2101 in let _ = "comment: satisfy ((GHC.Classes.==) ',')"
2102 in let partialCont_680 buf_681 =
2103 let readFail_682 = Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_679
2104 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
2105 in if readMore_3 buf_681 ((GHC.Num.+) @GHC.Types.Int 1 callerInput_676)
2106 then
2107 let _ = "checkToken"
2108 in let !(#
2109 c_683,
2110 cs_684
2111 #) = readNext_4 buf_681 callerInput_676
2112 in if (GHC.Classes.==) ',' c_683
2113 then
2114 let _ = "lift2Value checkedHorizon=2"
2115 in name_221
2116 ( let _ = "onReturn"
2117 in \farInp_685 farExp_686 v_687 (!inp_688) buf_689 end_690 ->
2118 let _ = "lift2Value checkedHorizon=0"
2119 in let _ = "resume"
2120 in callerOnReturn_675
2121 farInp_685
2122 farExp_686
2123 ( let _ = "resume.genCode"
2124 in ','
2125 )
2126 inp_688
2127 buf_689
2128 end_690
2129 )
2130 cs_684
2131 buf_681
2132 callerEnd_678
2133 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_682 Data.Map.Internal.Tip Data.Map.Internal.Tip)
2134 else
2135 let _ = "checkToken.fail"
2136 in let failExp_691 =
2137 Data.Set.Internal.Bin
2138 1
2139 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2140 ( case inputToken of
2141 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken ','
2142 )
2143 )
2144 Data.Set.Internal.Tip
2145 Data.Set.Internal.Tip
2146 in let (#
2147 farInp_692,
2148 farExp_693
2149 #) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_676 of
2150 GHC.Types.LT ->
2151 (#
2152 callerInput_676,
2153 failExp_691
2154 #)
2155 GHC.Types.EQ ->
2156 (#
2157 initPos_2,
2158 failExp_691 GHC.Base.<> Data.Set.Internal.empty
2159 #)
2160 GHC.Types.GT ->
2161 (#
2162 initPos_2,
2163 Data.Set.Internal.empty
2164 #)
2165 in readFail_682 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_676 farInp_692 farExp_693 buf_681 callerEnd_678
2166 else
2167 let _ = "checkHorizon.newCheck.fail"
2168 in let noMoreInput_694 =
2169 let failExp_695 =
2170 Data.Set.Internal.Bin
2171 1
2172 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2173 ( case inputToken of
2174 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 2
2175 )
2176 )
2177 Data.Set.Internal.Tip
2178 Data.Set.Internal.Tip
2179 in let (#
2180 farInp_696,
2181 farExp_697
2182 #) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_676 of
2183 GHC.Types.LT ->
2184 (#
2185 callerInput_676,
2186 failExp_695
2187 #)
2188 GHC.Types.EQ ->
2189 (#
2190 initPos_2,
2191 failExp_695 GHC.Base.<> Data.Set.Internal.empty
2192 #)
2193 GHC.Types.GT ->
2194 (#
2195 initPos_2,
2196 Data.Set.Internal.empty
2197 #)
2198 in readFail_682 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_676 farInp_696 farExp_697 buf_681 GHC.Types.True
2199 in if callerEnd_678
2200 then noMoreInput_694
2201 else
2202 Symantic.Parser.Machine.Generate.returnST GHC.Base.$
2203 ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
2204 ( \newInput_698 ->
2205 if Symantic.Parser.Machine.Input.nullInput newInput_698
2206 then noMoreInput_694
2207 else partialCont_680 (append_5 buf_681 newInput_698)
2208 )
2209 )
2210 in partialCont_680 callerBuffer_677
2211 name_699 = \(!callerOnReturn_700) (!callerInput_701) (!callerBuffer_702) (!callerEnd_703) (!callerOnExceptionStackByLabel_704) ->
2212 let _ = "pushValue"
2213 in let _ = "comment: satisfy ((GHC.Classes.==) ';')"
2214 in let partialCont_705 buf_706 =
2215 let readFail_707 = Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_704
2216 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
2217 in if readMore_3 buf_706 ((GHC.Num.+) @GHC.Types.Int 1 callerInput_701)
2218 then
2219 let _ = "checkToken"
2220 in let !(#
2221 c_708,
2222 cs_709
2223 #) = readNext_4 buf_706 callerInput_701
2224 in if (GHC.Classes.==) ';' c_708
2225 then
2226 let _ = "lift2Value checkedHorizon=2"
2227 in name_221
2228 ( let _ = "onReturn"
2229 in \farInp_710 farExp_711 v_712 (!inp_713) buf_714 end_715 ->
2230 let _ = "lift2Value checkedHorizon=0"
2231 in let _ = "resume"
2232 in callerOnReturn_700
2233 farInp_710
2234 farExp_711
2235 ( let _ = "resume.genCode"
2236 in ';'
2237 )
2238 inp_713
2239 buf_714
2240 end_715
2241 )
2242 cs_709
2243 buf_706
2244 callerEnd_703
2245 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_707 Data.Map.Internal.Tip Data.Map.Internal.Tip)
2246 else
2247 let _ = "checkToken.fail"
2248 in let failExp_716 =
2249 Data.Set.Internal.Bin
2250 1
2251 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2252 ( case inputToken of
2253 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken ';'
2254 )
2255 )
2256 Data.Set.Internal.Tip
2257 Data.Set.Internal.Tip
2258 in let (#
2259 farInp_717,
2260 farExp_718
2261 #) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_701 of
2262 GHC.Types.LT ->
2263 (#
2264 callerInput_701,
2265 failExp_716
2266 #)
2267 GHC.Types.EQ ->
2268 (#
2269 initPos_2,
2270 failExp_716 GHC.Base.<> Data.Set.Internal.empty
2271 #)
2272 GHC.Types.GT ->
2273 (#
2274 initPos_2,
2275 Data.Set.Internal.empty
2276 #)
2277 in readFail_707 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_701 farInp_717 farExp_718 buf_706 callerEnd_703
2278 else
2279 let _ = "checkHorizon.newCheck.fail"
2280 in let noMoreInput_719 =
2281 let failExp_720 =
2282 Data.Set.Internal.Bin
2283 1
2284 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2285 ( case inputToken of
2286 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 2
2287 )
2288 )
2289 Data.Set.Internal.Tip
2290 Data.Set.Internal.Tip
2291 in let (#
2292 farInp_721,
2293 farExp_722
2294 #) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_701 of
2295 GHC.Types.LT ->
2296 (#
2297 callerInput_701,
2298 failExp_720
2299 #)
2300 GHC.Types.EQ ->
2301 (#
2302 initPos_2,
2303 failExp_720 GHC.Base.<> Data.Set.Internal.empty
2304 #)
2305 GHC.Types.GT ->
2306 (#
2307 initPos_2,
2308 Data.Set.Internal.empty
2309 #)
2310 in readFail_707 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_701 farInp_721 farExp_722 buf_706 GHC.Types.True
2311 in if callerEnd_703
2312 then noMoreInput_719
2313 else
2314 Symantic.Parser.Machine.Generate.returnST GHC.Base.$
2315 ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
2316 ( \newInput_723 ->
2317 if Symantic.Parser.Machine.Input.nullInput newInput_723
2318 then noMoreInput_719
2319 else partialCont_705 (append_5 buf_706 newInput_723)
2320 )
2321 )
2322 in partialCont_705 callerBuffer_702
2323 name_103 = \(!callerOnReturn_724) (!callerInput_725) (!callerBuffer_726) (!callerEnd_727) (!callerOnExceptionStackByLabel_728) ->
2324 let _ = "pushValue"
2325 in let _ = "comment: satisfy ((GHC.Classes.==) '[')"
2326 in let partialCont_729 buf_730 =
2327 let readFail_731 = Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_728
2328 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=5"
2329 in if readMore_3 buf_730 ((GHC.Num.+) @GHC.Types.Int 4 callerInput_725)
2330 then
2331 let _ = "checkToken"
2332 in let !(#
2333 c_732,
2334 cs_733
2335 #) = readNext_4 buf_730 callerInput_725
2336 in if (GHC.Classes.==) '[' c_732
2337 then
2338 let _ = "lift2Value checkedHorizon=5"
2339 in name_221
2340 ( let _ = "onReturn"
2341 in \farInp_734 farExp_735 v_736 (!inp_737) buf_738 end_739 ->
2342 let _ = "lift2Value checkedHorizon=0"
2343 in name_400
2344 ( let _ = "onReturn"
2345 in \farInp_740 farExp_741 v_742 (!inp_743) buf_744 end_745 ->
2346 let _ = "lift2Value checkedHorizon=0"
2347 in let _ = "pushValue"
2348 in do
2349 let dupv_746 = \u_747 -> u_747
2350 reg_748 <- GHC.STRef.newSTRef dupv_746
2351 let _ = "iter"
2352 in let onException_749 loopInput_750 =
2353 let _ = "onException"
2354 in \(!_exn_751) (!failInp_752) (!farInp_753) (!farExp_754) buf_755 end_756 ->
2355 let _ = "comment: raiseAgainIfConsumed"
2356 in let _ = "saveInput checkedHorizon=0"
2357 in let _ = "lift2Value checkedHorizon=0"
2358 in if (GHC.Classes.==) @GHC.Types.Int loopInput_750 failInp_752
2359 then
2360 let _ = "choicesBranch checkedHorizon=0"
2361 in do
2362 sr_757 <- GHC.STRef.readSTRef reg_748
2363 let _ = "pushValue"
2364 in let _ = "lift2Value checkedHorizon=0"
2365 in let _ = "lift2Value checkedHorizon=0"
2366 in let _ = "comment: satisfy ((GHC.Classes.==) ']')"
2367 in let partialCont_758 buf_759 =
2368 let readFail_760 = readFail_731
2369 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
2370 in if readMore_3 buf_759 ((GHC.Num.+) @GHC.Types.Int 1 failInp_752)
2371 then
2372 let _ = "checkToken"
2373 in let !(#
2374 c_761,
2375 cs_762
2376 #) = readNext_4 buf_759 failInp_752
2377 in if (GHC.Classes.==) ']' c_761
2378 then
2379 let _ = "lift2Value checkedHorizon=2"
2380 in name_221
2381 ( let _ = "onReturn"
2382 in \farInp_763 farExp_764 v_765 (!inp_766) buf_767 end_768 ->
2383 let _ = "lift2Value checkedHorizon=0"
2384 in let _ = "resume"
2385 in callerOnReturn_724
2386 farInp_763
2387 farExp_764
2388 ( let _ = "resume.genCode"
2389 in GHC.Tuple . ()
2390 )
2391 inp_766
2392 buf_767
2393 end_768
2394 )
2395 cs_762
2396 buf_759
2397 end_756
2398 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_760 Data.Map.Internal.Tip Data.Map.Internal.Tip)
2399 else
2400 let _ = "checkToken.fail"
2401 in let failExp_769 =
2402 Data.Set.Internal.Bin
2403 1
2404 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2405 ( case inputToken of
2406 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken ']'
2407 )
2408 )
2409 Data.Set.Internal.Tip
2410 Data.Set.Internal.Tip
2411 in let (#
2412 farInp_770,
2413 farExp_771
2414 #) = case GHC.Classes.compare @GHC.Types.Int farInp_753 failInp_752 of
2415 GHC.Types.LT ->
2416 (#
2417 failInp_752,
2418 failExp_769
2419 #)
2420 GHC.Types.EQ ->
2421 (#
2422 farInp_753,
2423 failExp_769 GHC.Base.<> farExp_754
2424 #)
2425 GHC.Types.GT ->
2426 (#
2427 farInp_753,
2428 farExp_754
2429 #)
2430 in readFail_760 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_752 farInp_770 farExp_771 buf_759 end_756
2431 else
2432 let _ = "checkHorizon.newCheck.fail"
2433 in let noMoreInput_772 =
2434 let failExp_773 =
2435 Data.Set.Internal.Bin
2436 1
2437 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2438 ( case inputToken of
2439 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 2
2440 )
2441 )
2442 Data.Set.Internal.Tip
2443 Data.Set.Internal.Tip
2444 in let (#
2445 farInp_774,
2446 farExp_775
2447 #) = case GHC.Classes.compare @GHC.Types.Int farInp_753 failInp_752 of
2448 GHC.Types.LT ->
2449 (#
2450 failInp_752,
2451 failExp_773
2452 #)
2453 GHC.Types.EQ ->
2454 (#
2455 farInp_753,
2456 failExp_773 GHC.Base.<> farExp_754
2457 #)
2458 GHC.Types.GT ->
2459 (#
2460 farInp_753,
2461 farExp_754
2462 #)
2463 in readFail_760 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_752 farInp_774 farExp_775 buf_759 GHC.Types.True
2464 in if end_756
2465 then noMoreInput_772
2466 else
2467 Symantic.Parser.Machine.Generate.returnST GHC.Base.$
2468 ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
2469 ( \newInput_776 ->
2470 if Symantic.Parser.Machine.Input.nullInput newInput_776
2471 then noMoreInput_772
2472 else partialCont_758 (append_5 buf_759 newInput_776)
2473 )
2474 )
2475 in partialCont_758 buf_755
2476 else
2477 let _ = "choicesBranch.else"
2478 in readFail_731 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_752 farInp_753 farExp_754 buf_755 end_756
2479 loop_777 = \_callerOnReturn_778 callerInput_779 callerBuffer_780 callerEnded_781 callerOnExceptionStackByLabel_782 ->
2480 let _ = "pushValue"
2481 in name_400
2482 ( let _ = "onReturn"
2483 in \farInp_783 farExp_784 v_785 (!inp_786) buf_787 end_788 ->
2484 let _ = "lift2Value checkedHorizon=0"
2485 in do
2486 sr_789 <- GHC.STRef.readSTRef reg_748
2487 let _ = "lift2Value checkedHorizon=0"
2488 in do
2489 let dupv_790 = sr_789
2490 GHC.STRef.writeSTRef reg_748 dupv_790
2491 let _ = "jump"
2492 in loop_777 (GHC.Err.error "invalid onReturn") inp_786 buf_787 end_788 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_749 callerInput_779) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2493 )
2494 callerInput_779
2495 callerBuffer_780
2496 callerEnded_781
2497 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_749 callerInput_779) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2498 in let _ = "jump"
2499 in loop_777 callerOnReturn_724 inp_743 buf_744 end_745 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_731 Data.Map.Internal.Tip Data.Map.Internal.Tip)
2500 )
2501 inp_737
2502 buf_738
2503 end_739
2504 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_731 Data.Map.Internal.Tip Data.Map.Internal.Tip)
2505 )
2506 cs_733
2507 buf_730
2508 callerEnd_727
2509 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_731 Data.Map.Internal.Tip Data.Map.Internal.Tip)
2510 else
2511 let _ = "checkToken.fail"
2512 in let failExp_791 =
2513 Data.Set.Internal.Bin
2514 1
2515 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2516 ( case inputToken of
2517 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '['
2518 )
2519 )
2520 Data.Set.Internal.Tip
2521 Data.Set.Internal.Tip
2522 in let (#
2523 farInp_792,
2524 farExp_793
2525 #) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_725 of
2526 GHC.Types.LT ->
2527 (#
2528 callerInput_725,
2529 failExp_791
2530 #)
2531 GHC.Types.EQ ->
2532 (#
2533 initPos_2,
2534 failExp_791 GHC.Base.<> Data.Set.Internal.empty
2535 #)
2536 GHC.Types.GT ->
2537 (#
2538 initPos_2,
2539 Data.Set.Internal.empty
2540 #)
2541 in readFail_731 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_725 farInp_792 farExp_793 buf_730 callerEnd_727
2542 else
2543 let _ = "checkHorizon.newCheck.fail"
2544 in let noMoreInput_794 =
2545 let failExp_795 =
2546 Data.Set.Internal.Bin
2547 1
2548 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2549 ( case inputToken of
2550 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 5
2551 )
2552 )
2553 Data.Set.Internal.Tip
2554 Data.Set.Internal.Tip
2555 in let (#
2556 farInp_796,
2557 farExp_797
2558 #) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_725 of
2559 GHC.Types.LT ->
2560 (#
2561 callerInput_725,
2562 failExp_795
2563 #)
2564 GHC.Types.EQ ->
2565 (#
2566 initPos_2,
2567 failExp_795 GHC.Base.<> Data.Set.Internal.empty
2568 #)
2569 GHC.Types.GT ->
2570 (#
2571 initPos_2,
2572 Data.Set.Internal.empty
2573 #)
2574 in readFail_731 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_725 farInp_796 farExp_797 buf_730 GHC.Types.True
2575 in if callerEnd_727
2576 then noMoreInput_794
2577 else
2578 Symantic.Parser.Machine.Generate.returnST GHC.Base.$
2579 ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
2580 ( \newInput_798 ->
2581 if Symantic.Parser.Machine.Input.nullInput newInput_798
2582 then noMoreInput_794
2583 else partialCont_729 (append_5 buf_730 newInput_798)
2584 )
2585 )
2586 in partialCont_729 callerBuffer_726
2587 name_799 = \(!callerOnReturn_800) (!callerInput_801) (!callerBuffer_802) (!callerEnd_803) (!callerOnExceptionStackByLabel_804) ->
2588 let _ = "pushValue"
2589 in let _ = "comment: satisfy ((GHC.Classes.==) '{')"
2590 in let partialCont_805 buf_806 =
2591 let readFail_807 = Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_804
2592 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=4"
2593 in if readMore_3 buf_806 ((GHC.Num.+) @GHC.Types.Int 3 callerInput_801)
2594 then
2595 let _ = "checkToken"
2596 in let !(#
2597 c_808,
2598 cs_809
2599 #) = readNext_4 buf_806 callerInput_801
2600 in if (GHC.Classes.==) '{' c_808
2601 then
2602 let _ = "lift2Value checkedHorizon=4"
2603 in name_221
2604 ( let _ = "onReturn"
2605 in \farInp_810 farExp_811 v_812 (!inp_813) buf_814 end_815 ->
2606 let _ = "lift2Value checkedHorizon=0"
2607 in let _ = "pushValue"
2608 in do
2609 let dupv_816 = \u_817 -> u_817
2610 reg_818 <- GHC.STRef.newSTRef dupv_816
2611 let _ = "iter"
2612 in let onException_819 loopInput_820 =
2613 let _ = "onException"
2614 in \(!_exn_821) (!failInp_822) (!farInp_823) (!farExp_824) buf_825 end_826 ->
2615 let _ = "comment: raiseAgainIfConsumed"
2616 in let _ = "saveInput checkedHorizon=0"
2617 in let _ = "lift2Value checkedHorizon=0"
2618 in if (GHC.Classes.==) @GHC.Types.Int loopInput_820 failInp_822
2619 then
2620 let _ = "choicesBranch checkedHorizon=0"
2621 in do
2622 sr_827 <- GHC.STRef.readSTRef reg_818
2623 name_163
2624 ( let _ = "onReturn"
2625 in \farInp_828 farExp_829 v_830 (!inp_831) buf_832 end_833 ->
2626 let _ = "lift2Value checkedHorizon=0"
2627 in let _ = "lift2Value checkedHorizon=0"
2628 in name_82
2629 ( let _ = "onReturn"
2630 in \farInp_834 farExp_835 v_836 (!inp_837) buf_838 end_839 ->
2631 let _ = "lift2Value checkedHorizon=0"
2632 in let _ = "comment: satisfy ((GHC.Classes.==) '}')"
2633 in let partialCont_840 buf_841 =
2634 let readFail_842 = readFail_807
2635 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
2636 in if readMore_3 buf_841 ((GHC.Num.+) @GHC.Types.Int 1 inp_837)
2637 then
2638 let _ = "checkToken"
2639 in let !(#
2640 c_843,
2641 cs_844
2642 #) = readNext_4 buf_841 inp_837
2643 in if (GHC.Classes.==) '}' c_843
2644 then
2645 let _ = "lift2Value checkedHorizon=2"
2646 in name_221
2647 ( let _ = "onReturn"
2648 in \farInp_845 farExp_846 v_847 (!inp_848) buf_849 end_850 ->
2649 let _ = "lift2Value checkedHorizon=0"
2650 in let _ = "resume"
2651 in callerOnReturn_800
2652 farInp_845
2653 farExp_846
2654 ( let _ = "resume.genCode"
2655 in v_836
2656 )
2657 inp_848
2658 buf_849
2659 end_850
2660 )
2661 cs_844
2662 buf_841
2663 end_839
2664 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_842 Data.Map.Internal.Tip Data.Map.Internal.Tip)
2665 else
2666 let _ = "checkToken.fail"
2667 in let failExp_851 =
2668 Data.Set.Internal.Bin
2669 1
2670 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2671 ( case inputToken of
2672 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '}'
2673 )
2674 )
2675 Data.Set.Internal.Tip
2676 Data.Set.Internal.Tip
2677 in let (#
2678 farInp_852,
2679 farExp_853
2680 #) = case GHC.Classes.compare @GHC.Types.Int farInp_834 inp_837 of
2681 GHC.Types.LT ->
2682 (#
2683 inp_837,
2684 failExp_851
2685 #)
2686 GHC.Types.EQ ->
2687 (#
2688 farInp_834,
2689 failExp_851 GHC.Base.<> farExp_835
2690 #)
2691 GHC.Types.GT ->
2692 (#
2693 farInp_834,
2694 farExp_835
2695 #)
2696 in readFail_842 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_837 farInp_852 farExp_853 buf_841 end_839
2697 else
2698 let _ = "checkHorizon.newCheck.fail"
2699 in let noMoreInput_854 =
2700 let failExp_855 =
2701 Data.Set.Internal.Bin
2702 1
2703 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2704 ( case inputToken of
2705 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 2
2706 )
2707 )
2708 Data.Set.Internal.Tip
2709 Data.Set.Internal.Tip
2710 in let (#
2711 farInp_856,
2712 farExp_857
2713 #) = case GHC.Classes.compare @GHC.Types.Int farInp_834 inp_837 of
2714 GHC.Types.LT ->
2715 (#
2716 inp_837,
2717 failExp_855
2718 #)
2719 GHC.Types.EQ ->
2720 (#
2721 farInp_834,
2722 failExp_855 GHC.Base.<> farExp_835
2723 #)
2724 GHC.Types.GT ->
2725 (#
2726 farInp_834,
2727 farExp_835
2728 #)
2729 in readFail_842 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_837 farInp_856 farExp_857 buf_841 GHC.Types.True
2730 in if end_839
2731 then noMoreInput_854
2732 else
2733 Symantic.Parser.Machine.Generate.returnST GHC.Base.$
2734 ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
2735 ( \newInput_858 ->
2736 if Symantic.Parser.Machine.Input.nullInput newInput_858
2737 then noMoreInput_854
2738 else partialCont_840 (append_5 buf_841 newInput_858)
2739 )
2740 )
2741 in partialCont_840 buf_838
2742 )
2743 inp_831
2744 buf_832
2745 end_833
2746 Data.Map.Internal.Tip
2747 )
2748 failInp_822
2749 buf_825
2750 end_826
2751 Data.Map.Internal.Tip
2752 else
2753 let _ = "choicesBranch.else"
2754 in readFail_807 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_822 farInp_823 farExp_824 buf_825 end_826
2755 loop_859 = \_callerOnReturn_860 callerInput_861 callerBuffer_862 callerEnded_863 callerOnExceptionStackByLabel_864 ->
2756 let _ = "pushValue"
2757 in let join_865 = \farInp_866 farExp_867 v_868 (!inp_869) buf_870 end_871 ->
2758 let _ = "lift2Value checkedHorizon=0"
2759 in do
2760 sr_872 <- GHC.STRef.readSTRef reg_818
2761 let _ = "lift2Value checkedHorizon=0"
2762 in do
2763 let dupv_873 = sr_872
2764 GHC.STRef.writeSTRef reg_818 dupv_873
2765 let _ = "jump"
2766 in loop_859 (GHC.Err.error "invalid onReturn") inp_869 buf_870 end_871 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_819 callerInput_861) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2767 in let _ = "catch ExceptionFailure checkedHorizon=0"
2768 in let onException_874 =
2769 let _ = "onException"
2770 in \(!_exn_875) (!failInp_876) (!farInp_877) (!farExp_878) buf_879 end_880 ->
2771 let _ = "comment: raiseAgainIfConsumed"
2772 in let _ = "saveInput checkedHorizon=0"
2773 in let _ = "lift2Value checkedHorizon=0"
2774 in if (GHC.Classes.==) @GHC.Types.Int callerInput_861 failInp_876
2775 then
2776 let _ = "choicesBranch checkedHorizon=0"
2777 in let _ = "catch ExceptionFailure checkedHorizon=0"
2778 in let onException_881 =
2779 let _ = "onException"
2780 in \(!_exn_882) (!failInp_883) (!farInp_884) (!farExp_885) buf_886 end_887 ->
2781 let _ = "comment: raiseAgainIfConsumed"
2782 in let _ = "saveInput checkedHorizon=0"
2783 in let _ = "lift2Value checkedHorizon=0"
2784 in if (GHC.Classes.==) @GHC.Types.Int failInp_876 failInp_883
2785 then
2786 let _ = "choicesBranch checkedHorizon=0"
2787 in let _ = "catch ExceptionFailure checkedHorizon=0"
2788 in let onException_888 =
2789 let _ = "onException"
2790 in \(!_exn_889) (!failInp_890) (!farInp_891) (!farExp_892) buf_893 end_894 ->
2791 let _ = "comment: raiseAgainIfConsumed"
2792 in let _ = "saveInput checkedHorizon=0"
2793 in let _ = "lift2Value checkedHorizon=0"
2794 in if (GHC.Classes.==) @GHC.Types.Int failInp_883 failInp_890
2795 then
2796 let _ = "choicesBranch checkedHorizon=0"
2797 in let _ = "pushValue"
2798 in name_144
2799 ( let _ = "onReturn"
2800 in \farInp_895 farExp_896 v_897 (!inp_898) buf_899 end_900 ->
2801 let _ = "lift2Value checkedHorizon=0"
2802 in name_699
2803 ( let _ = "onReturn"
2804 in \farInp_901 farExp_902 v_903 (!inp_904) buf_905 end_906 ->
2805 let _ = "lift2Value checkedHorizon=0"
2806 in let _ = "resume"
2807 in join_865
2808 farInp_901
2809 farExp_902
2810 ( let _ = "resume.genCode"
2811 in v_897
2812 )
2813 inp_904
2814 buf_905
2815 end_906
2816 )
2817 inp_898
2818 buf_899
2819 end_900
2820 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_819 callerInput_861) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2821 )
2822 failInp_890
2823 buf_893
2824 end_894
2825 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_819 callerInput_861) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2826 else
2827 let _ = "choicesBranch.else"
2828 in onException_819 callerInput_861 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_890 farInp_891 farExp_892 buf_893 end_894
2829 in let _ = "catch ExceptionFailure checkedHorizon=0"
2830 in let onException_907 =
2831 let _ = "onException"
2832 in \(!_exn_908) (!failInp_909) (!farInp_910) (!farExp_911) buf_912 end_913 ->
2833 let _ = "loadInput checkedHorizon=0"
2834 in let _ = "checkHorizon.noCheck"
2835 in onException_888 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_883 farInp_910 farExp_911 buf_912 end_913
2836 in let _ = "pushValue"
2837 in let join_914 = \farInp_915 farExp_916 v_917 (!inp_918) buf_919 end_920 ->
2838 let _ = "lift2Value checkedHorizon=0"
2839 in name_343
2840 ( let _ = "onReturn"
2841 in \farInp_921 farExp_922 v_923 (!inp_924) buf_925 end_926 ->
2842 let _ = "lift2Value checkedHorizon=0"
2843 in let _ = "pushValue"
2844 in do
2845 let dupv_927 = \u_928 -> u_928
2846 reg_929 <- GHC.STRef.newSTRef dupv_927
2847 let _ = "iter"
2848 in let onException_930 loopInput_931 =
2849 let _ = "onException"
2850 in \(!_exn_932) (!failInp_933) (!farInp_934) (!farExp_935) buf_936 end_937 ->
2851 let _ = "comment: raiseAgainIfConsumed"
2852 in let _ = "saveInput checkedHorizon=0"
2853 in let _ = "lift2Value checkedHorizon=0"
2854 in if (GHC.Classes.==) @GHC.Types.Int loopInput_931 failInp_933
2855 then
2856 let _ = "choicesBranch checkedHorizon=0"
2857 in do
2858 sr_938 <- GHC.STRef.readSTRef reg_929
2859 name_163
2860 ( let _ = "onReturn"
2861 in \farInp_939 farExp_940 v_941 (!inp_942) buf_943 end_944 ->
2862 let _ = "lift2Value checkedHorizon=0"
2863 in let _ = "lift2Value checkedHorizon=0"
2864 in name_82
2865 ( let _ = "onReturn"
2866 in \farInp_945 farExp_946 v_947 (!inp_948) buf_949 end_950 ->
2867 let _ = "lift2Value checkedHorizon=0"
2868 in let _ = "comment: satisfy ((GHC.Classes.==) '=')"
2869 in let partialCont_951 buf_952 =
2870 let readFail_953 = onException_907
2871 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=6"
2872 in if readMore_3 buf_952 ((GHC.Num.+) @GHC.Types.Int 5 inp_948)
2873 then
2874 let _ = "checkToken"
2875 in let !(#
2876 c_954,
2877 cs_955
2878 #) = readNext_4 buf_952 inp_948
2879 in if (GHC.Classes.==) '=' c_954
2880 then
2881 let _ = "lift2Value checkedHorizon=6"
2882 in name_221
2883 ( let _ = "onReturn"
2884 in \farInp_956 farExp_957 v_958 (!inp_959) buf_960 end_961 ->
2885 let _ = "lift2Value checkedHorizon=0"
2886 in name_144
2887 ( let _ = "onReturn"
2888 in \farInp_962 farExp_963 v_964 (!inp_965) buf_966 end_967 ->
2889 let _ = "lift2Value checkedHorizon=0"
2890 in let _ = "pushValue"
2891 in do
2892 let dupv_968 = \u_969 -> u_969
2893 reg_970 <- GHC.STRef.newSTRef dupv_968
2894 let _ = "iter"
2895 in let onException_971 loopInput_972 =
2896 let _ = "onException"
2897 in \(!_exn_973) (!failInp_974) (!farInp_975) (!farExp_976) buf_977 end_978 ->
2898 let _ = "comment: raiseAgainIfConsumed"
2899 in let _ = "saveInput checkedHorizon=0"
2900 in let _ = "lift2Value checkedHorizon=0"
2901 in if (GHC.Classes.==) @GHC.Types.Int loopInput_972 failInp_974
2902 then
2903 let _ = "choicesBranch checkedHorizon=0"
2904 in do
2905 sr_979 <- GHC.STRef.readSTRef reg_970
2906 name_163
2907 ( let _ = "onReturn"
2908 in \farInp_980 farExp_981 v_982 (!inp_983) buf_984 end_985 ->
2909 let _ = "lift2Value checkedHorizon=0"
2910 in let _ = "lift2Value checkedHorizon=0"
2911 in name_82
2912 ( let _ = "onReturn"
2913 in \farInp_986 farExp_987 v_988 (!inp_989) buf_990 end_991 ->
2914 let _ = "lift2Value checkedHorizon=0"
2915 in name_699
2916 ( let _ = "onReturn"
2917 in \farInp_992 farExp_993 v_994 (!inp_995) buf_996 end_997 ->
2918 let _ = "lift2Value checkedHorizon=0"
2919 in let _ = "commit"
2920 in let _ = "commit"
2921 in let _ = "resume"
2922 in join_865
2923 farInp_992
2924 farExp_993
2925 ( let _ = "resume.genCode"
2926 in v_988
2927 )
2928 inp_995
2929 buf_996
2930 end_997
2931 )
2932 inp_989
2933 buf_990
2934 end_991
2935 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_953 Data.Map.Internal.Tip Data.Map.Internal.Tip)
2936 )
2937 inp_983
2938 buf_984
2939 end_985
2940 Data.Map.Internal.Tip
2941 )
2942 failInp_974
2943 buf_977
2944 end_978
2945 Data.Map.Internal.Tip
2946 else
2947 let _ = "choicesBranch.else"
2948 in readFail_953 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_974 farInp_975 farExp_976 buf_977 end_978
2949 loop_998 = \_callerOnReturn_999 callerInput_1000 callerBuffer_1001 callerEnded_1002 callerOnExceptionStackByLabel_1003 ->
2950 let _ = "pushValue"
2951 in name_182
2952 ( let _ = "onReturn"
2953 in \farInp_1004 farExp_1005 v_1006 (!inp_1007) buf_1008 end_1009 ->
2954 let _ = "lift2Value checkedHorizon=0"
2955 in name_189
2956 ( let _ = "onReturn"
2957 in \farInp_1010 farExp_1011 v_1012 (!inp_1013) buf_1014 end_1015 ->
2958 let _ = "lift2Value checkedHorizon=0"
2959 in name_144
2960 ( let _ = "onReturn"
2961 in \farInp_1016 farExp_1017 v_1018 (!inp_1019) buf_1020 end_1021 ->
2962 let _ = "lift2Value checkedHorizon=0"
2963 in do
2964 sr_1022 <- GHC.STRef.readSTRef reg_970
2965 let _ = "lift2Value checkedHorizon=0"
2966 in do
2967 let dupv_1023 = v_1006 v_1018 sr_1022
2968 GHC.STRef.writeSTRef reg_970 dupv_1023
2969 let _ = "jump"
2970 in loop_998 (GHC.Err.error "invalid onReturn") inp_1019 buf_1020 end_1021 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_971 callerInput_1000) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2971 )
2972 inp_1013
2973 buf_1014
2974 end_1015
2975 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_971 callerInput_1000) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2976 )
2977 inp_1007
2978 buf_1008
2979 end_1009
2980 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_971 callerInput_1000) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2981 )
2982 callerInput_1000
2983 callerBuffer_1001
2984 callerEnded_1002
2985 Data.Map.Internal.Tip
2986 in let _ = "jump"
2987 in loop_998 (GHC.Err.error "invalid onReturn") inp_965 buf_966 end_967 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_953 Data.Map.Internal.Tip Data.Map.Internal.Tip)
2988 )
2989 inp_959
2990 buf_960
2991 end_961
2992 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_953 Data.Map.Internal.Tip Data.Map.Internal.Tip)
2993 )
2994 cs_955
2995 buf_952
2996 end_950
2997 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_953 Data.Map.Internal.Tip Data.Map.Internal.Tip)
2998 else
2999 let _ = "checkToken.fail"
3000 in let failExp_1024 =
3001 Data.Set.Internal.Bin
3002 1
3003 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3004 ( case inputToken of
3005 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '='
3006 )
3007 )
3008 Data.Set.Internal.Tip
3009 Data.Set.Internal.Tip
3010 in let (#
3011 farInp_1025,
3012 farExp_1026
3013 #) = case GHC.Classes.compare @GHC.Types.Int farInp_945 inp_948 of
3014 GHC.Types.LT ->
3015 (#
3016 inp_948,
3017 failExp_1024
3018 #)
3019 GHC.Types.EQ ->
3020 (#
3021 farInp_945,
3022 failExp_1024 GHC.Base.<> farExp_946
3023 #)
3024 GHC.Types.GT ->
3025 (#
3026 farInp_945,
3027 farExp_946
3028 #)
3029 in readFail_953 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_948 farInp_1025 farExp_1026 buf_952 end_950
3030 else
3031 let _ = "checkHorizon.newCheck.fail"
3032 in let noMoreInput_1027 =
3033 let failExp_1028 =
3034 Data.Set.Internal.Bin
3035 1
3036 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3037 ( case inputToken of
3038 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 6
3039 )
3040 )
3041 Data.Set.Internal.Tip
3042 Data.Set.Internal.Tip
3043 in let (#
3044 farInp_1029,
3045 farExp_1030
3046 #) = case GHC.Classes.compare @GHC.Types.Int farInp_945 inp_948 of
3047 GHC.Types.LT ->
3048 (#
3049 inp_948,
3050 failExp_1028
3051 #)
3052 GHC.Types.EQ ->
3053 (#
3054 farInp_945,
3055 failExp_1028 GHC.Base.<> farExp_946
3056 #)
3057 GHC.Types.GT ->
3058 (#
3059 farInp_945,
3060 farExp_946
3061 #)
3062 in readFail_953 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_948 farInp_1029 farExp_1030 buf_952 GHC.Types.True
3063 in if end_950
3064 then noMoreInput_1027
3065 else
3066 Symantic.Parser.Machine.Generate.returnST GHC.Base.$
3067 ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
3068 ( \newInput_1031 ->
3069 if Symantic.Parser.Machine.Input.nullInput newInput_1031
3070 then noMoreInput_1027
3071 else partialCont_951 (append_5 buf_952 newInput_1031)
3072 )
3073 )
3074 in partialCont_951 buf_949
3075 )
3076 inp_942
3077 buf_943
3078 end_944
3079 Data.Map.Internal.Tip
3080 )
3081 failInp_933
3082 buf_936
3083 end_937
3084 Data.Map.Internal.Tip
3085 else
3086 let _ = "choicesBranch.else"
3087 in onException_907 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_933 farInp_934 farExp_935 buf_936 end_937
3088 loop_1032 = \_callerOnReturn_1033 callerInput_1034 callerBuffer_1035 callerEnded_1036 callerOnExceptionStackByLabel_1037 ->
3089 let _ = "pushValue"
3090 in name_182
3091 ( let _ = "onReturn"
3092 in \farInp_1038 farExp_1039 v_1040 (!inp_1041) buf_1042 end_1043 ->
3093 let _ = "lift2Value checkedHorizon=0"
3094 in name_189
3095 ( let _ = "onReturn"
3096 in \farInp_1044 farExp_1045 v_1046 (!inp_1047) buf_1048 end_1049 ->
3097 let _ = "lift2Value checkedHorizon=0"
3098 in name_343
3099 ( let _ = "onReturn"
3100 in \farInp_1050 farExp_1051 v_1052 (!inp_1053) buf_1054 end_1055 ->
3101 let _ = "lift2Value checkedHorizon=0"
3102 in do
3103 sr_1056 <- GHC.STRef.readSTRef reg_929
3104 let _ = "lift2Value checkedHorizon=0"
3105 in do
3106 let dupv_1057 = v_1040 v_1052 sr_1056
3107 GHC.STRef.writeSTRef reg_929 dupv_1057
3108 let _ = "jump"
3109 in loop_1032 (GHC.Err.error "invalid onReturn") inp_1053 buf_1054 end_1055 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_930 callerInput_1034) Data.Map.Internal.Tip Data.Map.Internal.Tip)
3110 )
3111 inp_1047
3112 buf_1048
3113 end_1049
3114 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_930 callerInput_1034) Data.Map.Internal.Tip Data.Map.Internal.Tip)
3115 )
3116 inp_1041
3117 buf_1042
3118 end_1043
3119 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_930 callerInput_1034) Data.Map.Internal.Tip Data.Map.Internal.Tip)
3120 )
3121 callerInput_1034
3122 callerBuffer_1035
3123 callerEnded_1036
3124 Data.Map.Internal.Tip
3125 in let _ = "jump"
3126 in loop_1032 (GHC.Err.error "invalid onReturn") inp_924 buf_925 end_926 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException_907 Data.Map.Internal.Tip Data.Map.Internal.Tip)
3127 )
3128 inp_918
3129 buf_919
3130 end_920
3131 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException_907 Data.Map.Internal.Tip Data.Map.Internal.Tip)
3132 in let _ = "catch ExceptionFailure checkedHorizon=0"
3133 in let onException_1058 =
3134 let _ = "onException"
3135 in \(!_exn_1059) (!failInp_1060) (!farInp_1061) (!farExp_1062) buf_1063 end_1064 ->
3136 let _ = "comment: raiseAgainIfConsumed"
3137 in let _ = "saveInput checkedHorizon=0"
3138 in let _ = "lift2Value checkedHorizon=0"
3139 in if (GHC.Classes.==) @GHC.Types.Int failInp_883 failInp_1060
3140 then
3141 let _ = "choicesBranch checkedHorizon=0"
3142 in name_82
3143 ( let _ = "onReturn"
3144 in \farInp_1065 farExp_1066 v_1067 (!inp_1068) buf_1069 end_1070 ->
3145 let _ = "resume"
3146 in join_914
3147 farInp_1065
3148 farExp_1066
3149 ( let _ = "resume.genCode"
3150 in v_1067
3151 )
3152 inp_1068
3153 buf_1069
3154 end_1070
3155 )
3156 failInp_1060
3157 buf_1063
3158 end_1064
3159 Data.Map.Internal.Tip
3160 else
3161 let _ = "choicesBranch.else"
3162 in onException_907 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_1060 farInp_1061 farExp_1062 buf_1063 end_1064
3163 in let _ = "pushValue"
3164 in let _ = "catch ExceptionFailure checkedHorizon=0"
3165 in let onException_1071 =
3166 let _ = "onException"
3167 in \(!_exn_1072) (!failInp_1073) (!farInp_1074) (!farExp_1075) buf_1076 end_1077 ->
3168 let _ = "loadInput checkedHorizon=0"
3169 in let _ = "checkHorizon.noCheck"
3170 in onException_1058 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_883 farInp_1074 farExp_1075 buf_1076 end_1077
3171 in let _ = "pushValue"
3172 in let _ = "comment: satisfy ((GHC.Classes.==) 'v')"
3173 in let partialCont_1078 buf_1079 =
3174 let readFail_1080 = onException_1071
3175 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=11"
3176 in if readMore_3 buf_1079 ((GHC.Num.+) @GHC.Types.Int 10 failInp_883)
3177 then
3178 let _ = "checkToken"
3179 in let !(#
3180 c_1081,
3181 cs_1082
3182 #) = readNext_4 buf_1079 failInp_883
3183 in if (GHC.Classes.==) 'v' c_1081
3184 then
3185 let _ = "lift2Value checkedHorizon=11"
3186 in let _ = "comment: satisfy ((GHC.Classes.==) 'a')"
3187 in let _ = "checkHorizon.oldCheck: checkedHorizon=11"
3188 in let _ = "checkToken"
3189 in let !(#
3190 c_1083,
3191 cs_1084
3192 #) = readNext_4 buf_1079 cs_1082
3193 in if (GHC.Classes.==) 'a' c_1083
3194 then
3195 let _ = "lift2Value checkedHorizon=10"
3196 in let _ = "comment: satisfy ((GHC.Classes.==) 'r')"
3197 in let _ = "checkHorizon.oldCheck: checkedHorizon=10"
3198 in let _ = "checkToken"
3199 in let !(#
3200 c_1085,
3201 cs_1086
3202 #) = readNext_4 buf_1079 cs_1084
3203 in if (GHC.Classes.==) 'r' c_1085
3204 then
3205 let _ = "lift2Value checkedHorizon=9"
3206 in let _ = "commit"
3207 in let _ = "lift2Value checkedHorizon=9"
3208 in let _ = "commit"
3209 in let _ = "resume"
3210 in join_914
3211 farInp_884
3212 farExp_885
3213 ( let _ = "resume.genCode"
3214 in GHC.Tuple . ()
3215 )
3216 cs_1086
3217 buf_1079
3218 end_887
3219 else
3220 let _ = "checkToken.fail"
3221 in let failExp_1087 =
3222 Data.Set.Internal.Bin
3223 1
3224 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3225 ( case inputToken of
3226 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'r'
3227 )
3228 )
3229 Data.Set.Internal.Tip
3230 Data.Set.Internal.Tip
3231 in let (#
3232 farInp_1088,
3233 farExp_1089
3234 #) = case GHC.Classes.compare @GHC.Types.Int farInp_884 cs_1084 of
3235 GHC.Types.LT ->
3236 (#
3237 cs_1084,
3238 failExp_1087
3239 #)
3240 GHC.Types.EQ ->
3241 (#
3242 farInp_884,
3243 failExp_1087 GHC.Base.<> farExp_885
3244 #)
3245 GHC.Types.GT ->
3246 (#
3247 farInp_884,
3248 farExp_885
3249 #)
3250 in readFail_1080 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1084 farInp_1088 farExp_1089 buf_1079 end_887
3251 else
3252 let _ = "checkToken.fail"
3253 in let failExp_1090 =
3254 Data.Set.Internal.Bin
3255 1
3256 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3257 ( case inputToken of
3258 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'a'
3259 )
3260 )
3261 Data.Set.Internal.Tip
3262 Data.Set.Internal.Tip
3263 in let (#
3264 farInp_1091,
3265 farExp_1092
3266 #) = case GHC.Classes.compare @GHC.Types.Int farInp_884 cs_1082 of
3267 GHC.Types.LT ->
3268 (#
3269 cs_1082,
3270 failExp_1090
3271 #)
3272 GHC.Types.EQ ->
3273 (#
3274 farInp_884,
3275 failExp_1090 GHC.Base.<> farExp_885
3276 #)
3277 GHC.Types.GT ->
3278 (#
3279 farInp_884,
3280 farExp_885
3281 #)
3282 in readFail_1080 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1082 farInp_1091 farExp_1092 buf_1079 end_887
3283 else
3284 let _ = "checkToken.fail"
3285 in let failExp_1093 =
3286 Data.Set.Internal.Bin
3287 1
3288 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3289 ( case inputToken of
3290 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'v'
3291 )
3292 )
3293 Data.Set.Internal.Tip
3294 Data.Set.Internal.Tip
3295 in let (#
3296 farInp_1094,
3297 farExp_1095
3298 #) = case GHC.Classes.compare @GHC.Types.Int farInp_884 failInp_883 of
3299 GHC.Types.LT ->
3300 (#
3301 failInp_883,
3302 failExp_1093
3303 #)
3304 GHC.Types.EQ ->
3305 (#
3306 farInp_884,
3307 failExp_1093 GHC.Base.<> farExp_885
3308 #)
3309 GHC.Types.GT ->
3310 (#
3311 farInp_884,
3312 farExp_885
3313 #)
3314 in readFail_1080 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_883 farInp_1094 farExp_1095 buf_1079 end_887
3315 else
3316 let _ = "checkHorizon.newCheck.fail"
3317 in let noMoreInput_1096 =
3318 let failExp_1097 =
3319 Data.Set.Internal.Bin
3320 1
3321 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3322 ( case inputToken of
3323 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 11
3324 )
3325 )
3326 Data.Set.Internal.Tip
3327 Data.Set.Internal.Tip
3328 in let (#
3329 farInp_1098,
3330 farExp_1099
3331 #) = case GHC.Classes.compare @GHC.Types.Int farInp_884 failInp_883 of
3332 GHC.Types.LT ->
3333 (#
3334 failInp_883,
3335 failExp_1097
3336 #)
3337 GHC.Types.EQ ->
3338 (#
3339 farInp_884,
3340 failExp_1097 GHC.Base.<> farExp_885
3341 #)
3342 GHC.Types.GT ->
3343 (#
3344 farInp_884,
3345 farExp_885
3346 #)
3347 in readFail_1080 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_883 farInp_1098 farExp_1099 buf_1079 GHC.Types.True
3348 in if end_887
3349 then noMoreInput_1096
3350 else
3351 Symantic.Parser.Machine.Generate.returnST GHC.Base.$
3352 ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
3353 ( \newInput_1100 ->
3354 if Symantic.Parser.Machine.Input.nullInput newInput_1100
3355 then noMoreInput_1096
3356 else partialCont_1078 (append_5 buf_1079 newInput_1100)
3357 )
3358 )
3359 in partialCont_1078 buf_886
3360 else
3361 let _ = "choicesBranch.else"
3362 in onException_819 callerInput_861 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_883 farInp_884 farExp_885 buf_886 end_887
3363 in let _ = "pushValue"
3364 in let _ = "catch ExceptionFailure checkedHorizon=0"
3365 in let onException_1101 =
3366 let _ = "onException"
3367 in \(!_exn_1102) (!failInp_1103) (!farInp_1104) (!farExp_1105) buf_1106 end_1107 ->
3368 let _ = "loadInput checkedHorizon=0"
3369 in let _ = "checkHorizon.noCheck"
3370 in onException_881 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_876 farInp_1104 farExp_1105 buf_1106 end_1107
3371 in let _ = "pushValue"
3372 in let _ = "comment: satisfy ((GHC.Classes.==) 'w')"
3373 in let partialCont_1108 buf_1109 =
3374 let readFail_1110 = onException_1101
3375 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=7"
3376 in if readMore_3 buf_1109 ((GHC.Num.+) @GHC.Types.Int 6 failInp_876)
3377 then
3378 let _ = "checkToken"
3379 in let !(#
3380 c_1111,
3381 cs_1112
3382 #) = readNext_4 buf_1109 failInp_876
3383 in if (GHC.Classes.==) 'w' c_1111
3384 then
3385 let _ = "lift2Value checkedHorizon=7"
3386 in let _ = "comment: satisfy ((GHC.Classes.==) 'h')"
3387 in let _ = "checkHorizon.oldCheck: checkedHorizon=7"
3388 in let _ = "checkToken"
3389 in let !(#
3390 c_1113,
3391 cs_1114
3392 #) = readNext_4 buf_1109 cs_1112
3393 in if (GHC.Classes.==) 'h' c_1113
3394 then
3395 let _ = "lift2Value checkedHorizon=6"
3396 in let _ = "comment: satisfy ((GHC.Classes.==) 'i')"
3397 in let _ = "checkHorizon.oldCheck: checkedHorizon=6"
3398 in let _ = "checkToken"
3399 in let !(#
3400 c_1115,
3401 cs_1116
3402 #) = readNext_4 buf_1109 cs_1114
3403 in if (GHC.Classes.==) 'i' c_1115
3404 then
3405 let _ = "lift2Value checkedHorizon=5"
3406 in let _ = "comment: satisfy ((GHC.Classes.==) 'l')"
3407 in let _ = "checkHorizon.oldCheck: checkedHorizon=5"
3408 in let _ = "checkToken"
3409 in let !(#
3410 c_1117,
3411 cs_1118
3412 #) = readNext_4 buf_1109 cs_1116
3413 in if (GHC.Classes.==) 'l' c_1117
3414 then
3415 let _ = "lift2Value checkedHorizon=4"
3416 in let _ = "comment: satisfy ((GHC.Classes.==) 'e')"
3417 in let _ = "checkHorizon.oldCheck: checkedHorizon=4"
3418 in let _ = "checkToken"
3419 in let !(#
3420 c_1119,
3421 cs_1120
3422 #) = readNext_4 buf_1109 cs_1118
3423 in if (GHC.Classes.==) 'e' c_1119
3424 then
3425 let _ = "lift2Value checkedHorizon=3"
3426 in let _ = "commit"
3427 in let _ = "lift2Value checkedHorizon=3"
3428 in name_144
3429 ( let _ = "onReturn"
3430 in \farInp_1121 farExp_1122 v_1123 (!inp_1124) buf_1125 end_1126 ->
3431 let _ = "lift2Value checkedHorizon=0"
3432 in name_799
3433 ( let _ = "onReturn"
3434 in \farInp_1127 farExp_1128 v_1129 (!inp_1130) buf_1131 end_1132 ->
3435 let _ = "lift2Value checkedHorizon=0"
3436 in let _ = "commit"
3437 in let _ = "resume"
3438 in join_865
3439 farInp_1127
3440 farExp_1128
3441 ( let _ = "resume.genCode"
3442 in v_1129
3443 )
3444 inp_1130
3445 buf_1131
3446 end_1132
3447 )
3448 inp_1124
3449 buf_1125
3450 end_1126
3451 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException_881 Data.Map.Internal.Tip Data.Map.Internal.Tip)
3452 )
3453 cs_1120
3454 buf_1109
3455 end_880
3456 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure onException_881 Data.Map.Internal.Tip Data.Map.Internal.Tip)
3457 else
3458 let _ = "checkToken.fail"
3459 in let failExp_1133 =
3460 Data.Set.Internal.Bin
3461 1
3462 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3463 ( case inputToken of
3464 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'e'
3465 )
3466 )
3467 Data.Set.Internal.Tip
3468 Data.Set.Internal.Tip
3469 in let (#
3470 farInp_1134,
3471 farExp_1135
3472 #) = case GHC.Classes.compare @GHC.Types.Int farInp_877 cs_1118 of
3473 GHC.Types.LT ->
3474 (#
3475 cs_1118,
3476 failExp_1133
3477 #)
3478 GHC.Types.EQ ->
3479 (#
3480 farInp_877,
3481 failExp_1133 GHC.Base.<> farExp_878
3482 #)
3483 GHC.Types.GT ->
3484 (#
3485 farInp_877,
3486 farExp_878
3487 #)
3488 in readFail_1110 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1118 farInp_1134 farExp_1135 buf_1109 end_880
3489 else
3490 let _ = "checkToken.fail"
3491 in let failExp_1136 =
3492 Data.Set.Internal.Bin
3493 1
3494 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3495 ( case inputToken of
3496 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'l'
3497 )
3498 )
3499 Data.Set.Internal.Tip
3500 Data.Set.Internal.Tip
3501 in let (#
3502 farInp_1137,
3503 farExp_1138
3504 #) = case GHC.Classes.compare @GHC.Types.Int farInp_877 cs_1116 of
3505 GHC.Types.LT ->
3506 (#
3507 cs_1116,
3508 failExp_1136
3509 #)
3510 GHC.Types.EQ ->
3511 (#
3512 farInp_877,
3513 failExp_1136 GHC.Base.<> farExp_878
3514 #)
3515 GHC.Types.GT ->
3516 (#
3517 farInp_877,
3518 farExp_878
3519 #)
3520 in readFail_1110 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1116 farInp_1137 farExp_1138 buf_1109 end_880
3521 else
3522 let _ = "checkToken.fail"
3523 in let failExp_1139 =
3524 Data.Set.Internal.Bin
3525 1
3526 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3527 ( case inputToken of
3528 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'i'
3529 )
3530 )
3531 Data.Set.Internal.Tip
3532 Data.Set.Internal.Tip
3533 in let (#
3534 farInp_1140,
3535 farExp_1141
3536 #) = case GHC.Classes.compare @GHC.Types.Int farInp_877 cs_1114 of
3537 GHC.Types.LT ->
3538 (#
3539 cs_1114,
3540 failExp_1139
3541 #)
3542 GHC.Types.EQ ->
3543 (#
3544 farInp_877,
3545 failExp_1139 GHC.Base.<> farExp_878
3546 #)
3547 GHC.Types.GT ->
3548 (#
3549 farInp_877,
3550 farExp_878
3551 #)
3552 in readFail_1110 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1114 farInp_1140 farExp_1141 buf_1109 end_880
3553 else
3554 let _ = "checkToken.fail"
3555 in let failExp_1142 =
3556 Data.Set.Internal.Bin
3557 1
3558 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3559 ( case inputToken of
3560 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'h'
3561 )
3562 )
3563 Data.Set.Internal.Tip
3564 Data.Set.Internal.Tip
3565 in let (#
3566 farInp_1143,
3567 farExp_1144
3568 #) = case GHC.Classes.compare @GHC.Types.Int farInp_877 cs_1112 of
3569 GHC.Types.LT ->
3570 (#
3571 cs_1112,
3572 failExp_1142
3573 #)
3574 GHC.Types.EQ ->
3575 (#
3576 farInp_877,
3577 failExp_1142 GHC.Base.<> farExp_878
3578 #)
3579 GHC.Types.GT ->
3580 (#
3581 farInp_877,
3582 farExp_878
3583 #)
3584 in readFail_1110 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1112 farInp_1143 farExp_1144 buf_1109 end_880
3585 else
3586 let _ = "checkToken.fail"
3587 in let failExp_1145 =
3588 Data.Set.Internal.Bin
3589 1
3590 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3591 ( case inputToken of
3592 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'w'
3593 )
3594 )
3595 Data.Set.Internal.Tip
3596 Data.Set.Internal.Tip
3597 in let (#
3598 farInp_1146,
3599 farExp_1147
3600 #) = case GHC.Classes.compare @GHC.Types.Int farInp_877 failInp_876 of
3601 GHC.Types.LT ->
3602 (#
3603 failInp_876,
3604 failExp_1145
3605 #)
3606 GHC.Types.EQ ->
3607 (#
3608 farInp_877,
3609 failExp_1145 GHC.Base.<> farExp_878
3610 #)
3611 GHC.Types.GT ->
3612 (#
3613 farInp_877,
3614 farExp_878
3615 #)
3616 in readFail_1110 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_876 farInp_1146 farExp_1147 buf_1109 end_880
3617 else
3618 let _ = "checkHorizon.newCheck.fail"
3619 in let noMoreInput_1148 =
3620 let failExp_1149 =
3621 Data.Set.Internal.Bin
3622 1
3623 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3624 ( case inputToken of
3625 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 7
3626 )
3627 )
3628 Data.Set.Internal.Tip
3629 Data.Set.Internal.Tip
3630 in let (#
3631 farInp_1150,
3632 farExp_1151
3633 #) = case GHC.Classes.compare @GHC.Types.Int farInp_877 failInp_876 of
3634 GHC.Types.LT ->
3635 (#
3636 failInp_876,
3637 failExp_1149
3638 #)
3639 GHC.Types.EQ ->
3640 (#
3641 farInp_877,
3642 failExp_1149 GHC.Base.<> farExp_878
3643 #)
3644 GHC.Types.GT ->
3645 (#
3646 farInp_877,
3647 farExp_878
3648 #)
3649 in readFail_1110 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_876 farInp_1150 farExp_1151 buf_1109 GHC.Types.True
3650 in if end_880
3651 then noMoreInput_1148
3652 else
3653 Symantic.Parser.Machine.Generate.returnST GHC.Base.$
3654 ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
3655 ( \newInput_1152 ->
3656 if Symantic.Parser.Machine.Input.nullInput newInput_1152
3657 then noMoreInput_1148
3658 else partialCont_1108 (append_5 buf_1109 newInput_1152)
3659 )
3660 )
3661 in partialCont_1108 buf_879
3662 else
3663 let _ = "choicesBranch.else"
3664 in onException_819 callerInput_861 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_876 farInp_877 farExp_878 buf_879 end_880
3665 in let _ = "pushValue"
3666 in let _ = "catch ExceptionFailure checkedHorizon=0"
3667 in let onException_1153 =
3668 let _ = "onException"
3669 in \(!_exn_1154) (!failInp_1155) (!farInp_1156) (!farExp_1157) buf_1158 end_1159 ->
3670 let _ = "loadInput checkedHorizon=0"
3671 in let _ = "checkHorizon.noCheck"
3672 in onException_874 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_861 farInp_1156 farExp_1157 buf_1158 end_1159
3673 in let _ = "pushValue"
3674 in let _ = "comment: satisfy ((GHC.Classes.==) 'i')"
3675 in let partialCont_1160 buf_1161 =
3676 let readFail_1162 = onException_1153
3677 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
3678 in if readMore_3 buf_1161 ((GHC.Num.+) @GHC.Types.Int 1 callerInput_861)
3679 then
3680 let _ = "checkToken"
3681 in let !(#
3682 c_1163,
3683 cs_1164
3684 #) = readNext_4 buf_1161 callerInput_861
3685 in if (GHC.Classes.==) 'i' c_1163
3686 then
3687 let _ = "lift2Value checkedHorizon=2"
3688 in let _ = "comment: satisfy ((GHC.Classes.==) 'f')"
3689 in let _ = "checkHorizon.oldCheck: checkedHorizon=2"
3690 in let _ = "checkToken"
3691 in let !(#
3692 c_1165,
3693 cs_1166
3694 #) = readNext_4 buf_1161 cs_1164
3695 in if (GHC.Classes.==) 'f' c_1165
3696 then
3697 let _ = "lift2Value checkedHorizon=1"
3698 in let _ = "commit"
3699 in let _ = "lift2Value checkedHorizon=1"
3700 in let _ = "commit"
3701 in let _ = "resume"
3702 in join_865
3703 farInp_810
3704 farExp_811
3705 ( let _ = "resume.genCode"
3706 in GHC.Tuple . ()
3707 )
3708 cs_1166
3709 buf_1161
3710 callerEnded_863
3711 else
3712 let _ = "checkToken.fail"
3713 in let failExp_1167 =
3714 Data.Set.Internal.Bin
3715 1
3716 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3717 ( case inputToken of
3718 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'f'
3719 )
3720 )
3721 Data.Set.Internal.Tip
3722 Data.Set.Internal.Tip
3723 in let (#
3724 farInp_1168,
3725 farExp_1169
3726 #) = case GHC.Classes.compare @GHC.Types.Int farInp_810 cs_1164 of
3727 GHC.Types.LT ->
3728 (#
3729 cs_1164,
3730 failExp_1167
3731 #)
3732 GHC.Types.EQ ->
3733 (#
3734 farInp_810,
3735 failExp_1167 GHC.Base.<> farExp_811
3736 #)
3737 GHC.Types.GT ->
3738 (#
3739 farInp_810,
3740 farExp_811
3741 #)
3742 in readFail_1162 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1164 farInp_1168 farExp_1169 buf_1161 callerEnded_863
3743 else
3744 let _ = "checkToken.fail"
3745 in let failExp_1170 =
3746 Data.Set.Internal.Bin
3747 1
3748 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3749 ( case inputToken of
3750 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'i'
3751 )
3752 )
3753 Data.Set.Internal.Tip
3754 Data.Set.Internal.Tip
3755 in let (#
3756 farInp_1171,
3757 farExp_1172
3758 #) = case GHC.Classes.compare @GHC.Types.Int farInp_810 callerInput_861 of
3759 GHC.Types.LT ->
3760 (#
3761 callerInput_861,
3762 failExp_1170
3763 #)
3764 GHC.Types.EQ ->
3765 (#
3766 farInp_810,
3767 failExp_1170 GHC.Base.<> farExp_811
3768 #)
3769 GHC.Types.GT ->
3770 (#
3771 farInp_810,
3772 farExp_811
3773 #)
3774 in readFail_1162 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_861 farInp_1171 farExp_1172 buf_1161 callerEnded_863
3775 else
3776 let _ = "checkHorizon.newCheck.fail"
3777 in let noMoreInput_1173 =
3778 let failExp_1174 =
3779 Data.Set.Internal.Bin
3780 1
3781 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3782 ( case inputToken of
3783 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 2
3784 )
3785 )
3786 Data.Set.Internal.Tip
3787 Data.Set.Internal.Tip
3788 in let (#
3789 farInp_1175,
3790 farExp_1176
3791 #) = case GHC.Classes.compare @GHC.Types.Int farInp_810 callerInput_861 of
3792 GHC.Types.LT ->
3793 (#
3794 callerInput_861,
3795 failExp_1174
3796 #)
3797 GHC.Types.EQ ->
3798 (#
3799 farInp_810,
3800 failExp_1174 GHC.Base.<> farExp_811
3801 #)
3802 GHC.Types.GT ->
3803 (#
3804 farInp_810,
3805 farExp_811
3806 #)
3807 in readFail_1162 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_861 farInp_1175 farExp_1176 buf_1161 GHC.Types.True
3808 in if callerEnded_863
3809 then noMoreInput_1173
3810 else
3811 Symantic.Parser.Machine.Generate.returnST GHC.Base.$
3812 ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
3813 ( \newInput_1177 ->
3814 if Symantic.Parser.Machine.Input.nullInput newInput_1177
3815 then noMoreInput_1173
3816 else partialCont_1160 (append_5 buf_1161 newInput_1177)
3817 )
3818 )
3819 in partialCont_1160 callerBuffer_862
3820 in let _ = "jump"
3821 in loop_859 callerOnReturn_800 inp_813 buf_814 end_815 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_807 Data.Map.Internal.Tip Data.Map.Internal.Tip)
3822 )
3823 cs_809
3824 buf_806
3825 callerEnd_803
3826 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_807 Data.Map.Internal.Tip Data.Map.Internal.Tip)
3827 else
3828 let _ = "checkToken.fail"
3829 in let failExp_1178 =
3830 Data.Set.Internal.Bin
3831 1
3832 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3833 ( case inputToken of
3834 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken '{'
3835 )
3836 )
3837 Data.Set.Internal.Tip
3838 Data.Set.Internal.Tip
3839 in let (#
3840 farInp_1179,
3841 farExp_1180
3842 #) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_801 of
3843 GHC.Types.LT ->
3844 (#
3845 callerInput_801,
3846 failExp_1178
3847 #)
3848 GHC.Types.EQ ->
3849 (#
3850 initPos_2,
3851 failExp_1178 GHC.Base.<> Data.Set.Internal.empty
3852 #)
3853 GHC.Types.GT ->
3854 (#
3855 initPos_2,
3856 Data.Set.Internal.empty
3857 #)
3858 in readFail_807 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_801 farInp_1179 farExp_1180 buf_806 callerEnd_803
3859 else
3860 let _ = "checkHorizon.newCheck.fail"
3861 in let noMoreInput_1181 =
3862 let failExp_1182 =
3863 Data.Set.Internal.Bin
3864 1
3865 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3866 ( case inputToken of
3867 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 4
3868 )
3869 )
3870 Data.Set.Internal.Tip
3871 Data.Set.Internal.Tip
3872 in let (#
3873 farInp_1183,
3874 farExp_1184
3875 #) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_801 of
3876 GHC.Types.LT ->
3877 (#
3878 callerInput_801,
3879 failExp_1182
3880 #)
3881 GHC.Types.EQ ->
3882 (#
3883 initPos_2,
3884 failExp_1182 GHC.Base.<> Data.Set.Internal.empty
3885 #)
3886 GHC.Types.GT ->
3887 (#
3888 initPos_2,
3889 Data.Set.Internal.empty
3890 #)
3891 in readFail_807 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_801 farInp_1183 farExp_1184 buf_806 GHC.Types.True
3892 in if callerEnd_803
3893 then noMoreInput_1181
3894 else
3895 Symantic.Parser.Machine.Generate.returnST GHC.Base.$
3896 ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
3897 ( \newInput_1185 ->
3898 if Symantic.Parser.Machine.Input.nullInput newInput_1185
3899 then noMoreInput_1181
3900 else partialCont_805 (append_5 buf_806 newInput_1185)
3901 )
3902 )
3903 in partialCont_805 callerBuffer_802
3904 name_530 = \(!callerOnReturn_1186) (!callerInput_1187) (!callerBuffer_1188) (!callerEnd_1189) (!callerOnExceptionStackByLabel_1190) ->
3905 let _ = "pushValue"
3906 in let _ = "comment: satisfy GHC.Unicode.isSpace"
3907 in let partialCont_1191 buf_1192 =
3908 let readFail_1193 = Data.Map.Strict.Internal.findWithDefault (Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22) Symantic.Parser.Grammar.Combinators.ExceptionFailure callerOnExceptionStackByLabel_1190
3909 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
3910 in if readMore_3 buf_1192 callerInput_1187
3911 then
3912 let _ = "checkToken"
3913 in let !(#
3914 c_1194,
3915 cs_1195
3916 #) = readNext_4 buf_1192 callerInput_1187
3917 in if GHC.Unicode.isSpace c_1194
3918 then
3919 let _ = "lift2Value checkedHorizon=1"
3920 in let _ = "resume"
3921 in callerOnReturn_1186
3922 initPos_2
3923 Data.Set.Internal.empty
3924 ( let _ = "resume.genCode"
3925 in GHC.Tuple . ()
3926 )
3927 cs_1195
3928 buf_1192
3929 callerEnd_1189
3930 else
3931 let _ = "checkToken.fail"
3932 in readFail_1193 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_1187 initPos_2 Data.Set.Internal.empty buf_1192 callerEnd_1189
3933 else
3934 let _ = "checkHorizon.newCheck.fail"
3935 in let noMoreInput_1196 =
3936 let failExp_1197 =
3937 Data.Set.Internal.Bin
3938 1
3939 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3940 ( case inputToken of
3941 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 1
3942 )
3943 )
3944 Data.Set.Internal.Tip
3945 Data.Set.Internal.Tip
3946 in let (#
3947 farInp_1198,
3948 farExp_1199
3949 #) = case GHC.Classes.compare @GHC.Types.Int initPos_2 callerInput_1187 of
3950 GHC.Types.LT ->
3951 (#
3952 callerInput_1187,
3953 failExp_1197
3954 #)
3955 GHC.Types.EQ ->
3956 (#
3957 initPos_2,
3958 failExp_1197 GHC.Base.<> Data.Set.Internal.empty
3959 #)
3960 GHC.Types.GT ->
3961 (#
3962 initPos_2,
3963 Data.Set.Internal.empty
3964 #)
3965 in readFail_1193 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_1187 farInp_1198 farExp_1199 buf_1192 GHC.Types.True
3966 in if callerEnd_1189
3967 then noMoreInput_1196
3968 else
3969 Symantic.Parser.Machine.Generate.returnST GHC.Base.$
3970 ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
3971 ( \newInput_1200 ->
3972 if Symantic.Parser.Machine.Input.nullInput newInput_1200
3973 then noMoreInput_1196
3974 else partialCont_1191 (append_5 buf_1192 newInput_1200)
3975 )
3976 )
3977 in partialCont_1191 callerBuffer_1188
3978 name_82 = \(!callerOnReturn_1201) (!callerInput_1202) (!callerBuffer_1203) (!callerEnd_1204) (!callerOnExceptionStackByLabel_1205) ->
3979 let _ = "pushValue"
3980 in let _ = "resume"
3981 in callerOnReturn_1201
3982 initPos_2
3983 Data.Set.Internal.empty
3984 ( let _ = "resume.genCode"
3985 in GHC.Tuple . ()
3986 )
3987 callerInput_1202
3988 callerBuffer_1203
3989 callerEnd_1204
3990 name_163 = \(!callerOnReturn_1206) (!callerInput_1207) (!callerBuffer_1208) (!callerEnd_1209) (!callerOnExceptionStackByLabel_1210) ->
3991 let _ = "pushValue"
3992 in let _ = "resume"
3993 in callerOnReturn_1206
3994 initPos_2
3995 Data.Set.Internal.empty
3996 ( let _ = "resume.genCode"
3997 in GHC.Tuple . ()
3998 )
3999 callerInput_1207
4000 callerBuffer_1208
4001 callerEnd_1209
4002 name_182 = \(!callerOnReturn_1211) (!callerInput_1212) (!callerBuffer_1213) (!callerEnd_1214) (!callerOnExceptionStackByLabel_1215) ->
4003 let _ = "pushValue"
4004 in let _ = "resume"
4005 in callerOnReturn_1211
4006 initPos_2
4007 Data.Set.Internal.empty
4008 ( let _ = "resume.genCode"
4009 in \u_1216 -> \u_1217 -> u_1217
4010 )
4011 callerInput_1212
4012 callerBuffer_1213
4013 callerEnd_1214
4014 in let _ = "pushValue"
4015 in name_221
4016 ( let _ = "onReturn"
4017 in \farInp_1218 farExp_1219 v_1220 (!inp_1221) buf_1222 end_1223 ->
4018 let _ = "lift2Value checkedHorizon=0"
4019 in let _ = "pushValue"
4020 in do
4021 let dupv_1224 = \u_1225 -> u_1225
4022 reg_1226 <- GHC.STRef.newSTRef dupv_1224
4023 let _ = "iter"
4024 in let onException_1227 loopInput_1228 =
4025 let _ = "onException"
4026 in \(!_exn_1229) (!failInp_1230) (!farInp_1231) (!farExp_1232) buf_1233 end_1234 ->
4027 let _ = "comment: raiseAgainIfConsumed"
4028 in let _ = "saveInput checkedHorizon=0"
4029 in let _ = "lift2Value checkedHorizon=0"
4030 in if (GHC.Classes.==) @GHC.Types.Int loopInput_1228 failInp_1230
4031 then
4032 let _ = "choicesBranch checkedHorizon=0"
4033 in do
4034 sr_1235 <- GHC.STRef.readSTRef reg_1226
4035 name_163
4036 ( let _ = "onReturn"
4037 in \farInp_1236 farExp_1237 v_1238 (!inp_1239) buf_1240 end_1241 ->
4038 let _ = "lift2Value checkedHorizon=0"
4039 in let _ = "lift2Value checkedHorizon=0"
4040 in let join_1242 = \farInp_1243 farExp_1244 v_1245 (!inp_1246) buf_1247 end_1248 ->
4041 let _ = "lift2Value checkedHorizon=0"
4042 in let _ = "resume"
4043 in finalRet_15
4044 farInp_1243
4045 farExp_1244
4046 ( let _ = "resume.genCode"
4047 in GHC.Show.show GHC.Tuple . ()
4048 )
4049 inp_1246
4050 buf_1247
4051 end_1248
4052 in let _ = "catch ExceptionFailure checkedHorizon=0"
4053 in let onException_1249 =
4054 let _ = "onException"
4055 in \(!_exn_1250) (!failInp_1251) (!farInp_1252) (!farExp_1253) buf_1254 end_1255 ->
4056 let _ = "comment: raiseAgainIfConsumed"
4057 in let _ = "saveInput checkedHorizon=0"
4058 in let _ = "lift2Value checkedHorizon=0"
4059 in if (GHC.Classes.==) @GHC.Types.Int inp_1239 failInp_1251
4060 then
4061 let _ = "choicesBranch checkedHorizon=0"
4062 in let _ = "comment: eof.fail"
4063 in let failExp_1256 = Data.Set.Internal.Bin 1 (Symantic.Parser.Grammar.Combinators.SomeFailure Symantic.Parser.Grammar.Combinators.FailureEnd) Data.Set.Internal.Tip Data.Set.Internal.Tip
4064 in let (#
4065 farInp_1257,
4066 farExp_1258
4067 #) = case GHC.Classes.compare @GHC.Types.Int farInp_1252 failInp_1251 of
4068 GHC.Types.LT ->
4069 (#
4070 failInp_1251,
4071 failExp_1256
4072 #)
4073 GHC.Types.EQ ->
4074 (#
4075 farInp_1252,
4076 failExp_1256 GHC.Base.<> farExp_1253
4077 #)
4078 GHC.Types.GT ->
4079 (#
4080 farInp_1252,
4081 farExp_1253
4082 #)
4083 in Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_1251 farInp_1257 farExp_1258 buf_1254 end_1255
4084 else
4085 let _ = "choicesBranch.else"
4086 in Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_1251 farInp_1252 farExp_1253 buf_1254 end_1255
4087 in let _ = "comment: negLook"
4088 in let _ = "catch ExceptionFailure checkedHorizon=0"
4089 in let onException_1259 =
4090 let _ = "onException"
4091 in \(!_exn_1260) (!failInp_1261) (!farInp_1262) (!farExp_1263) buf_1264 end_1265 ->
4092 let _ = "comment: negLook.reset"
4093 in let _ = "loadInput checkedHorizon=0"
4094 in let _ = "checkHorizon.noCheck"
4095 in let _ = "pushValue"
4096 in let _ = "commit"
4097 in let _ = "resume"
4098 in join_1242
4099 farInp_1262
4100 farExp_1263
4101 ( let _ = "resume.genCode"
4102 in GHC.Tuple . ()
4103 )
4104 inp_1239
4105 buf_1264
4106 end_1265
4107 in let _ = "comment: negLook.ahead"
4108 in let _ = "saveInput checkedHorizon=0"
4109 in let _ = "comment: satisfy (GHC.Base.const GHC.Types.True)"
4110 in let partialCont_1266 buf_1267 =
4111 let readFail_1268 = onException_1259
4112 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
4113 in if readMore_3 buf_1267 inp_1239
4114 then
4115 let _ = "checkToken"
4116 in let !(#
4117 c_1269,
4118 cs_1270
4119 #) = readNext_4 buf_1267 inp_1239
4120 in let _ = "popValue"
4121 in let _ = "commit"
4122 in let _ = "loadInput checkedHorizon=0"
4123 in let _ = "checkHorizon.noCheck"
4124 in onException_1249 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_1239 farInp_1236 farExp_1237 buf_1267 end_1241
4125 else
4126 let _ = "checkHorizon.newCheck.fail"
4127 in let noMoreInput_1271 =
4128 let failExp_1272 =
4129 Data.Set.Internal.Bin
4130 1
4131 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4132 ( case inputToken of
4133 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 1
4134 )
4135 )
4136 Data.Set.Internal.Tip
4137 Data.Set.Internal.Tip
4138 in let (#
4139 farInp_1273,
4140 farExp_1274
4141 #) = case GHC.Classes.compare @GHC.Types.Int farInp_1236 inp_1239 of
4142 GHC.Types.LT ->
4143 (#
4144 inp_1239,
4145 failExp_1272
4146 #)
4147 GHC.Types.EQ ->
4148 (#
4149 farInp_1236,
4150 failExp_1272 GHC.Base.<> farExp_1237
4151 #)
4152 GHC.Types.GT ->
4153 (#
4154 farInp_1236,
4155 farExp_1237
4156 #)
4157 in readFail_1268 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_1239 farInp_1273 farExp_1274 buf_1267 GHC.Types.True
4158 in if end_1241
4159 then noMoreInput_1271
4160 else
4161 Symantic.Parser.Machine.Generate.returnST GHC.Base.$
4162 ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
4163 ( \newInput_1275 ->
4164 if Symantic.Parser.Machine.Input.nullInput newInput_1275
4165 then noMoreInput_1271
4166 else partialCont_1266 (append_5 buf_1267 newInput_1275)
4167 )
4168 )
4169 in partialCont_1266 buf_1240
4170 )
4171 failInp_1230
4172 buf_1233
4173 end_1234
4174 Data.Map.Internal.Tip
4175 else
4176 let _ = "choicesBranch.else"
4177 in Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_1230 farInp_1231 farExp_1232 buf_1233 end_1234
4178 loop_1276 = \_callerOnReturn_1277 callerInput_1278 callerBuffer_1279 callerEnded_1280 callerOnExceptionStackByLabel_1281 ->
4179 let _ = "pushValue"
4180 in let _ = "catch ExceptionFailure checkedHorizon=0"
4181 in let onException_1282 =
4182 let _ = "onException"
4183 in \(!_exn_1283) (!failInp_1284) (!farInp_1285) (!farExp_1286) buf_1287 end_1288 ->
4184 let _ = "loadInput checkedHorizon=0"
4185 in let _ = "checkHorizon.noCheck"
4186 in onException_1227 callerInput_1278 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_1278 farInp_1285 farExp_1286 buf_1287 end_1288
4187 in let _ = "pushValue"
4188 in let _ = "comment: satisfy ((GHC.Classes.==) 'f')"
4189 in let partialCont_1289 buf_1290 =
4190 let readFail_1291 = onException_1282
4191 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=18"
4192 in if readMore_3 buf_1290 ((GHC.Num.+) @GHC.Types.Int 17 callerInput_1278)
4193 then
4194 let _ = "checkToken"
4195 in let !(#
4196 c_1292,
4197 cs_1293
4198 #) = readNext_4 buf_1290 callerInput_1278
4199 in if (GHC.Classes.==) 'f' c_1292
4200 then
4201 let _ = "lift2Value checkedHorizon=18"
4202 in let _ = "comment: satisfy ((GHC.Classes.==) 'u')"
4203 in let _ = "checkHorizon.oldCheck: checkedHorizon=18"
4204 in let _ = "checkToken"
4205 in let !(#
4206 c_1294,
4207 cs_1295
4208 #) = readNext_4 buf_1290 cs_1293
4209 in if (GHC.Classes.==) 'u' c_1294
4210 then
4211 let _ = "lift2Value checkedHorizon=17"
4212 in let _ = "comment: satisfy ((GHC.Classes.==) 'n')"
4213 in let _ = "checkHorizon.oldCheck: checkedHorizon=17"
4214 in let _ = "checkToken"
4215 in let !(#
4216 c_1296,
4217 cs_1297
4218 #) = readNext_4 buf_1290 cs_1295
4219 in if (GHC.Classes.==) 'n' c_1296
4220 then
4221 let _ = "lift2Value checkedHorizon=16"
4222 in let _ = "comment: satisfy ((GHC.Classes.==) 'c')"
4223 in let _ = "checkHorizon.oldCheck: checkedHorizon=16"
4224 in let _ = "checkToken"
4225 in let !(#
4226 c_1298,
4227 cs_1299
4228 #) = readNext_4 buf_1290 cs_1297
4229 in if (GHC.Classes.==) 'c' c_1298
4230 then
4231 let _ = "lift2Value checkedHorizon=15"
4232 in let _ = "comment: satisfy ((GHC.Classes.==) 't')"
4233 in let _ = "checkHorizon.oldCheck: checkedHorizon=15"
4234 in let _ = "checkToken"
4235 in let !(#
4236 c_1300,
4237 cs_1301
4238 #) = readNext_4 buf_1290 cs_1299
4239 in if (GHC.Classes.==) 't' c_1300
4240 then
4241 let _ = "lift2Value checkedHorizon=14"
4242 in let _ = "comment: satisfy ((GHC.Classes.==) 'i')"
4243 in let _ = "checkHorizon.oldCheck: checkedHorizon=14"
4244 in let _ = "checkToken"
4245 in let !(#
4246 c_1302,
4247 cs_1303
4248 #) = readNext_4 buf_1290 cs_1301
4249 in if (GHC.Classes.==) 'i' c_1302
4250 then
4251 let _ = "lift2Value checkedHorizon=13"
4252 in let _ = "comment: satisfy ((GHC.Classes.==) 'o')"
4253 in let _ = "checkHorizon.oldCheck: checkedHorizon=13"
4254 in let _ = "checkToken"
4255 in let !(#
4256 c_1304,
4257 cs_1305
4258 #) = readNext_4 buf_1290 cs_1303
4259 in if (GHC.Classes.==) 'o' c_1304
4260 then
4261 let _ = "lift2Value checkedHorizon=12"
4262 in let _ = "comment: satisfy ((GHC.Classes.==) 'n')"
4263 in let _ = "checkHorizon.oldCheck: checkedHorizon=12"
4264 in let _ = "checkToken"
4265 in let !(#
4266 c_1306,
4267 cs_1307
4268 #) = readNext_4 buf_1290 cs_1305
4269 in if (GHC.Classes.==) 'n' c_1306
4270 then
4271 let _ = "lift2Value checkedHorizon=11"
4272 in let _ = "commit"
4273 in let _ = "lift2Value checkedHorizon=11"
4274 in name_61
4275 ( let _ = "onReturn"
4276 in \farInp_1308 farExp_1309 v_1310 (!inp_1311) buf_1312 end_1313 ->
4277 let _ = "lift2Value checkedHorizon=0"
4278 in name_110
4279 ( let _ = "onReturn"
4280 in \farInp_1314 farExp_1315 v_1316 (!inp_1317) buf_1318 end_1319 ->
4281 let _ = "lift2Value checkedHorizon=0"
4282 in name_330
4283 ( let _ = "onReturn"
4284 in \farInp_1320 farExp_1321 v_1322 (!inp_1323) buf_1324 end_1325 ->
4285 let _ = "lift2Value checkedHorizon=0"
4286 in let join_1326 = \farInp_1327 farExp_1328 v_1329 (!inp_1330) buf_1331 end_1332 ->
4287 let _ = "lift2Value checkedHorizon=0"
4288 in name_124
4289 ( let _ = "onReturn"
4290 in \farInp_1333 farExp_1334 v_1335 (!inp_1336) buf_1337 end_1338 ->
4291 let _ = "lift2Value checkedHorizon=0"
4292 in name_799
4293 ( let _ = "onReturn"
4294 in \farInp_1339 farExp_1340 v_1341 (!inp_1342) buf_1343 end_1344 ->
4295 let _ = "lift2Value checkedHorizon=0"
4296 in do
4297 sr_1345 <- GHC.STRef.readSTRef reg_1226
4298 let _ = "lift2Value checkedHorizon=0"
4299 in do
4300 let dupv_1346 = sr_1345
4301 GHC.STRef.writeSTRef reg_1226 dupv_1346
4302 let _ = "jump"
4303 in loop_1276 (GHC.Err.error "invalid onReturn") inp_1342 buf_1343 end_1344 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_1227 callerInput_1278) Data.Map.Internal.Tip Data.Map.Internal.Tip)
4304 )
4305 inp_1336
4306 buf_1337
4307 end_1338
4308 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_1227 callerInput_1278) Data.Map.Internal.Tip Data.Map.Internal.Tip)
4309 )
4310 inp_1330
4311 buf_1331
4312 end_1332
4313 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_1227 callerInput_1278) Data.Map.Internal.Tip Data.Map.Internal.Tip)
4314 in let _ = "catch ExceptionFailure checkedHorizon=0"
4315 in let onException_1347 =
4316 let _ = "onException"
4317 in \(!_exn_1348) (!failInp_1349) (!farInp_1350) (!farExp_1351) buf_1352 end_1353 ->
4318 let _ = "comment: raiseAgainIfConsumed"
4319 in let _ = "saveInput checkedHorizon=0"
4320 in let _ = "lift2Value checkedHorizon=0"
4321 in if (GHC.Classes.==) @GHC.Types.Int inp_1323 failInp_1349
4322 then
4323 let _ = "choicesBranch checkedHorizon=0"
4324 in name_82
4325 ( let _ = "onReturn"
4326 in \farInp_1354 farExp_1355 v_1356 (!inp_1357) buf_1358 end_1359 ->
4327 let _ = "resume"
4328 in join_1326
4329 farInp_1354
4330 farExp_1355
4331 ( let _ = "resume.genCode"
4332 in v_1356
4333 )
4334 inp_1357
4335 buf_1358
4336 end_1359
4337 )
4338 failInp_1349
4339 buf_1352
4340 end_1353
4341 Data.Map.Internal.Tip
4342 else
4343 let _ = "choicesBranch.else"
4344 in onException_1227 callerInput_1278 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_1349 farInp_1350 farExp_1351 buf_1352 end_1353
4345 in let _ = "pushValue"
4346 in let _ = "comment: satisfy ((GHC.Classes.==) ':')"
4347 in let partialCont_1360 buf_1361 =
4348 let readFail_1362 = onException_1347
4349 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=8"
4350 in if readMore_3 buf_1361 ((GHC.Num.+) @GHC.Types.Int 7 inp_1323)
4351 then
4352 let _ = "checkToken"
4353 in let !(#
4354 c_1363,
4355 cs_1364
4356 #) = readNext_4 buf_1361 inp_1323
4357 in if (GHC.Classes.==) ':' c_1363
4358 then
4359 let _ = "lift2Value checkedHorizon=8"
4360 in name_221
4361 ( let _ = "onReturn"
4362 in \farInp_1365 farExp_1366 v_1367 (!inp_1368) buf_1369 end_1370 ->
4363 let _ = "lift2Value checkedHorizon=0"
4364 in name_330
4365 ( let _ = "onReturn"
4366 in \farInp_1371 farExp_1372 v_1373 (!inp_1374) buf_1375 end_1376 ->
4367 let _ = "lift2Value checkedHorizon=0"
4368 in let _ = "commit"
4369 in let _ = "resume"
4370 in join_1326
4371 farInp_1371
4372 farExp_1372
4373 ( let _ = "resume.genCode"
4374 in GHC.Tuple . ()
4375 )
4376 inp_1374
4377 buf_1375
4378 end_1376
4379 )
4380 inp_1368
4381 buf_1369
4382 end_1370
4383 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_1362 Data.Map.Internal.Tip Data.Map.Internal.Tip)
4384 )
4385 cs_1364
4386 buf_1361
4387 end_1325
4388 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_1362 Data.Map.Internal.Tip Data.Map.Internal.Tip)
4389 else
4390 let _ = "checkToken.fail"
4391 in let failExp_1377 =
4392 Data.Set.Internal.Bin
4393 1
4394 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4395 ( case inputToken of
4396 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken ':'
4397 )
4398 )
4399 Data.Set.Internal.Tip
4400 Data.Set.Internal.Tip
4401 in let (#
4402 farInp_1378,
4403 farExp_1379
4404 #) = case GHC.Classes.compare @GHC.Types.Int farInp_1320 inp_1323 of
4405 GHC.Types.LT ->
4406 (#
4407 inp_1323,
4408 failExp_1377
4409 #)
4410 GHC.Types.EQ ->
4411 (#
4412 farInp_1320,
4413 failExp_1377 GHC.Base.<> farExp_1321
4414 #)
4415 GHC.Types.GT ->
4416 (#
4417 farInp_1320,
4418 farExp_1321
4419 #)
4420 in readFail_1362 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_1323 farInp_1378 farExp_1379 buf_1361 end_1325
4421 else
4422 let _ = "checkHorizon.newCheck.fail"
4423 in let noMoreInput_1380 =
4424 let failExp_1381 =
4425 Data.Set.Internal.Bin
4426 1
4427 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4428 ( case inputToken of
4429 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 8
4430 )
4431 )
4432 Data.Set.Internal.Tip
4433 Data.Set.Internal.Tip
4434 in let (#
4435 farInp_1382,
4436 farExp_1383
4437 #) = case GHC.Classes.compare @GHC.Types.Int farInp_1320 inp_1323 of
4438 GHC.Types.LT ->
4439 (#
4440 inp_1323,
4441 failExp_1381
4442 #)
4443 GHC.Types.EQ ->
4444 (#
4445 farInp_1320,
4446 failExp_1381 GHC.Base.<> farExp_1321
4447 #)
4448 GHC.Types.GT ->
4449 (#
4450 farInp_1320,
4451 farExp_1321
4452 #)
4453 in readFail_1362 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_1323 farInp_1382 farExp_1383 buf_1361 GHC.Types.True
4454 in if end_1325
4455 then noMoreInput_1380
4456 else
4457 Symantic.Parser.Machine.Generate.returnST GHC.Base.$
4458 ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
4459 ( \newInput_1384 ->
4460 if Symantic.Parser.Machine.Input.nullInput newInput_1384
4461 then noMoreInput_1380
4462 else partialCont_1360 (append_5 buf_1361 newInput_1384)
4463 )
4464 )
4465 in partialCont_1360 buf_1324
4466 )
4467 inp_1317
4468 buf_1318
4469 end_1319
4470 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_1227 callerInput_1278) Data.Map.Internal.Tip Data.Map.Internal.Tip)
4471 )
4472 inp_1311
4473 buf_1312
4474 end_1313
4475 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_1227 callerInput_1278) Data.Map.Internal.Tip Data.Map.Internal.Tip)
4476 )
4477 cs_1307
4478 buf_1290
4479 callerEnded_1280
4480 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_1227 callerInput_1278) Data.Map.Internal.Tip Data.Map.Internal.Tip)
4481 else
4482 let _ = "checkToken.fail"
4483 in let failExp_1385 =
4484 Data.Set.Internal.Bin
4485 1
4486 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4487 ( case inputToken of
4488 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'n'
4489 )
4490 )
4491 Data.Set.Internal.Tip
4492 Data.Set.Internal.Tip
4493 in let (#
4494 farInp_1386,
4495 farExp_1387
4496 #) = case GHC.Classes.compare @GHC.Types.Int farInp_1218 cs_1305 of
4497 GHC.Types.LT ->
4498 (#
4499 cs_1305,
4500 failExp_1385
4501 #)
4502 GHC.Types.EQ ->
4503 (#
4504 farInp_1218,
4505 failExp_1385 GHC.Base.<> farExp_1219
4506 #)
4507 GHC.Types.GT ->
4508 (#
4509 farInp_1218,
4510 farExp_1219
4511 #)
4512 in readFail_1291 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1305 farInp_1386 farExp_1387 buf_1290 callerEnded_1280
4513 else
4514 let _ = "checkToken.fail"
4515 in let failExp_1388 =
4516 Data.Set.Internal.Bin
4517 1
4518 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4519 ( case inputToken of
4520 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'o'
4521 )
4522 )
4523 Data.Set.Internal.Tip
4524 Data.Set.Internal.Tip
4525 in let (#
4526 farInp_1389,
4527 farExp_1390
4528 #) = case GHC.Classes.compare @GHC.Types.Int farInp_1218 cs_1303 of
4529 GHC.Types.LT ->
4530 (#
4531 cs_1303,
4532 failExp_1388
4533 #)
4534 GHC.Types.EQ ->
4535 (#
4536 farInp_1218,
4537 failExp_1388 GHC.Base.<> farExp_1219
4538 #)
4539 GHC.Types.GT ->
4540 (#
4541 farInp_1218,
4542 farExp_1219
4543 #)
4544 in readFail_1291 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1303 farInp_1389 farExp_1390 buf_1290 callerEnded_1280
4545 else
4546 let _ = "checkToken.fail"
4547 in let failExp_1391 =
4548 Data.Set.Internal.Bin
4549 1
4550 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4551 ( case inputToken of
4552 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'i'
4553 )
4554 )
4555 Data.Set.Internal.Tip
4556 Data.Set.Internal.Tip
4557 in let (#
4558 farInp_1392,
4559 farExp_1393
4560 #) = case GHC.Classes.compare @GHC.Types.Int farInp_1218 cs_1301 of
4561 GHC.Types.LT ->
4562 (#
4563 cs_1301,
4564 failExp_1391
4565 #)
4566 GHC.Types.EQ ->
4567 (#
4568 farInp_1218,
4569 failExp_1391 GHC.Base.<> farExp_1219
4570 #)
4571 GHC.Types.GT ->
4572 (#
4573 farInp_1218,
4574 farExp_1219
4575 #)
4576 in readFail_1291 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1301 farInp_1392 farExp_1393 buf_1290 callerEnded_1280
4577 else
4578 let _ = "checkToken.fail"
4579 in let failExp_1394 =
4580 Data.Set.Internal.Bin
4581 1
4582 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4583 ( case inputToken of
4584 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 't'
4585 )
4586 )
4587 Data.Set.Internal.Tip
4588 Data.Set.Internal.Tip
4589 in let (#
4590 farInp_1395,
4591 farExp_1396
4592 #) = case GHC.Classes.compare @GHC.Types.Int farInp_1218 cs_1299 of
4593 GHC.Types.LT ->
4594 (#
4595 cs_1299,
4596 failExp_1394
4597 #)
4598 GHC.Types.EQ ->
4599 (#
4600 farInp_1218,
4601 failExp_1394 GHC.Base.<> farExp_1219
4602 #)
4603 GHC.Types.GT ->
4604 (#
4605 farInp_1218,
4606 farExp_1219
4607 #)
4608 in readFail_1291 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1299 farInp_1395 farExp_1396 buf_1290 callerEnded_1280
4609 else
4610 let _ = "checkToken.fail"
4611 in let failExp_1397 =
4612 Data.Set.Internal.Bin
4613 1
4614 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4615 ( case inputToken of
4616 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'c'
4617 )
4618 )
4619 Data.Set.Internal.Tip
4620 Data.Set.Internal.Tip
4621 in let (#
4622 farInp_1398,
4623 farExp_1399
4624 #) = case GHC.Classes.compare @GHC.Types.Int farInp_1218 cs_1297 of
4625 GHC.Types.LT ->
4626 (#
4627 cs_1297,
4628 failExp_1397
4629 #)
4630 GHC.Types.EQ ->
4631 (#
4632 farInp_1218,
4633 failExp_1397 GHC.Base.<> farExp_1219
4634 #)
4635 GHC.Types.GT ->
4636 (#
4637 farInp_1218,
4638 farExp_1219
4639 #)
4640 in readFail_1291 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1297 farInp_1398 farExp_1399 buf_1290 callerEnded_1280
4641 else
4642 let _ = "checkToken.fail"
4643 in let failExp_1400 =
4644 Data.Set.Internal.Bin
4645 1
4646 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4647 ( case inputToken of
4648 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'n'
4649 )
4650 )
4651 Data.Set.Internal.Tip
4652 Data.Set.Internal.Tip
4653 in let (#
4654 farInp_1401,
4655 farExp_1402
4656 #) = case GHC.Classes.compare @GHC.Types.Int farInp_1218 cs_1295 of
4657 GHC.Types.LT ->
4658 (#
4659 cs_1295,
4660 failExp_1400
4661 #)
4662 GHC.Types.EQ ->
4663 (#
4664 farInp_1218,
4665 failExp_1400 GHC.Base.<> farExp_1219
4666 #)
4667 GHC.Types.GT ->
4668 (#
4669 farInp_1218,
4670 farExp_1219
4671 #)
4672 in readFail_1291 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1295 farInp_1401 farExp_1402 buf_1290 callerEnded_1280
4673 else
4674 let _ = "checkToken.fail"
4675 in let failExp_1403 =
4676 Data.Set.Internal.Bin
4677 1
4678 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4679 ( case inputToken of
4680 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'u'
4681 )
4682 )
4683 Data.Set.Internal.Tip
4684 Data.Set.Internal.Tip
4685 in let (#
4686 farInp_1404,
4687 farExp_1405
4688 #) = case GHC.Classes.compare @GHC.Types.Int farInp_1218 cs_1293 of
4689 GHC.Types.LT ->
4690 (#
4691 cs_1293,
4692 failExp_1403
4693 #)
4694 GHC.Types.EQ ->
4695 (#
4696 farInp_1218,
4697 failExp_1403 GHC.Base.<> farExp_1219
4698 #)
4699 GHC.Types.GT ->
4700 (#
4701 farInp_1218,
4702 farExp_1219
4703 #)
4704 in readFail_1291 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1293 farInp_1404 farExp_1405 buf_1290 callerEnded_1280
4705 else
4706 let _ = "checkToken.fail"
4707 in let failExp_1406 =
4708 Data.Set.Internal.Bin
4709 1
4710 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4711 ( case inputToken of
4712 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureToken 'f'
4713 )
4714 )
4715 Data.Set.Internal.Tip
4716 Data.Set.Internal.Tip
4717 in let (#
4718 farInp_1407,
4719 farExp_1408
4720 #) = case GHC.Classes.compare @GHC.Types.Int farInp_1218 callerInput_1278 of
4721 GHC.Types.LT ->
4722 (#
4723 callerInput_1278,
4724 failExp_1406
4725 #)
4726 GHC.Types.EQ ->
4727 (#
4728 farInp_1218,
4729 failExp_1406 GHC.Base.<> farExp_1219
4730 #)
4731 GHC.Types.GT ->
4732 (#
4733 farInp_1218,
4734 farExp_1219
4735 #)
4736 in readFail_1291 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_1278 farInp_1407 farExp_1408 buf_1290 callerEnded_1280
4737 else
4738 let _ = "checkHorizon.newCheck.fail"
4739 in let noMoreInput_1409 =
4740 let failExp_1410 =
4741 Data.Set.Internal.Bin
4742 1
4743 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4744 ( case inputToken of
4745 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 18
4746 )
4747 )
4748 Data.Set.Internal.Tip
4749 Data.Set.Internal.Tip
4750 in let (#
4751 farInp_1411,
4752 farExp_1412
4753 #) = case GHC.Classes.compare @GHC.Types.Int farInp_1218 callerInput_1278 of
4754 GHC.Types.LT ->
4755 (#
4756 callerInput_1278,
4757 failExp_1410
4758 #)
4759 GHC.Types.EQ ->
4760 (#
4761 farInp_1218,
4762 failExp_1410 GHC.Base.<> farExp_1219
4763 #)
4764 GHC.Types.GT ->
4765 (#
4766 farInp_1218,
4767 farExp_1219
4768 #)
4769 in readFail_1291 Symantic.Parser.Grammar.Combinators.ExceptionFailure callerInput_1278 farInp_1411 farExp_1412 buf_1290 GHC.Types.True
4770 in if callerEnded_1280
4771 then noMoreInput_1409
4772 else
4773 Symantic.Parser.Machine.Generate.returnST GHC.Base.$
4774 ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
4775 ( \newInput_1413 ->
4776 if Symantic.Parser.Machine.Input.nullInput newInput_1413
4777 then noMoreInput_1409
4778 else partialCont_1289 (append_5 buf_1290 newInput_1413)
4779 )
4780 )
4781 in partialCont_1289 callerBuffer_1279
4782 in let _ = "jump"
4783 in loop_1276 finalRet_15 inp_1221 buf_1222 end_1223 Data.Map.Internal.Tip
4784 )
4785 initPos_2
4786 buf_39
4787 GHC.Types.False
4788 Data.Map.Internal.Tip
4789 else
4790 let _ = "checkHorizon.newCheck.fail"
4791 in let noMoreInput_1414 =
4792 let failExp_1415 =
4793 Data.Set.Internal.Bin
4794 1
4795 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4796 ( case inputToken of
4797 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679076043) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679076043 1
4798 )
4799 )
4800 Data.Set.Internal.Tip
4801 Data.Set.Internal.Tip
4802 in let (#
4803 farInp_1416,
4804 farExp_1417
4805 #) = case GHC.Classes.compare @GHC.Types.Int initPos_2 initPos_2 of
4806 GHC.Types.LT ->
4807 (#
4808 initPos_2,
4809 failExp_1415
4810 #)
4811 GHC.Types.EQ ->
4812 (#
4813 initPos_2,
4814 failExp_1415 GHC.Base.<> Data.Set.Internal.empty
4815 #)
4816 GHC.Types.GT ->
4817 (#
4818 initPos_2,
4819 Data.Set.Internal.empty
4820 #)
4821 in Symantic.Parser.Machine.Generate.unForallOnException finalRaise_22 Symantic.Parser.Grammar.Combinators.ExceptionFailure initPos_2 farInp_1416 farExp_1417 buf_39 GHC.Types.True
4822 in if GHC.Types.False
4823 then noMoreInput_1414
4824 else
4825 Symantic.Parser.Machine.Generate.returnST GHC.Base.$
4826 ( Symantic.Parser.Machine.Generate.ResultPartial GHC.Base.$
4827 ( \newInput_1418 ->
4828 if Symantic.Parser.Machine.Input.nullInput newInput_1418
4829 then noMoreInput_1414
4830 else partialCont_38 (append_5 buf_39 newInput_1418)
4831 )
4832 )
4833 in partialCont_38 initBuffer_1
Library for parsing