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 _ = "loadInput"
127 in let _ = "checkHorizon.noCheck"
128 in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_41 farInp_49 farExp_50
129 in let _ = "pushValue"
130 in let _ = "comment: satisfy"
131 in let inp_51 = failInp_41
132 in let readFail_52 = catchHandler_46
133 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
134 in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 1 inp_51)
140 #) = readNext_3 inp_51
141 in if (GHC.Classes.==) 'a' c_53
143 let _ = "comment: satisfy"
144 in let _ = "checkHorizon.oldCheck: checkedHorizon=2"
145 in let _ = "checkToken"
149 #) = readNext_3 cs_54
150 in if (GHC.Classes.==) 'b' c_55
157 ( let _ = "resume.genCode"
158 in (GHC.Types.:) 'a' ((GHC.Types.:) 'b' GHC.Types . [])
162 let _ = "checkToken.fail"
164 Data.Set.Internal.Bin
166 ( Symantic.Parser.Grammar.Combinators.SomeFailure
168 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'b'
171 Data.Set.Internal.Tip
172 Data.Set.Internal.Tip
176 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_42 cs_54 of
185 failExp_57 GHC.Base.<> farExp_43
192 in readFail_52 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_54 farInp_58 farExp_59
194 let _ = "checkToken.fail"
196 Data.Set.Internal.Bin
198 ( Symantic.Parser.Grammar.Combinators.SomeFailure
200 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'a'
203 Data.Set.Internal.Tip
204 Data.Set.Internal.Tip
208 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_42 inp_51 of
217 failExp_60 GHC.Base.<> farExp_43
224 in readFail_52 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_51 farInp_61 farExp_62
226 let _ = "checkHorizon.newCheck.fail"
228 Data.Set.Internal.Bin
230 ( Symantic.Parser.Grammar.Combinators.SomeFailure
232 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 2
235 Data.Set.Internal.Tip
236 Data.Set.Internal.Tip
240 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_42 inp_51 of
249 failExp_63 GHC.Base.<> farExp_43
256 in readFail_52 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_51 farInp_64 farExp_65
258 let _ = "choicesBranch.else"
259 in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_41 farInp_42 farExp_43
260 in let _ = "catch ExceptionFailure"
261 in let catchHandler_66 (!_exn_67) (!failInp_68) (!farInp_69) (!farExp_70) =
262 let _ = "catch.ko ExceptionFailure"
263 in let _ = "loadInput"
264 in let _ = "checkHorizon.noCheck"
265 in catchHandler_39 Symantic.Parser.Grammar.Combinators.ExceptionFailure init_1 farInp_69 farExp_70
266 in let _ = "pushValue"
267 in let _ = "comment: satisfy"
268 in let inp_71 = init_1
269 in let readFail_72 = catchHandler_66
270 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
271 in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 1 inp_71)
277 #) = readNext_3 inp_71
278 in if (GHC.Classes.==) 'a' c_73
280 let _ = "comment: satisfy"
281 in let _ = "checkHorizon.oldCheck: checkedHorizon=2"
282 in let _ = "checkToken"
286 #) = readNext_3 cs_74
287 in if (GHC.Classes.==) 'a' c_75
294 Data.Set.Internal.empty
295 ( let _ = "resume.genCode"
296 in (GHC.Types.:) 'a' ((GHC.Types.:) 'a' GHC.Types . [])
300 let _ = "checkToken.fail"
302 Data.Set.Internal.Bin
304 ( Symantic.Parser.Grammar.Combinators.SomeFailure
306 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'a'
309 Data.Set.Internal.Tip
310 Data.Set.Internal.Tip
314 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 cs_74 of
323 failExp_77 GHC.Base.<> Data.Set.Internal.empty
328 Data.Set.Internal.empty
330 in readFail_72 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_74 farInp_78 farExp_79
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 'a'
341 Data.Set.Internal.Tip
342 Data.Set.Internal.Tip
346 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_71 of
355 failExp_80 GHC.Base.<> Data.Set.Internal.empty
360 Data.Set.Internal.empty
362 in readFail_72 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_71 farInp_81 farExp_82
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) init_1 inp_71 of
387 failExp_83 GHC.Base.<> Data.Set.Internal.empty
392 Data.Set.Internal.empty
394 in readFail_72 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_71 farInp_84 farExp_85