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 _ = "pushValue"
97 let dupv_34 = \x_35 -> x_35
98 reg_36 <- GHC.STRef.newSTRef dupv_34
100 in let catchHandler_37 loopInput_38 (!_exn_39) (!failInp_40) (!farInp_41) (!farExp_42) =
102 in if ( \( Data.Text.Internal.Text
107 ( Data.Text.Internal.Text
111 ) -> i_43 GHC.Classes.== j_44
116 let _ = "choicesBranch.then"
118 sr_45 <- GHC.STRef.readSTRef reg_36
120 in let _ = "comment: satisfy"
121 in let inp_46 = failInp_40
122 in let readFail_47 = finalRaise_18
123 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
124 in if readMore_2 inp_46
130 #) = readNext_3 inp_46
131 in if (GHC.Classes.==) 'b' c_48
137 ( let _ = "resume.genCode"
138 in GHC.Show.show (sr_45 GHC.Types . [])
142 let _ = "checkToken.fail"
144 Data.Set.Internal.Bin
146 ( Symantic.Parser.Grammar.Combinators.SomeFailure
148 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'b'
151 Data.Set.Internal.Tip
152 Data.Set.Internal.Tip
156 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_41 inp_46 of
165 failExp_50 GHC.Base.<> farExp_42
172 in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_46 farInp_51 farExp_52
174 let _ = "checkHorizon.newCheck.fail"
176 Data.Set.Internal.Bin
178 ( Symantic.Parser.Grammar.Combinators.SomeFailure
180 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 1
183 Data.Set.Internal.Tip
184 Data.Set.Internal.Tip
188 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_41 inp_46 of
197 failExp_53 GHC.Base.<> farExp_42
204 in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_46 farInp_54 farExp_55
206 let _ = "choicesBranch.else"
207 in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_40 farInp_41 farExp_42
208 loop_56 = \_callReturn_57 callInput_58 callCatchStackByLabel_59 ->
210 in let _ = "comment: satisfy"
211 in let inp_60 = callInput_58
212 in let readFail_61 = catchHandler_37 callInput_58
213 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
214 in if readMore_2 inp_60
220 #) = readNext_3 inp_60
221 in if (GHC.Classes.==) 'a' c_62
225 sr_64 <- GHC.STRef.readSTRef reg_36
227 let dupv_65 = \x_66 -> sr_64 ((GHC.Types.:) 'a' x_66)
228 GHC.STRef.writeSTRef reg_36 dupv_65
230 in loop_56 (GHC.Err.error "invalid return") cs_63 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_61 Data.Map.Internal.Tip Data.Map.Internal.Tip)
232 let _ = "checkToken.fail"
234 Data.Set.Internal.Bin
236 ( Symantic.Parser.Grammar.Combinators.SomeFailure
238 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'a'
241 Data.Set.Internal.Tip
242 Data.Set.Internal.Tip
246 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_60 of
255 failExp_67 GHC.Base.<> Data.Set.Internal.empty
260 Data.Set.Internal.empty
262 in readFail_61 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_60 farInp_68 farExp_69
264 let _ = "checkHorizon.newCheck.fail"
266 Data.Set.Internal.Bin
268 ( Symantic.Parser.Grammar.Combinators.SomeFailure
270 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 1
273 Data.Set.Internal.Tip
274 Data.Set.Internal.Tip
278 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_60 of
287 failExp_70 GHC.Base.<> Data.Set.Internal.empty
292 Data.Set.Internal.empty
294 in readFail_61 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_60 farInp_71 farExp_72
296 in loop_56 finalRet_13 init_1 Data.Map.Internal.Tip