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"
93 in let name_34 = \(!callReturn_35) (!callInput_36) (!callCatchStackByLabel_37) ->
94 let _ = "catch ExceptionFailure"
95 in let onException_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 = onException_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 onException_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
339 in let join_84 = \farInp_85 farExp_86 v_87 (!inp_88) ->
344 ( let _ = "resume.genCode"
345 in GHC.Show.show ((GHC.Types.:) v_70 (sr_83 GHC.Types . []))
348 in let _ = "catch ExceptionFailure"
349 in let onException_89 (!_exn_90) (!failInp_91) (!farInp_92) (!farExp_93) =
350 let _ = "catch.ko ExceptionFailure"
351 in let _ = "pushInput"
352 in if ( \( Data.Text.Internal.Text
357 ( Data.Text.Internal.Text
361 ) -> i_94 GHC.Classes.== j_95
366 let _ = "choicesBranch.then"
367 in let _ = "comment: eof.fail"
368 in let failExp_96 = Data.Set.Internal.Bin 1 (Symantic.Parser.Grammar.Combinators.SomeFailure Symantic.Parser.Grammar.Combinators.FailureEnd) Data.Set.Internal.Tip Data.Set.Internal.Tip
372 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_92 failInp_91 of
381 failExp_96 GHC.Base.<> farExp_93
388 in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_91 farInp_97 farExp_98
390 let _ = "choicesBranch.else"
391 in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_91 farInp_92 farExp_93
392 in let _ = "comment: negLook"
393 in let _ = "catch ExceptionFailure"
394 in let onException_99 (!_exn_100) (!failInp_101) (!farInp_102) (!farExp_103) =
395 let _ = "catch.ko ExceptionFailure"
396 in let _ = "comment: negLook.reset"
397 in let _ = "loadInput"
398 in let _ = "checkHorizon.noCheck"
399 in let _ = "pushValue"
405 ( let _ = "resume.genCode"
409 in let _ = "comment: negLook.ahead"
410 in let _ = "pushInput"
411 in let _ = "comment: satisfy"
412 in let inp_104 = failInp_78
413 in let readFail_105 = onException_99
414 in let _ = "checkHorizon.newCheck: checkedHorizon=0 minHoriz=1"
415 in if readMore_2 inp_104
421 #) = readNext_3 inp_104
422 in let _ = "popValue"
424 in let _ = "loadInput"
425 in let _ = "checkHorizon.noCheck"
426 in onException_89 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_78 farInp_79 farExp_80
428 let _ = "checkHorizon.newCheck.fail"
430 Data.Set.Internal.Bin
432 ( Symantic.Parser.Grammar.Combinators.SomeFailure
434 (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679080671) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679080671 1
437 Data.Set.Internal.Tip
438 Data.Set.Internal.Tip
442 #) = case (GHC.Classes.compare `Data.Function.on` Symantic.Parser.Machine.Input.offset) farInp_79 inp_104 of
451 failExp_108 GHC.Base.<> farExp_80
458 in readFail_105 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_104 farInp_109 farExp_110
460 let _ = "choicesBranch.else"
461 in finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_78 farInp_79 farExp_80
462 loop_111 = \_callReturn_112 callInput_113 callCatchStackByLabel_114 ->
466 in \farInp_115 farExp_116 v_117 (!inp_118) ->
469 sr_119 <- GHC.STRef.readSTRef reg_74
471 let dupv_120 = \x_121 -> sr_119 ((GHC.Types.:) v_117 x_121)
472 GHC.STRef.writeSTRef reg_74 dupv_120
474 in loop_111 (GHC.Err.error "invalid return") inp_118 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_75 callInput_113) Data.Map.Internal.Tip Data.Map.Internal.Tip)
477 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (onException_75 callInput_113) Data.Map.Internal.Tip Data.Map.Internal.Tip)
479 in loop_111 finalRet_13 inp_71 Data.Map.Internal.Tip
482 Data.Map.Internal.Tip