]> Git — Sourcephile - haskell/symantic-parser.git/blob - test/Golden/Splice/G14.expected.txt
sourcephile / git / haskell / symantic-parser.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
machine: make failure be minReads=0
[haskell/symantic-parser.git] / test / Golden / Splice / G14.expected.txt
1 \(input_0 :: inp_6989586621679040759) ->
2 let !(#
3 init_1,
4 readMore_2,
5 readNext_3
6 #) =
7 let _ = "cursorOf"
8 in let next_4
9 ( t_5@( Data.Text.Internal.Text
10 arr_6
11 off_7
12 unconsumed_8
13 )
14 ) =
15 let !( Data.Text.Unsafe.Iter
16 c_9
17 d_10
18 ) = Data.Text.Unsafe.iter t_5 0
19 in (#
20 c_9,
21 Data.Text.Internal.Text arr_6 (off_7 GHC.Num.+ d_10) (unconsumed_8 GHC.Num.- d_10)
22 #)
23 more_11
24 ( Data.Text.Internal.Text
25 _
26 _
27 unconsumed_12
28 ) = unconsumed_12 GHC.Classes.> 0
29 in (#
30 input_0,
31 more_11,
32 next_4
33 #)
34 finalRet_13 = \_farInp_14 _farExp_15 v_16 _inp_17 -> Symantic.Parser.Machine.Generate.returnST GHC.Base.$ Data.Either.Right v_16
35 finalRaise_18 ::
36 forall st_19 b_20.
37 Symantic.Parser.Machine.Generate.Catcher
38 st_19
39 inp_6989586621679040759
40 b_20 = \(!exn_21) _failInp_22 (!farInp_23) (!farExp_24) ->
41 Symantic.Parser.Machine.Generate.returnST GHC.Base.$
42 Data.Either.Left
43 Symantic.Parser.Machine.Generate.ParsingError
44 { Symantic.Parser.Machine.Generate.parsingErrorOffset = Symantic.Parser.Machine.Input.offset farInp_23,
45 Symantic.Parser.Machine.Generate.parsingErrorException = exn_21,
46 Symantic.Parser.Machine.Generate.parsingErrorUnexpected =
47 if readMore_2 farInp_23
48 then
49 GHC.Maybe.Just
50 ( let (#
51 c_25,
52 _
53 #) = readNext_3 farInp_23
54 in c_25
55 )
56 else GHC.Maybe.Nothing,
57 Symantic.Parser.Machine.Generate.parsingErrorExpecting =
58 let ( minHoriz_26,
59 res_27
60 ) =
61 Data.Set.Internal.foldr
62 ( \f_28
63 ( minH_29,
64 acc_30
65 ) -> case Symantic.Parser.Grammar.Combinators.unSomeFailure f_28 of
66 GHC.Maybe.Just (Symantic.Parser.Grammar.Combinators.FailureHorizon h_31 :: Symantic.Parser.Grammar.Combinators.Failure (Symantic.Parser.Grammar.Combinators.CombSatisfiable (Symantic.Parser.Machine.Input.InputToken inp_6989586621679040759)))
67 | GHC.Maybe.Just old_32 <- minH_29 ->
68 ( GHC.Maybe.Just (GHC.Classes.min old_32 h_31),
69 acc_30
70 )
71 | GHC.Base.otherwise ->
72 ( GHC.Maybe.Just h_31,
73 acc_30
74 )
75 _ ->
76 ( minH_29,
77 f_28 GHC.Types.: acc_30
78 )
79 )
80 ( GHC.Maybe.Nothing,
81 GHC.Types . []
82 )
83 farExp_24
84 in Data.Set.Internal.fromList GHC.Base.$
85 ( case minHoriz_26 of
86 GHC.Maybe.Just h_33 -> Symantic.Parser.Grammar.Combinators.SomeFailure (Symantic.Parser.Grammar.Combinators.FailureHorizon @(Symantic.Parser.Machine.Input.InputToken inp_6989586621679040759) h_33) GHC.Types.: res_27
87 GHC.Maybe.Nothing -> res_27
88 )
89 }
90 in GHC.ST.runST
91 ( let inputToken = Data.Proxy.Proxy :: Data.Proxy.Proxy (Symantic.Parser.Machine.Input.InputToken inp_6989586621679040759)
92 in let inp_34 = init_1
93 in let readFail_35 = finalRaise_18
94 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
95 in if readMore_2 inp_34
96 then
97 let name_36 = \(!callReturn_37) (!callInput_38) (!callCatchStackByLabel_39) ->
98 let _ = "catch ExceptionFailure"
99 in let catchHandler_40 (!_exn_41) (!failInp_42) (!farInp_43) (!farExp_44) =
100 let _ = "catch.ko ExceptionFailure"
101 in let _ = "pushInput"
102 in if ( \( Data.Text.Internal.Text
103 _
104 i_45
105 _
106 )
107 ( Data.Text.Internal.Text
108 _
109 j_46
110 _
111 ) -> i_45 GHC.Classes.== j_46
112 )
113 callInput_38
114 failInp_42
115 then
116 let _ = "choicesBranch.then"
117 in let _ = "catch ExceptionFailure"
118 in let catchHandler_47 (!_exn_48) (!failInp_49) (!farInp_50) (!farExp_51) =
119 let _ = "catch.ko ExceptionFailure"
120 in let _ = "pushInput"
121 in if ( \( Data.Text.Internal.Text
122 _
123 i_52
124 _
125 )
126 ( Data.Text.Internal.Text
127 _
128 j_53
129 _
130 ) -> i_52 GHC.Classes.== j_53
131 )
132 failInp_42
133 failInp_49
134 then
135 let _ = "choicesBranch.then"
136 in let _ = "pushValue"
137 in name_54
138 ( let _ = "suspend"
139 in \farInp_55 farExp_56 v_57 (!inp_58) ->
140 let join_59 = \farInp_60 farExp_61 v_62 (!inp_63) ->
141 let _ = "resume"
142 in callReturn_37
143 farInp_60
144 farExp_61
145 ( let _ = "resume.genCode"
146 in v_62
147 )
148 inp_63
149 in let _ = "catch ExceptionFailure"
150 in let catchHandler_64 (!_exn_65) (!failInp_66) (!farInp_67) (!farExp_68) =
151 let _ = "catch.ko ExceptionFailure"
152 in let _ = "pushInput"
153 in if ( \( Data.Text.Internal.Text
154 _
155 i_69
156 _
157 )
158 ( Data.Text.Internal.Text
159 _
160 j_70
161 _
162 ) -> i_69 GHC.Classes.== j_70
163 )
164 inp_58
165 failInp_66
166 then
167 let _ = "choicesBranch.then"
168 in name_71
169 ( let _ = "suspend"
170 in \farInp_72 farExp_73 v_74 (!inp_75) ->
171 let _ = "resume"
172 in join_59
173 farInp_72
174 farExp_73
175 ( let _ = "resume.genCode"
176 in v_74
177 )
178 inp_75
179 )
180 failInp_66
181 Data.Map.Internal.Tip
182 else
183 let _ = "choicesBranch.else"
184 in Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_39 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_66 farInp_67 farExp_68
185 in let _ = "pushValue"
186 in let join_76 = \farInp_77 farExp_78 v_79 (!inp_80) ->
187 let _ = "commit"
188 in let _ = "resume"
189 in join_59
190 farInp_77
191 farExp_78
192 ( let _ = "resume.genCode"
193 in GHC.Tuple . ()
194 )
195 inp_80
196 in let _ = "catch ExceptionFailure"
197 in let catchHandler_81 (!_exn_82) (!failInp_83) (!farInp_84) (!farExp_85) =
198 let _ = "catch.ko ExceptionFailure"
199 in let _ = "pushInput"
200 in if ( \( Data.Text.Internal.Text
201 _
202 i_86
203 _
204 )
205 ( Data.Text.Internal.Text
206 _
207 j_87
208 _
209 ) -> i_86 GHC.Classes.== j_87
210 )
211 inp_58
212 failInp_83
213 then
214 let _ = "choicesBranch.then"
215 in name_88
216 ( let _ = "suspend"
217 in \farInp_89 farExp_90 v_91 (!inp_92) ->
218 let _ = "resume"
219 in join_76
220 farInp_89
221 farExp_90
222 ( let _ = "resume.genCode"
223 in v_91
224 )
225 inp_92
226 )
227 failInp_83
228 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure catchHandler_64 Data.Map.Internal.Tip Data.Map.Internal.Tip)
229 else
230 let _ = "choicesBranch.else"
231 in catchHandler_64 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_83 farInp_84 farExp_85
232 in let _ = "pushValue"
233 in name_93
234 ( let _ = "suspend"
235 in \farInp_94 farExp_95 v_96 (!inp_97) ->
236 let join_98 = \farInp_99 farExp_100 v_101 (!inp_102) ->
237 name_103
238 ( let _ = "suspend"
239 in \farInp_104 farExp_105 v_106 (!inp_107) ->
240 let _ = "commit"
241 in let _ = "resume"
242 in join_76
243 farInp_104
244 farExp_105
245 ( let _ = "resume.genCode"
246 in v_101
247 )
248 inp_107
249 )
250 inp_102
251 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure catchHandler_81 Data.Map.Internal.Tip Data.Map.Internal.Tip)
252 in let _ = "catch ExceptionFailure"
253 in let catchHandler_108 (!_exn_109) (!failInp_110) (!farInp_111) (!farExp_112) =
254 let _ = "catch.ko ExceptionFailure"
255 in let _ = "pushInput"
256 in if ( \( Data.Text.Internal.Text
257 _
258 i_113
259 _
260 )
261 ( Data.Text.Internal.Text
262 _
263 j_114
264 _
265 ) -> i_113 GHC.Classes.== j_114
266 )
267 inp_97
268 failInp_110
269 then
270 let _ = "choicesBranch.then"
271 in name_71
272 ( let _ = "suspend"
273 in \farInp_115 farExp_116 v_117 (!inp_118) ->
274 let _ = "resume"
275 in join_98
276 farInp_115
277 farExp_116
278 ( let _ = "resume.genCode"
279 in v_117
280 )
281 inp_118
282 )
283 failInp_110
284 Data.Map.Internal.Tip
285 else
286 let _ = "choicesBranch.else"
287 in catchHandler_81 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_110 farInp_111 farExp_112
288 in let _ = "pushValue"
289 in name_119
290 ( let _ = "suspend"
291 in \farInp_120 farExp_121 v_122 (!inp_123) ->
292 let _ = "pushValue"
293 in do
294 let dupv_124 = \x_125 -> x_125
295 reg_126 <- GHC.STRef.newSTRef dupv_124
296 let _ = "iter"
297 in let catchHandler_127 loopInput_128 (!_exn_129) (!failInp_130) (!farInp_131) (!farExp_132) =
298 let _ = "pushInput"
299 in if ( \( Data.Text.Internal.Text
300 _
301 i_133
302 _
303 )
304 ( Data.Text.Internal.Text
305 _
306 j_134
307 _
308 ) -> i_133 GHC.Classes.== j_134
309 )
310 loopInput_128
311 failInp_130
312 then
313 let _ = "choicesBranch.then"
314 in do
315 sr_135 <- GHC.STRef.readSTRef reg_126
316 name_71
317 ( let _ = "suspend"
318 in \farInp_136 farExp_137 v_138 (!inp_139) ->
319 name_71
320 ( let _ = "suspend"
321 in \farInp_140 farExp_141 v_142 (!inp_143) ->
322 let _ = "commit"
323 in let _ = "resume"
324 in join_98
325 farInp_140
326 farExp_141
327 ( let _ = "resume.genCode"
328 in GHC.Tuple . ()
329 )
330 inp_143
331 )
332 inp_139
333 Data.Map.Internal.Tip
334 )
335 failInp_130
336 Data.Map.Internal.Tip
337 else
338 let _ = "choicesBranch.else"
339 in catchHandler_108 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_130 farInp_131 farExp_132
340 loop_144 = \_callReturn_145 callInput_146 callCatchStackByLabel_147 ->
341 let _ = "pushValue"
342 in name_148
343 ( let _ = "suspend"
344 in \farInp_149 farExp_150 v_151 (!inp_152) ->
345 name_153
346 ( let _ = "suspend"
347 in \farInp_154 farExp_155 v_156 (!inp_157) ->
348 name_119
349 ( let _ = "suspend"
350 in \farInp_158 farExp_159 v_160 (!inp_161) -> do
351 sr_162 <- GHC.STRef.readSTRef reg_126
352 do
353 let dupv_163 = v_151 v_160 sr_162
354 GHC.STRef.writeSTRef reg_126 dupv_163
355 let _ = "jump"
356 in loop_144 (GHC.Err.error "invalid return") inp_161 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_127 callInput_146) Data.Map.Internal.Tip Data.Map.Internal.Tip)
357 )
358 inp_157
359 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_127 callInput_146) Data.Map.Internal.Tip Data.Map.Internal.Tip)
360 )
361 inp_152
362 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_127 callInput_146) Data.Map.Internal.Tip Data.Map.Internal.Tip)
363 )
364 callInput_146
365 Data.Map.Internal.Tip
366 in let _ = "jump"
367 in loop_144 callReturn_37 inp_123 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure catchHandler_108 Data.Map.Internal.Tip Data.Map.Internal.Tip)
368 )
369 inp_97
370 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure catchHandler_108 Data.Map.Internal.Tip Data.Map.Internal.Tip)
371 )
372 inp_58
373 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure catchHandler_81 Data.Map.Internal.Tip Data.Map.Internal.Tip)
374 )
375 failInp_49
376 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_39) Data.Map.Internal.Tip Data.Map.Internal.Tip)
377 else
378 let _ = "choicesBranch.else"
379 in Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_39 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_49 farInp_50 farExp_51
380 in let _ = "pushValue"
381 in let _ = "comment: satisfy"
382 in let inp_164 = failInp_42
383 in let readFail_165 = catchHandler_47
384 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
385 in if readMore_2 inp_164
386 then
387 let _ = "checkToken"
388 in let !(#
389 c_166,
390 cs_167
391 #) = readNext_3 inp_164
392 in if (GHC.Classes.==) '\'' c_166
393 then
394 let join_168 = \farInp_169 farExp_170 v_171 (!inp_172) ->
395 let _ = "comment: satisfy"
396 in let inp_173 = inp_172
397 in let readFail_174 = readFail_165
398 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
399 in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 1 inp_173)
400 then
401 let _ = "checkToken"
402 in let !(#
403 c_175,
404 cs_176
405 #) = readNext_3 inp_173
406 in if (GHC.Classes.==) '\'' c_175
407 then
408 name_177
409 ( let _ = "suspend"
410 in \farInp_178 farExp_179 v_180 (!inp_181) ->
411 let _ = "commit"
412 in let _ = "resume"
413 in callReturn_37
414 farInp_178
415 farExp_179
416 ( let _ = "resume.genCode"
417 in v_171
418 )
419 inp_181
420 )
421 cs_176
422 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_174 Data.Map.Internal.Tip Data.Map.Internal.Tip)
423 else
424 let _ = "checkToken.fail"
425 in let failExp_182 =
426 Data.Set.Internal.Bin
427 1
428 ( Symantic.Parser.Grammar.Combinators.SomeFailure
429 ( case inputToken of
430 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken '\''
431 )
432 )
433 Data.Set.Internal.Tip
434 Data.Set.Internal.Tip
435 in let (#
436 farInp_183,
437 farExp_184
438 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_169 inp_173 of
439 GHC.Types.LT ->
440 (#
441 inp_173,
442 failExp_182
443 #)
444 GHC.Types.EQ ->
445 (#
446 farInp_169,
447 failExp_182 GHC.Base.<> farExp_170
448 #)
449 GHC.Types.GT ->
450 (#
451 farInp_169,
452 farExp_170
453 #)
454 in readFail_174 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_173 farInp_183 farExp_184
455 else
456 let _ = "checkHorizon.newCheck.fail"
457 in let failExp_185 =
458 Data.Set.Internal.Bin
459 1
460 ( Symantic.Parser.Grammar.Combinators.SomeFailure
461 ( case inputToken of
462 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 2
463 )
464 )
465 Data.Set.Internal.Tip
466 Data.Set.Internal.Tip
467 in let (#
468 farInp_186,
469 farExp_187
470 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_169 inp_173 of
471 GHC.Types.LT ->
472 (#
473 inp_173,
474 failExp_185
475 #)
476 GHC.Types.EQ ->
477 (#
478 farInp_169,
479 failExp_185 GHC.Base.<> farExp_170
480 #)
481 GHC.Types.GT ->
482 (#
483 farInp_169,
484 farExp_170
485 #)
486 in readFail_174 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_173 farInp_186 farExp_187
487 in let _ = "catch ExceptionFailure"
488 in let catchHandler_188 (!_exn_189) (!failInp_190) (!farInp_191) (!farExp_192) =
489 let _ = "catch.ko ExceptionFailure"
490 in let _ = "pushInput"
491 in if ( \( Data.Text.Internal.Text
492 _
493 i_193
494 _
495 )
496 ( Data.Text.Internal.Text
497 _
498 j_194
499 _
500 ) -> i_193 GHC.Classes.== j_194
501 )
502 cs_167
503 failInp_190
504 then
505 let _ = "choicesBranch.then"
506 in let _ = "pushValue"
507 in let _ = "comment: satisfy"
508 in let inp_195 = failInp_190
509 in let readFail_196 = readFail_165
510 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=4"
511 in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 3 inp_195)
512 then
513 let _ = "checkToken"
514 in let !(#
515 c_197,
516 cs_198
517 #) = readNext_3 inp_195
518 in if (GHC.Classes.==) '\\' c_197
519 then
520 let _ = "comment: satisfy"
521 in let _ = "checkHorizon.oldCheck: checkedHorizon=4"
522 in let _ = "checkToken"
523 in let !(#
524 c_199,
525 cs_200
526 #) = readNext_3 cs_198
527 in if (\t_201 -> ('0' GHC.Classes.== t_201) GHC.Classes.|| (('t' GHC.Classes.== t_201) GHC.Classes.|| (('n' GHC.Classes.== t_201) GHC.Classes.|| (('v' GHC.Classes.== t_201) GHC.Classes.|| (('f' GHC.Classes.== t_201) GHC.Classes.|| (('r' GHC.Classes.== t_201) GHC.Classes.|| GHC.Types.False)))))) c_199
528 then
529 name_71
530 ( let _ = "suspend"
531 in \farInp_202 farExp_203 v_204 (!inp_205) ->
532 let _ = "resume"
533 in join_168
534 farInp_202
535 farExp_203
536 ( let _ = "resume.genCode"
537 in v_204
538 )
539 inp_205
540 )
541 cs_200
542 Data.Map.Internal.Tip
543 else
544 let _ = "checkToken.fail"
545 in let failExp_206 =
546 Data.Set.Internal.Bin
547 6
548 ( Symantic.Parser.Grammar.Combinators.SomeFailure
549 ( case inputToken of
550 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'n'
551 )
552 )
553 ( Data.Set.Internal.Bin
554 2
555 ( Symantic.Parser.Grammar.Combinators.SomeFailure
556 ( case inputToken of
557 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken '0'
558 )
559 )
560 Data.Set.Internal.Tip
561 ( Data.Set.Internal.Bin
562 1
563 ( Symantic.Parser.Grammar.Combinators.SomeFailure
564 ( case inputToken of
565 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'f'
566 )
567 )
568 Data.Set.Internal.Tip
569 Data.Set.Internal.Tip
570 )
571 )
572 ( Data.Set.Internal.Bin
573 3
574 ( Symantic.Parser.Grammar.Combinators.SomeFailure
575 ( case inputToken of
576 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 't'
577 )
578 )
579 ( Data.Set.Internal.Bin
580 1
581 ( Symantic.Parser.Grammar.Combinators.SomeFailure
582 ( case inputToken of
583 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'r'
584 )
585 )
586 Data.Set.Internal.Tip
587 Data.Set.Internal.Tip
588 )
589 ( Data.Set.Internal.Bin
590 1
591 ( Symantic.Parser.Grammar.Combinators.SomeFailure
592 ( case inputToken of
593 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'v'
594 )
595 )
596 Data.Set.Internal.Tip
597 Data.Set.Internal.Tip
598 )
599 )
600 in let (#
601 farInp_207,
602 farExp_208
603 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_191 cs_198 of
604 GHC.Types.LT ->
605 (#
606 cs_198,
607 failExp_206
608 #)
609 GHC.Types.EQ ->
610 (#
611 farInp_191,
612 failExp_206 GHC.Base.<> farExp_192
613 #)
614 GHC.Types.GT ->
615 (#
616 farInp_191,
617 farExp_192
618 #)
619 in readFail_196 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_198 farInp_207 farExp_208
620 else
621 let _ = "checkToken.fail"
622 in let failExp_209 =
623 Data.Set.Internal.Bin
624 1
625 ( Symantic.Parser.Grammar.Combinators.SomeFailure
626 ( case inputToken of
627 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken '\\'
628 )
629 )
630 Data.Set.Internal.Tip
631 Data.Set.Internal.Tip
632 in let (#
633 farInp_210,
634 farExp_211
635 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_191 inp_195 of
636 GHC.Types.LT ->
637 (#
638 inp_195,
639 failExp_209
640 #)
641 GHC.Types.EQ ->
642 (#
643 farInp_191,
644 failExp_209 GHC.Base.<> farExp_192
645 #)
646 GHC.Types.GT ->
647 (#
648 farInp_191,
649 farExp_192
650 #)
651 in readFail_196 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_195 farInp_210 farExp_211
652 else
653 let _ = "checkHorizon.newCheck.fail"
654 in let failExp_212 =
655 Data.Set.Internal.Bin
656 1
657 ( Symantic.Parser.Grammar.Combinators.SomeFailure
658 ( case inputToken of
659 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 4
660 )
661 )
662 Data.Set.Internal.Tip
663 Data.Set.Internal.Tip
664 in let (#
665 farInp_213,
666 farExp_214
667 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_191 inp_195 of
668 GHC.Types.LT ->
669 (#
670 inp_195,
671 failExp_212
672 #)
673 GHC.Types.EQ ->
674 (#
675 farInp_191,
676 failExp_212 GHC.Base.<> farExp_192
677 #)
678 GHC.Types.GT ->
679 (#
680 farInp_191,
681 farExp_192
682 #)
683 in readFail_196 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_195 farInp_213 farExp_214
684 else
685 let _ = "choicesBranch.else"
686 in readFail_165 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_190 farInp_191 farExp_192
687 in let _ = "pushValue"
688 in let _ = "comment: satisfy"
689 in let _ = "checkHorizon.oldCheck: checkedHorizon=1"
690 in let _ = "checkToken"
691 in let !(#
692 c_215,
693 cs_216
694 #) = readNext_3 cs_167
695 in if Parsers.Nandlang.nandStringLetter c_215
696 then
697 name_71
698 ( let _ = "suspend"
699 in \farInp_217 farExp_218 v_219 (!inp_220) ->
700 let _ = "commit"
701 in let _ = "resume"
702 in join_168
703 farInp_217
704 farExp_218
705 ( let _ = "resume.genCode"
706 in v_219
707 )
708 inp_220
709 )
710 cs_216
711 Data.Map.Internal.Tip
712 else
713 let _ = "checkToken.fail"
714 in catchHandler_188 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_167 farInp_43 farExp_44
715 else
716 let _ = "checkToken.fail"
717 in let failExp_221 =
718 Data.Set.Internal.Bin
719 1
720 ( Symantic.Parser.Grammar.Combinators.SomeFailure
721 ( case inputToken of
722 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken '\''
723 )
724 )
725 Data.Set.Internal.Tip
726 Data.Set.Internal.Tip
727 in let (#
728 farInp_222,
729 farExp_223
730 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_43 inp_164 of
731 GHC.Types.LT ->
732 (#
733 inp_164,
734 failExp_221
735 #)
736 GHC.Types.EQ ->
737 (#
738 farInp_43,
739 failExp_221 GHC.Base.<> farExp_44
740 #)
741 GHC.Types.GT ->
742 (#
743 farInp_43,
744 farExp_44
745 #)
746 in readFail_165 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_164 farInp_222 farExp_223
747 else
748 let _ = "checkHorizon.newCheck.fail"
749 in let failExp_224 =
750 Data.Set.Internal.Bin
751 1
752 ( Symantic.Parser.Grammar.Combinators.SomeFailure
753 ( case inputToken of
754 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 1
755 )
756 )
757 Data.Set.Internal.Tip
758 Data.Set.Internal.Tip
759 in let (#
760 farInp_225,
761 farExp_226
762 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_43 inp_164 of
763 GHC.Types.LT ->
764 (#
765 inp_164,
766 failExp_224
767 #)
768 GHC.Types.EQ ->
769 (#
770 farInp_43,
771 failExp_224 GHC.Base.<> farExp_44
772 #)
773 GHC.Types.GT ->
774 (#
775 farInp_43,
776 farExp_44
777 #)
778 in readFail_165 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_164 farInp_225 farExp_226
779 else
780 let _ = "choicesBranch.else"
781 in Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_39 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_42 farInp_43 farExp_44
782 in let _ = "pushValue"
783 in let join_227 = \farInp_228 farExp_229 v_230 (!inp_231) ->
784 name_177
785 ( let _ = "suspend"
786 in \farInp_232 farExp_233 v_234 (!inp_235) ->
787 let _ = "commit"
788 in let _ = "resume"
789 in callReturn_37
790 farInp_232
791 farExp_233
792 ( let _ = "resume.genCode"
793 in v_234
794 )
795 inp_235
796 )
797 inp_231
798 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure catchHandler_40 Data.Map.Internal.Tip Data.Map.Internal.Tip)
799 in let _ = "catch ExceptionFailure"
800 in let catchHandler_236 (!_exn_237) (!failInp_238) (!farInp_239) (!farExp_240) =
801 let _ = "catch.ko ExceptionFailure"
802 in let _ = "pushInput"
803 in if ( \( Data.Text.Internal.Text
804 _
805 i_241
806 _
807 )
808 ( Data.Text.Internal.Text
809 _
810 j_242
811 _
812 ) -> i_241 GHC.Classes.== j_242
813 )
814 callInput_38
815 failInp_238
816 then
817 let _ = "choicesBranch.then"
818 in let _ = "pushValue"
819 in let _ = "comment: satisfy"
820 in let inp_243 = failInp_238
821 in let readFail_244 = catchHandler_40
822 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
823 in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 1 inp_243)
824 then
825 let _ = "checkToken"
826 in let !(#
827 c_245,
828 cs_246
829 #) = readNext_3 inp_243
830 in if (GHC.Classes.==) '1' c_245
831 then
832 let _ = "resume"
833 in join_227
834 farInp_239
835 farExp_240
836 ( let _ = "resume.genCode"
837 in '1'
838 )
839 cs_246
840 else
841 let _ = "checkToken.fail"
842 in let failExp_247 =
843 Data.Set.Internal.Bin
844 1
845 ( Symantic.Parser.Grammar.Combinators.SomeFailure
846 ( case inputToken of
847 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken '1'
848 )
849 )
850 Data.Set.Internal.Tip
851 Data.Set.Internal.Tip
852 in let (#
853 farInp_248,
854 farExp_249
855 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_239 inp_243 of
856 GHC.Types.LT ->
857 (#
858 inp_243,
859 failExp_247
860 #)
861 GHC.Types.EQ ->
862 (#
863 farInp_239,
864 failExp_247 GHC.Base.<> farExp_240
865 #)
866 GHC.Types.GT ->
867 (#
868 farInp_239,
869 farExp_240
870 #)
871 in readFail_244 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_243 farInp_248 farExp_249
872 else
873 let _ = "checkHorizon.newCheck.fail"
874 in let failExp_250 =
875 Data.Set.Internal.Bin
876 1
877 ( Symantic.Parser.Grammar.Combinators.SomeFailure
878 ( case inputToken of
879 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 2
880 )
881 )
882 Data.Set.Internal.Tip
883 Data.Set.Internal.Tip
884 in let (#
885 farInp_251,
886 farExp_252
887 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_239 inp_243 of
888 GHC.Types.LT ->
889 (#
890 inp_243,
891 failExp_250
892 #)
893 GHC.Types.EQ ->
894 (#
895 farInp_239,
896 failExp_250 GHC.Base.<> farExp_240
897 #)
898 GHC.Types.GT ->
899 (#
900 farInp_239,
901 farExp_240
902 #)
903 in readFail_244 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_243 farInp_251 farExp_252
904 else
905 let _ = "choicesBranch.else"
906 in catchHandler_40 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_238 farInp_239 farExp_240
907 in let _ = "pushValue"
908 in let _ = "comment: satisfy"
909 in let inp_253 = callInput_38
910 in let readFail_254 = catchHandler_236
911 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
912 in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 1 inp_253)
913 then
914 let _ = "checkToken"
915 in let !(#
916 c_255,
917 cs_256
918 #) = readNext_3 inp_253
919 in if (GHC.Classes.==) '0' c_255
920 then
921 let _ = "commit"
922 in let _ = "resume"
923 in join_227
924 init_1
925 Data.Set.Internal.empty
926 ( let _ = "resume.genCode"
927 in '0'
928 )
929 cs_256
930 else
931 let _ = "checkToken.fail"
932 in let failExp_257 =
933 Data.Set.Internal.Bin
934 1
935 ( Symantic.Parser.Grammar.Combinators.SomeFailure
936 ( case inputToken of
937 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken '0'
938 )
939 )
940 Data.Set.Internal.Tip
941 Data.Set.Internal.Tip
942 in let (#
943 farInp_258,
944 farExp_259
945 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_253 of
946 GHC.Types.LT ->
947 (#
948 inp_253,
949 failExp_257
950 #)
951 GHC.Types.EQ ->
952 (#
953 init_1,
954 failExp_257 GHC.Base.<> Data.Set.Internal.empty
955 #)
956 GHC.Types.GT ->
957 (#
958 init_1,
959 Data.Set.Internal.empty
960 #)
961 in readFail_254 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_253 farInp_258 farExp_259
962 else
963 let _ = "checkHorizon.newCheck.fail"
964 in let failExp_260 =
965 Data.Set.Internal.Bin
966 1
967 ( Symantic.Parser.Grammar.Combinators.SomeFailure
968 ( case inputToken of
969 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 2
970 )
971 )
972 Data.Set.Internal.Tip
973 Data.Set.Internal.Tip
974 in let (#
975 farInp_261,
976 farExp_262
977 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_253 of
978 GHC.Types.LT ->
979 (#
980 inp_253,
981 failExp_260
982 #)
983 GHC.Types.EQ ->
984 (#
985 init_1,
986 failExp_260 GHC.Base.<> Data.Set.Internal.empty
987 #)
988 GHC.Types.GT ->
989 (#
990 init_1,
991 Data.Set.Internal.empty
992 #)
993 in readFail_254 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_253 farInp_261 farExp_262
994 name_263 = \(!callReturn_264) (!callInput_265) (!callCatchStackByLabel_266) ->
995 let _ = "catch ExceptionFailure"
996 in let catchHandler_267 (!_exn_268) (!failInp_269) (!farInp_270) (!farExp_271) =
997 let _ = "catch.ko ExceptionFailure"
998 in let _ = "pushInput"
999 in if ( \( Data.Text.Internal.Text
1000 _
1001 i_272
1002 _
1003 )
1004 ( Data.Text.Internal.Text
1005 _
1006 j_273
1007 _
1008 ) -> i_272 GHC.Classes.== j_273
1009 )
1010 callInput_265
1011 failInp_269
1012 then
1013 let _ = "choicesBranch.then"
1014 in let _ = "jump"
1015 in name_71 callReturn_264 failInp_269 Data.Map.Internal.Tip
1016 else
1017 let _ = "choicesBranch.else"
1018 in Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_266 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_269 farInp_270 farExp_271
1019 in let _ = "pushValue"
1020 in name_274
1021 ( let _ = "suspend"
1022 in \farInp_275 farExp_276 v_277 (!inp_278) ->
1023 let _ = "pushValue"
1024 in do
1025 let dupv_279 = \x_280 -> x_280
1026 reg_281 <- GHC.STRef.newSTRef dupv_279
1027 let _ = "iter"
1028 in let catchHandler_282 loopInput_283 (!_exn_284) (!failInp_285) (!farInp_286) (!farExp_287) =
1029 let _ = "pushInput"
1030 in if ( \( Data.Text.Internal.Text
1031 _
1032 i_288
1033 _
1034 )
1035 ( Data.Text.Internal.Text
1036 _
1037 j_289
1038 _
1039 ) -> i_288 GHC.Classes.== j_289
1040 )
1041 loopInput_283
1042 failInp_285
1043 then
1044 let _ = "choicesBranch.then"
1045 in do
1046 sr_290 <- GHC.STRef.readSTRef reg_281
1047 name_71
1048 ( let _ = "suspend"
1049 in \farInp_291 farExp_292 v_293 (!inp_294) ->
1050 name_71
1051 ( let _ = "suspend"
1052 in \farInp_295 farExp_296 v_297 (!inp_298) ->
1053 let _ = "commit"
1054 in let _ = "resume"
1055 in callReturn_264
1056 farInp_295
1057 farExp_296
1058 ( let _ = "resume.genCode"
1059 in GHC.Tuple . ()
1060 )
1061 inp_298
1062 )
1063 inp_294
1064 Data.Map.Internal.Tip
1065 )
1066 failInp_285
1067 Data.Map.Internal.Tip
1068 else
1069 let _ = "choicesBranch.else"
1070 in catchHandler_267 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_285 farInp_286 farExp_287
1071 loop_299 = \_callReturn_300 callInput_301 callCatchStackByLabel_302 ->
1072 let _ = "pushValue"
1073 in name_148
1074 ( let _ = "suspend"
1075 in \farInp_303 farExp_304 v_305 (!inp_306) ->
1076 name_153
1077 ( let _ = "suspend"
1078 in \farInp_307 farExp_308 v_309 (!inp_310) ->
1079 name_274
1080 ( let _ = "suspend"
1081 in \farInp_311 farExp_312 v_313 (!inp_314) -> do
1082 sr_315 <- GHC.STRef.readSTRef reg_281
1083 do
1084 let dupv_316 = v_305 v_313 sr_315
1085 GHC.STRef.writeSTRef reg_281 dupv_316
1086 let _ = "jump"
1087 in loop_299 (GHC.Err.error "invalid return") inp_314 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_282 callInput_301) Data.Map.Internal.Tip Data.Map.Internal.Tip)
1088 )
1089 inp_310
1090 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_282 callInput_301) Data.Map.Internal.Tip Data.Map.Internal.Tip)
1091 )
1092 inp_306
1093 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_282 callInput_301) Data.Map.Internal.Tip Data.Map.Internal.Tip)
1094 )
1095 callInput_301
1096 Data.Map.Internal.Tip
1097 in let _ = "jump"
1098 in loop_299 callReturn_264 inp_278 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure catchHandler_267 Data.Map.Internal.Tip Data.Map.Internal.Tip)
1099 )
1100 callInput_265
1101 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure catchHandler_267 Data.Map.Internal.Tip Data.Map.Internal.Tip)
1102 name_317 = \(!callReturn_318) (!callInput_319) (!callCatchStackByLabel_320) ->
1103 let _ = "comment: satisfy"
1104 in let inp_321 = callInput_319
1105 in let readFail_322 = Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_320
1106 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
1107 in if readMore_2 inp_321
1108 then
1109 let _ = "checkToken"
1110 in let !(#
1111 c_323,
1112 cs_324
1113 #) = readNext_3 inp_321
1114 in if (\t_325 -> ('0' GHC.Classes.== t_325) GHC.Classes.|| (('1' GHC.Classes.== t_325) GHC.Classes.|| (('2' GHC.Classes.== t_325) GHC.Classes.|| (('3' GHC.Classes.== t_325) GHC.Classes.|| (('4' GHC.Classes.== t_325) GHC.Classes.|| (('5' GHC.Classes.== t_325) GHC.Classes.|| (('6' GHC.Classes.== t_325) GHC.Classes.|| (('7' GHC.Classes.== t_325) GHC.Classes.|| (('8' GHC.Classes.== t_325) GHC.Classes.|| (('9' GHC.Classes.== t_325) GHC.Classes.|| GHC.Types.False)))))))))) c_323
1115 then
1116 let _ = "resume"
1117 in callReturn_318
1118 init_1
1119 Data.Set.Internal.empty
1120 ( let _ = "resume.genCode"
1121 in c_323
1122 )
1123 cs_324
1124 else
1125 let _ = "checkToken.fail"
1126 in let failExp_326 =
1127 Data.Set.Internal.Bin
1128 10
1129 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1130 ( case inputToken of
1131 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken '3'
1132 )
1133 )
1134 ( Data.Set.Internal.Bin
1135 3
1136 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1137 ( case inputToken of
1138 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken '1'
1139 )
1140 )
1141 ( Data.Set.Internal.Bin
1142 1
1143 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1144 ( case inputToken of
1145 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken '0'
1146 )
1147 )
1148 Data.Set.Internal.Tip
1149 Data.Set.Internal.Tip
1150 )
1151 ( Data.Set.Internal.Bin
1152 1
1153 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1154 ( case inputToken of
1155 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken '2'
1156 )
1157 )
1158 Data.Set.Internal.Tip
1159 Data.Set.Internal.Tip
1160 )
1161 )
1162 ( Data.Set.Internal.Bin
1163 6
1164 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1165 ( case inputToken of
1166 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken '7'
1167 )
1168 )
1169 ( Data.Set.Internal.Bin
1170 3
1171 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1172 ( case inputToken of
1173 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken '5'
1174 )
1175 )
1176 ( Data.Set.Internal.Bin
1177 1
1178 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1179 ( case inputToken of
1180 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken '4'
1181 )
1182 )
1183 Data.Set.Internal.Tip
1184 Data.Set.Internal.Tip
1185 )
1186 ( Data.Set.Internal.Bin
1187 1
1188 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1189 ( case inputToken of
1190 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken '6'
1191 )
1192 )
1193 Data.Set.Internal.Tip
1194 Data.Set.Internal.Tip
1195 )
1196 )
1197 ( Data.Set.Internal.Bin
1198 2
1199 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1200 ( case inputToken of
1201 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken '8'
1202 )
1203 )
1204 Data.Set.Internal.Tip
1205 ( Data.Set.Internal.Bin
1206 1
1207 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1208 ( case inputToken of
1209 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken '9'
1210 )
1211 )
1212 Data.Set.Internal.Tip
1213 Data.Set.Internal.Tip
1214 )
1215 )
1216 )
1217 in let (#
1218 farInp_327,
1219 farExp_328
1220 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_321 of
1221 GHC.Types.LT ->
1222 (#
1223 inp_321,
1224 failExp_326
1225 #)
1226 GHC.Types.EQ ->
1227 (#
1228 init_1,
1229 failExp_326 GHC.Base.<> Data.Set.Internal.empty
1230 #)
1231 GHC.Types.GT ->
1232 (#
1233 init_1,
1234 Data.Set.Internal.empty
1235 #)
1236 in readFail_322 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_321 farInp_327 farExp_328
1237 else
1238 let _ = "checkHorizon.newCheck.fail"
1239 in let failExp_329 =
1240 Data.Set.Internal.Bin
1241 1
1242 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1243 ( case inputToken of
1244 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 1
1245 )
1246 )
1247 Data.Set.Internal.Tip
1248 Data.Set.Internal.Tip
1249 in let (#
1250 farInp_330,
1251 farExp_331
1252 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_321 of
1253 GHC.Types.LT ->
1254 (#
1255 inp_321,
1256 failExp_329
1257 #)
1258 GHC.Types.EQ ->
1259 (#
1260 init_1,
1261 failExp_329 GHC.Base.<> Data.Set.Internal.empty
1262 #)
1263 GHC.Types.GT ->
1264 (#
1265 init_1,
1266 Data.Set.Internal.empty
1267 #)
1268 in readFail_322 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_321 farInp_330 farExp_331
1269 name_274 = \(!callReturn_332) (!callInput_333) (!callCatchStackByLabel_334) ->
1270 let _ = "pushValue"
1271 in name_54
1272 ( let _ = "suspend"
1273 in \farInp_335 farExp_336 v_337 (!inp_338) ->
1274 let join_339 = \farInp_340 farExp_341 v_342 (!inp_343) ->
1275 let _ = "resume"
1276 in callReturn_332
1277 farInp_340
1278 farExp_341
1279 ( let _ = "resume.genCode"
1280 in v_342
1281 )
1282 inp_343
1283 in let _ = "catch ExceptionFailure"
1284 in let catchHandler_344 (!_exn_345) (!failInp_346) (!farInp_347) (!farExp_348) =
1285 let _ = "catch.ko ExceptionFailure"
1286 in let _ = "pushInput"
1287 in if ( \( Data.Text.Internal.Text
1288 _
1289 i_349
1290 _
1291 )
1292 ( Data.Text.Internal.Text
1293 _
1294 j_350
1295 _
1296 ) -> i_349 GHC.Classes.== j_350
1297 )
1298 inp_338
1299 failInp_346
1300 then
1301 let _ = "choicesBranch.then"
1302 in name_71
1303 ( let _ = "suspend"
1304 in \farInp_351 farExp_352 v_353 (!inp_354) ->
1305 let _ = "resume"
1306 in join_339
1307 farInp_351
1308 farExp_352
1309 ( let _ = "resume.genCode"
1310 in v_353
1311 )
1312 inp_354
1313 )
1314 failInp_346
1315 Data.Map.Internal.Tip
1316 else
1317 let _ = "choicesBranch.else"
1318 in Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_334 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_346 farInp_347 farExp_348
1319 in let _ = "pushValue"
1320 in name_88
1321 ( let _ = "suspend"
1322 in \farInp_355 farExp_356 v_357 (!inp_358) ->
1323 let _ = "commit"
1324 in let _ = "resume"
1325 in join_339
1326 farInp_355
1327 farExp_356
1328 ( let _ = "resume.genCode"
1329 in GHC.Tuple . ()
1330 )
1331 inp_358
1332 )
1333 inp_338
1334 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure catchHandler_344 Data.Map.Internal.Tip Data.Map.Internal.Tip)
1335 )
1336 callInput_333
1337 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_334) Data.Map.Internal.Tip Data.Map.Internal.Tip)
1338 name_119 = \(!callReturn_359) (!callInput_360) (!callCatchStackByLabel_361) ->
1339 let _ = "pushValue"
1340 in name_36
1341 ( let _ = "suspend"
1342 in \farInp_362 farExp_363 v_364 (!inp_365) ->
1343 let _ = "pushValue"
1344 in do
1345 let dupv_366 = \x_367 -> x_367
1346 reg_368 <- GHC.STRef.newSTRef dupv_366
1347 let _ = "iter"
1348 in let catchHandler_369 loopInput_370 (!_exn_371) (!failInp_372) (!farInp_373) (!farExp_374) =
1349 let _ = "pushInput"
1350 in if ( \( Data.Text.Internal.Text
1351 _
1352 i_375
1353 _
1354 )
1355 ( Data.Text.Internal.Text
1356 _
1357 j_376
1358 _
1359 ) -> i_375 GHC.Classes.== j_376
1360 )
1361 loopInput_370
1362 failInp_372
1363 then
1364 let _ = "choicesBranch.then"
1365 in do
1366 sr_377 <- GHC.STRef.readSTRef reg_368
1367 name_71
1368 ( let _ = "suspend"
1369 in \farInp_378 farExp_379 v_380 (!inp_381) ->
1370 name_71
1371 ( let _ = "suspend"
1372 in \farInp_382 farExp_383 v_384 (!inp_385) ->
1373 let _ = "resume"
1374 in callReturn_359
1375 farInp_382
1376 farExp_383
1377 ( let _ = "resume.genCode"
1378 in v_384
1379 )
1380 inp_385
1381 )
1382 inp_381
1383 Data.Map.Internal.Tip
1384 )
1385 failInp_372
1386 Data.Map.Internal.Tip
1387 else
1388 let _ = "choicesBranch.else"
1389 in Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_361 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_372 farInp_373 farExp_374
1390 loop_386 = \_callReturn_387 callInput_388 callCatchStackByLabel_389 ->
1391 let _ = "pushValue"
1392 in let _ = "comment: satisfy"
1393 in let inp_390 = callInput_388
1394 in let readFail_391 = catchHandler_369 callInput_388
1395 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
1396 in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 1 inp_390)
1397 then
1398 let _ = "checkToken"
1399 in let !(#
1400 c_392,
1401 cs_393
1402 #) = readNext_3 inp_390
1403 in if (GHC.Classes.==) '!' c_392
1404 then
1405 name_177
1406 ( let _ = "suspend"
1407 in \farInp_394 farExp_395 v_396 (!inp_397) ->
1408 name_36
1409 ( let _ = "suspend"
1410 in \farInp_398 farExp_399 v_400 (!inp_401) -> do
1411 sr_402 <- GHC.STRef.readSTRef reg_368
1412 do
1413 let dupv_403 = sr_402
1414 GHC.STRef.writeSTRef reg_368 dupv_403
1415 let _ = "jump"
1416 in loop_386 (GHC.Err.error "invalid return") inp_401 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_391 Data.Map.Internal.Tip Data.Map.Internal.Tip)
1417 )
1418 inp_397
1419 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_391 Data.Map.Internal.Tip Data.Map.Internal.Tip)
1420 )
1421 cs_393
1422 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_391 Data.Map.Internal.Tip Data.Map.Internal.Tip)
1423 else
1424 let _ = "checkToken.fail"
1425 in let failExp_404 =
1426 Data.Set.Internal.Bin
1427 1
1428 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1429 ( case inputToken of
1430 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken '!'
1431 )
1432 )
1433 Data.Set.Internal.Tip
1434 Data.Set.Internal.Tip
1435 in let (#
1436 farInp_405,
1437 farExp_406
1438 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_362 inp_390 of
1439 GHC.Types.LT ->
1440 (#
1441 inp_390,
1442 failExp_404
1443 #)
1444 GHC.Types.EQ ->
1445 (#
1446 farInp_362,
1447 failExp_404 GHC.Base.<> farExp_363
1448 #)
1449 GHC.Types.GT ->
1450 (#
1451 farInp_362,
1452 farExp_363
1453 #)
1454 in readFail_391 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_390 farInp_405 farExp_406
1455 else
1456 let _ = "checkHorizon.newCheck.fail"
1457 in let failExp_407 =
1458 Data.Set.Internal.Bin
1459 1
1460 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1461 ( case inputToken of
1462 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 2
1463 )
1464 )
1465 Data.Set.Internal.Tip
1466 Data.Set.Internal.Tip
1467 in let (#
1468 farInp_408,
1469 farExp_409
1470 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_362 inp_390 of
1471 GHC.Types.LT ->
1472 (#
1473 inp_390,
1474 failExp_407
1475 #)
1476 GHC.Types.EQ ->
1477 (#
1478 farInp_362,
1479 failExp_407 GHC.Base.<> farExp_363
1480 #)
1481 GHC.Types.GT ->
1482 (#
1483 farInp_362,
1484 farExp_363
1485 #)
1486 in readFail_391 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_390 farInp_408 farExp_409
1487 in let _ = "jump"
1488 in loop_386 callReturn_359 inp_365 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_361) Data.Map.Internal.Tip Data.Map.Internal.Tip)
1489 )
1490 callInput_360
1491 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_361) Data.Map.Internal.Tip Data.Map.Internal.Tip)
1492 name_177 = \(!callReturn_410) (!callInput_411) (!callCatchStackByLabel_412) ->
1493 let _ = "pushValue"
1494 in name_413
1495 ( let _ = "suspend"
1496 in \farInp_414 farExp_415 v_416 (!inp_417) ->
1497 let _ = "pushValue"
1498 in do
1499 let dupv_418 = \x_419 -> x_419
1500 reg_420 <- GHC.STRef.newSTRef dupv_418
1501 let _ = "iter"
1502 in let catchHandler_421 loopInput_422 (!_exn_423) (!failInp_424) (!farInp_425) (!farExp_426) =
1503 let _ = "pushInput"
1504 in if ( \( Data.Text.Internal.Text
1505 _
1506 i_427
1507 _
1508 )
1509 ( Data.Text.Internal.Text
1510 _
1511 j_428
1512 _
1513 ) -> i_427 GHC.Classes.== j_428
1514 )
1515 loopInput_422
1516 failInp_424
1517 then
1518 let _ = "choicesBranch.then"
1519 in do
1520 sr_429 <- GHC.STRef.readSTRef reg_420
1521 let _ = "pushValue"
1522 in let _ = "resume"
1523 in callReturn_410
1524 farInp_425
1525 farExp_426
1526 ( let _ = "resume.genCode"
1527 in GHC.Tuple . ()
1528 )
1529 failInp_424
1530 else
1531 let _ = "choicesBranch.else"
1532 in Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_412 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_424 farInp_425 farExp_426
1533 loop_430 = \_callReturn_431 callInput_432 callCatchStackByLabel_433 ->
1534 let _ = "pushValue"
1535 in name_413
1536 ( let _ = "suspend"
1537 in \farInp_434 farExp_435 v_436 (!inp_437) -> do
1538 sr_438 <- GHC.STRef.readSTRef reg_420
1539 do
1540 let dupv_439 = sr_438
1541 GHC.STRef.writeSTRef reg_420 dupv_439
1542 let _ = "jump"
1543 in loop_430 (GHC.Err.error "invalid return") inp_437 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_421 callInput_432) Data.Map.Internal.Tip Data.Map.Internal.Tip)
1544 )
1545 callInput_432
1546 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_421 callInput_432) Data.Map.Internal.Tip Data.Map.Internal.Tip)
1547 in let _ = "jump"
1548 in loop_430 callReturn_410 inp_417 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_412) Data.Map.Internal.Tip Data.Map.Internal.Tip)
1549 )
1550 callInput_411
1551 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_412) Data.Map.Internal.Tip Data.Map.Internal.Tip)
1552 name_54 = \(!callReturn_440) (!callInput_441) (!callCatchStackByLabel_442) ->
1553 let _ = "pushValue"
1554 in let _ = "catch ExceptionFailure"
1555 in let catchHandler_443 (!_exn_444) (!failInp_445) (!farInp_446) (!farExp_447) =
1556 let _ = "catch.ko ExceptionFailure"
1557 in let _ = "loadInput"
1558 in let _ = "checkHorizon.noCheck"
1559 in Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_442 Symantic.Parser.Grammar.Combinators.ExceptionFailure callInput_441 farInp_446 farExp_447
1560 in let _ = "pushValue"
1561 in let _ = "comment: satisfy"
1562 in let inp_448 = callInput_441
1563 in let readFail_449 = catchHandler_443
1564 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
1565 in if readMore_2 inp_448
1566 then
1567 let _ = "checkToken"
1568 in let !(#
1569 c_450,
1570 cs_451
1571 #) = readNext_3 inp_448
1572 in if Parsers.Nandlang.nandIdentStart c_450
1573 then
1574 let _ = "pushValue"
1575 in do
1576 let dupv_452 = \x_453 -> x_453
1577 reg_454 <- GHC.STRef.newSTRef dupv_452
1578 let _ = "iter"
1579 in let catchHandler_455 loopInput_456 (!_exn_457) (!failInp_458) (!farInp_459) (!farExp_460) =
1580 let _ = "pushInput"
1581 in if ( \( Data.Text.Internal.Text
1582 _
1583 i_461
1584 _
1585 )
1586 ( Data.Text.Internal.Text
1587 _
1588 j_462
1589 _
1590 ) -> i_461 GHC.Classes.== j_462
1591 )
1592 loopInput_456
1593 failInp_458
1594 then
1595 let _ = "choicesBranch.then"
1596 in do
1597 sr_463 <- GHC.STRef.readSTRef reg_454
1598 name_71
1599 ( let _ = "suspend"
1600 in \farInp_464 farExp_465 v_466 (!inp_467) ->
1601 name_71
1602 ( let _ = "suspend"
1603 in \farInp_468 farExp_469 v_470 (!inp_471) ->
1604 let _ = "commit"
1605 in name_177
1606 ( let _ = "suspend"
1607 in \farInp_472 farExp_473 v_474 (!inp_475) ->
1608 let _ = "resume"
1609 in callReturn_440
1610 farInp_472
1611 farExp_473
1612 ( let _ = "resume.genCode"
1613 in v_474
1614 )
1615 inp_475
1616 )
1617 inp_471
1618 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_442) Data.Map.Internal.Tip Data.Map.Internal.Tip)
1619 )
1620 inp_467
1621 Data.Map.Internal.Tip
1622 )
1623 failInp_458
1624 Data.Map.Internal.Tip
1625 else
1626 let _ = "choicesBranch.else"
1627 in readFail_449 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_458 farInp_459 farExp_460
1628 loop_476 = \_callReturn_477 callInput_478 callCatchStackByLabel_479 ->
1629 let _ = "pushValue"
1630 in let _ = "comment: satisfy"
1631 in let inp_480 = callInput_478
1632 in let readFail_481 = catchHandler_455 callInput_478
1633 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
1634 in if readMore_2 inp_480
1635 then
1636 let _ = "checkToken"
1637 in let !(#
1638 c_482,
1639 cs_483
1640 #) = readNext_3 inp_480
1641 in if Parsers.Nandlang.nandIdentLetter c_482
1642 then do
1643 sr_484 <- GHC.STRef.readSTRef reg_454
1644 do
1645 let dupv_485 = sr_484
1646 GHC.STRef.writeSTRef reg_454 dupv_485
1647 let _ = "jump"
1648 in loop_476 (GHC.Err.error "invalid return") cs_483 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_481 Data.Map.Internal.Tip Data.Map.Internal.Tip)
1649 else
1650 let _ = "checkToken.fail"
1651 in readFail_481 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_480 init_1 Data.Set.Internal.empty
1652 else
1653 let _ = "checkHorizon.newCheck.fail"
1654 in let failExp_486 =
1655 Data.Set.Internal.Bin
1656 1
1657 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1658 ( case inputToken of
1659 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 1
1660 )
1661 )
1662 Data.Set.Internal.Tip
1663 Data.Set.Internal.Tip
1664 in let (#
1665 farInp_487,
1666 farExp_488
1667 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_480 of
1668 GHC.Types.LT ->
1669 (#
1670 inp_480,
1671 failExp_486
1672 #)
1673 GHC.Types.EQ ->
1674 (#
1675 init_1,
1676 failExp_486 GHC.Base.<> Data.Set.Internal.empty
1677 #)
1678 GHC.Types.GT ->
1679 (#
1680 init_1,
1681 Data.Set.Internal.empty
1682 #)
1683 in readFail_481 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_480 farInp_487 farExp_488
1684 in let _ = "jump"
1685 in loop_476 callReturn_440 cs_451 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_449 Data.Map.Internal.Tip Data.Map.Internal.Tip)
1686 else
1687 let _ = "checkToken.fail"
1688 in readFail_449 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_448 init_1 Data.Set.Internal.empty
1689 else
1690 let _ = "checkHorizon.newCheck.fail"
1691 in let failExp_489 =
1692 Data.Set.Internal.Bin
1693 1
1694 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1695 ( case inputToken of
1696 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 1
1697 )
1698 )
1699 Data.Set.Internal.Tip
1700 Data.Set.Internal.Tip
1701 in let (#
1702 farInp_490,
1703 farExp_491
1704 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_448 of
1705 GHC.Types.LT ->
1706 (#
1707 inp_448,
1708 failExp_489
1709 #)
1710 GHC.Types.EQ ->
1711 (#
1712 init_1,
1713 failExp_489 GHC.Base.<> Data.Set.Internal.empty
1714 #)
1715 GHC.Types.GT ->
1716 (#
1717 init_1,
1718 Data.Set.Internal.empty
1719 #)
1720 in readFail_449 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_448 farInp_490 farExp_491
1721 name_413 = \(!callReturn_492) (!callInput_493) (!callCatchStackByLabel_494) ->
1722 let _ = "pushValue"
1723 in let _ = "comment: satisfy"
1724 in let inp_495 = callInput_493
1725 in let readFail_496 = Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_494
1726 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
1727 in if readMore_2 inp_495
1728 then
1729 let _ = "checkToken"
1730 in let !(#
1731 c_497,
1732 cs_498
1733 #) = readNext_3 inp_495
1734 in if GHC.Unicode.isSpace c_497
1735 then
1736 name_71
1737 ( let _ = "suspend"
1738 in \farInp_499 farExp_500 v_501 (!inp_502) ->
1739 let _ = "resume"
1740 in callReturn_492
1741 farInp_499
1742 farExp_500
1743 ( let _ = "resume.genCode"
1744 in v_501
1745 )
1746 inp_502
1747 )
1748 cs_498
1749 Data.Map.Internal.Tip
1750 else
1751 let _ = "checkToken.fail"
1752 in readFail_496 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_495 init_1 Data.Set.Internal.empty
1753 else
1754 let _ = "checkHorizon.newCheck.fail"
1755 in let failExp_503 =
1756 Data.Set.Internal.Bin
1757 1
1758 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1759 ( case inputToken of
1760 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 1
1761 )
1762 )
1763 Data.Set.Internal.Tip
1764 Data.Set.Internal.Tip
1765 in let (#
1766 farInp_504,
1767 farExp_505
1768 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_495 of
1769 GHC.Types.LT ->
1770 (#
1771 inp_495,
1772 failExp_503
1773 #)
1774 GHC.Types.EQ ->
1775 (#
1776 init_1,
1777 failExp_503 GHC.Base.<> Data.Set.Internal.empty
1778 #)
1779 GHC.Types.GT ->
1780 (#
1781 init_1,
1782 Data.Set.Internal.empty
1783 #)
1784 in readFail_496 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_495 farInp_504 farExp_505
1785 name_93 = \(!callReturn_506) (!callInput_507) (!callCatchStackByLabel_508) ->
1786 let _ = "pushValue"
1787 in let _ = "comment: satisfy"
1788 in let inp_509 = callInput_507
1789 in let readFail_510 = Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_508
1790 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
1791 in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 1 inp_509)
1792 then
1793 let _ = "checkToken"
1794 in let !(#
1795 c_511,
1796 cs_512
1797 #) = readNext_3 inp_509
1798 in if (GHC.Classes.==) '(' c_511
1799 then
1800 name_177
1801 ( let _ = "suspend"
1802 in \farInp_513 farExp_514 v_515 (!inp_516) ->
1803 let _ = "resume"
1804 in callReturn_506
1805 farInp_513
1806 farExp_514
1807 ( let _ = "resume.genCode"
1808 in '('
1809 )
1810 inp_516
1811 )
1812 cs_512
1813 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_510 Data.Map.Internal.Tip Data.Map.Internal.Tip)
1814 else
1815 let _ = "checkToken.fail"
1816 in let failExp_517 =
1817 Data.Set.Internal.Bin
1818 1
1819 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1820 ( case inputToken of
1821 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken '('
1822 )
1823 )
1824 Data.Set.Internal.Tip
1825 Data.Set.Internal.Tip
1826 in let (#
1827 farInp_518,
1828 farExp_519
1829 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_509 of
1830 GHC.Types.LT ->
1831 (#
1832 inp_509,
1833 failExp_517
1834 #)
1835 GHC.Types.EQ ->
1836 (#
1837 init_1,
1838 failExp_517 GHC.Base.<> Data.Set.Internal.empty
1839 #)
1840 GHC.Types.GT ->
1841 (#
1842 init_1,
1843 Data.Set.Internal.empty
1844 #)
1845 in readFail_510 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_509 farInp_518 farExp_519
1846 else
1847 let _ = "checkHorizon.newCheck.fail"
1848 in let failExp_520 =
1849 Data.Set.Internal.Bin
1850 1
1851 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1852 ( case inputToken of
1853 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 2
1854 )
1855 )
1856 Data.Set.Internal.Tip
1857 Data.Set.Internal.Tip
1858 in let (#
1859 farInp_521,
1860 farExp_522
1861 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_509 of
1862 GHC.Types.LT ->
1863 (#
1864 inp_509,
1865 failExp_520
1866 #)
1867 GHC.Types.EQ ->
1868 (#
1869 init_1,
1870 failExp_520 GHC.Base.<> Data.Set.Internal.empty
1871 #)
1872 GHC.Types.GT ->
1873 (#
1874 init_1,
1875 Data.Set.Internal.empty
1876 #)
1877 in readFail_510 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_509 farInp_521 farExp_522
1878 name_103 = \(!callReturn_523) (!callInput_524) (!callCatchStackByLabel_525) ->
1879 let _ = "pushValue"
1880 in let _ = "comment: satisfy"
1881 in let inp_526 = callInput_524
1882 in let readFail_527 = Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_525
1883 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
1884 in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 1 inp_526)
1885 then
1886 let _ = "checkToken"
1887 in let !(#
1888 c_528,
1889 cs_529
1890 #) = readNext_3 inp_526
1891 in if (GHC.Classes.==) ')' c_528
1892 then
1893 name_177
1894 ( let _ = "suspend"
1895 in \farInp_530 farExp_531 v_532 (!inp_533) ->
1896 let _ = "resume"
1897 in callReturn_523
1898 farInp_530
1899 farExp_531
1900 ( let _ = "resume.genCode"
1901 in ')'
1902 )
1903 inp_533
1904 )
1905 cs_529
1906 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_527 Data.Map.Internal.Tip Data.Map.Internal.Tip)
1907 else
1908 let _ = "checkToken.fail"
1909 in let failExp_534 =
1910 Data.Set.Internal.Bin
1911 1
1912 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1913 ( case inputToken of
1914 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken ')'
1915 )
1916 )
1917 Data.Set.Internal.Tip
1918 Data.Set.Internal.Tip
1919 in let (#
1920 farInp_535,
1921 farExp_536
1922 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_526 of
1923 GHC.Types.LT ->
1924 (#
1925 inp_526,
1926 failExp_534
1927 #)
1928 GHC.Types.EQ ->
1929 (#
1930 init_1,
1931 failExp_534 GHC.Base.<> Data.Set.Internal.empty
1932 #)
1933 GHC.Types.GT ->
1934 (#
1935 init_1,
1936 Data.Set.Internal.empty
1937 #)
1938 in readFail_527 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_526 farInp_535 farExp_536
1939 else
1940 let _ = "checkHorizon.newCheck.fail"
1941 in let failExp_537 =
1942 Data.Set.Internal.Bin
1943 1
1944 ( Symantic.Parser.Grammar.Combinators.SomeFailure
1945 ( case inputToken of
1946 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 2
1947 )
1948 )
1949 Data.Set.Internal.Tip
1950 Data.Set.Internal.Tip
1951 in let (#
1952 farInp_538,
1953 farExp_539
1954 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_526 of
1955 GHC.Types.LT ->
1956 (#
1957 inp_526,
1958 failExp_537
1959 #)
1960 GHC.Types.EQ ->
1961 (#
1962 init_1,
1963 failExp_537 GHC.Base.<> Data.Set.Internal.empty
1964 #)
1965 GHC.Types.GT ->
1966 (#
1967 init_1,
1968 Data.Set.Internal.empty
1969 #)
1970 in readFail_527 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_526 farInp_538 farExp_539
1971 name_153 = \(!callReturn_540) (!callInput_541) (!callCatchStackByLabel_542) ->
1972 let _ = "pushValue"
1973 in let _ = "comment: satisfy"
1974 in let inp_543 = callInput_541
1975 in let readFail_544 = Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_542
1976 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
1977 in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 1 inp_543)
1978 then
1979 let _ = "checkToken"
1980 in let !(#
1981 c_545,
1982 cs_546
1983 #) = readNext_3 inp_543
1984 in if (GHC.Classes.==) ',' c_545
1985 then
1986 name_177
1987 ( let _ = "suspend"
1988 in \farInp_547 farExp_548 v_549 (!inp_550) ->
1989 let _ = "resume"
1990 in callReturn_540
1991 farInp_547
1992 farExp_548
1993 ( let _ = "resume.genCode"
1994 in ','
1995 )
1996 inp_550
1997 )
1998 cs_546
1999 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_544 Data.Map.Internal.Tip Data.Map.Internal.Tip)
2000 else
2001 let _ = "checkToken.fail"
2002 in let failExp_551 =
2003 Data.Set.Internal.Bin
2004 1
2005 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2006 ( case inputToken of
2007 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken ','
2008 )
2009 )
2010 Data.Set.Internal.Tip
2011 Data.Set.Internal.Tip
2012 in let (#
2013 farInp_552,
2014 farExp_553
2015 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_543 of
2016 GHC.Types.LT ->
2017 (#
2018 inp_543,
2019 failExp_551
2020 #)
2021 GHC.Types.EQ ->
2022 (#
2023 init_1,
2024 failExp_551 GHC.Base.<> Data.Set.Internal.empty
2025 #)
2026 GHC.Types.GT ->
2027 (#
2028 init_1,
2029 Data.Set.Internal.empty
2030 #)
2031 in readFail_544 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_543 farInp_552 farExp_553
2032 else
2033 let _ = "checkHorizon.newCheck.fail"
2034 in let failExp_554 =
2035 Data.Set.Internal.Bin
2036 1
2037 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2038 ( case inputToken of
2039 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 2
2040 )
2041 )
2042 Data.Set.Internal.Tip
2043 Data.Set.Internal.Tip
2044 in let (#
2045 farInp_555,
2046 farExp_556
2047 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_543 of
2048 GHC.Types.LT ->
2049 (#
2050 inp_543,
2051 failExp_554
2052 #)
2053 GHC.Types.EQ ->
2054 (#
2055 init_1,
2056 failExp_554 GHC.Base.<> Data.Set.Internal.empty
2057 #)
2058 GHC.Types.GT ->
2059 (#
2060 init_1,
2061 Data.Set.Internal.empty
2062 #)
2063 in readFail_544 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_543 farInp_555 farExp_556
2064 name_557 = \(!callReturn_558) (!callInput_559) (!callCatchStackByLabel_560) ->
2065 let _ = "pushValue"
2066 in let _ = "comment: satisfy"
2067 in let inp_561 = callInput_559
2068 in let readFail_562 = Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_560
2069 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
2070 in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 1 inp_561)
2071 then
2072 let _ = "checkToken"
2073 in let !(#
2074 c_563,
2075 cs_564
2076 #) = readNext_3 inp_561
2077 in if (GHC.Classes.==) ';' c_563
2078 then
2079 name_177
2080 ( let _ = "suspend"
2081 in \farInp_565 farExp_566 v_567 (!inp_568) ->
2082 let _ = "resume"
2083 in callReturn_558
2084 farInp_565
2085 farExp_566
2086 ( let _ = "resume.genCode"
2087 in ';'
2088 )
2089 inp_568
2090 )
2091 cs_564
2092 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_562 Data.Map.Internal.Tip Data.Map.Internal.Tip)
2093 else
2094 let _ = "checkToken.fail"
2095 in let failExp_569 =
2096 Data.Set.Internal.Bin
2097 1
2098 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2099 ( case inputToken of
2100 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken ';'
2101 )
2102 )
2103 Data.Set.Internal.Tip
2104 Data.Set.Internal.Tip
2105 in let (#
2106 farInp_570,
2107 farExp_571
2108 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_561 of
2109 GHC.Types.LT ->
2110 (#
2111 inp_561,
2112 failExp_569
2113 #)
2114 GHC.Types.EQ ->
2115 (#
2116 init_1,
2117 failExp_569 GHC.Base.<> Data.Set.Internal.empty
2118 #)
2119 GHC.Types.GT ->
2120 (#
2121 init_1,
2122 Data.Set.Internal.empty
2123 #)
2124 in readFail_562 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_561 farInp_570 farExp_571
2125 else
2126 let _ = "checkHorizon.newCheck.fail"
2127 in let failExp_572 =
2128 Data.Set.Internal.Bin
2129 1
2130 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2131 ( case inputToken of
2132 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 2
2133 )
2134 )
2135 Data.Set.Internal.Tip
2136 Data.Set.Internal.Tip
2137 in let (#
2138 farInp_573,
2139 farExp_574
2140 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_561 of
2141 GHC.Types.LT ->
2142 (#
2143 inp_561,
2144 failExp_572
2145 #)
2146 GHC.Types.EQ ->
2147 (#
2148 init_1,
2149 failExp_572 GHC.Base.<> Data.Set.Internal.empty
2150 #)
2151 GHC.Types.GT ->
2152 (#
2153 init_1,
2154 Data.Set.Internal.empty
2155 #)
2156 in readFail_562 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_561 farInp_573 farExp_574
2157 name_575 = \(!callReturn_576) (!callInput_577) (!callCatchStackByLabel_578) ->
2158 let _ = "pushValue"
2159 in let _ = "comment: satisfy"
2160 in let inp_579 = callInput_577
2161 in let readFail_580 = Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_578
2162 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
2163 in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 1 inp_579)
2164 then
2165 let _ = "checkToken"
2166 in let !(#
2167 c_581,
2168 cs_582
2169 #) = readNext_3 inp_579
2170 in if (GHC.Classes.==) '{' c_581
2171 then
2172 name_177
2173 ( let _ = "suspend"
2174 in \farInp_583 farExp_584 v_585 (!inp_586) ->
2175 let _ = "pushValue"
2176 in do
2177 let dupv_587 = \x_588 -> x_588
2178 reg_589 <- GHC.STRef.newSTRef dupv_587
2179 let _ = "iter"
2180 in let catchHandler_590 loopInput_591 (!_exn_592) (!failInp_593) (!farInp_594) (!farExp_595) =
2181 let _ = "pushInput"
2182 in if ( \( Data.Text.Internal.Text
2183 _
2184 i_596
2185 _
2186 )
2187 ( Data.Text.Internal.Text
2188 _
2189 j_597
2190 _
2191 ) -> i_596 GHC.Classes.== j_597
2192 )
2193 loopInput_591
2194 failInp_593
2195 then
2196 let _ = "choicesBranch.then"
2197 in do
2198 sr_598 <- GHC.STRef.readSTRef reg_589
2199 name_71
2200 ( let _ = "suspend"
2201 in \farInp_599 farExp_600 v_601 (!inp_602) ->
2202 name_71
2203 ( let _ = "suspend"
2204 in \farInp_603 farExp_604 v_605 (!inp_606) ->
2205 let _ = "comment: satisfy"
2206 in let inp_607 = inp_606
2207 in let readFail_608 = readFail_580
2208 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
2209 in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 1 inp_607)
2210 then
2211 let _ = "checkToken"
2212 in let !(#
2213 c_609,
2214 cs_610
2215 #) = readNext_3 inp_607
2216 in if (GHC.Classes.==) '}' c_609
2217 then
2218 name_177
2219 ( let _ = "suspend"
2220 in \farInp_611 farExp_612 v_613 (!inp_614) ->
2221 let _ = "resume"
2222 in callReturn_576
2223 farInp_611
2224 farExp_612
2225 ( let _ = "resume.genCode"
2226 in v_605
2227 )
2228 inp_614
2229 )
2230 cs_610
2231 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_608 Data.Map.Internal.Tip Data.Map.Internal.Tip)
2232 else
2233 let _ = "checkToken.fail"
2234 in let failExp_615 =
2235 Data.Set.Internal.Bin
2236 1
2237 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2238 ( case inputToken of
2239 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken '}'
2240 )
2241 )
2242 Data.Set.Internal.Tip
2243 Data.Set.Internal.Tip
2244 in let (#
2245 farInp_616,
2246 farExp_617
2247 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_603 inp_607 of
2248 GHC.Types.LT ->
2249 (#
2250 inp_607,
2251 failExp_615
2252 #)
2253 GHC.Types.EQ ->
2254 (#
2255 farInp_603,
2256 failExp_615 GHC.Base.<> farExp_604
2257 #)
2258 GHC.Types.GT ->
2259 (#
2260 farInp_603,
2261 farExp_604
2262 #)
2263 in readFail_608 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_607 farInp_616 farExp_617
2264 else
2265 let _ = "checkHorizon.newCheck.fail"
2266 in let failExp_618 =
2267 Data.Set.Internal.Bin
2268 1
2269 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2270 ( case inputToken of
2271 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 2
2272 )
2273 )
2274 Data.Set.Internal.Tip
2275 Data.Set.Internal.Tip
2276 in let (#
2277 farInp_619,
2278 farExp_620
2279 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_603 inp_607 of
2280 GHC.Types.LT ->
2281 (#
2282 inp_607,
2283 failExp_618
2284 #)
2285 GHC.Types.EQ ->
2286 (#
2287 farInp_603,
2288 failExp_618 GHC.Base.<> farExp_604
2289 #)
2290 GHC.Types.GT ->
2291 (#
2292 farInp_603,
2293 farExp_604
2294 #)
2295 in readFail_608 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_607 farInp_619 farExp_620
2296 )
2297 inp_602
2298 Data.Map.Internal.Tip
2299 )
2300 failInp_593
2301 Data.Map.Internal.Tip
2302 else
2303 let _ = "choicesBranch.else"
2304 in readFail_580 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_593 farInp_594 farExp_595
2305 loop_621 = \_callReturn_622 callInput_623 callCatchStackByLabel_624 ->
2306 let _ = "pushValue"
2307 in let join_625 = \farInp_626 farExp_627 v_628 (!inp_629) -> do
2308 sr_630 <- GHC.STRef.readSTRef reg_589
2309 do
2310 let dupv_631 = sr_630
2311 GHC.STRef.writeSTRef reg_589 dupv_631
2312 let _ = "jump"
2313 in loop_621 (GHC.Err.error "invalid return") inp_629 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_590 callInput_623) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2314 in let _ = "catch ExceptionFailure"
2315 in let catchHandler_632 (!_exn_633) (!failInp_634) (!farInp_635) (!farExp_636) =
2316 let _ = "catch.ko ExceptionFailure"
2317 in let _ = "pushInput"
2318 in if ( \( Data.Text.Internal.Text
2319 _
2320 i_637
2321 _
2322 )
2323 ( Data.Text.Internal.Text
2324 _
2325 j_638
2326 _
2327 ) -> i_637 GHC.Classes.== j_638
2328 )
2329 callInput_623
2330 failInp_634
2331 then
2332 let _ = "choicesBranch.then"
2333 in let _ = "catch ExceptionFailure"
2334 in let catchHandler_639 (!_exn_640) (!failInp_641) (!farInp_642) (!farExp_643) =
2335 let _ = "catch.ko ExceptionFailure"
2336 in let _ = "pushInput"
2337 in if ( \( Data.Text.Internal.Text
2338 _
2339 i_644
2340 _
2341 )
2342 ( Data.Text.Internal.Text
2343 _
2344 j_645
2345 _
2346 ) -> i_644 GHC.Classes.== j_645
2347 )
2348 failInp_634
2349 failInp_641
2350 then
2351 let _ = "choicesBranch.then"
2352 in let _ = "catch ExceptionFailure"
2353 in let catchHandler_646 (!_exn_647) (!failInp_648) (!farInp_649) (!farExp_650) =
2354 let _ = "catch.ko ExceptionFailure"
2355 in let _ = "pushInput"
2356 in if ( \( Data.Text.Internal.Text
2357 _
2358 i_651
2359 _
2360 )
2361 ( Data.Text.Internal.Text
2362 _
2363 j_652
2364 _
2365 ) -> i_651 GHC.Classes.== j_652
2366 )
2367 failInp_641
2368 failInp_648
2369 then
2370 let _ = "choicesBranch.then"
2371 in let _ = "pushValue"
2372 in name_119
2373 ( let _ = "suspend"
2374 in \farInp_653 farExp_654 v_655 (!inp_656) ->
2375 name_557
2376 ( let _ = "suspend"
2377 in \farInp_657 farExp_658 v_659 (!inp_660) ->
2378 let _ = "resume"
2379 in join_625
2380 farInp_657
2381 farExp_658
2382 ( let _ = "resume.genCode"
2383 in v_655
2384 )
2385 inp_660
2386 )
2387 inp_656
2388 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_590 callInput_623) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2389 )
2390 failInp_648
2391 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_590 callInput_623) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2392 else
2393 let _ = "choicesBranch.else"
2394 in catchHandler_590 callInput_623 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_648 farInp_649 farExp_650
2395 in let _ = "catch ExceptionFailure"
2396 in let catchHandler_661 (!_exn_662) (!failInp_663) (!farInp_664) (!farExp_665) =
2397 let _ = "catch.ko ExceptionFailure"
2398 in let _ = "loadInput"
2399 in let _ = "checkHorizon.noCheck"
2400 in catchHandler_646 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_641 farInp_664 farExp_665
2401 in let _ = "pushValue"
2402 in let join_666 = \farInp_667 farExp_668 v_669 (!inp_670) ->
2403 name_274
2404 ( let _ = "suspend"
2405 in \farInp_671 farExp_672 v_673 (!inp_674) ->
2406 let _ = "pushValue"
2407 in do
2408 let dupv_675 = \x_676 -> x_676
2409 reg_677 <- GHC.STRef.newSTRef dupv_675
2410 let _ = "iter"
2411 in let catchHandler_678 loopInput_679 (!_exn_680) (!failInp_681) (!farInp_682) (!farExp_683) =
2412 let _ = "pushInput"
2413 in if ( \( Data.Text.Internal.Text
2414 _
2415 i_684
2416 _
2417 )
2418 ( Data.Text.Internal.Text
2419 _
2420 j_685
2421 _
2422 ) -> i_684 GHC.Classes.== j_685
2423 )
2424 loopInput_679
2425 failInp_681
2426 then
2427 let _ = "choicesBranch.then"
2428 in do
2429 sr_686 <- GHC.STRef.readSTRef reg_677
2430 name_71
2431 ( let _ = "suspend"
2432 in \farInp_687 farExp_688 v_689 (!inp_690) ->
2433 name_71
2434 ( let _ = "suspend"
2435 in \farInp_691 farExp_692 v_693 (!inp_694) ->
2436 let _ = "comment: satisfy"
2437 in let inp_695 = inp_694
2438 in let readFail_696 = catchHandler_661
2439 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
2440 in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 1 inp_695)
2441 then
2442 let _ = "checkToken"
2443 in let !(#
2444 c_697,
2445 cs_698
2446 #) = readNext_3 inp_695
2447 in if (GHC.Classes.==) '=' c_697
2448 then
2449 name_177
2450 ( let _ = "suspend"
2451 in \farInp_699 farExp_700 v_701 (!inp_702) ->
2452 name_119
2453 ( let _ = "suspend"
2454 in \farInp_703 farExp_704 v_705 (!inp_706) ->
2455 let _ = "pushValue"
2456 in do
2457 let dupv_707 = \x_708 -> x_708
2458 reg_709 <- GHC.STRef.newSTRef dupv_707
2459 let _ = "iter"
2460 in let catchHandler_710 loopInput_711 (!_exn_712) (!failInp_713) (!farInp_714) (!farExp_715) =
2461 let _ = "pushInput"
2462 in if ( \( Data.Text.Internal.Text
2463 _
2464 i_716
2465 _
2466 )
2467 ( Data.Text.Internal.Text
2468 _
2469 j_717
2470 _
2471 ) -> i_716 GHC.Classes.== j_717
2472 )
2473 loopInput_711
2474 failInp_713
2475 then
2476 let _ = "choicesBranch.then"
2477 in do
2478 sr_718 <- GHC.STRef.readSTRef reg_709
2479 name_71
2480 ( let _ = "suspend"
2481 in \farInp_719 farExp_720 v_721 (!inp_722) ->
2482 name_71
2483 ( let _ = "suspend"
2484 in \farInp_723 farExp_724 v_725 (!inp_726) ->
2485 name_557
2486 ( let _ = "suspend"
2487 in \farInp_727 farExp_728 v_729 (!inp_730) ->
2488 let _ = "commit"
2489 in let _ = "commit"
2490 in let _ = "resume"
2491 in join_625
2492 farInp_727
2493 farExp_728
2494 ( let _ = "resume.genCode"
2495 in v_725
2496 )
2497 inp_730
2498 )
2499 inp_726
2500 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_696 Data.Map.Internal.Tip Data.Map.Internal.Tip)
2501 )
2502 inp_722
2503 Data.Map.Internal.Tip
2504 )
2505 failInp_713
2506 Data.Map.Internal.Tip
2507 else
2508 let _ = "choicesBranch.else"
2509 in readFail_696 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_713 farInp_714 farExp_715
2510 loop_731 = \_callReturn_732 callInput_733 callCatchStackByLabel_734 ->
2511 let _ = "pushValue"
2512 in name_148
2513 ( let _ = "suspend"
2514 in \farInp_735 farExp_736 v_737 (!inp_738) ->
2515 name_153
2516 ( let _ = "suspend"
2517 in \farInp_739 farExp_740 v_741 (!inp_742) ->
2518 name_119
2519 ( let _ = "suspend"
2520 in \farInp_743 farExp_744 v_745 (!inp_746) -> do
2521 sr_747 <- GHC.STRef.readSTRef reg_709
2522 do
2523 let dupv_748 = v_737 v_745 sr_747
2524 GHC.STRef.writeSTRef reg_709 dupv_748
2525 let _ = "jump"
2526 in loop_731 (GHC.Err.error "invalid return") inp_746 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_710 callInput_733) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2527 )
2528 inp_742
2529 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_710 callInput_733) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2530 )
2531 inp_738
2532 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_710 callInput_733) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2533 )
2534 callInput_733
2535 Data.Map.Internal.Tip
2536 in let _ = "jump"
2537 in loop_731 (GHC.Err.error "invalid return") inp_706 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_696 Data.Map.Internal.Tip Data.Map.Internal.Tip)
2538 )
2539 inp_702
2540 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_696 Data.Map.Internal.Tip Data.Map.Internal.Tip)
2541 )
2542 cs_698
2543 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_696 Data.Map.Internal.Tip Data.Map.Internal.Tip)
2544 else
2545 let _ = "checkToken.fail"
2546 in let failExp_749 =
2547 Data.Set.Internal.Bin
2548 1
2549 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2550 ( case inputToken of
2551 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken '='
2552 )
2553 )
2554 Data.Set.Internal.Tip
2555 Data.Set.Internal.Tip
2556 in let (#
2557 farInp_750,
2558 farExp_751
2559 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_691 inp_695 of
2560 GHC.Types.LT ->
2561 (#
2562 inp_695,
2563 failExp_749
2564 #)
2565 GHC.Types.EQ ->
2566 (#
2567 farInp_691,
2568 failExp_749 GHC.Base.<> farExp_692
2569 #)
2570 GHC.Types.GT ->
2571 (#
2572 farInp_691,
2573 farExp_692
2574 #)
2575 in readFail_696 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_695 farInp_750 farExp_751
2576 else
2577 let _ = "checkHorizon.newCheck.fail"
2578 in let failExp_752 =
2579 Data.Set.Internal.Bin
2580 1
2581 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2582 ( case inputToken of
2583 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 2
2584 )
2585 )
2586 Data.Set.Internal.Tip
2587 Data.Set.Internal.Tip
2588 in let (#
2589 farInp_753,
2590 farExp_754
2591 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_691 inp_695 of
2592 GHC.Types.LT ->
2593 (#
2594 inp_695,
2595 failExp_752
2596 #)
2597 GHC.Types.EQ ->
2598 (#
2599 farInp_691,
2600 failExp_752 GHC.Base.<> farExp_692
2601 #)
2602 GHC.Types.GT ->
2603 (#
2604 farInp_691,
2605 farExp_692
2606 #)
2607 in readFail_696 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_695 farInp_753 farExp_754
2608 )
2609 inp_690
2610 Data.Map.Internal.Tip
2611 )
2612 failInp_681
2613 Data.Map.Internal.Tip
2614 else
2615 let _ = "choicesBranch.else"
2616 in catchHandler_661 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_681 farInp_682 farExp_683
2617 loop_755 = \_callReturn_756 callInput_757 callCatchStackByLabel_758 ->
2618 let _ = "pushValue"
2619 in name_148
2620 ( let _ = "suspend"
2621 in \farInp_759 farExp_760 v_761 (!inp_762) ->
2622 name_153
2623 ( let _ = "suspend"
2624 in \farInp_763 farExp_764 v_765 (!inp_766) ->
2625 name_274
2626 ( let _ = "suspend"
2627 in \farInp_767 farExp_768 v_769 (!inp_770) -> do
2628 sr_771 <- GHC.STRef.readSTRef reg_677
2629 do
2630 let dupv_772 = v_761 v_769 sr_771
2631 GHC.STRef.writeSTRef reg_677 dupv_772
2632 let _ = "jump"
2633 in loop_755 (GHC.Err.error "invalid return") inp_770 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_678 callInput_757) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2634 )
2635 inp_766
2636 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_678 callInput_757) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2637 )
2638 inp_762
2639 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_678 callInput_757) Data.Map.Internal.Tip Data.Map.Internal.Tip)
2640 )
2641 callInput_757
2642 Data.Map.Internal.Tip
2643 in let _ = "jump"
2644 in loop_755 (GHC.Err.error "invalid return") inp_674 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure catchHandler_661 Data.Map.Internal.Tip Data.Map.Internal.Tip)
2645 )
2646 inp_670
2647 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure catchHandler_661 Data.Map.Internal.Tip Data.Map.Internal.Tip)
2648 in let _ = "catch ExceptionFailure"
2649 in let catchHandler_773 (!_exn_774) (!failInp_775) (!farInp_776) (!farExp_777) =
2650 let _ = "catch.ko ExceptionFailure"
2651 in let _ = "pushInput"
2652 in if ( \( Data.Text.Internal.Text
2653 _
2654 i_778
2655 _
2656 )
2657 ( Data.Text.Internal.Text
2658 _
2659 j_779
2660 _
2661 ) -> i_778 GHC.Classes.== j_779
2662 )
2663 failInp_641
2664 failInp_775
2665 then
2666 let _ = "choicesBranch.then"
2667 in name_71
2668 ( let _ = "suspend"
2669 in \farInp_780 farExp_781 v_782 (!inp_783) ->
2670 let _ = "resume"
2671 in join_666
2672 farInp_780
2673 farExp_781
2674 ( let _ = "resume.genCode"
2675 in v_782
2676 )
2677 inp_783
2678 )
2679 failInp_775
2680 Data.Map.Internal.Tip
2681 else
2682 let _ = "choicesBranch.else"
2683 in catchHandler_661 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_775 farInp_776 farExp_777
2684 in let _ = "pushValue"
2685 in let _ = "catch ExceptionFailure"
2686 in let catchHandler_784 (!_exn_785) (!failInp_786) (!farInp_787) (!farExp_788) =
2687 let _ = "catch.ko ExceptionFailure"
2688 in let _ = "loadInput"
2689 in let _ = "checkHorizon.noCheck"
2690 in catchHandler_773 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_641 farInp_787 farExp_788
2691 in let _ = "pushValue"
2692 in let _ = "comment: satisfy"
2693 in let inp_789 = failInp_641
2694 in let readFail_790 = catchHandler_784
2695 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=3"
2696 in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 2 inp_789)
2697 then
2698 let _ = "checkToken"
2699 in let !(#
2700 c_791,
2701 cs_792
2702 #) = readNext_3 inp_789
2703 in if (GHC.Classes.==) 'v' c_791
2704 then
2705 let _ = "comment: satisfy"
2706 in let _ = "checkHorizon.oldCheck: checkedHorizon=3"
2707 in let _ = "checkToken"
2708 in let !(#
2709 c_793,
2710 cs_794
2711 #) = readNext_3 cs_792
2712 in if (GHC.Classes.==) 'a' c_793
2713 then
2714 let _ = "comment: satisfy"
2715 in let _ = "checkHorizon.oldCheck: checkedHorizon=2"
2716 in let _ = "checkToken"
2717 in let !(#
2718 c_795,
2719 cs_796
2720 #) = readNext_3 cs_794
2721 in if (GHC.Classes.==) 'r' c_795
2722 then
2723 let _ = "commit"
2724 in name_797
2725 ( let _ = "suspend"
2726 in \farInp_798 farExp_799 v_800 (!inp_801) ->
2727 let _ = "commit"
2728 in let _ = "resume"
2729 in join_666
2730 farInp_798
2731 farExp_799
2732 ( let _ = "resume.genCode"
2733 in GHC.Tuple . ()
2734 )
2735 inp_801
2736 )
2737 cs_796
2738 Data.Map.Internal.Tip
2739 else
2740 let _ = "checkToken.fail"
2741 in let failExp_802 =
2742 Data.Set.Internal.Bin
2743 1
2744 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2745 ( case inputToken of
2746 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'r'
2747 )
2748 )
2749 Data.Set.Internal.Tip
2750 Data.Set.Internal.Tip
2751 in let (#
2752 farInp_803,
2753 farExp_804
2754 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_642 cs_794 of
2755 GHC.Types.LT ->
2756 (#
2757 cs_794,
2758 failExp_802
2759 #)
2760 GHC.Types.EQ ->
2761 (#
2762 farInp_642,
2763 failExp_802 GHC.Base.<> farExp_643
2764 #)
2765 GHC.Types.GT ->
2766 (#
2767 farInp_642,
2768 farExp_643
2769 #)
2770 in readFail_790 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_794 farInp_803 farExp_804
2771 else
2772 let _ = "checkToken.fail"
2773 in let failExp_805 =
2774 Data.Set.Internal.Bin
2775 1
2776 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2777 ( case inputToken of
2778 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'a'
2779 )
2780 )
2781 Data.Set.Internal.Tip
2782 Data.Set.Internal.Tip
2783 in let (#
2784 farInp_806,
2785 farExp_807
2786 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_642 cs_792 of
2787 GHC.Types.LT ->
2788 (#
2789 cs_792,
2790 failExp_805
2791 #)
2792 GHC.Types.EQ ->
2793 (#
2794 farInp_642,
2795 failExp_805 GHC.Base.<> farExp_643
2796 #)
2797 GHC.Types.GT ->
2798 (#
2799 farInp_642,
2800 farExp_643
2801 #)
2802 in readFail_790 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_792 farInp_806 farExp_807
2803 else
2804 let _ = "checkToken.fail"
2805 in let failExp_808 =
2806 Data.Set.Internal.Bin
2807 1
2808 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2809 ( case inputToken of
2810 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'v'
2811 )
2812 )
2813 Data.Set.Internal.Tip
2814 Data.Set.Internal.Tip
2815 in let (#
2816 farInp_809,
2817 farExp_810
2818 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_642 inp_789 of
2819 GHC.Types.LT ->
2820 (#
2821 inp_789,
2822 failExp_808
2823 #)
2824 GHC.Types.EQ ->
2825 (#
2826 farInp_642,
2827 failExp_808 GHC.Base.<> farExp_643
2828 #)
2829 GHC.Types.GT ->
2830 (#
2831 farInp_642,
2832 farExp_643
2833 #)
2834 in readFail_790 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_789 farInp_809 farExp_810
2835 else
2836 let _ = "checkHorizon.newCheck.fail"
2837 in let failExp_811 =
2838 Data.Set.Internal.Bin
2839 1
2840 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2841 ( case inputToken of
2842 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 3
2843 )
2844 )
2845 Data.Set.Internal.Tip
2846 Data.Set.Internal.Tip
2847 in let (#
2848 farInp_812,
2849 farExp_813
2850 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_642 inp_789 of
2851 GHC.Types.LT ->
2852 (#
2853 inp_789,
2854 failExp_811
2855 #)
2856 GHC.Types.EQ ->
2857 (#
2858 farInp_642,
2859 failExp_811 GHC.Base.<> farExp_643
2860 #)
2861 GHC.Types.GT ->
2862 (#
2863 farInp_642,
2864 farExp_643
2865 #)
2866 in readFail_790 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_789 farInp_812 farExp_813
2867 else
2868 let _ = "choicesBranch.else"
2869 in catchHandler_590 callInput_623 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_641 farInp_642 farExp_643
2870 in let _ = "pushValue"
2871 in let _ = "catch ExceptionFailure"
2872 in let catchHandler_814 (!_exn_815) (!failInp_816) (!farInp_817) (!farExp_818) =
2873 let _ = "catch.ko ExceptionFailure"
2874 in let _ = "loadInput"
2875 in let _ = "checkHorizon.noCheck"
2876 in catchHandler_639 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_634 farInp_817 farExp_818
2877 in let _ = "pushValue"
2878 in let _ = "comment: satisfy"
2879 in let inp_819 = failInp_634
2880 in let readFail_820 = catchHandler_814
2881 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=5"
2882 in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 4 inp_819)
2883 then
2884 let _ = "checkToken"
2885 in let !(#
2886 c_821,
2887 cs_822
2888 #) = readNext_3 inp_819
2889 in if (GHC.Classes.==) 'w' c_821
2890 then
2891 let _ = "comment: satisfy"
2892 in let _ = "checkHorizon.oldCheck: checkedHorizon=5"
2893 in let _ = "checkToken"
2894 in let !(#
2895 c_823,
2896 cs_824
2897 #) = readNext_3 cs_822
2898 in if (GHC.Classes.==) 'h' c_823
2899 then
2900 let _ = "comment: satisfy"
2901 in let _ = "checkHorizon.oldCheck: checkedHorizon=4"
2902 in let _ = "checkToken"
2903 in let !(#
2904 c_825,
2905 cs_826
2906 #) = readNext_3 cs_824
2907 in if (GHC.Classes.==) 'i' c_825
2908 then
2909 let _ = "comment: satisfy"
2910 in let _ = "checkHorizon.oldCheck: checkedHorizon=3"
2911 in let _ = "checkToken"
2912 in let !(#
2913 c_827,
2914 cs_828
2915 #) = readNext_3 cs_826
2916 in if (GHC.Classes.==) 'l' c_827
2917 then
2918 let _ = "comment: satisfy"
2919 in let _ = "checkHorizon.oldCheck: checkedHorizon=2"
2920 in let _ = "checkToken"
2921 in let !(#
2922 c_829,
2923 cs_830
2924 #) = readNext_3 cs_828
2925 in if (GHC.Classes.==) 'e' c_829
2926 then
2927 let _ = "commit"
2928 in name_797
2929 ( let _ = "suspend"
2930 in \farInp_831 farExp_832 v_833 (!inp_834) ->
2931 name_119
2932 ( let _ = "suspend"
2933 in \farInp_835 farExp_836 v_837 (!inp_838) ->
2934 name_575
2935 ( let _ = "suspend"
2936 in \farInp_839 farExp_840 v_841 (!inp_842) ->
2937 let _ = "commit"
2938 in let _ = "resume"
2939 in join_625
2940 farInp_839
2941 farExp_840
2942 ( let _ = "resume.genCode"
2943 in v_841
2944 )
2945 inp_842
2946 )
2947 inp_838
2948 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure catchHandler_639 Data.Map.Internal.Tip Data.Map.Internal.Tip)
2949 )
2950 inp_834
2951 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure catchHandler_639 Data.Map.Internal.Tip Data.Map.Internal.Tip)
2952 )
2953 cs_830
2954 Data.Map.Internal.Tip
2955 else
2956 let _ = "checkToken.fail"
2957 in let failExp_843 =
2958 Data.Set.Internal.Bin
2959 1
2960 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2961 ( case inputToken of
2962 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'e'
2963 )
2964 )
2965 Data.Set.Internal.Tip
2966 Data.Set.Internal.Tip
2967 in let (#
2968 farInp_844,
2969 farExp_845
2970 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_635 cs_828 of
2971 GHC.Types.LT ->
2972 (#
2973 cs_828,
2974 failExp_843
2975 #)
2976 GHC.Types.EQ ->
2977 (#
2978 farInp_635,
2979 failExp_843 GHC.Base.<> farExp_636
2980 #)
2981 GHC.Types.GT ->
2982 (#
2983 farInp_635,
2984 farExp_636
2985 #)
2986 in readFail_820 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_828 farInp_844 farExp_845
2987 else
2988 let _ = "checkToken.fail"
2989 in let failExp_846 =
2990 Data.Set.Internal.Bin
2991 1
2992 ( Symantic.Parser.Grammar.Combinators.SomeFailure
2993 ( case inputToken of
2994 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'l'
2995 )
2996 )
2997 Data.Set.Internal.Tip
2998 Data.Set.Internal.Tip
2999 in let (#
3000 farInp_847,
3001 farExp_848
3002 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_635 cs_826 of
3003 GHC.Types.LT ->
3004 (#
3005 cs_826,
3006 failExp_846
3007 #)
3008 GHC.Types.EQ ->
3009 (#
3010 farInp_635,
3011 failExp_846 GHC.Base.<> farExp_636
3012 #)
3013 GHC.Types.GT ->
3014 (#
3015 farInp_635,
3016 farExp_636
3017 #)
3018 in readFail_820 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_826 farInp_847 farExp_848
3019 else
3020 let _ = "checkToken.fail"
3021 in let failExp_849 =
3022 Data.Set.Internal.Bin
3023 1
3024 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3025 ( case inputToken of
3026 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'i'
3027 )
3028 )
3029 Data.Set.Internal.Tip
3030 Data.Set.Internal.Tip
3031 in let (#
3032 farInp_850,
3033 farExp_851
3034 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_635 cs_824 of
3035 GHC.Types.LT ->
3036 (#
3037 cs_824,
3038 failExp_849
3039 #)
3040 GHC.Types.EQ ->
3041 (#
3042 farInp_635,
3043 failExp_849 GHC.Base.<> farExp_636
3044 #)
3045 GHC.Types.GT ->
3046 (#
3047 farInp_635,
3048 farExp_636
3049 #)
3050 in readFail_820 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_824 farInp_850 farExp_851
3051 else
3052 let _ = "checkToken.fail"
3053 in let failExp_852 =
3054 Data.Set.Internal.Bin
3055 1
3056 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3057 ( case inputToken of
3058 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'h'
3059 )
3060 )
3061 Data.Set.Internal.Tip
3062 Data.Set.Internal.Tip
3063 in let (#
3064 farInp_853,
3065 farExp_854
3066 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_635 cs_822 of
3067 GHC.Types.LT ->
3068 (#
3069 cs_822,
3070 failExp_852
3071 #)
3072 GHC.Types.EQ ->
3073 (#
3074 farInp_635,
3075 failExp_852 GHC.Base.<> farExp_636
3076 #)
3077 GHC.Types.GT ->
3078 (#
3079 farInp_635,
3080 farExp_636
3081 #)
3082 in readFail_820 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_822 farInp_853 farExp_854
3083 else
3084 let _ = "checkToken.fail"
3085 in let failExp_855 =
3086 Data.Set.Internal.Bin
3087 1
3088 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3089 ( case inputToken of
3090 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'w'
3091 )
3092 )
3093 Data.Set.Internal.Tip
3094 Data.Set.Internal.Tip
3095 in let (#
3096 farInp_856,
3097 farExp_857
3098 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_635 inp_819 of
3099 GHC.Types.LT ->
3100 (#
3101 inp_819,
3102 failExp_855
3103 #)
3104 GHC.Types.EQ ->
3105 (#
3106 farInp_635,
3107 failExp_855 GHC.Base.<> farExp_636
3108 #)
3109 GHC.Types.GT ->
3110 (#
3111 farInp_635,
3112 farExp_636
3113 #)
3114 in readFail_820 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_819 farInp_856 farExp_857
3115 else
3116 let _ = "checkHorizon.newCheck.fail"
3117 in let failExp_858 =
3118 Data.Set.Internal.Bin
3119 1
3120 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3121 ( case inputToken of
3122 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 5
3123 )
3124 )
3125 Data.Set.Internal.Tip
3126 Data.Set.Internal.Tip
3127 in let (#
3128 farInp_859,
3129 farExp_860
3130 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_635 inp_819 of
3131 GHC.Types.LT ->
3132 (#
3133 inp_819,
3134 failExp_858
3135 #)
3136 GHC.Types.EQ ->
3137 (#
3138 farInp_635,
3139 failExp_858 GHC.Base.<> farExp_636
3140 #)
3141 GHC.Types.GT ->
3142 (#
3143 farInp_635,
3144 farExp_636
3145 #)
3146 in readFail_820 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_819 farInp_859 farExp_860
3147 else
3148 let _ = "choicesBranch.else"
3149 in catchHandler_590 callInput_623 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_634 farInp_635 farExp_636
3150 in let _ = "pushValue"
3151 in let _ = "catch ExceptionFailure"
3152 in let catchHandler_861 (!_exn_862) (!failInp_863) (!farInp_864) (!farExp_865) =
3153 let _ = "catch.ko ExceptionFailure"
3154 in let _ = "loadInput"
3155 in let _ = "checkHorizon.noCheck"
3156 in catchHandler_632 Symantic.Parser.Grammar.Combinators.ExceptionFailure callInput_623 farInp_864 farExp_865
3157 in let _ = "pushValue"
3158 in let _ = "comment: satisfy"
3159 in let inp_866 = callInput_623
3160 in let readFail_867 = catchHandler_861
3161 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
3162 in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 1 inp_866)
3163 then
3164 let _ = "checkToken"
3165 in let !(#
3166 c_868,
3167 cs_869
3168 #) = readNext_3 inp_866
3169 in if (GHC.Classes.==) 'i' c_868
3170 then
3171 let _ = "comment: satisfy"
3172 in let _ = "checkHorizon.oldCheck: checkedHorizon=2"
3173 in let _ = "checkToken"
3174 in let !(#
3175 c_870,
3176 cs_871
3177 #) = readNext_3 cs_869
3178 in if (GHC.Classes.==) 'f' c_870
3179 then
3180 let _ = "commit"
3181 in name_797
3182 ( let _ = "suspend"
3183 in \farInp_872 farExp_873 v_874 (!inp_875) ->
3184 let _ = "commit"
3185 in let _ = "resume"
3186 in join_625
3187 farInp_872
3188 farExp_873
3189 ( let _ = "resume.genCode"
3190 in v_874
3191 )
3192 inp_875
3193 )
3194 cs_871
3195 Data.Map.Internal.Tip
3196 else
3197 let _ = "checkToken.fail"
3198 in let failExp_876 =
3199 Data.Set.Internal.Bin
3200 1
3201 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3202 ( case inputToken of
3203 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'f'
3204 )
3205 )
3206 Data.Set.Internal.Tip
3207 Data.Set.Internal.Tip
3208 in let (#
3209 farInp_877,
3210 farExp_878
3211 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_583 cs_869 of
3212 GHC.Types.LT ->
3213 (#
3214 cs_869,
3215 failExp_876
3216 #)
3217 GHC.Types.EQ ->
3218 (#
3219 farInp_583,
3220 failExp_876 GHC.Base.<> farExp_584
3221 #)
3222 GHC.Types.GT ->
3223 (#
3224 farInp_583,
3225 farExp_584
3226 #)
3227 in readFail_867 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_869 farInp_877 farExp_878
3228 else
3229 let _ = "checkToken.fail"
3230 in let failExp_879 =
3231 Data.Set.Internal.Bin
3232 1
3233 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3234 ( case inputToken of
3235 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'i'
3236 )
3237 )
3238 Data.Set.Internal.Tip
3239 Data.Set.Internal.Tip
3240 in let (#
3241 farInp_880,
3242 farExp_881
3243 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_583 inp_866 of
3244 GHC.Types.LT ->
3245 (#
3246 inp_866,
3247 failExp_879
3248 #)
3249 GHC.Types.EQ ->
3250 (#
3251 farInp_583,
3252 failExp_879 GHC.Base.<> farExp_584
3253 #)
3254 GHC.Types.GT ->
3255 (#
3256 farInp_583,
3257 farExp_584
3258 #)
3259 in readFail_867 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_866 farInp_880 farExp_881
3260 else
3261 let _ = "checkHorizon.newCheck.fail"
3262 in let failExp_882 =
3263 Data.Set.Internal.Bin
3264 1
3265 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3266 ( case inputToken of
3267 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 2
3268 )
3269 )
3270 Data.Set.Internal.Tip
3271 Data.Set.Internal.Tip
3272 in let (#
3273 farInp_883,
3274 farExp_884
3275 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_583 inp_866 of
3276 GHC.Types.LT ->
3277 (#
3278 inp_866,
3279 failExp_882
3280 #)
3281 GHC.Types.EQ ->
3282 (#
3283 farInp_583,
3284 failExp_882 GHC.Base.<> farExp_584
3285 #)
3286 GHC.Types.GT ->
3287 (#
3288 farInp_583,
3289 farExp_584
3290 #)
3291 in readFail_867 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_866 farInp_883 farExp_884
3292 in let _ = "jump"
3293 in loop_621 callReturn_576 inp_586 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_580 Data.Map.Internal.Tip Data.Map.Internal.Tip)
3294 )
3295 cs_582
3296 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_580 Data.Map.Internal.Tip Data.Map.Internal.Tip)
3297 else
3298 let _ = "checkToken.fail"
3299 in let failExp_885 =
3300 Data.Set.Internal.Bin
3301 1
3302 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3303 ( case inputToken of
3304 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken '{'
3305 )
3306 )
3307 Data.Set.Internal.Tip
3308 Data.Set.Internal.Tip
3309 in let (#
3310 farInp_886,
3311 farExp_887
3312 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_579 of
3313 GHC.Types.LT ->
3314 (#
3315 inp_579,
3316 failExp_885
3317 #)
3318 GHC.Types.EQ ->
3319 (#
3320 init_1,
3321 failExp_885 GHC.Base.<> Data.Set.Internal.empty
3322 #)
3323 GHC.Types.GT ->
3324 (#
3325 init_1,
3326 Data.Set.Internal.empty
3327 #)
3328 in readFail_580 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_579 farInp_886 farExp_887
3329 else
3330 let _ = "checkHorizon.newCheck.fail"
3331 in let failExp_888 =
3332 Data.Set.Internal.Bin
3333 1
3334 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3335 ( case inputToken of
3336 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 2
3337 )
3338 )
3339 Data.Set.Internal.Tip
3340 Data.Set.Internal.Tip
3341 in let (#
3342 farInp_889,
3343 farExp_890
3344 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_579 of
3345 GHC.Types.LT ->
3346 (#
3347 inp_579,
3348 failExp_888
3349 #)
3350 GHC.Types.EQ ->
3351 (#
3352 init_1,
3353 failExp_888 GHC.Base.<> Data.Set.Internal.empty
3354 #)
3355 GHC.Types.GT ->
3356 (#
3357 init_1,
3358 Data.Set.Internal.empty
3359 #)
3360 in readFail_580 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_579 farInp_889 farExp_890
3361 name_88 = \(!callReturn_891) (!callInput_892) (!callCatchStackByLabel_893) ->
3362 let _ = "pushValue"
3363 in let _ = "comment: satisfy"
3364 in let inp_894 = callInput_892
3365 in let readFail_895 = Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_893
3366 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=3"
3367 in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 2 inp_894)
3368 then
3369 let _ = "checkToken"
3370 in let !(#
3371 c_896,
3372 cs_897
3373 #) = readNext_3 inp_894
3374 in if (GHC.Classes.==) '[' c_896
3375 then
3376 name_177
3377 ( let _ = "suspend"
3378 in \farInp_898 farExp_899 v_900 (!inp_901) ->
3379 name_317
3380 ( let _ = "suspend"
3381 in \farInp_902 farExp_903 v_904 (!inp_905) ->
3382 let _ = "pushValue"
3383 in do
3384 let dupv_906 = \x_907 -> x_907
3385 reg_908 <- GHC.STRef.newSTRef dupv_906
3386 let _ = "iter"
3387 in let catchHandler_909 loopInput_910 (!_exn_911) (!failInp_912) (!farInp_913) (!farExp_914) =
3388 let _ = "pushInput"
3389 in if ( \( Data.Text.Internal.Text
3390 _
3391 i_915
3392 _
3393 )
3394 ( Data.Text.Internal.Text
3395 _
3396 j_916
3397 _
3398 ) -> i_915 GHC.Classes.== j_916
3399 )
3400 loopInput_910
3401 failInp_912
3402 then
3403 let _ = "choicesBranch.then"
3404 in do
3405 sr_917 <- GHC.STRef.readSTRef reg_908
3406 let _ = "pushValue"
3407 in let _ = "comment: satisfy"
3408 in let inp_918 = failInp_912
3409 in let readFail_919 = readFail_895
3410 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
3411 in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 1 inp_918)
3412 then
3413 let _ = "checkToken"
3414 in let !(#
3415 c_920,
3416 cs_921
3417 #) = readNext_3 inp_918
3418 in if (GHC.Classes.==) ']' c_920
3419 then
3420 name_177
3421 ( let _ = "suspend"
3422 in \farInp_922 farExp_923 v_924 (!inp_925) ->
3423 let _ = "resume"
3424 in callReturn_891
3425 farInp_922
3426 farExp_923
3427 ( let _ = "resume.genCode"
3428 in GHC.Tuple . ()
3429 )
3430 inp_925
3431 )
3432 cs_921
3433 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_919 Data.Map.Internal.Tip Data.Map.Internal.Tip)
3434 else
3435 let _ = "checkToken.fail"
3436 in let failExp_926 =
3437 Data.Set.Internal.Bin
3438 1
3439 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3440 ( case inputToken of
3441 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken ']'
3442 )
3443 )
3444 Data.Set.Internal.Tip
3445 Data.Set.Internal.Tip
3446 in let (#
3447 farInp_927,
3448 farExp_928
3449 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_913 inp_918 of
3450 GHC.Types.LT ->
3451 (#
3452 inp_918,
3453 failExp_926
3454 #)
3455 GHC.Types.EQ ->
3456 (#
3457 farInp_913,
3458 failExp_926 GHC.Base.<> farExp_914
3459 #)
3460 GHC.Types.GT ->
3461 (#
3462 farInp_913,
3463 farExp_914
3464 #)
3465 in readFail_919 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_918 farInp_927 farExp_928
3466 else
3467 let _ = "checkHorizon.newCheck.fail"
3468 in let failExp_929 =
3469 Data.Set.Internal.Bin
3470 1
3471 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3472 ( case inputToken of
3473 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 2
3474 )
3475 )
3476 Data.Set.Internal.Tip
3477 Data.Set.Internal.Tip
3478 in let (#
3479 farInp_930,
3480 farExp_931
3481 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_913 inp_918 of
3482 GHC.Types.LT ->
3483 (#
3484 inp_918,
3485 failExp_929
3486 #)
3487 GHC.Types.EQ ->
3488 (#
3489 farInp_913,
3490 failExp_929 GHC.Base.<> farExp_914
3491 #)
3492 GHC.Types.GT ->
3493 (#
3494 farInp_913,
3495 farExp_914
3496 #)
3497 in readFail_919 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_918 farInp_930 farExp_931
3498 else
3499 let _ = "choicesBranch.else"
3500 in readFail_895 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_912 farInp_913 farExp_914
3501 loop_932 = \_callReturn_933 callInput_934 callCatchStackByLabel_935 ->
3502 let _ = "pushValue"
3503 in name_317
3504 ( let _ = "suspend"
3505 in \farInp_936 farExp_937 v_938 (!inp_939) -> do
3506 sr_940 <- GHC.STRef.readSTRef reg_908
3507 do
3508 let dupv_941 = sr_940
3509 GHC.STRef.writeSTRef reg_908 dupv_941
3510 let _ = "jump"
3511 in loop_932 (GHC.Err.error "invalid return") inp_939 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_909 callInput_934) Data.Map.Internal.Tip Data.Map.Internal.Tip)
3512 )
3513 callInput_934
3514 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_909 callInput_934) Data.Map.Internal.Tip Data.Map.Internal.Tip)
3515 in let _ = "jump"
3516 in loop_932 callReturn_891 inp_905 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_895 Data.Map.Internal.Tip Data.Map.Internal.Tip)
3517 )
3518 inp_901
3519 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_895 Data.Map.Internal.Tip Data.Map.Internal.Tip)
3520 )
3521 cs_897
3522 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_895 Data.Map.Internal.Tip Data.Map.Internal.Tip)
3523 else
3524 let _ = "checkToken.fail"
3525 in let failExp_942 =
3526 Data.Set.Internal.Bin
3527 1
3528 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3529 ( case inputToken of
3530 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken '['
3531 )
3532 )
3533 Data.Set.Internal.Tip
3534 Data.Set.Internal.Tip
3535 in let (#
3536 farInp_943,
3537 farExp_944
3538 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_894 of
3539 GHC.Types.LT ->
3540 (#
3541 inp_894,
3542 failExp_942
3543 #)
3544 GHC.Types.EQ ->
3545 (#
3546 init_1,
3547 failExp_942 GHC.Base.<> Data.Set.Internal.empty
3548 #)
3549 GHC.Types.GT ->
3550 (#
3551 init_1,
3552 Data.Set.Internal.empty
3553 #)
3554 in readFail_895 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_894 farInp_943 farExp_944
3555 else
3556 let _ = "checkHorizon.newCheck.fail"
3557 in let failExp_945 =
3558 Data.Set.Internal.Bin
3559 1
3560 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3561 ( case inputToken of
3562 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 3
3563 )
3564 )
3565 Data.Set.Internal.Tip
3566 Data.Set.Internal.Tip
3567 in let (#
3568 farInp_946,
3569 farExp_947
3570 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_894 of
3571 GHC.Types.LT ->
3572 (#
3573 inp_894,
3574 failExp_945
3575 #)
3576 GHC.Types.EQ ->
3577 (#
3578 init_1,
3579 failExp_945 GHC.Base.<> Data.Set.Internal.empty
3580 #)
3581 GHC.Types.GT ->
3582 (#
3583 init_1,
3584 Data.Set.Internal.empty
3585 #)
3586 in readFail_895 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_894 farInp_946 farExp_947
3587 name_71 = \(!callReturn_948) (!callInput_949) (!callCatchStackByLabel_950) ->
3588 let _ = "pushValue"
3589 in let _ = "resume"
3590 in callReturn_948
3591 init_1
3592 Data.Set.Internal.empty
3593 ( let _ = "resume.genCode"
3594 in GHC.Tuple . ()
3595 )
3596 callInput_949
3597 name_797 = \(!callReturn_951) (!callInput_952) (!callCatchStackByLabel_953) ->
3598 let _ = "pushValue"
3599 in let _ = "resume"
3600 in callReturn_951
3601 init_1
3602 Data.Set.Internal.empty
3603 ( let _ = "resume.genCode"
3604 in GHC.Tuple . ()
3605 )
3606 callInput_952
3607 name_148 = \(!callReturn_954) (!callInput_955) (!callCatchStackByLabel_956) ->
3608 let _ = "pushValue"
3609 in let _ = "resume"
3610 in callReturn_954
3611 init_1
3612 Data.Set.Internal.empty
3613 ( let _ = "resume.genCode"
3614 in \x_957 -> \x_958 -> x_958
3615 )
3616 callInput_955
3617 in let _ = "pushValue"
3618 in name_177
3619 ( let _ = "suspend"
3620 in \farInp_959 farExp_960 v_961 (!inp_962) ->
3621 let _ = "pushValue"
3622 in do
3623 let dupv_963 = \x_964 -> x_964
3624 reg_965 <- GHC.STRef.newSTRef dupv_963
3625 let _ = "iter"
3626 in let catchHandler_966 loopInput_967 (!_exn_968) (!failInp_969) (!farInp_970) (!farExp_971) =
3627 let _ = "pushInput"
3628 in if ( \( Data.Text.Internal.Text
3629 _
3630 i_972
3631 _
3632 )
3633 ( Data.Text.Internal.Text
3634 _
3635 j_973
3636 _
3637 ) -> i_972 GHC.Classes.== j_973
3638 )
3639 loopInput_967
3640 failInp_969
3641 then
3642 let _ = "choicesBranch.then"
3643 in do
3644 sr_974 <- GHC.STRef.readSTRef reg_965
3645 name_71
3646 ( let _ = "suspend"
3647 in \farInp_975 farExp_976 v_977 (!inp_978) ->
3648 name_71
3649 ( let _ = "suspend"
3650 in \farInp_979 farExp_980 v_981 (!inp_982) ->
3651 let join_983 = \farInp_984 farExp_985 v_986 (!inp_987) ->
3652 let _ = "resume"
3653 in finalRet_13
3654 farInp_984
3655 farExp_985
3656 ( let _ = "resume.genCode"
3657 in GHC.Show.show v_981
3658 )
3659 inp_987
3660 in let _ = "catch ExceptionFailure"
3661 in let catchHandler_988 (!_exn_989) (!failInp_990) (!farInp_991) (!farExp_992) =
3662 let _ = "catch.ko ExceptionFailure"
3663 in let _ = "pushInput"
3664 in if ( \( Data.Text.Internal.Text
3665 _
3666 i_993
3667 _
3668 )
3669 ( Data.Text.Internal.Text
3670 _
3671 j_994
3672 _
3673 ) -> i_993 GHC.Classes.== j_994
3674 )
3675 inp_982
3676 failInp_990
3677 then
3678 let _ = "choicesBranch.then"
3679 in let _ = "comment: eof.fail"
3680 in let failExp_995 = Data.Set.Internal.Bin 1 (Symantic.Parser.Grammar.Combinators.SomeFailure Symantic.Parser.Grammar.Combinators.FailureEnd) Data.Set.Internal.Tip Data.Set.Internal.Tip
3681 in let (#
3682 farInp_996,
3683 farExp_997
3684 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_991 failInp_990 of
3685 GHC.Types.LT ->
3686 (#
3687 failInp_990,
3688 failExp_995
3689 #)
3690 GHC.Types.EQ ->
3691 (#
3692 farInp_991,
3693 failExp_995 GHC.Base.<> farExp_992
3694 #)
3695 GHC.Types.GT ->
3696 (#
3697 farInp_991,
3698 farExp_992
3699 #)
3700 in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_990 farInp_996 farExp_997
3701 else
3702 let _ = "choicesBranch.else"
3703 in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_990 farInp_991 farExp_992
3704 in let _ = "comment: negLook"
3705 in let _ = "catch ExceptionFailure"
3706 in let catchHandler_998 (!_exn_999) (!failInp_1000) (!farInp_1001) (!farExp_1002) =
3707 let _ = "catch.ko ExceptionFailure"
3708 in let _ = "comment: negLook.reset"
3709 in let _ = "loadInput"
3710 in let _ = "checkHorizon.noCheck"
3711 in let _ = "pushValue"
3712 in let _ = "commit"
3713 in let _ = "resume"
3714 in join_983
3715 farInp_1001
3716 farExp_1002
3717 ( let _ = "resume.genCode"
3718 in GHC.Tuple . ()
3719 )
3720 inp_982
3721 in let _ = "comment: negLook.ahead"
3722 in let _ = "pushInput"
3723 in let _ = "comment: satisfy"
3724 in let inp_1003 = inp_982
3725 in let readFail_1004 = catchHandler_998
3726 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
3727 in if readMore_2 inp_1003
3728 then
3729 let _ = "checkToken"
3730 in let !(#
3731 c_1005,
3732 cs_1006
3733 #) = readNext_3 inp_1003
3734 in let _ = "popValue"
3735 in let _ = "commit"
3736 in let _ = "loadInput"
3737 in let _ = "checkHorizon.noCheck"
3738 in catchHandler_988 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_982 farInp_979 farExp_980
3739 else
3740 let _ = "checkHorizon.newCheck.fail"
3741 in let failExp_1007 =
3742 Data.Set.Internal.Bin
3743 1
3744 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3745 ( case inputToken of
3746 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 1
3747 )
3748 )
3749 Data.Set.Internal.Tip
3750 Data.Set.Internal.Tip
3751 in let (#
3752 farInp_1008,
3753 farExp_1009
3754 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_979 inp_1003 of
3755 GHC.Types.LT ->
3756 (#
3757 inp_1003,
3758 failExp_1007
3759 #)
3760 GHC.Types.EQ ->
3761 (#
3762 farInp_979,
3763 failExp_1007 GHC.Base.<> farExp_980
3764 #)
3765 GHC.Types.GT ->
3766 (#
3767 farInp_979,
3768 farExp_980
3769 #)
3770 in readFail_1004 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_1003 farInp_1008 farExp_1009
3771 )
3772 inp_978
3773 Data.Map.Internal.Tip
3774 )
3775 failInp_969
3776 Data.Map.Internal.Tip
3777 else
3778 let _ = "choicesBranch.else"
3779 in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_969 farInp_970 farExp_971
3780 loop_1010 = \_callReturn_1011 callInput_1012 callCatchStackByLabel_1013 ->
3781 let _ = "pushValue"
3782 in let _ = "catch ExceptionFailure"
3783 in let catchHandler_1014 (!_exn_1015) (!failInp_1016) (!farInp_1017) (!farExp_1018) =
3784 let _ = "catch.ko ExceptionFailure"
3785 in let _ = "loadInput"
3786 in let _ = "checkHorizon.noCheck"
3787 in catchHandler_966 callInput_1012 Symantic.Parser.Grammar.Combinators.ExceptionFailure callInput_1012 farInp_1017 farExp_1018
3788 in let _ = "pushValue"
3789 in let _ = "comment: satisfy"
3790 in let inp_1019 = callInput_1012
3791 in let readFail_1020 = catchHandler_1014
3792 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=10"
3793 in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 9 inp_1019)
3794 then
3795 let _ = "checkToken"
3796 in let !(#
3797 c_1021,
3798 cs_1022
3799 #) = readNext_3 inp_1019
3800 in if (GHC.Classes.==) 'f' c_1021
3801 then
3802 let _ = "comment: satisfy"
3803 in let _ = "checkHorizon.oldCheck: checkedHorizon=10"
3804 in let _ = "checkToken"
3805 in let !(#
3806 c_1023,
3807 cs_1024
3808 #) = readNext_3 cs_1022
3809 in if (GHC.Classes.==) 'u' c_1023
3810 then
3811 let _ = "comment: satisfy"
3812 in let _ = "checkHorizon.oldCheck: checkedHorizon=9"
3813 in let _ = "checkToken"
3814 in let !(#
3815 c_1025,
3816 cs_1026
3817 #) = readNext_3 cs_1024
3818 in if (GHC.Classes.==) 'n' c_1025
3819 then
3820 let _ = "comment: satisfy"
3821 in let _ = "checkHorizon.oldCheck: checkedHorizon=8"
3822 in let _ = "checkToken"
3823 in let !(#
3824 c_1027,
3825 cs_1028
3826 #) = readNext_3 cs_1026
3827 in if (GHC.Classes.==) 'c' c_1027
3828 then
3829 let _ = "comment: satisfy"
3830 in let _ = "checkHorizon.oldCheck: checkedHorizon=7"
3831 in let _ = "checkToken"
3832 in let !(#
3833 c_1029,
3834 cs_1030
3835 #) = readNext_3 cs_1028
3836 in if (GHC.Classes.==) 't' c_1029
3837 then
3838 let _ = "comment: satisfy"
3839 in let _ = "checkHorizon.oldCheck: checkedHorizon=6"
3840 in let _ = "checkToken"
3841 in let !(#
3842 c_1031,
3843 cs_1032
3844 #) = readNext_3 cs_1030
3845 in if (GHC.Classes.==) 'i' c_1031
3846 then
3847 let _ = "comment: satisfy"
3848 in let _ = "checkHorizon.oldCheck: checkedHorizon=5"
3849 in let _ = "checkToken"
3850 in let !(#
3851 c_1033,
3852 cs_1034
3853 #) = readNext_3 cs_1032
3854 in if (GHC.Classes.==) 'o' c_1033
3855 then
3856 let _ = "comment: satisfy"
3857 in let _ = "checkHorizon.oldCheck: checkedHorizon=4"
3858 in let _ = "checkToken"
3859 in let !(#
3860 c_1035,
3861 cs_1036
3862 #) = readNext_3 cs_1034
3863 in if (GHC.Classes.==) 'n' c_1035
3864 then
3865 let _ = "commit"
3866 in name_797
3867 ( let _ = "suspend"
3868 in \farInp_1037 farExp_1038 v_1039 (!inp_1040) ->
3869 name_54
3870 ( let _ = "suspend"
3871 in \farInp_1041 farExp_1042 v_1043 (!inp_1044) ->
3872 name_93
3873 ( let _ = "suspend"
3874 in \farInp_1045 farExp_1046 v_1047 (!inp_1048) ->
3875 name_263
3876 ( let _ = "suspend"
3877 in \farInp_1049 farExp_1050 v_1051 (!inp_1052) ->
3878 let join_1053 = \farInp_1054 farExp_1055 v_1056 (!inp_1057) ->
3879 name_103
3880 ( let _ = "suspend"
3881 in \farInp_1058 farExp_1059 v_1060 (!inp_1061) ->
3882 name_575
3883 ( let _ = "suspend"
3884 in \farInp_1062 farExp_1063 v_1064 (!inp_1065) -> do
3885 sr_1066 <- GHC.STRef.readSTRef reg_965
3886 do
3887 let dupv_1067 = sr_1066
3888 GHC.STRef.writeSTRef reg_965 dupv_1067
3889 let _ = "jump"
3890 in loop_1010 (GHC.Err.error "invalid return") inp_1065 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_966 callInput_1012) Data.Map.Internal.Tip Data.Map.Internal.Tip)
3891 )
3892 inp_1061
3893 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_966 callInput_1012) Data.Map.Internal.Tip Data.Map.Internal.Tip)
3894 )
3895 inp_1057
3896 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_966 callInput_1012) Data.Map.Internal.Tip Data.Map.Internal.Tip)
3897 in let _ = "catch ExceptionFailure"
3898 in let catchHandler_1068 (!_exn_1069) (!failInp_1070) (!farInp_1071) (!farExp_1072) =
3899 let _ = "catch.ko ExceptionFailure"
3900 in let _ = "pushInput"
3901 in if ( \( Data.Text.Internal.Text
3902 _
3903 i_1073
3904 _
3905 )
3906 ( Data.Text.Internal.Text
3907 _
3908 j_1074
3909 _
3910 ) -> i_1073 GHC.Classes.== j_1074
3911 )
3912 inp_1052
3913 failInp_1070
3914 then
3915 let _ = "choicesBranch.then"
3916 in name_71
3917 ( let _ = "suspend"
3918 in \farInp_1075 farExp_1076 v_1077 (!inp_1078) ->
3919 let _ = "resume"
3920 in join_1053
3921 farInp_1075
3922 farExp_1076
3923 ( let _ = "resume.genCode"
3924 in v_1077
3925 )
3926 inp_1078
3927 )
3928 failInp_1070
3929 Data.Map.Internal.Tip
3930 else
3931 let _ = "choicesBranch.else"
3932 in catchHandler_966 callInput_1012 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_1070 farInp_1071 farExp_1072
3933 in let _ = "pushValue"
3934 in let _ = "comment: satisfy"
3935 in let inp_1079 = inp_1052
3936 in let readFail_1080 = catchHandler_1068
3937 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=6"
3938 in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 5 inp_1079)
3939 then
3940 let _ = "checkToken"
3941 in let !(#
3942 c_1081,
3943 cs_1082
3944 #) = readNext_3 inp_1079
3945 in if (GHC.Classes.==) ':' c_1081
3946 then
3947 name_177
3948 ( let _ = "suspend"
3949 in \farInp_1083 farExp_1084 v_1085 (!inp_1086) ->
3950 name_263
3951 ( let _ = "suspend"
3952 in \farInp_1087 farExp_1088 v_1089 (!inp_1090) ->
3953 let _ = "commit"
3954 in let _ = "resume"
3955 in join_1053
3956 farInp_1087
3957 farExp_1088
3958 ( let _ = "resume.genCode"
3959 in GHC.Tuple . ()
3960 )
3961 inp_1090
3962 )
3963 inp_1086
3964 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_1080 Data.Map.Internal.Tip Data.Map.Internal.Tip)
3965 )
3966 cs_1082
3967 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_1080 Data.Map.Internal.Tip Data.Map.Internal.Tip)
3968 else
3969 let _ = "checkToken.fail"
3970 in let failExp_1091 =
3971 Data.Set.Internal.Bin
3972 1
3973 ( Symantic.Parser.Grammar.Combinators.SomeFailure
3974 ( case inputToken of
3975 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken ':'
3976 )
3977 )
3978 Data.Set.Internal.Tip
3979 Data.Set.Internal.Tip
3980 in let (#
3981 farInp_1092,
3982 farExp_1093
3983 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_1049 inp_1079 of
3984 GHC.Types.LT ->
3985 (#
3986 inp_1079,
3987 failExp_1091
3988 #)
3989 GHC.Types.EQ ->
3990 (#
3991 farInp_1049,
3992 failExp_1091 GHC.Base.<> farExp_1050
3993 #)
3994 GHC.Types.GT ->
3995 (#
3996 farInp_1049,
3997 farExp_1050
3998 #)
3999 in readFail_1080 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_1079 farInp_1092 farExp_1093
4000 else
4001 let _ = "checkHorizon.newCheck.fail"
4002 in let failExp_1094 =
4003 Data.Set.Internal.Bin
4004 1
4005 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4006 ( case inputToken of
4007 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 6
4008 )
4009 )
4010 Data.Set.Internal.Tip
4011 Data.Set.Internal.Tip
4012 in let (#
4013 farInp_1095,
4014 farExp_1096
4015 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_1049 inp_1079 of
4016 GHC.Types.LT ->
4017 (#
4018 inp_1079,
4019 failExp_1094
4020 #)
4021 GHC.Types.EQ ->
4022 (#
4023 farInp_1049,
4024 failExp_1094 GHC.Base.<> farExp_1050
4025 #)
4026 GHC.Types.GT ->
4027 (#
4028 farInp_1049,
4029 farExp_1050
4030 #)
4031 in readFail_1080 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_1079 farInp_1095 farExp_1096
4032 )
4033 inp_1048
4034 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_966 callInput_1012) Data.Map.Internal.Tip Data.Map.Internal.Tip)
4035 )
4036 inp_1044
4037 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_966 callInput_1012) Data.Map.Internal.Tip Data.Map.Internal.Tip)
4038 )
4039 inp_1040
4040 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_966 callInput_1012) Data.Map.Internal.Tip Data.Map.Internal.Tip)
4041 )
4042 cs_1036
4043 Data.Map.Internal.Tip
4044 else
4045 let _ = "checkToken.fail"
4046 in let failExp_1097 =
4047 Data.Set.Internal.Bin
4048 1
4049 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4050 ( case inputToken of
4051 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'n'
4052 )
4053 )
4054 Data.Set.Internal.Tip
4055 Data.Set.Internal.Tip
4056 in let (#
4057 farInp_1098,
4058 farExp_1099
4059 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_959 cs_1034 of
4060 GHC.Types.LT ->
4061 (#
4062 cs_1034,
4063 failExp_1097
4064 #)
4065 GHC.Types.EQ ->
4066 (#
4067 farInp_959,
4068 failExp_1097 GHC.Base.<> farExp_960
4069 #)
4070 GHC.Types.GT ->
4071 (#
4072 farInp_959,
4073 farExp_960
4074 #)
4075 in readFail_1020 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1034 farInp_1098 farExp_1099
4076 else
4077 let _ = "checkToken.fail"
4078 in let failExp_1100 =
4079 Data.Set.Internal.Bin
4080 1
4081 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4082 ( case inputToken of
4083 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'o'
4084 )
4085 )
4086 Data.Set.Internal.Tip
4087 Data.Set.Internal.Tip
4088 in let (#
4089 farInp_1101,
4090 farExp_1102
4091 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_959 cs_1032 of
4092 GHC.Types.LT ->
4093 (#
4094 cs_1032,
4095 failExp_1100
4096 #)
4097 GHC.Types.EQ ->
4098 (#
4099 farInp_959,
4100 failExp_1100 GHC.Base.<> farExp_960
4101 #)
4102 GHC.Types.GT ->
4103 (#
4104 farInp_959,
4105 farExp_960
4106 #)
4107 in readFail_1020 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1032 farInp_1101 farExp_1102
4108 else
4109 let _ = "checkToken.fail"
4110 in let failExp_1103 =
4111 Data.Set.Internal.Bin
4112 1
4113 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4114 ( case inputToken of
4115 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'i'
4116 )
4117 )
4118 Data.Set.Internal.Tip
4119 Data.Set.Internal.Tip
4120 in let (#
4121 farInp_1104,
4122 farExp_1105
4123 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_959 cs_1030 of
4124 GHC.Types.LT ->
4125 (#
4126 cs_1030,
4127 failExp_1103
4128 #)
4129 GHC.Types.EQ ->
4130 (#
4131 farInp_959,
4132 failExp_1103 GHC.Base.<> farExp_960
4133 #)
4134 GHC.Types.GT ->
4135 (#
4136 farInp_959,
4137 farExp_960
4138 #)
4139 in readFail_1020 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1030 farInp_1104 farExp_1105
4140 else
4141 let _ = "checkToken.fail"
4142 in let failExp_1106 =
4143 Data.Set.Internal.Bin
4144 1
4145 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4146 ( case inputToken of
4147 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 't'
4148 )
4149 )
4150 Data.Set.Internal.Tip
4151 Data.Set.Internal.Tip
4152 in let (#
4153 farInp_1107,
4154 farExp_1108
4155 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_959 cs_1028 of
4156 GHC.Types.LT ->
4157 (#
4158 cs_1028,
4159 failExp_1106
4160 #)
4161 GHC.Types.EQ ->
4162 (#
4163 farInp_959,
4164 failExp_1106 GHC.Base.<> farExp_960
4165 #)
4166 GHC.Types.GT ->
4167 (#
4168 farInp_959,
4169 farExp_960
4170 #)
4171 in readFail_1020 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1028 farInp_1107 farExp_1108
4172 else
4173 let _ = "checkToken.fail"
4174 in let failExp_1109 =
4175 Data.Set.Internal.Bin
4176 1
4177 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4178 ( case inputToken of
4179 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'c'
4180 )
4181 )
4182 Data.Set.Internal.Tip
4183 Data.Set.Internal.Tip
4184 in let (#
4185 farInp_1110,
4186 farExp_1111
4187 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_959 cs_1026 of
4188 GHC.Types.LT ->
4189 (#
4190 cs_1026,
4191 failExp_1109
4192 #)
4193 GHC.Types.EQ ->
4194 (#
4195 farInp_959,
4196 failExp_1109 GHC.Base.<> farExp_960
4197 #)
4198 GHC.Types.GT ->
4199 (#
4200 farInp_959,
4201 farExp_960
4202 #)
4203 in readFail_1020 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1026 farInp_1110 farExp_1111
4204 else
4205 let _ = "checkToken.fail"
4206 in let failExp_1112 =
4207 Data.Set.Internal.Bin
4208 1
4209 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4210 ( case inputToken of
4211 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'n'
4212 )
4213 )
4214 Data.Set.Internal.Tip
4215 Data.Set.Internal.Tip
4216 in let (#
4217 farInp_1113,
4218 farExp_1114
4219 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_959 cs_1024 of
4220 GHC.Types.LT ->
4221 (#
4222 cs_1024,
4223 failExp_1112
4224 #)
4225 GHC.Types.EQ ->
4226 (#
4227 farInp_959,
4228 failExp_1112 GHC.Base.<> farExp_960
4229 #)
4230 GHC.Types.GT ->
4231 (#
4232 farInp_959,
4233 farExp_960
4234 #)
4235 in readFail_1020 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1024 farInp_1113 farExp_1114
4236 else
4237 let _ = "checkToken.fail"
4238 in let failExp_1115 =
4239 Data.Set.Internal.Bin
4240 1
4241 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4242 ( case inputToken of
4243 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'u'
4244 )
4245 )
4246 Data.Set.Internal.Tip
4247 Data.Set.Internal.Tip
4248 in let (#
4249 farInp_1116,
4250 farExp_1117
4251 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_959 cs_1022 of
4252 GHC.Types.LT ->
4253 (#
4254 cs_1022,
4255 failExp_1115
4256 #)
4257 GHC.Types.EQ ->
4258 (#
4259 farInp_959,
4260 failExp_1115 GHC.Base.<> farExp_960
4261 #)
4262 GHC.Types.GT ->
4263 (#
4264 farInp_959,
4265 farExp_960
4266 #)
4267 in readFail_1020 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_1022 farInp_1116 farExp_1117
4268 else
4269 let _ = "checkToken.fail"
4270 in let failExp_1118 =
4271 Data.Set.Internal.Bin
4272 1
4273 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4274 ( case inputToken of
4275 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'f'
4276 )
4277 )
4278 Data.Set.Internal.Tip
4279 Data.Set.Internal.Tip
4280 in let (#
4281 farInp_1119,
4282 farExp_1120
4283 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_959 inp_1019 of
4284 GHC.Types.LT ->
4285 (#
4286 inp_1019,
4287 failExp_1118
4288 #)
4289 GHC.Types.EQ ->
4290 (#
4291 farInp_959,
4292 failExp_1118 GHC.Base.<> farExp_960
4293 #)
4294 GHC.Types.GT ->
4295 (#
4296 farInp_959,
4297 farExp_960
4298 #)
4299 in readFail_1020 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_1019 farInp_1119 farExp_1120
4300 else
4301 let _ = "checkHorizon.newCheck.fail"
4302 in let failExp_1121 =
4303 Data.Set.Internal.Bin
4304 1
4305 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4306 ( case inputToken of
4307 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 10
4308 )
4309 )
4310 Data.Set.Internal.Tip
4311 Data.Set.Internal.Tip
4312 in let (#
4313 farInp_1122,
4314 farExp_1123
4315 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_959 inp_1019 of
4316 GHC.Types.LT ->
4317 (#
4318 inp_1019,
4319 failExp_1121
4320 #)
4321 GHC.Types.EQ ->
4322 (#
4323 farInp_959,
4324 failExp_1121 GHC.Base.<> farExp_960
4325 #)
4326 GHC.Types.GT ->
4327 (#
4328 farInp_959,
4329 farExp_960
4330 #)
4331 in readFail_1020 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_1019 farInp_1122 farExp_1123
4332 in let _ = "jump"
4333 in loop_1010 finalRet_13 inp_962 Data.Map.Internal.Tip
4334 )
4335 inp_34
4336 Data.Map.Internal.Tip
4337 else
4338 let _ = "checkHorizon.newCheck.fail"
4339 in let failExp_1124 =
4340 Data.Set.Internal.Bin
4341 1
4342 ( Symantic.Parser.Grammar.Combinators.SomeFailure
4343 ( case inputToken of
4344 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 1
4345 )
4346 )
4347 Data.Set.Internal.Tip
4348 Data.Set.Internal.Tip
4349 in let (#
4350 farInp_1125,
4351 farExp_1126
4352 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_34 of
4353 GHC.Types.LT ->
4354 (#
4355 inp_34,
4356 failExp_1124
4357 #)
4358 GHC.Types.EQ ->
4359 (#
4360 init_1,
4361 failExp_1124 GHC.Base.<> Data.Set.Internal.empty
4362 #)
4363 GHC.Types.GT ->
4364 (#
4365 init_1,
4366 Data.Set.Internal.empty
4367 #)
4368 in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_34 farInp_1125 farExp_1126
4369 )
Library for parsing