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 _ = "catch ExceptionFailure"
96 in let onException_34 (!_exn_35) (!failInp_36) (!farInp_37) (!farExp_38) =
97 let _ = "catch.ko ExceptionFailure"
98 in let _ = "loadInput"
99 in let _ = "checkHorizon.noCheck"
100 in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure init_1 farInp_37 farExp_38
101 in let _ = "pushValue"
102 in let _ = "comment: satisfy"
103 in let inp_39 = init_1
104 in let readFail_40 = onException_34
105 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=3"
106 in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 2 inp_39)
112 #) = readNext_3 inp_39
113 in if (GHC.Classes.==) 'a' c_41
115 let _ = "comment: satisfy"
116 in let _ = "checkHorizon.oldCheck: checkedHorizon=3"
117 in let _ = "checkToken"
121 #) = readNext_3 cs_42
122 in if (GHC.Classes.==) 'b' c_43
124 let _ = "comment: satisfy"
125 in let _ = "checkHorizon.oldCheck: checkedHorizon=2"
126 in let _ = "checkToken"
130 #) = readNext_3 cs_44
131 in if (GHC.Classes.==) 'c' c_45
137 Data.Set.Internal.empty
138 ( let _ = "resume.genCode"
139 in GHC.Show.show ((GHC.Types.:) 'a' ((GHC.Types.:) 'b' ((GHC.Types.:) 'c' GHC.Types . [])))
143 let _ = "checkToken.fail"
145 Data.Set.Internal.Bin
147 ( Symantic.Parser.Grammar.Combinators.SomeFailure
149 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'c'
152 Data.Set.Internal.Tip
153 Data.Set.Internal.Tip
157 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 cs_44 of
166 failExp_47 GHC.Base.<> Data.Set.Internal.empty
171 Data.Set.Internal.empty
173 in readFail_40 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_44 farInp_48 farExp_49
175 let _ = "checkToken.fail"
177 Data.Set.Internal.Bin
179 ( Symantic.Parser.Grammar.Combinators.SomeFailure
181 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'b'
184 Data.Set.Internal.Tip
185 Data.Set.Internal.Tip
189 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 cs_42 of
198 failExp_50 GHC.Base.<> Data.Set.Internal.empty
203 Data.Set.Internal.empty
205 in readFail_40 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_42 farInp_51 farExp_52
207 let _ = "checkToken.fail"
209 Data.Set.Internal.Bin
211 ( Symantic.Parser.Grammar.Combinators.SomeFailure
213 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'a'
216 Data.Set.Internal.Tip
217 Data.Set.Internal.Tip
221 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_39 of
230 failExp_53 GHC.Base.<> Data.Set.Internal.empty
235 Data.Set.Internal.empty
237 in readFail_40 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_39 farInp_54 farExp_55
239 let _ = "checkHorizon.newCheck.fail"
241 Data.Set.Internal.Bin
243 ( Symantic.Parser.Grammar.Combinators.SomeFailure
245 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 3
248 Data.Set.Internal.Tip
249 Data.Set.Internal.Tip
253 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_39 of
262 failExp_56 GHC.Base.<> Data.Set.Internal.empty
267 Data.Set.Internal.empty
269 in readFail_40 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_39 farInp_57 farExp_58