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"
93 in let name_34 = \(!callReturn_35) (!callInput_36) (!callCatchStackByLabel_37) ->
94 let _ = "catch ExceptionFailure"
95 in let catchHandler_38 (!_exn_39) (!failInp_40) (!farInp_41) (!farExp_42) =
96 let _ = "catch.ko ExceptionFailure"
97 in let _ = "loadInput"
98 in let _ = "checkHorizon.noCheck"
99 in Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure callCatchStackByLabel_37 Symantic.Parser.Grammar.Combinators.ExceptionFailure callInput_36 farInp_41 farExp_42
100 in let _ = "pushValue"
101 in let _ = "comment: satisfy"
102 in let inp_43 = callInput_36
103 in let readFail_44 = catchHandler_38
104 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=4"
105 in if readMore_2 (Symantic.Parser.Machine.Input.shiftRightText 3 inp_43)
111 #) = readNext_3 inp_43
112 in if (GHC.Classes.==) 'a' c_45
114 let _ = "comment: satisfy"
115 in let _ = "checkHorizon.oldCheck: checkedHorizon=4"
116 in let _ = "checkToken"
120 #) = readNext_3 cs_46
121 in if (GHC.Classes.==) 'b' c_47
123 let _ = "comment: satisfy"
124 in let _ = "checkHorizon.oldCheck: checkedHorizon=3"
125 in let _ = "checkToken"
129 #) = readNext_3 cs_48
130 in if (GHC.Classes.==) 'c' c_49
132 let _ = "comment: satisfy"
133 in let _ = "checkHorizon.oldCheck: checkedHorizon=2"
134 in let _ = "checkToken"
138 #) = readNext_3 cs_50
139 in if (GHC.Classes.==) 'd' c_51
145 Data.Set.Internal.empty
146 ( let _ = "resume.genCode"
147 in (GHC.Types.:) 'a' ((GHC.Types.:) 'b' ((GHC.Types.:) 'c' ((GHC.Types.:) 'd' GHC.Types . [])))
151 let _ = "checkToken.fail"
153 Data.Set.Internal.Bin
155 ( Symantic.Parser.Grammar.Combinators.SomeFailure
157 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'd'
160 Data.Set.Internal.Tip
161 Data.Set.Internal.Tip
165 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 cs_50 of
174 failExp_53 GHC.Base.<> Data.Set.Internal.empty
179 Data.Set.Internal.empty
181 in readFail_44 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_50 farInp_54 farExp_55
183 let _ = "checkToken.fail"
185 Data.Set.Internal.Bin
187 ( Symantic.Parser.Grammar.Combinators.SomeFailure
189 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'c'
192 Data.Set.Internal.Tip
193 Data.Set.Internal.Tip
197 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 cs_48 of
206 failExp_56 GHC.Base.<> Data.Set.Internal.empty
211 Data.Set.Internal.empty
213 in readFail_44 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_48 farInp_57 farExp_58
215 let _ = "checkToken.fail"
217 Data.Set.Internal.Bin
219 ( Symantic.Parser.Grammar.Combinators.SomeFailure
221 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'b'
224 Data.Set.Internal.Tip
225 Data.Set.Internal.Tip
229 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 cs_46 of
238 failExp_59 GHC.Base.<> Data.Set.Internal.empty
243 Data.Set.Internal.empty
245 in readFail_44 Symantic.Parser.Grammar.Combinators.ExceptionFailure cs_46 farInp_60 farExp_61
247 let _ = "checkToken.fail"
249 Data.Set.Internal.Bin
251 ( Symantic.Parser.Grammar.Combinators.SomeFailure
253 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureToken 'a'
256 Data.Set.Internal.Tip
257 Data.Set.Internal.Tip
261 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_43 of
270 failExp_62 GHC.Base.<> Data.Set.Internal.empty
275 Data.Set.Internal.empty
277 in readFail_44 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_43 farInp_63 farExp_64
279 let _ = "checkHorizon.newCheck.fail"
281 Data.Set.Internal.Bin
283 ( Symantic.Parser.Grammar.Combinators.SomeFailure
285 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 4
288 Data.Set.Internal.Tip
289 Data.Set.Internal.Tip
293 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) init_1 inp_43 of
302 failExp_65 GHC.Base.<> Data.Set.Internal.empty
307 Data.Set.Internal.empty
309 in readFail_44 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_43 farInp_66 farExp_67
310 in let _ = "pushValue"
313 in \farInp_68 farExp_69 v_70 (!inp_71) ->
316 let dupv_72 = \x_73 -> x_73
317 reg_74 <- GHC.STRef.newSTRef dupv_72
319 in let catchHandler_75 loopInput_76 (!_exn_77) (!failInp_78) (!farInp_79) (!farExp_80) =
321 in if ( \( Data.Text.Internal.Text
326 ( Data.Text.Internal.Text
330 ) -> i_81 GHC.Classes.== j_82
335 let _ = "choicesBranch.then"
337 sr_83 <- GHC.STRef.readSTRef reg_74
343 ( let _ = "resume.genCode"
344 in GHC.Show.show ((GHC.Types.:) v_70 (sr_83 GHC.Types . []))
348 let _ = "choicesBranch.else"
349 in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_78 farInp_79 farExp_80
350 loop_84 = \_callReturn_85 callInput_86 callCatchStackByLabel_87 ->
354 in \farInp_88 farExp_89 v_90 (!inp_91) ->
357 sr_92 <- GHC.STRef.readSTRef reg_74
359 let dupv_93 = \x_94 -> sr_92 ((GHC.Types.:) v_90 x_94)
360 GHC.STRef.writeSTRef reg_74 dupv_93
362 in loop_84 (GHC.Err.error "invalid return") inp_91 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_75 callInput_86) Data.Map.Internal.Tip Data.Map.Internal.Tip)
365 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (catchHandler_75 callInput_86) Data.Map.Internal.Tip Data.Map.Internal.Tip)
367 in loop_84 finalRet_13 inp_71 Data.Map.Internal.Tip
370 Data.Map.Internal.Tip