{-# 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.Parser.Haskell 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