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) ->
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.==) 'c' 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 'c'
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 catchHandler_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 _ = "pushValue"
201 in let _ = "comment: satisfy"
202 in let inp_56 = failInp_51
203 in let readFail_57 = finalRaise_18
204 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
205 in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 1 inp_56)
211 #) = readNext_3 inp_56
212 in if (GHC.Classes.==) 'b' c_58
218 ( let _ = "resume.genCode"
223 let _ = "checkToken.fail"
225 Data.Set.Internal.Bin
227 ( Symantic.Parser.Grammar.Combinators.SomeFailure
229 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'b'
232 Data.Set.Internal.Tip
233 Data.Set.Internal.Tip
237 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_52 inp_56 of
246 failExp_60 GHC.Base.<> farExp_53
253 in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_56 farInp_61 farExp_62
255 let _ = "checkHorizon.newCheck.fail"
257 Data.Set.Internal.Bin
259 ( Symantic.Parser.Grammar.Combinators.SomeFailure
261 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 2
264 Data.Set.Internal.Tip
265 Data.Set.Internal.Tip
269 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_52 inp_56 of
278 failExp_63 GHC.Base.<> farExp_53
285 in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_56 farInp_64 farExp_65
287 let _ = "choicesBranch.else"
288 in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_51 farInp_52 farExp_53
289 in let _ = "pushValue"
290 in let _ = "comment: satisfy"
291 in let inp_66 = init_1
292 in let readFail_67 = catchHandler_49
293 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
294 in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 1 inp_66)
300 #) = readNext_3 inp_66
301 in if (GHC.Classes.==) 'a' c_68
307 Data.Set.Internal.empty
308 ( let _ = "resume.genCode"
313 let _ = "checkToken.fail"
315 Data.Set.Internal.Bin
317 ( Symantic.Parser.Grammar.Combinators.SomeFailure
319 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'a'
322 Data.Set.Internal.Tip
323 Data.Set.Internal.Tip
327 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_66 of
336 failExp_70 GHC.Base.<> Data.Set.Internal.empty
341 Data.Set.Internal.empty
343 in readFail_67 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_66 farInp_71 farExp_72
345 let _ = "checkHorizon.newCheck.fail"
347 Data.Set.Internal.Bin
349 ( Symantic.Parser.Grammar.Combinators.SomeFailure
351 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 2
354 Data.Set.Internal.Tip
355 Data.Set.Internal.Tip
359 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_66 of
368 failExp_73 GHC.Base.<> Data.Set.Internal.empty
373 Data.Set.Internal.empty
375 in readFail_67 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_66 farInp_74 farExp_75