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 _ = "catch ExceptionFailure"
97 in let onException_39 (!_exn_40) (!failInp_41) (!farInp_42) (!farExp_43) =
98 let _ = "catch.ko ExceptionFailure"
99 in let _ = "loadInput"
100 in let _ = "checkHorizon.noCheck"
101 in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_38 farInp_42 farExp_43
102 in let _ = "pushValue"
103 in let _ = "comment: satisfy"
104 in let inp_44 = inp_38
105 in let readFail_45 = onException_39
106 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=3"
107 in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 2 inp_44)
113 #) = readNext_3 inp_44
114 in if (GHC.Classes.==) 'd' c_46
116 let _ = "comment: satisfy"
117 in let _ = "checkHorizon.oldCheck: checkedHorizon=3"
118 in let _ = "checkToken"
122 #) = readNext_3 cs_47
123 in if (GHC.Classes.==) 'e' c_48
125 let _ = "comment: satisfy"
126 in let _ = "checkHorizon.oldCheck: checkedHorizon=2"
127 in let _ = "checkToken"
131 #) = readNext_3 cs_49
132 in if (GHC.Classes.==) 'f' c_50
139 ( let _ = "resume.genCode"
140 in GHC.Show.show GHC.Tuple . ()
144 let _ = "checkToken.fail"
145 in readFail_45 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_49 farInp_35 farExp_36
147 let _ = "checkToken.fail"
148 in readFail_45 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_47 farInp_35 farExp_36
150 let _ = "checkToken.fail"
151 in readFail_45 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_44 farInp_35 farExp_36
153 let _ = "checkHorizon.newCheck.fail"
155 Data.Set.Internal.Bin
157 ( Symantic.Parser.Grammar.Combinators.SomeFailure
159 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 3
162 Data.Set.Internal.Tip
163 Data.Set.Internal.Tip
167 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_35 inp_44 of
176 failExp_52 GHC.Base.<> farExp_36
183 in readFail_45 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_44 farInp_53 farExp_54
184 in let _ = "catch ExceptionFailure"
185 in let onException_55 (!_exn_56) (!failInp_57) (!farInp_58) (!farExp_59) =
186 let _ = "catch.ko ExceptionFailure"
187 in let _ = "pushInput"
188 in if ( \( Data.Text.Internal.Text
193 ( Data.Text.Internal.Text
197 ) -> i_60 GHC.Classes.== j_61
202 let _ = "choicesBranch.then"
203 in let _ = "catch ExceptionFailure"
204 in let onException_62 (!_exn_63) (!failInp_64) (!farInp_65) (!farExp_66) =
205 let _ = "catch.ko ExceptionFailure"
206 in let _ = "loadInput"
207 in let _ = "checkHorizon.noCheck"
208 in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_57 farInp_65 farExp_66
209 in let _ = "pushValue"
215 ( let _ = "resume.genCode"
220 let _ = "choicesBranch.else"
221 in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_57 farInp_58 farExp_59
222 in let _ = "catch ExceptionFailure"
223 in let onException_67 (!_exn_68) (!failInp_69) (!farInp_70) (!farExp_71) =
224 let _ = "catch.ko ExceptionFailure"
225 in let _ = "loadInput"
226 in let _ = "checkHorizon.noCheck"
227 in onException_55 Symantic.Parser.Grammar.Combinators.ExceptionFailure init_1 farInp_70 farExp_71
228 in let _ = "pushValue"
229 in let _ = "comment: satisfy"
230 in let inp_72 = init_1
231 in let readFail_73 = onException_67
232 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=3"
233 in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 2 inp_72)
239 #) = readNext_3 inp_72
240 in if (GHC.Classes.==) 'a' c_74
242 let _ = "comment: satisfy"
243 in let _ = "checkHorizon.oldCheck: checkedHorizon=3"
244 in let _ = "checkToken"
248 #) = readNext_3 cs_75
249 in if (GHC.Classes.==) 'b' c_76
251 let _ = "comment: satisfy"
252 in let _ = "checkHorizon.oldCheck: checkedHorizon=2"
253 in let _ = "checkToken"
257 #) = readNext_3 cs_77
258 in if (GHC.Classes.==) 'c' c_78
265 Data.Set.Internal.empty
266 ( let _ = "resume.genCode"
267 in (GHC.Types.:) 'a' ((GHC.Types.:) 'b' ((GHC.Types.:) 'c' GHC.Types . []))
271 let _ = "checkToken.fail"
272 in readFail_73 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_77 init_1 Data.Set.Internal.empty
274 let _ = "checkToken.fail"
275 in readFail_73 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_75 init_1 Data.Set.Internal.empty
277 let _ = "checkToken.fail"
278 in readFail_73 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_72 init_1 Data.Set.Internal.empty
280 let _ = "checkHorizon.newCheck.fail"
282 Data.Set.Internal.Bin
284 ( Symantic.Parser.Grammar.Combinators.SomeFailure
286 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 3
289 Data.Set.Internal.Tip
290 Data.Set.Internal.Tip
294 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_72 of
303 failExp_80 GHC.Base.<> Data.Set.Internal.empty
308 Data.Set.Internal.empty
310 in readFail_73 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_72 farInp_81 farExp_82