{-# LANGUAGE AllowAmbiguousTypes #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TemplateHaskell #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE ViewPatterns #-} -- for Symantic.Parser's TemplateHaskell {-# LANGUAGE MagicHash #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE RankNTypes #-} {-# LANGUAGE UnboxedTuples #-} {-# OPTIONS_GHC -Wno-unused-matches #-} {-# OPTIONS_GHC -Wno-unused-local-binds #-} module Parsers.Brainfuck.SymanticParser.PprSplice where import Data.Either (Either) import Data.Text (Text) import System.IO (IO) import Text.Show (show) import qualified Data.ByteString as BS import qualified Data.ByteString.Internal import qualified Data.Either import qualified Data.Function import qualified Data.Map.Internal import qualified Data.Map.Strict.Internal import qualified Data.Proxy import qualified Data.Set.Internal import qualified Data.Text.Internal import qualified Data.Text.Unsafe import qualified GHC.Base import qualified GHC.Classes import qualified GHC.ForeignPtr import qualified GHC.Maybe import qualified GHC.Num import qualified GHC.Prim import qualified GHC.Show import qualified GHC.Tuple import qualified GHC.Types import qualified GHC.Word import qualified Language.Haskell.TH as TH import qualified Language.Haskell.TH.Syntax as TH import qualified Prelude import qualified Symantic.Parser as SP import qualified Symantic.Parser.Grammar.Combinators import qualified Symantic.Parser.Machine import qualified Symantic.Parser.Machine.Generate import qualified Symantic.Parser.Machine.Input import qualified System.IO as IO import qualified Parsers.Brainfuck.Types import Parsers.Brainfuck.Types (Instruction) import Parsers.Brainfuck.SymanticParser.Grammar (grammar) splice :: IO (TH.TExp (BS.ByteString -> Either (SP.ParsingError BS.ByteString) [Instruction])) splice = TH.runQ (TH.examineCode (SP.runParser grammar)) dumpSplice :: IO () dumpSplice = do tExp <- splice IO.writeFile "parsers/Parsers/Brainfuck/SymanticParser/PprSplice.hs.ppr" (show (TH.ppr ((TH.unType tExp)))) -- The splice below has been manually paste with: -- :r parsers/Parsers/Brainfuck/SymanticParser/PprSplice.hs.ppr -- :%s/#\(_[0-9]\+\)/\1# /g -- :%s/GHC.Tuple.()/()/g -- :%s/GHC.Types.\[]/[]/g parserByteString :: BS.ByteString -> Either (SP.ParsingError BS.ByteString) [Instruction] parserByteString = \(input_0 :: inp_6989586621679446738) -> let {!(# init_1, readMore_2, readNext_3 #) = let {!(Data.ByteString.Internal.PS (GHC.ForeignPtr.ForeignPtr addr_4# final_5) off_6 size_7) = input_0; next_8 (i_9@(GHC.Types.I# i_10# )) = case GHC.Prim.readWord8OffAddr# (addr_4# `GHC.Prim.plusAddr#` i_10# ) 0# GHC.Prim.realWorld# of (# s'_11, x_12 #) -> case GHC.Prim.touch# final_5 s'_11 of _ -> (# GHC.Word.W8# x_12, i_9 GHC.Num.+ 1 #)} in (# off_6, (GHC.Classes.< size_7), next_8 #); finalRet_13 = \_farInp_14 _farExp_15 v_16 _inp_17 -> Data.Either.Right v_16; finalRaise_18 :: forall b_19 . Symantic.Parser.Machine.Generate.Catcher inp_6989586621679446738 b_19 = \(!exn_20) _failInp_21 (!farInp_22) (!farExp_23) -> Data.Either.Left Symantic.Parser.Machine.Generate.ParsingErrorStandard{Symantic.Parser.Machine.Generate.parsingErrorOffset = Symantic.Parser.Machine.Input.offset farInp_22, Symantic.Parser.Machine.Generate.parsingErrorException = exn_20, Symantic.Parser.Machine.Generate.parsingErrorUnexpected = if readMore_2 farInp_22 then GHC.Maybe.Just (let (# c_24, _ #) = readNext_3 farInp_22 in c_24) else GHC.Maybe.Nothing, Symantic.Parser.Machine.Generate.parsingErrorExpecting = farExp_23}} in let inputToken = Data.Proxy.Proxy :: Data.Proxy.Proxy (Symantic.Parser.Machine.Input.InputToken inp_6989586621679446738) in let {name_25 = \(!ok_26) (!inp_27) (!koByLabel_28) -> name_29 (let _ = "suspend" in \farInp_30 farExp_31 v_32 (!inp_33) -> let _ = "resume" in ok_26 farInp_30 farExp_31 (let _ = "resume.genCode" in ()) inp_33) inp_27 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure koByLabel_28) Data.Map.Internal.Tip Data.Map.Internal.Tip); name_34 = \(!ok_35) (!inp_36) (!koByLabel_37) -> name_38 (let _ = "suspend" in \farInp_39 farExp_40 v_41 (!inp_42) -> let _ = "resume" in ok_35 farInp_39 farExp_40 (let _ = "resume.genCode" in v_41 []) inp_42) inp_36 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure koByLabel_37) Data.Map.Internal.Tip Data.Map.Internal.Tip); name_38 = \(!ok_43) (!inp_44) (!koByLabel_45) -> let _ = "catch ExceptionFailure" in let catchHandler_46 (!_exn_47) (!failInp_48) (!farInp_49) (!farExp_50) = let _ = "catch.ko ExceptionFailure" in if (GHC.Classes.==) @GHC.Types.Int inp_44 failInp_48 then let _ = "choicesBranch.then" in let _ = "resume" in ok_43 farInp_49 farExp_50 (let _ = "resume.genCode" in \x_51 -> x_51) failInp_48 else let _ = "choicesBranch.else" in Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure koByLabel_45 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_48 farInp_49 farExp_50 in let join_52 = \farInp_53 farExp_54 v_55 (!inp_56) -> name_25 (let _ = "suspend" in \farInp_57 farExp_58 v_59 (!inp_60) -> name_38 (let _ = "suspend" in \farInp_61 farExp_62 v_63 (!inp_64) -> let _ = "resume" in ok_43 farInp_61 farExp_62 (let _ = "resume.genCode" in \x_65 -> v_55 : v_63 x_65) inp_64) inp_60 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure catchHandler_46 Data.Map.Internal.Tip Data.Map.Internal.Tip)) inp_56 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure catchHandler_46 Data.Map.Internal.Tip Data.Map.Internal.Tip) in let readFail_66 = catchHandler_46 in if readMore_2 inp_44 then let !(# c_67, cs_68 #) = readNext_3 inp_44 in if (\x_69 -> GHC.Types.True) c_67 then if 60 GHC.Classes.== c_67 then let _ = "choicesBranch.then" in let readFail_70 = readFail_66 in if readMore_2 inp_44 then let !(# c_71, cs_72 #) = readNext_3 inp_44 in if (\x_73 -> GHC.Types.True) c_71 then let _ = "resume" in join_52 init_1 Data.Set.Internal.empty (let _ = "resume.genCode" in Parsers.Brainfuck.Types.Backward) cs_72 else let _ = "checkToken.else" in let failExp_74 = Data.Set.Internal.Bin 1 (Symantic.Parser.Grammar.Combinators.SomeFailure (case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679198986) -> Symantic.Parser.Grammar.Combinators.FailureAny @tok'_6989586621679198986)) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_75, farExp_76 #) = case GHC.Classes.compare @GHC.Types.Int init_1 inp_44 of GHC.Types.LT -> (# inp_44, failExp_74 #) GHC.Types.EQ -> (# init_1, failExp_74 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_70 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_44 farInp_75 farExp_76 else let _ = "checkHorizon.else" in let failExp_77 = Data.Set.Internal.Bin 1 (Symantic.Parser.Grammar.Combinators.SomeFailure (case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679198986) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679198986 1)) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_78, farExp_79 #) = case GHC.Classes.compare @GHC.Types.Int init_1 inp_44 of GHC.Types.LT -> (# inp_44, failExp_77 #) GHC.Types.EQ -> (# init_1, failExp_77 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_70 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_44 farInp_78 farExp_79 else let _ = "choicesBranch.else" in if 62 GHC.Classes.== c_67 then let _ = "choicesBranch.then" in let readFail_80 = readFail_66 in if readMore_2 inp_44 then let !(# c_81, cs_82 #) = readNext_3 inp_44 in if (\x_83 -> GHC.Types.True) c_81 then let _ = "resume" in join_52 init_1 Data.Set.Internal.empty (let _ = "resume.genCode" in Parsers.Brainfuck.Types.Forward) cs_82 else let _ = "checkToken.else" in let failExp_84 = Data.Set.Internal.Bin 1 (Symantic.Parser.Grammar.Combinators.SomeFailure (case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679198986) -> Symantic.Parser.Grammar.Combinators.FailureAny @tok'_6989586621679198986)) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_85, farExp_86 #) = case GHC.Classes.compare @GHC.Types.Int init_1 inp_44 of GHC.Types.LT -> (# inp_44, failExp_84 #) GHC.Types.EQ -> (# init_1, failExp_84 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_80 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_44 farInp_85 farExp_86 else let _ = "checkHorizon.else" in let failExp_87 = Data.Set.Internal.Bin 1 (Symantic.Parser.Grammar.Combinators.SomeFailure (case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679198986) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679198986 1)) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_88, farExp_89 #) = case GHC.Classes.compare @GHC.Types.Int init_1 inp_44 of GHC.Types.LT -> (# inp_44, failExp_87 #) GHC.Types.EQ -> (# init_1, failExp_87 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_80 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_44 farInp_88 farExp_89 else let _ = "choicesBranch.else" in if 43 GHC.Classes.== c_67 then let _ = "choicesBranch.then" in let readFail_90 = readFail_66 in if readMore_2 inp_44 then let !(# c_91, cs_92 #) = readNext_3 inp_44 in if (\x_93 -> GHC.Types.True) c_91 then let _ = "resume" in join_52 init_1 Data.Set.Internal.empty (let _ = "resume.genCode" in Parsers.Brainfuck.Types.Increment) cs_92 else let _ = "checkToken.else" in let failExp_94 = Data.Set.Internal.Bin 1 (Symantic.Parser.Grammar.Combinators.SomeFailure (case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679198986) -> Symantic.Parser.Grammar.Combinators.FailureAny @tok'_6989586621679198986)) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_95, farExp_96 #) = case GHC.Classes.compare @GHC.Types.Int init_1 inp_44 of GHC.Types.LT -> (# inp_44, failExp_94 #) GHC.Types.EQ -> (# init_1, failExp_94 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_90 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_44 farInp_95 farExp_96 else let _ = "checkHorizon.else" in let failExp_97 = Data.Set.Internal.Bin 1 (Symantic.Parser.Grammar.Combinators.SomeFailure (case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679198986) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679198986 1)) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_98, farExp_99 #) = case GHC.Classes.compare @GHC.Types.Int init_1 inp_44 of GHC.Types.LT -> (# inp_44, failExp_97 #) GHC.Types.EQ -> (# init_1, failExp_97 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_90 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_44 farInp_98 farExp_99 else let _ = "choicesBranch.else" in if 45 GHC.Classes.== c_67 then let _ = "choicesBranch.then" in let readFail_100 = readFail_66 in if readMore_2 inp_44 then let !(# c_101, cs_102 #) = readNext_3 inp_44 in if (\x_103 -> GHC.Types.True) c_101 then let _ = "resume" in join_52 init_1 Data.Set.Internal.empty (let _ = "resume.genCode" in Parsers.Brainfuck.Types.Decrement) cs_102 else let _ = "checkToken.else" in let failExp_104 = Data.Set.Internal.Bin 1 (Symantic.Parser.Grammar.Combinators.SomeFailure (case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679198986) -> Symantic.Parser.Grammar.Combinators.FailureAny @tok'_6989586621679198986)) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_105, farExp_106 #) = case GHC.Classes.compare @GHC.Types.Int init_1 inp_44 of GHC.Types.LT -> (# inp_44, failExp_104 #) GHC.Types.EQ -> (# init_1, failExp_104 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_100 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_44 farInp_105 farExp_106 else let _ = "checkHorizon.else" in let failExp_107 = Data.Set.Internal.Bin 1 (Symantic.Parser.Grammar.Combinators.SomeFailure (case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679198986) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679198986 1)) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_108, farExp_109 #) = case GHC.Classes.compare @GHC.Types.Int init_1 inp_44 of GHC.Types.LT -> (# inp_44, failExp_107 #) GHC.Types.EQ -> (# init_1, failExp_107 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_100 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_44 farInp_108 farExp_109 else let _ = "choicesBranch.else" in if 44 GHC.Classes.== c_67 then let _ = "choicesBranch.then" in let readFail_110 = readFail_66 in if readMore_2 inp_44 then let !(# c_111, cs_112 #) = readNext_3 inp_44 in if (\x_113 -> GHC.Types.True) c_111 then let _ = "resume" in join_52 init_1 Data.Set.Internal.empty (let _ = "resume.genCode" in Parsers.Brainfuck.Types.Input) cs_112 else let _ = "checkToken.else" in let failExp_114 = Data.Set.Internal.Bin 1 (Symantic.Parser.Grammar.Combinators.SomeFailure (case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679198986) -> Symantic.Parser.Grammar.Combinators.FailureAny @tok'_6989586621679198986)) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_115, farExp_116 #) = case GHC.Classes.compare @GHC.Types.Int init_1 inp_44 of GHC.Types.LT -> (# inp_44, failExp_114 #) GHC.Types.EQ -> (# init_1, failExp_114 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_110 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_44 farInp_115 farExp_116 else let _ = "checkHorizon.else" in let failExp_117 = Data.Set.Internal.Bin 1 (Symantic.Parser.Grammar.Combinators.SomeFailure (case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679198986) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679198986 1)) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_118, farExp_119 #) = case GHC.Classes.compare @GHC.Types.Int init_1 inp_44 of GHC.Types.LT -> (# inp_44, failExp_117 #) GHC.Types.EQ -> (# init_1, failExp_117 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_110 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_44 farInp_118 farExp_119 else let _ = "choicesBranch.else" in if 46 GHC.Classes.== c_67 then let _ = "choicesBranch.then" in let readFail_120 = readFail_66 in if readMore_2 inp_44 then let !(# c_121, cs_122 #) = readNext_3 inp_44 in if (\x_123 -> GHC.Types.True) c_121 then let _ = "resume" in join_52 init_1 Data.Set.Internal.empty (let _ = "resume.genCode" in Parsers.Brainfuck.Types.Output) cs_122 else let _ = "checkToken.else" in let failExp_124 = Data.Set.Internal.Bin 1 (Symantic.Parser.Grammar.Combinators.SomeFailure (case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679198986) -> Symantic.Parser.Grammar.Combinators.FailureAny @tok'_6989586621679198986)) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_125, farExp_126 #) = case GHC.Classes.compare @GHC.Types.Int init_1 inp_44 of GHC.Types.LT -> (# inp_44, failExp_124 #) GHC.Types.EQ -> (# init_1, failExp_124 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_120 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_44 farInp_125 farExp_126 else let _ = "checkHorizon.else" in let failExp_127 = Data.Set.Internal.Bin 1 (Symantic.Parser.Grammar.Combinators.SomeFailure (case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679198986) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679198986 1)) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_128, farExp_129 #) = case GHC.Classes.compare @GHC.Types.Int init_1 inp_44 of GHC.Types.LT -> (# inp_44, failExp_127 #) GHC.Types.EQ -> (# init_1, failExp_127 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_120 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_44 farInp_128 farExp_129 else let _ = "choicesBranch.else" in if 91 GHC.Classes.== c_67 then let _ = "choicesBranch.then" in let readFail_130 = readFail_66 in if readMore_2 ((GHC.Num.+) @GHC.Types.Int 1 inp_44) then let !(# c_131, cs_132 #) = readNext_3 inp_44 in if (\x_133 -> GHC.Types.True) c_131 then name_25 (let _ = "suspend" in \farInp_134 farExp_135 v_136 (!inp_137) -> name_34 (let _ = "suspend" in \farInp_138 farExp_139 v_140 (!inp_141) -> let readFail_142 = readFail_130 in if readMore_2 inp_141 then let !(# c_143, cs_144 #) = readNext_3 inp_141 in if (93 GHC.Classes.==) c_143 then let _ = "resume" in join_52 farInp_138 farExp_139 (let _ = "resume.genCode" in Parsers.Brainfuck.Types.Loop v_140) cs_144 else let _ = "checkToken.else" in readFail_142 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_141 farInp_138 farExp_139 else let _ = "checkHorizon.else" in let failExp_145 = Data.Set.Internal.Bin 1 (Symantic.Parser.Grammar.Combinators.SomeFailure (case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679198986) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679198986 1)) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_146, farExp_147 #) = case GHC.Classes.compare @GHC.Types.Int farInp_138 inp_141 of GHC.Types.LT -> (# inp_141, failExp_145 #) GHC.Types.EQ -> (# farInp_138, failExp_145 GHC.Base.<> farExp_139 #) GHC.Types.GT -> (# farInp_138, farExp_139 #) in readFail_142 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_141 farInp_146 farExp_147) inp_137 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_130 Data.Map.Internal.Tip Data.Map.Internal.Tip)) cs_132 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_130 Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "checkToken.else" in let failExp_148 = Data.Set.Internal.Bin 1 (Symantic.Parser.Grammar.Combinators.SomeFailure (case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679198986) -> Symantic.Parser.Grammar.Combinators.FailureAny @tok'_6989586621679198986)) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_149, farExp_150 #) = case GHC.Classes.compare @GHC.Types.Int init_1 inp_44 of GHC.Types.LT -> (# inp_44, failExp_148 #) GHC.Types.EQ -> (# init_1, failExp_148 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_130 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_44 farInp_149 farExp_150 else let _ = "checkHorizon.else" in let failExp_151 = Data.Set.Internal.Bin 1 (Symantic.Parser.Grammar.Combinators.SomeFailure (case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679198986) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679198986 2)) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_152, farExp_153 #) = case GHC.Classes.compare @GHC.Types.Int init_1 inp_44 of GHC.Types.LT -> (# inp_44, failExp_151 #) GHC.Types.EQ -> (# init_1, failExp_151 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_130 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_44 farInp_152 farExp_153 else let _ = "choicesBranch.else" in let failExp_154 = Data.Set.Internal.Bin 1 (Symantic.Parser.Grammar.Combinators.SomeFailure Symantic.Parser.Grammar.Combinators.FailureEmpty) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_155, farExp_156 #) = case GHC.Classes.compare @GHC.Types.Int init_1 inp_44 of GHC.Types.LT -> (# inp_44, failExp_154 #) GHC.Types.EQ -> (# init_1, failExp_154 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_66 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_44 farInp_155 farExp_156 else let _ = "checkToken.else" in let failExp_157 = Data.Set.Internal.Bin 1 (Symantic.Parser.Grammar.Combinators.SomeFailure (case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679198986) -> Symantic.Parser.Grammar.Combinators.FailureAny @tok'_6989586621679198986)) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_158, farExp_159 #) = case GHC.Classes.compare @GHC.Types.Int init_1 inp_44 of GHC.Types.LT -> (# inp_44, failExp_157 #) GHC.Types.EQ -> (# init_1, failExp_157 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_66 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_44 farInp_158 farExp_159 else let _ = "checkHorizon.else" in let failExp_160 = Data.Set.Internal.Bin 1 (Symantic.Parser.Grammar.Combinators.SomeFailure (case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679198986) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679198986 1)) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_161, farExp_162 #) = case GHC.Classes.compare @GHC.Types.Int init_1 inp_44 of GHC.Types.LT -> (# inp_44, failExp_160 #) GHC.Types.EQ -> (# init_1, failExp_160 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_66 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_44 farInp_161 farExp_162; name_29 = \(!ok_163) (!inp_164) (!koByLabel_165) -> let _ = "catch ExceptionFailure" in let catchHandler_166 (!_exn_167) (!failInp_168) (!farInp_169) (!farExp_170) = let _ = "catch.ko ExceptionFailure" in if (GHC.Classes.==) @GHC.Types.Int inp_164 failInp_168 then let _ = "choicesBranch.then" in let _ = "resume" in ok_163 farInp_169 farExp_170 (let _ = "resume.genCode" in \x_171 -> x_171) failInp_168 else let _ = "choicesBranch.else" in Data.Map.Strict.Internal.findWithDefault finalRaise_18 Symantic.Parser.Grammar.Combinators.ExceptionFailure koByLabel_165 Symantic.Parser.Grammar.Combinators.ExceptionFailure failInp_168 farInp_169 farExp_170 in let readFail_172 = catchHandler_166 in if readMore_2 inp_164 then let !(# c_173, cs_174 #) = readNext_3 inp_164 in if (\c_175 -> GHC.Classes.not ((60 GHC.Classes.== c_175) GHC.Classes.|| ((62 GHC.Classes.== c_175) GHC.Classes.|| ((43 GHC.Classes.== c_175) GHC.Classes.|| ((45 GHC.Classes.== c_175) GHC.Classes.|| ((44 GHC.Classes.== c_175) GHC.Classes.|| ((46 GHC.Classes.== c_175) GHC.Classes.|| ((91 GHC.Classes.== c_175) GHC.Classes.|| ((93 GHC.Classes.== c_175) GHC.Classes.|| GHC.Types.False))))))))) c_173 then name_29 (let _ = "suspend" in \farInp_176 farExp_177 v_178 (!inp_179) -> let _ = "resume" in ok_163 farInp_176 farExp_177 (let _ = "resume.genCode" in \x_180 -> v_178 x_180) inp_179) cs_174 (Data.Map.Internal.Bin 1 Symantic.Parser.Grammar.Combinators.ExceptionFailure readFail_172 Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "checkToken.else" in readFail_172 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_164 init_1 Data.Set.Internal.empty else let _ = "checkHorizon.else" in let failExp_181 = Data.Set.Internal.Bin 1 (Symantic.Parser.Grammar.Combinators.SomeFailure (case inputToken of (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_6989586621679198986) -> Symantic.Parser.Grammar.Combinators.FailureHorizon @tok'_6989586621679198986 1)) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_182, farExp_183 #) = case GHC.Classes.compare @GHC.Types.Int init_1 inp_164 of GHC.Types.LT -> (# inp_164, failExp_181 #) GHC.Types.EQ -> (# init_1, failExp_181 GHC.Base.<> Data.Set.Internal.empty #) GHC.Types.GT -> (# init_1, Data.Set.Internal.empty #) in readFail_172 Symantic.Parser.Grammar.Combinators.ExceptionFailure inp_164 farInp_182 farExp_183} in name_25 (let _ = "suspend" in \farInp_184 farExp_185 v_186 (!inp_187) -> name_34 (let _ = "suspend" in \farInp_188 farExp_189 v_190 (!inp_191) -> let _ = "resume" in finalRet_13 farInp_188 farExp_189 (let _ = "resume.genCode" in v_190) inp_191) inp_187 Data.Map.Internal.Tip) init_1 Data.Map.Internal.Tip