1 \(input_0 :: inp_6989586621679141738) ->
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_6989586621679141738
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_6989586621679141738)))
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_6989586621679141738) 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_6989586621679141738)
92 in let _ = "checkHorizon.noCheck"
94 in let _ = "pushValue"
95 in let join_34 = \farInp_35 farExp_36 v_37 (!inp_38) ->
96 let _ = "comment: satisfy"
97 in let inp_39 = inp_38
98 in let readFail_40 = finalRaise_18
99 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
100 in if readMore_2 inp_39
106 #) = readNext_3 inp_39
107 in if (GHC.Classes.==) 'd' c_41
113 ( let _ = "resume.genCode"
114 in GHC.Show.show v_37
118 let _ = "checkToken.fail"
120 Data.Set.Internal.Bin
122 ( Symantic.Parser.Grammar.Combinators.SomeFailure
124 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'd'
127 Data.Set.Internal.Tip
128 Data.Set.Internal.Tip
132 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_35 inp_39 of
141 failExp_43 GHC.Base.<> farExp_36
148 in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_39 farInp_44 farExp_45
150 let _ = "checkHorizon.newCheck.fail"
152 Data.Set.Internal.Bin
154 ( Symantic.Parser.Grammar.Combinators.SomeFailure
156 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 1
159 Data.Set.Internal.Tip
160 Data.Set.Internal.Tip
164 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_35 inp_39 of
173 failExp_46 GHC.Base.<> farExp_36
180 in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_39 farInp_47 farExp_48
181 in let _ = "catch ExceptionFailure"
182 in let onException_49 (!_exn_50) (!failInp_51) (!farInp_52) (!farExp_53) =
183 let _ = "catch.ko ExceptionFailure"
184 in let _ = "pushInput"
185 in if ( \( Data.Text.Internal.Text
190 ( Data.Text.Internal.Text
194 ) -> i_54 GHC.Classes.== j_55
199 let _ = "choicesBranch.then"
200 in let _ = "catch ExceptionFailure"
201 in let onException_56 (!_exn_57) (!failInp_58) (!farInp_59) (!farExp_60) =
202 let _ = "catch.ko ExceptionFailure"
203 in let _ = "pushInput"
204 in if ( \( Data.Text.Internal.Text
209 ( Data.Text.Internal.Text
213 ) -> i_61 GHC.Classes.== j_62
218 let _ = "choicesBranch.then"
219 in let _ = "pushValue"
220 in let _ = "comment: satisfy"
221 in let inp_63 = failInp_58
222 in let readFail_64 = finalRaise_18
223 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
224 in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 1 inp_63)
230 #) = readNext_3 inp_63
231 in if (GHC.Classes.==) 'c' c_65
237 ( let _ = "resume.genCode"
242 let _ = "checkToken.fail"
244 Data.Set.Internal.Bin
246 ( Symantic.Parser.Grammar.Combinators.SomeFailure
248 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'c'
251 Data.Set.Internal.Tip
252 Data.Set.Internal.Tip
256 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_59 inp_63 of
265 failExp_67 GHC.Base.<> farExp_60
272 in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_63 farInp_68 farExp_69
274 let _ = "checkHorizon.newCheck.fail"
276 Data.Set.Internal.Bin
278 ( Symantic.Parser.Grammar.Combinators.SomeFailure
280 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 2
283 Data.Set.Internal.Tip
284 Data.Set.Internal.Tip
288 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_59 inp_63 of
297 failExp_70 GHC.Base.<> farExp_60
304 in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_63 farInp_71 farExp_72
306 let _ = "choicesBranch.else"
307 in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_58 farInp_59 farExp_60
308 in let _ = "pushValue"
309 in let _ = "comment: satisfy"
310 in let inp_73 = failInp_51
311 in let readFail_74 = onException_56
312 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
313 in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 1 inp_73)
319 #) = readNext_3 inp_73
320 in if (GHC.Classes.==) 'b' c_75
327 ( let _ = "resume.genCode"
332 let _ = "checkToken.fail"
334 Data.Set.Internal.Bin
336 ( Symantic.Parser.Grammar.Combinators.SomeFailure
338 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'b'
341 Data.Set.Internal.Tip
342 Data.Set.Internal.Tip
346 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_52 inp_73 of
355 failExp_77 GHC.Base.<> farExp_53
362 in readFail_74 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_73 farInp_78 farExp_79
364 let _ = "checkHorizon.newCheck.fail"
366 Data.Set.Internal.Bin
368 ( Symantic.Parser.Grammar.Combinators.SomeFailure
370 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 2
373 Data.Set.Internal.Tip
374 Data.Set.Internal.Tip
378 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_52 inp_73 of
387 failExp_80 GHC.Base.<> farExp_53
394 in readFail_74 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_73 farInp_81 farExp_82
396 let _ = "choicesBranch.else"
397 in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_51 farInp_52 farExp_53
398 in let _ = "pushValue"
399 in let _ = "comment: satisfy"
400 in let inp_83 = init_1
401 in let readFail_84 = onException_49
402 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
403 in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 1 inp_83)
409 #) = readNext_3 inp_83
410 in if (GHC.Classes.==) 'a' c_85
416 Data.Set.Internal.empty
417 ( let _ = "resume.genCode"
422 let _ = "checkToken.fail"
424 Data.Set.Internal.Bin
426 ( Symantic.Parser.Grammar.Combinators.SomeFailure
428 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'a'
431 Data.Set.Internal.Tip
432 Data.Set.Internal.Tip
436 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_83 of
445 failExp_87 GHC.Base.<> Data.Set.Internal.empty
450 Data.Set.Internal.empty
452 in readFail_84 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_83 farInp_88 farExp_89
454 let _ = "checkHorizon.newCheck.fail"
456 Data.Set.Internal.Bin
458 ( Symantic.Parser.Grammar.Combinators.SomeFailure
460 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 2
463 Data.Set.Internal.Tip
464 Data.Set.Internal.Tip
468 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_83 of
477 failExp_90 GHC.Base.<> Data.Set.Internal.empty
482 Data.Set.Internal.empty
484 in readFail_84 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_83 farInp_91 farExp_92