{-# 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.DumpSplice where 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.Univariant.Lang import qualified Symantic.Parser.Machine import qualified Symantic.Parser.Machine.Generate import qualified Symantic.Parser.Machine.Input import qualified System.IO as IO import Data.Either (Either) import qualified Parsers.Brainfuck.Types import Parsers.Brainfuck.Types (Instruction) -- The splice below has been manually paste with: -- :r dist-newstyle/build/x86_64-linux/ghc-9.0.1/symantic-parser-*/l/parsers/build/parsers/parsers/Parsers/Brainfuck/SymanticParser/AutoSplice.dump-splices -- :%s/\%x00//g -- :%s/#\(_[0-9]\+\)/\1#/g parserByteString :: BS.ByteString -> Either (SP.ParsingError BS.ByteString) [Instruction] parserByteString = \ (input_ama8 :: inp_a1S5K) -> let !(# init_amaa, readMore_amab, readNext_amac #) = let !(Data.ByteString.Internal.PS (GHC.ForeignPtr.ForeignPtr addr_amae# final_amaf) off_amag size_amah) = input_ama8 next_amai i_amaj@(GHC.Types.I# i_amak#) = case GHC.Prim.readWord8OffAddr# (addr_amae# `GHC.Prim.plusAddr#` i_amak#) 0# GHC.Prim.realWorld# of { (# s'_amal, x_amam #) -> case GHC.Prim.touch# final_amaf s'_amal of { _ -> (# GHC.Word.W8# x_amam, (i_amaj GHC.Num.+ 1) #) } } in (# off_amag, (GHC.Classes.< size_amah), next_amai #) finalRet_ama9 = \ _farInp_aman _farExp_amao v_amap _inp_amaq -> Data.Either.Right v_amap finalRaise_amad :: forall b_amar. SP.Catcher inp_a1S5K b_amar = \ !exn_amas _failInp_amat !farInp_amau !farExp_amav -> Data.Either.Left SP.ParsingErrorStandard {SP.parsingErrorOffset = SP.offset farInp_amau, SP.parsingErrorException = exn_amas, SP.parsingErrorUnexpected = if readMore_amab farInp_amau then GHC.Maybe.Just (let (# c_amaw, _ #) = readNext_amac farInp_amau in c_amaw) else GHC.Maybe.Nothing, SP.parsingErrorExpecting = farExp_amav} in let inputToken = Data.Proxy.Proxy :: Data.Proxy.Proxy (SP.InputToken inp_a1S5K) in let name_1 = \ !ok_amcU !inp_amcV !koByLabel_amcW -> name_4 (let _ = "suspend" in \ farInp_amcX farExp_amcY v_amcZ !inp_amd0 -> let _ = "resume" in ok_amcU farInp_amcX farExp_amcY (let _ = "resume.genCode" in ()) inp_amd0) inp_amcV (Data.Map.Internal.Bin 1 SP.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault finalRaise_amad SP.ExceptionFailure koByLabel_amcW) Data.Map.Internal.Tip Data.Map.Internal.Tip) name_2 = \ !ok_amcN !inp_amcO !koByLabel_amcP -> name_3 (let _ = "suspend" in \ farInp_amcQ farExp_amcR v_amcS !inp_amcT -> let _ = "resume" in ok_amcN farInp_amcQ farExp_amcR (let _ = "resume.genCode" in v_amcS []) inp_amcT) inp_amcO (Data.Map.Internal.Bin 1 SP.ExceptionFailure (Data.Map.Strict.Internal.findWithDefault finalRaise_amad SP.ExceptionFailure koByLabel_amcP) Data.Map.Internal.Tip Data.Map.Internal.Tip) name_3 = \ !ok_amaS !inp_amaT !koByLabel_amaU -> let _ = "catch ExceptionFailure" in let catchHandler_amaV !_exn_amaW !failInp_amaX !farInp_amaY !farExp_amaZ = let _ = "catch.ko ExceptionFailure" in if (GHC.Classes.==) @GHC.Types.Int inp_amaT failInp_amaX then let _ = "choicesBranch.then" in let _ = "resume" in ok_amaS farInp_amaY farExp_amaZ (let _ = "resume.genCode" in \ x_amb0 -> x_amb0) failInp_amaX else let _ = "choicesBranch.else" in Data.Map.Strict.Internal.findWithDefault finalRaise_amad SP.ExceptionFailure koByLabel_amaU SP.ExceptionFailure failInp_amaX farInp_amaY farExp_amaZ in let join_1s = \ farInp_amb1 farExp_amb2 v_amb3 !inp_amb4 -> name_1 (let _ = "suspend" in \ farInp_amb5 farExp_amb6 v_amb7 !inp_amb8 -> (name_3 (let _ = "suspend" in \ farInp_amb9 farExp_amba v_ambb !inp_ambc -> let _ = "resume" in ok_amaS farInp_amb9 farExp_amba (let _ = "resume.genCode" in \ x_ambd -> (v_amb3 : v_ambb x_ambd)) inp_ambc) inp_amb8) (Data.Map.Internal.Bin 1 SP.ExceptionFailure catchHandler_amaV Data.Map.Internal.Tip Data.Map.Internal.Tip)) inp_amb4 (Data.Map.Internal.Bin 1 SP.ExceptionFailure catchHandler_amaV Data.Map.Internal.Tip Data.Map.Internal.Tip) in let readFail_ambe = catchHandler_amaV in if readMore_amab inp_amaT then let !(# c_ambf, cs_ambg #) = readNext_amac inp_amaT in if (\ x_ambh -> GHC.Types.True) c_ambf then if (60 GHC.Classes.== c_ambf) then let _ = "choicesBranch.then" in let readFail_ambi = readFail_ambe in if readMore_amab inp_amaT then let !(# c_ambj, cs_ambk #) = readNext_amac inp_amaT in if (\ x_ambl -> GHC.Types.True) c_ambj then let _ = "resume" in (((join_1s init_amaa) Data.Set.Internal.empty) (let _ = "resume.genCode" in Parsers.Brainfuck.Types.Backward)) cs_ambk else let _ = "checkToken.else" in let failExp_ambm = Data.Set.Internal.Bin 1 (SP.SomeFailure (case inputToken of { (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_aLiK) -> SP.FailureAny @tok'_aLiK })) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_ambn, farExp_ambo #) = case ((GHC.Classes.compare @GHC.Types.Int) init_amaa) inp_amaT of GHC.Types.LT -> (# inp_amaT, failExp_ambm #) GHC.Types.EQ -> (# init_amaa, (failExp_ambm GHC.Base.<> Data.Set.Internal.empty) #) GHC.Types.GT -> (# init_amaa, Data.Set.Internal.empty #) in readFail_ambi SP.ExceptionFailure inp_amaT farInp_ambn farExp_ambo else let _ = "checkHorizon.else" in let failExp_ambp = Data.Set.Internal.Bin 1 (SP.SomeFailure (case inputToken of { (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_aLiK) -> SP.FailureHorizon @tok'_aLiK 1 })) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_ambq, farExp_ambr #) = case ((GHC.Classes.compare @GHC.Types.Int) init_amaa) inp_amaT of GHC.Types.LT -> (# inp_amaT, failExp_ambp #) GHC.Types.EQ -> (# init_amaa, (failExp_ambp GHC.Base.<> Data.Set.Internal.empty) #) GHC.Types.GT -> (# init_amaa, Data.Set.Internal.empty #) in readFail_ambi SP.ExceptionFailure inp_amaT farInp_ambq farExp_ambr else let _ = "choicesBranch.else" in if (62 GHC.Classes.== c_ambf) then let _ = "choicesBranch.then" in let readFail_ambs = readFail_ambe in if readMore_amab inp_amaT then let !(# c_ambt, cs_ambu #) = readNext_amac inp_amaT in if (\ x_ambv -> GHC.Types.True) c_ambt then let _ = "resume" in join_1s init_amaa Data.Set.Internal.empty (let _ = "resume.genCode" in Parsers.Brainfuck.Types.Forward) cs_ambu else let _ = "checkToken.else" in let failExp_ambw = Data.Set.Internal.Bin 1 (SP.SomeFailure (case inputToken of { (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_aLiK) -> SP.FailureAny @tok'_aLiK })) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_ambx, farExp_amby #) = case GHC.Classes.compare @GHC.Types.Int init_amaa inp_amaT of GHC.Types.LT -> (# inp_amaT, failExp_ambw #) GHC.Types.EQ -> (# init_amaa, (failExp_ambw GHC.Base.<> Data.Set.Internal.empty) #) GHC.Types.GT -> (# init_amaa, Data.Set.Internal.empty #) in (((readFail_ambs SP.ExceptionFailure) inp_amaT) farInp_ambx) farExp_amby else let _ = "checkHorizon.else" in let failExp_ambz = Data.Set.Internal.Bin 1 (SP.SomeFailure (case inputToken of { (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_aLiK) -> SP.FailureHorizon @tok'_aLiK 1 })) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_ambA, farExp_ambB #) = case GHC.Classes.compare @GHC.Types.Int init_amaa inp_amaT of GHC.Types.LT -> (# inp_amaT, failExp_ambz #) GHC.Types.EQ -> (# init_amaa, (failExp_ambz GHC.Base.<> Data.Set.Internal.empty) #) GHC.Types.GT -> (# init_amaa, Data.Set.Internal.empty #) in readFail_ambs SP.ExceptionFailure inp_amaT farInp_ambA farExp_ambB else let _ = "choicesBranch.else" in if (43 GHC.Classes.== c_ambf) then let _ = "choicesBranch.then" in let readFail_ambC = readFail_ambe in if readMore_amab inp_amaT then let !(# c_ambD, cs_ambE #) = readNext_amac inp_amaT in if (\ x_ambF -> GHC.Types.True) c_ambD then let _ = "resume" in join_1s init_amaa Data.Set.Internal.empty (let _ = "resume.genCode" in Parsers.Brainfuck.Types.Increment) cs_ambE else let _ = "checkToken.else" in let failExp_ambG = Data.Set.Internal.Bin 1 (SP.SomeFailure (case inputToken of { (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_aLiK) -> SP.FailureAny @tok'_aLiK })) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_ambH, farExp_ambI #) = case GHC.Classes.compare @GHC.Types.Int init_amaa inp_amaT of GHC.Types.LT -> (# inp_amaT, failExp_ambG #) GHC.Types.EQ -> (# init_amaa, (failExp_ambG GHC.Base.<> Data.Set.Internal.empty) #) GHC.Types.GT -> (# init_amaa, Data.Set.Internal.empty #) in readFail_ambC SP.ExceptionFailure inp_amaT farInp_ambH farExp_ambI else let _ = "checkHorizon.else" in let failExp_ambJ = Data.Set.Internal.Bin 1 (SP.SomeFailure (case inputToken of { (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_aLiK) -> SP.FailureHorizon @tok'_aLiK 1 })) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_ambK, farExp_ambL #) = case ((GHC.Classes.compare @GHC.Types.Int) init_amaa) inp_amaT of GHC.Types.LT -> (# inp_amaT, failExp_ambJ #) GHC.Types.EQ -> (# init_amaa, (failExp_ambJ GHC.Base.<> Data.Set.Internal.empty) #) GHC.Types.GT -> (# init_amaa, Data.Set.Internal.empty #) in readFail_ambC SP.ExceptionFailure inp_amaT farInp_ambK farExp_ambL else let _ = "choicesBranch.else" in if (45 GHC.Classes.== c_ambf) then let _ = "choicesBranch.then" in let readFail_ambM = readFail_ambe in if readMore_amab inp_amaT then let !(# c_ambN, cs_ambO #) = readNext_amac inp_amaT in if (\ x_ambP -> GHC.Types.True) c_ambN then let _ = "resume" in join_1s init_amaa Data.Set.Internal.empty (let _ = "resume.genCode" in Parsers.Brainfuck.Types.Decrement) cs_ambO else let _ = "checkToken.else" in let failExp_ambQ = Data.Set.Internal.Bin 1 (SP.SomeFailure (case inputToken of { (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_aLiK) -> SP.FailureAny @tok'_aLiK })) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_ambR, farExp_ambS #) = case GHC.Classes.compare @GHC.Types.Int init_amaa inp_amaT of GHC.Types.LT -> (# inp_amaT, failExp_ambQ #) GHC.Types.EQ -> (# init_amaa, (failExp_ambQ GHC.Base.<> Data.Set.Internal.empty) #) GHC.Types.GT -> (# init_amaa, Data.Set.Internal.empty #) in readFail_ambM SP.ExceptionFailure inp_amaT farInp_ambR farExp_ambS else let _ = "checkHorizon.else" in let failExp_ambT = Data.Set.Internal.Bin 1 (SP.SomeFailure (case inputToken of { (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_aLiK) -> SP.FailureHorizon @tok'_aLiK 1 })) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_ambU, farExp_ambV #) = case GHC.Classes.compare @GHC.Types.Int init_amaa inp_amaT of GHC.Types.LT -> (# inp_amaT, failExp_ambT #) GHC.Types.EQ -> (# init_amaa, (failExp_ambT GHC.Base.<> Data.Set.Internal.empty) #) GHC.Types.GT -> (# init_amaa, Data.Set.Internal.empty #) in readFail_ambM SP.ExceptionFailure inp_amaT farInp_ambU farExp_ambV else let _ = "choicesBranch.else" in if (44 GHC.Classes.== c_ambf) then let _ = "choicesBranch.then" in let readFail_ambW = readFail_ambe in if readMore_amab inp_amaT then let !(# c_ambX, cs_ambY #) = readNext_amac inp_amaT in if (\ x_ambZ -> GHC.Types.True) c_ambX then let _ = "resume" in join_1s init_amaa Data.Set.Internal.empty (let _ = "resume.genCode" in Parsers.Brainfuck.Types.Input) cs_ambY else let _ = "checkToken.else" in let failExp_amc0 = Data.Set.Internal.Bin 1 (SP.SomeFailure (case inputToken of { (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_aLiK) -> SP.FailureAny @tok'_aLiK })) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_amc1, farExp_amc2 #) = case GHC.Classes.compare @GHC.Types.Int init_amaa inp_amaT of GHC.Types.LT -> (# inp_amaT, failExp_amc0 #) GHC.Types.EQ -> (# init_amaa, (failExp_amc0 GHC.Base.<> Data.Set.Internal.empty) #) GHC.Types.GT -> (# init_amaa, Data.Set.Internal.empty #) in readFail_ambW SP.ExceptionFailure inp_amaT farInp_amc1 farExp_amc2 else let _ = "checkHorizon.else" in let failExp_amc3 = Data.Set.Internal.Bin 1 (SP.SomeFailure (case inputToken of { (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_aLiK) -> SP.FailureHorizon @tok'_aLiK 1 })) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_amc4, farExp_amc5 #) = case GHC.Classes.compare @GHC.Types.Int init_amaa inp_amaT of GHC.Types.LT -> (# inp_amaT, failExp_amc3 #) GHC.Types.EQ -> (# init_amaa, (failExp_amc3 GHC.Base.<> Data.Set.Internal.empty) #) GHC.Types.GT -> (# init_amaa, Data.Set.Internal.empty #) in readFail_ambW SP.ExceptionFailure inp_amaT farInp_amc4 farExp_amc5 else let _ = "choicesBranch.else" in if (46 GHC.Classes.== c_ambf) then let _ = "choicesBranch.then" in let readFail_amc6 = readFail_ambe in if readMore_amab inp_amaT then let !(# c_amc7, cs_amc8 #) = readNext_amac inp_amaT in if (\ x_amc9 -> GHC.Types.True) c_amc7 then let _ = "resume" in join_1s init_amaa Data.Set.Internal.empty (let _ = "resume.genCode" in Parsers.Brainfuck.Types.Output) cs_amc8 else let _ = "checkToken.else" in let failExp_amca = Data.Set.Internal.Bin 1 (SP.SomeFailure (case inputToken of { (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_aLiK) -> SP.FailureAny @tok'_aLiK })) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_amcb, farExp_amcc #) = case GHC.Classes.compare @GHC.Types.Int init_amaa inp_amaT of GHC.Types.LT -> (# inp_amaT, failExp_amca #) GHC.Types.EQ -> (# init_amaa, (failExp_amca GHC.Base.<> Data.Set.Internal.empty) #) GHC.Types.GT -> (# init_amaa, Data.Set.Internal.empty #) in readFail_amc6 SP.ExceptionFailure inp_amaT farInp_amcb farExp_amcc else let _ = "checkHorizon.else" in let failExp_amcd = Data.Set.Internal.Bin 1 (SP.SomeFailure (case inputToken of { (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_aLiK) -> SP.FailureHorizon @tok'_aLiK 1 })) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_amce, farExp_amcf #) = case GHC.Classes.compare @GHC.Types.Int init_amaa inp_amaT of GHC.Types.LT -> (# inp_amaT, failExp_amcd #) GHC.Types.EQ -> (# init_amaa, (failExp_amcd GHC.Base.<> Data.Set.Internal.empty) #) GHC.Types.GT -> (# init_amaa, Data.Set.Internal.empty #) in readFail_amc6 SP.ExceptionFailure inp_amaT farInp_amce farExp_amcf else let _ = "choicesBranch.else" in if (91 GHC.Classes.== c_ambf) then let _ = "choicesBranch.then" in let readFail_amcg = readFail_ambe in if readMore_amab ((GHC.Num.+) @GHC.Types.Int 1 inp_amaT) then let !(# c_amch, cs_amci #) = readNext_amac inp_amaT in if (\ x_amcj -> GHC.Types.True) c_amch then name_1 (let _ = "suspend" in \ farInp_amck farExp_amcl v_amcm !inp_amcn -> name_2 (let _ = "suspend" in \ farInp_amco farExp_amcp v_amcq !inp_amcr -> let readFail_amcs = readFail_amcg in if readMore_amab inp_amcr then let !(# c_amct, cs_amcu #) = readNext_amac inp_amcr in if (93 GHC.Classes.==) c_amct then let _ = "resume" in join_1s farInp_amco farExp_amcp (let _ = "resume.genCode" in Parsers.Brainfuck.Types.Loop v_amcq) cs_amcu else let _ = "checkToken.else" in readFail_amcs SP.ExceptionFailure inp_amcr farInp_amco farExp_amcp else let _ = "checkHorizon.else" in let failExp_amcv = Data.Set.Internal.Bin 1 (SP.SomeFailure (case inputToken of { (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_aLiK) -> SP.FailureHorizon @tok'_aLiK 1 })) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_amcw, farExp_amcx #) = case GHC.Classes.compare @GHC.Types.Int farInp_amco inp_amcr of GHC.Types.LT -> (# inp_amcr, failExp_amcv #) GHC.Types.EQ -> (# farInp_amco, (failExp_amcv GHC.Base.<> farExp_amcp) #) GHC.Types.GT -> (# farInp_amco, farExp_amcp #) in readFail_amcs SP.ExceptionFailure inp_amcr farInp_amcw farExp_amcx) inp_amcn (Data.Map.Internal.Bin 1 SP.ExceptionFailure readFail_amcg Data.Map.Internal.Tip Data.Map.Internal.Tip)) cs_amci (Data.Map.Internal.Bin 1 SP.ExceptionFailure readFail_amcg Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "checkToken.else" in let failExp_amcy = Data.Set.Internal.Bin 1 (SP.SomeFailure (case inputToken of { (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_aLiK) -> SP.FailureAny @tok'_aLiK })) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_amcz, farExp_amcA #) = case GHC.Classes.compare @GHC.Types.Int init_amaa inp_amaT of GHC.Types.LT -> (# inp_amaT, failExp_amcy #) GHC.Types.EQ -> (# init_amaa, (failExp_amcy GHC.Base.<> Data.Set.Internal.empty) #) GHC.Types.GT -> (# init_amaa, Data.Set.Internal.empty #) in readFail_amcg SP.ExceptionFailure inp_amaT farInp_amcz farExp_amcA else let _ = "checkHorizon.else" in let failExp_amcB = Data.Set.Internal.Bin 1 (SP.SomeFailure (case inputToken of { (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_aLiK) -> SP.FailureHorizon @tok'_aLiK 2 })) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_amcC, farExp_amcD #) = case GHC.Classes.compare @GHC.Types.Int init_amaa inp_amaT of GHC.Types.LT -> (# inp_amaT, failExp_amcB #) GHC.Types.EQ -> (# init_amaa, (failExp_amcB GHC.Base.<> Data.Set.Internal.empty) #) GHC.Types.GT -> (# init_amaa, Data.Set.Internal.empty #) in readFail_amcg SP.ExceptionFailure inp_amaT farInp_amcC farExp_amcD else let _ = "choicesBranch.else" in let failExp_amcE = Data.Set.Internal.Bin 1 (SP.SomeFailure SP.FailureEmpty) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_amcF, farExp_amcG #) = case ((GHC.Classes.compare @GHC.Types.Int) init_amaa) inp_amaT of GHC.Types.LT -> (# inp_amaT, failExp_amcE #) GHC.Types.EQ -> (# init_amaa, (failExp_amcE GHC.Base.<> Data.Set.Internal.empty) #) GHC.Types.GT -> (# init_amaa, Data.Set.Internal.empty #) in readFail_ambe SP.ExceptionFailure inp_amaT farInp_amcF farExp_amcG else let _ = "checkToken.else" in let failExp_amcH = Data.Set.Internal.Bin 1 (SP.SomeFailure (case inputToken of { (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_aLiK) -> SP.FailureAny @tok'_aLiK })) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_amcI, farExp_amcJ #) = case GHC.Classes.compare @GHC.Types.Int init_amaa inp_amaT of GHC.Types.LT -> (# inp_amaT, failExp_amcH #) GHC.Types.EQ -> (# init_amaa, (failExp_amcH GHC.Base.<> Data.Set.Internal.empty) #) GHC.Types.GT -> (# init_amaa, Data.Set.Internal.empty #) in readFail_ambe SP.ExceptionFailure inp_amaT farInp_amcI farExp_amcJ else let _ = "checkHorizon.else" in let failExp_amcK = Data.Set.Internal.Bin 1 (SP.SomeFailure (case inputToken of { (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_aLiK) -> SP.FailureHorizon @tok'_aLiK 1 })) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_amcL, farExp_amcM #) = case GHC.Classes.compare @GHC.Types.Int init_amaa inp_amaT of GHC.Types.LT -> (# inp_amaT, failExp_amcK #) GHC.Types.EQ -> (# init_amaa, (failExp_amcK GHC.Base.<> Data.Set.Internal.empty) #) GHC.Types.GT -> (# init_amaa, Data.Set.Internal.empty #) in readFail_ambe SP.ExceptionFailure inp_amaT farInp_amcL farExp_amcM name_4 = \ !ok_amax !inp_amay !koByLabel_amaz -> let _ = "catch ExceptionFailure" in let catchHandler_amaA !_exn_amaB !failInp_amaC !farInp_amaD !farExp_amaE = let _ = "catch.ko ExceptionFailure" in if (GHC.Classes.==) @GHC.Types.Int inp_amay failInp_amaC then let _ = "choicesBranch.then" in let _ = "resume" in ok_amax farInp_amaD farExp_amaE (let _ = "resume.genCode" in \ x_amaF -> x_amaF) failInp_amaC else let _ = "choicesBranch.else" in Data.Map.Strict.Internal.findWithDefault finalRaise_amad SP.ExceptionFailure koByLabel_amaz SP.ExceptionFailure failInp_amaC farInp_amaD farExp_amaE in let readFail_amaG = catchHandler_amaA in if readMore_amab inp_amay then let !(# c_amaH, cs_amaI #) = readNext_amac inp_amay in if (\ c_amaJ -> GHC.Classes.not ((60 GHC.Classes.== c_amaJ) GHC.Classes.|| ((62 GHC.Classes.== c_amaJ) GHC.Classes.|| ((43 GHC.Classes.== c_amaJ) GHC.Classes.|| ((45 GHC.Classes.== c_amaJ) GHC.Classes.|| ((44 GHC.Classes.== c_amaJ) GHC.Classes.|| ((46 GHC.Classes.== c_amaJ) GHC.Classes.|| ((91 GHC.Classes.== c_amaJ) GHC.Classes.|| ((93 GHC.Classes.== c_amaJ) GHC.Classes.|| GHC.Types.False))))))))) c_amaH then name_4 (let _ = "suspend" in \ farInp_amaK farExp_amaL v_amaM !inp_amaN -> let _ = "resume" in ok_amax farInp_amaK farExp_amaL (let _ = "resume.genCode" in \ x_amaO -> v_amaM x_amaO) inp_amaN) cs_amaI (Data.Map.Internal.Bin 1 SP.ExceptionFailure readFail_amaG Data.Map.Internal.Tip Data.Map.Internal.Tip) else let _ = "checkToken.else" in readFail_amaG SP.ExceptionFailure inp_amay init_amaa Data.Set.Internal.empty else let _ = "checkHorizon.else" in let failExp_amaP = Data.Set.Internal.Bin 1 (SP.SomeFailure (case inputToken of { (Data.Proxy.Proxy :: Data.Proxy.Proxy tok'_aLiK) -> SP.FailureHorizon @tok'_aLiK 1 })) Data.Set.Internal.Tip Data.Set.Internal.Tip in let (# farInp_amaQ, farExp_amaR #) = case GHC.Classes.compare @GHC.Types.Int init_amaa inp_amay of GHC.Types.LT -> (# inp_amay, failExp_amaP #) GHC.Types.EQ -> (# init_amaa, (failExp_amaP GHC.Base.<> Data.Set.Internal.empty) #) GHC.Types.GT -> (# init_amaa, Data.Set.Internal.empty #) in readFail_amaG SP.ExceptionFailure inp_amay farInp_amaQ farExp_amaR in name_1 (let _ = "suspend" in \ farInp_amd1 farExp_amd2 v_amd3 !inp_amd4 -> name_2 (let _ = "suspend" in \ farInp_amd5 farExp_amd6 v_amd7 !inp_amd8 -> let _ = "resume" in finalRet_ama9 farInp_amd5 farExp_amd6 (let _ = "resume.genCode" in v_amd7) inp_amd8) inp_amd4 Data.Map.Internal.Tip) init_amaa Data.Map.Internal.Tip