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 _ = "pushValue"
124 in let _ = "comment: satisfy"
125 in let inp_46 = failInp_41
126 in let readFail_47 = finalRaise_18
127 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
128 in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 1 inp_46)
134 #) = readNext_3 inp_46
135 in if (GHC.Classes.==) 'a' c_48
137 let _ = "comment: satisfy"
138 in let _ = "checkHorizon.oldCheck: checkedHorizon=2"
139 in let _ = "checkToken"
143 #) = readNext_3 cs_49
144 in if (GHC.Classes.==) 'b' c_50
150 ( let _ = "resume.genCode"
151 in (GHC.Types.:) 'a' ((GHC.Types.:) 'b' GHC.Types . [])
155 let _ = "checkToken.fail"
157 Data.Set.Internal.Bin
159 ( Symantic.Parser.Grammar.Combinators.SomeFailure
161 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'b'
164 Data.Set.Internal.Tip
165 Data.Set.Internal.Tip
169 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_42 cs_49 of
178 failExp_52 GHC.Base.<> farExp_43
185 in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_49 farInp_53 farExp_54
187 let _ = "checkToken.fail"
189 Data.Set.Internal.Bin
191 ( Symantic.Parser.Grammar.Combinators.SomeFailure
193 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'a'
196 Data.Set.Internal.Tip
197 Data.Set.Internal.Tip
201 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_42 inp_46 of
210 failExp_55 GHC.Base.<> farExp_43
217 in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_46 farInp_56 farExp_57
219 let _ = "checkHorizon.newCheck.fail"
221 Data.Set.Internal.Bin
223 ( Symantic.Parser.Grammar.Combinators.SomeFailure
225 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 2
228 Data.Set.Internal.Tip
229 Data.Set.Internal.Tip
233 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_42 inp_46 of
242 failExp_58 GHC.Base.<> farExp_43
249 in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_46 farInp_59 farExp_60
251 let _ = "choicesBranch.else"
252 in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_41 farInp_42 farExp_43
253 in let _ = "pushValue"
254 in let _ = "comment: satisfy"
255 in let inp_61 = init_1
256 in let readFail_62 = catchHandler_39
257 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=2"
258 in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 1 inp_61)
264 #) = readNext_3 inp_61
265 in if (GHC.Classes.==) 'a' c_63
267 let _ = "comment: satisfy"
268 in let _ = "checkHorizon.oldCheck: checkedHorizon=2"
269 in let _ = "checkToken"
273 #) = readNext_3 cs_64
274 in if (GHC.Classes.==) 'a' c_65
280 Data.Set.Internal.empty
281 ( let _ = "resume.genCode"
282 in (GHC.Types.:) 'a' ((GHC.Types.:) 'a' GHC.Types . [])
286 let _ = "checkToken.fail"
288 Data.Set.Internal.Bin
290 ( Symantic.Parser.Grammar.Combinators.SomeFailure
292 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'a'
295 Data.Set.Internal.Tip
296 Data.Set.Internal.Tip
300 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 cs_64 of
309 failExp_67 GHC.Base.<> Data.Set.Internal.empty
314 Data.Set.Internal.empty
316 in readFail_62 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_64 farInp_68 farExp_69
318 let _ = "checkToken.fail"
320 Data.Set.Internal.Bin
322 ( Symantic.Parser.Grammar.Combinators.SomeFailure
324 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'a'
327 Data.Set.Internal.Tip
328 Data.Set.Internal.Tip
332 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_61 of
341 failExp_70 GHC.Base.<> Data.Set.Internal.empty
346 Data.Set.Internal.empty
348 in readFail_62 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_61 farInp_71 farExp_72
350 let _ = "checkHorizon.newCheck.fail"
352 Data.Set.Internal.Bin
354 ( Symantic.Parser.Grammar.Combinators.SomeFailure
356 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 2
359 Data.Set.Internal.Tip
360 Data.Set.Internal.Tip
364 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_61 of
373 failExp_73 GHC.Base.<> Data.Set.Internal.empty
378 Data.Set.Internal.empty
380 in readFail_62 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_61 farInp_74 farExp_75