1 \(input_0 :: inp_6989586621679040759) ->
9 ( t_5@( Data.Text.Internal.Text
15 let !( Data.Text.Unsafe.Iter
18 ) = Data.Text.Unsafe.iter t_5 0
21 Data.Text.Internal.Text arr_6 (off_7 GHC.Num.+ d_10) (unconsumed_8 GHC.Num.- d_10)
24 ( Data.Text.Internal.Text
28 ) = unconsumed_12 GHC.Classes.> 0
34 finalRet_13 = \_farInp_14 _farExp_15 v_16 _inp_17 -> Symantic.Parser.Machine.Generate.returnST GHC.Base.$ Data.Either.Right v_16
37 Symantic.Parser.Machine.Generate.Catcher
39 inp_6989586621679040759
40 b_20 = \(!exn_21) _failInp_22 (!farInp_23) (!farExp_24) ->
41 Symantic.Parser.Machine.Generate.returnST GHC.Base.$
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
53 #) = readNext_3 farInp_23
56 else GHC.Maybe.Nothing,
57 Symantic.Parser.Machine.Generate.parsingErrorExpecting =
61 Data.Set.Internal.foldr
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),
71 | GHC.Base.otherwise ->
72 ( GHC.Maybe.Just h_31,
77 f_28 GHC.Types.: acc_30
84 in Data.Set.Internal.fromList GHC.Base.$
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
91 ( let inputToken = Data.Proxy.Proxy :: Data.Proxy.Proxy (Symantic.Parser.Machine.Input.InputToken inp_6989586621679040759)
92 in let _ = "checkHorizon.noCheck"
94 in let _ = "pushValue"
95 in let join_34 = \farInp_35 farExp_36 v_37 (!inp_38) ->
100 ( let _ = "resume.genCode"
101 in GHC.Show.show v_37
104 in let _ = "catch ExceptionFailure"
105 in let catchHandler_39 (!_exn_40) (!failInp_41) (!farInp_42) (!farExp_43) =
106 let _ = "catch.ko ExceptionFailure"
107 in let _ = "pushInput"
108 in if ( \( Data.Text.Internal.Text
113 ( Data.Text.Internal.Text
117 ) -> i_44 GHC.Classes.== j_45
122 let _ = "choicesBranch.then"
123 in let _ = "catch ExceptionFailure"
124 in let catchHandler_46 (!_exn_47) (!failInp_48) (!farInp_49) (!farExp_50) =
125 let _ = "catch.ko ExceptionFailure"
126 in let _ = "pushInput"
127 in if ( \( Data.Text.Internal.Text
132 ( Data.Text.Internal.Text
136 ) -> i_51 GHC.Classes.== j_52
141 let _ = "choicesBranch.then"
142 in let _ = "catch ExceptionFailure"
143 in let catchHandler_53 (!_exn_54) (!failInp_55) (!farInp_56) (!farExp_57) =
144 let _ = "catch.ko ExceptionFailure"
145 in let _ = "loadInput"
146 in let _ = "checkHorizon.noCheck"
147 in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_48 farInp_56 farExp_57
148 in let _ = "pushValue"
149 in let _ = "comment: satisfy"
150 in let inp_58 = failInp_48
151 in let readFail_59 = catchHandler_53
152 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=4"
153 in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 3 inp_58)
159 #) = readNext_3 inp_58
160 in if (GHC.Classes.==) 'f' c_60
162 let _ = "comment: satisfy"
163 in let _ = "checkHorizon.oldCheck: checkedHorizon=4"
164 in let _ = "checkToken"
168 #) = readNext_3 cs_61
169 in if (GHC.Classes.==) 'g' c_62
171 let _ = "comment: satisfy"
172 in let _ = "checkHorizon.oldCheck: checkedHorizon=3"
173 in let _ = "checkToken"
177 #) = readNext_3 cs_63
178 in if (GHC.Classes.==) 'h' c_64
180 let _ = "comment: satisfy"
181 in let _ = "checkHorizon.oldCheck: checkedHorizon=2"
182 in let _ = "checkToken"
186 #) = readNext_3 cs_65
187 in if (GHC.Classes.==) 'i' c_66
194 ( let _ = "resume.genCode"
195 in (GHC.Types.:) 'f' ((GHC.Types.:) 'g' ((GHC.Types.:) 'h' ((GHC.Types.:) 'i' GHC.Types . [])))
199 let _ = "checkToken.fail"
201 Data.Set.Internal.Bin
203 ( Symantic.Parser.Grammar.Combinators.SomeFailure
205 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'i'
208 Data.Set.Internal.Tip
209 Data.Set.Internal.Tip
213 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_49 cs_65 of
222 failExp_68 GHC.Base.<> farExp_50
229 in readFail_59 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_65 farInp_69 farExp_70
231 let _ = "checkToken.fail"
233 Data.Set.Internal.Bin
235 ( Symantic.Parser.Grammar.Combinators.SomeFailure
237 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'h'
240 Data.Set.Internal.Tip
241 Data.Set.Internal.Tip
245 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_49 cs_63 of
254 failExp_71 GHC.Base.<> farExp_50
261 in readFail_59 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_63 farInp_72 farExp_73
263 let _ = "checkToken.fail"
265 Data.Set.Internal.Bin
267 ( Symantic.Parser.Grammar.Combinators.SomeFailure
269 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'g'
272 Data.Set.Internal.Tip
273 Data.Set.Internal.Tip
277 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_49 cs_61 of
286 failExp_74 GHC.Base.<> farExp_50
293 in readFail_59 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_61 farInp_75 farExp_76
295 let _ = "checkToken.fail"
297 Data.Set.Internal.Bin
299 ( Symantic.Parser.Grammar.Combinators.SomeFailure
301 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'f'
304 Data.Set.Internal.Tip
305 Data.Set.Internal.Tip
309 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_49 inp_58 of
318 failExp_77 GHC.Base.<> farExp_50
325 in readFail_59 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_58 farInp_78 farExp_79
327 let _ = "checkHorizon.newCheck.fail"
329 Data.Set.Internal.Bin
331 ( Symantic.Parser.Grammar.Combinators.SomeFailure
333 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 4
336 Data.Set.Internal.Tip
337 Data.Set.Internal.Tip
341 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_49 inp_58 of
350 failExp_80 GHC.Base.<> farExp_50
357 in readFail_59 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_58 farInp_81 farExp_82
359 let _ = "choicesBranch.else"
360 in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_48 farInp_49 farExp_50
361 in let _ = "catch ExceptionFailure"
362 in let catchHandler_83 (!_exn_84) (!failInp_85) (!farInp_86) (!farExp_87) =
363 let _ = "catch.ko ExceptionFailure"
364 in let _ = "loadInput"
365 in let _ = "checkHorizon.noCheck"
366 in catchHandler_46 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_41 farInp_86 farExp_87
367 in let _ = "pushValue"
368 in let _ = "comment: satisfy"
369 in let inp_88 = failInp_41
370 in let readFail_89 = catchHandler_83
371 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
372 in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 1 inp_88)
378 #) = readNext_3 inp_88
379 in if (GHC.Classes.==) 'd' c_90
381 let _ = "comment: satisfy"
382 in let _ = "checkHorizon.oldCheck: checkedHorizon=2"
383 in let _ = "checkToken"
387 #) = readNext_3 cs_91
388 in if (GHC.Classes.==) 'e' c_92
396 ( let _ = "resume.genCode"
397 in (GHC.Types.:) 'd' ((GHC.Types.:) 'e' GHC.Types . [])
401 let _ = "checkToken.fail"
403 Data.Set.Internal.Bin
405 ( Symantic.Parser.Grammar.Combinators.SomeFailure
407 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'e'
410 Data.Set.Internal.Tip
411 Data.Set.Internal.Tip
415 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_42 cs_91 of
424 failExp_94 GHC.Base.<> farExp_43
431 in readFail_89 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_91 farInp_95 farExp_96
433 let _ = "checkToken.fail"
435 Data.Set.Internal.Bin
437 ( Symantic.Parser.Grammar.Combinators.SomeFailure
439 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'd'
442 Data.Set.Internal.Tip
443 Data.Set.Internal.Tip
447 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_42 inp_88 of
456 failExp_97 GHC.Base.<> farExp_43
463 in readFail_89 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_88 farInp_98 farExp_99
465 let _ = "checkHorizon.newCheck.fail"
467 Data.Set.Internal.Bin
469 ( Symantic.Parser.Grammar.Combinators.SomeFailure
471 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 2
474 Data.Set.Internal.Tip
475 Data.Set.Internal.Tip
479 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_42 inp_88 of
488 failExp_100 GHC.Base.<> farExp_43
495 in readFail_89 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_88 farInp_101 farExp_102
497 let _ = "choicesBranch.else"
498 in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_41 farInp_42 farExp_43
499 in let _ = "catch ExceptionFailure"
500 in let catchHandler_103 (!_exn_104) (!failInp_105) (!farInp_106) (!farExp_107) =
501 let _ = "catch.ko ExceptionFailure"
502 in let _ = "loadInput"
503 in let _ = "checkHorizon.noCheck"
504 in catchHandler_39 Symantic.Parser.Grammar.Combinators.ExceptionFailure init_1 farInp_106 farExp_107
505 in let _ = "pushValue"
506 in let _ = "comment: satisfy"
507 in let inp_108 = init_1
508 in let readFail_109 = catchHandler_103
509 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=3"
510 in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 2 inp_108)
516 #) = readNext_3 inp_108
517 in if (GHC.Classes.==) 'a' c_110
519 let _ = "comment: satisfy"
520 in let _ = "checkHorizon.oldCheck: checkedHorizon=3"
521 in let _ = "checkToken"
525 #) = readNext_3 cs_111
526 in if (GHC.Classes.==) 'b' c_112
528 let _ = "comment: satisfy"
529 in let _ = "checkHorizon.oldCheck: checkedHorizon=2"
530 in let _ = "checkToken"
534 #) = readNext_3 cs_113
535 in if (GHC.Classes.==) 'c' c_114
542 Data.Set.Internal.empty
543 ( let _ = "resume.genCode"
544 in (GHC.Types.:) 'a' ((GHC.Types.:) 'b' ((GHC.Types.:) 'c' GHC.Types . []))
548 let _ = "checkToken.fail"
550 Data.Set.Internal.Bin
552 ( Symantic.Parser.Grammar.Combinators.SomeFailure
554 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'c'
557 Data.Set.Internal.Tip
558 Data.Set.Internal.Tip
562 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 cs_113 of
571 failExp_116 GHC.Base.<> Data.Set.Internal.empty
576 Data.Set.Internal.empty
578 in readFail_109 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_113 farInp_117 farExp_118
580 let _ = "checkToken.fail"
582 Data.Set.Internal.Bin
584 ( Symantic.Parser.Grammar.Combinators.SomeFailure
586 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'b'
589 Data.Set.Internal.Tip
590 Data.Set.Internal.Tip
594 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 cs_111 of
603 failExp_119 GHC.Base.<> Data.Set.Internal.empty
608 Data.Set.Internal.empty
610 in readFail_109 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_111 farInp_120 farExp_121
612 let _ = "checkToken.fail"
614 Data.Set.Internal.Bin
616 ( Symantic.Parser.Grammar.Combinators.SomeFailure
618 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'a'
621 Data.Set.Internal.Tip
622 Data.Set.Internal.Tip
626 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_108 of
635 failExp_122 GHC.Base.<> Data.Set.Internal.empty
640 Data.Set.Internal.empty
642 in readFail_109 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_108 farInp_123 farExp_124
644 let _ = "checkHorizon.newCheck.fail"
646 Data.Set.Internal.Bin
648 ( Symantic.Parser.Grammar.Combinators.SomeFailure
650 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 3
653 Data.Set.Internal.Tip
654 Data.Set.Internal.Tip
658 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_108 of
667 failExp_125 GHC.Base.<> Data.Set.Internal.empty
672 Data.Set.Internal.empty
674 in readFail_109 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_108 farInp_126 farExp_127