test/Golden/Splice/G3.hs:0:0:: Splicing expression
    P.runParser @Text Grammar.g3
  ======>
    \ (input :: inp)
      -> let
           !(# init, readMore, readNext #)
             = let _ = "cursorOf" in
               let
                 next t@(Data.Text.Internal.Text arr off unconsumed)
                   = let !(Data.Text.Unsafe.Iter c d) = (Data.Text.Unsafe.iter t) 0
                     in
                       (# c, ((Data.Text.Internal.Text arr) (off + d)) (unconsumed - d) #)
                 more (Data.Text.Internal.Text _ _ unconsumed) = (unconsumed > 0)
               in (# input, more, next #) in
         let finalRet = \ _farInp _farExp v _inp -> Right v in
         let
           finalRaise :: forall b. P.Catcher inp b
             = \ _failInp !farInp !farExp
                 -> Left
                      P.ParsingErrorStandard
                        {P.parsingErrorOffset = P.offset farInp,
                         P.parsingErrorUnexpected = if readMore farInp then
                                                        Just (let (# c, _ #) = readNext farInp in c)
                                                    else
                                                        Nothing,
                         P.parsingErrorExpecting = Data.Set.Internal.fromList farExp} in
         let
           name
             = \ !ok !inp !koByLabel
                 -> let _ = ("catchException lbl=" <> "fail") in
                    let
                      readFail
                        = \ !failInp !farInp !farExp
                            -> if (\ x -> x)
                                    (((\ (Data.Text.Internal.Text _ i _)
                                         (Data.Text.Internal.Text _ j _)
                                         -> (i == j))
                                        inp)
                                       failInp) then
                                   let _ = "resume"
                                   in
                                     (((ok farInp) farExp) (let _ = "resume.genCode" in \ x -> x))
                                       failInp
                               else
                                   let
                                     (# farInp, farExp #)
                                       = case
                                             ((compare `Data.Function.on` P.offset) farInp) failInp
                                         of
                                           LT -> (# failInp, [] #)
                                           EQ -> (# farInp, (farExp <> []) #)
                                           GT -> (# farInp, farExp #)
                                   in
                                     (((((Data.Map.Strict.Internal.findWithDefault finalRaise)
                                           "fail")
                                          koByLabel)
                                         failInp)
                                        farInp)
                                       farExp
                    in
                      if readMore inp then
                          let !(# c, cs #) = readNext inp
                          in
                            if ('a' ==) c then
                                let
                                  _ = "call exceptionsByName(name_1)=[] catchStackByLabel(ctx)=["fail"]"
                                in
                                  ((name
                                      (let
                                         _ = "suspend raiseException=fromList [(name_1,fromList [])]"
                                       in
                                         \ farInp farExp v !inp
                                           -> let _ = "resume"
                                              in
                                                (((ok farInp) farExp)
                                                   (let _ = "resume.genCode"
                                                    in
                                                      ((\ x -> \ x -> x x)
                                                         (((\ x -> \ x -> x x)
                                                             (\ x -> \ x -> \ x -> ('a' : x x)))
                                                            c))
                                                        v))
                                                  inp))
                                     cs)
                                    Data.Map.Internal.Tip
                            else
                                let _ = "checkToken.else" in
                                let
                                  (# farInp, farExp #)
                                    = case ((compare `Data.Function.on` P.offset) init) inp of
                                        LT -> (# inp, [P.ErrorItemToken 'a'] #)
                                        EQ -> (# init, ([] <> [P.ErrorItemToken 'a']) #)
                                        GT -> (# init, [] #)
                                in ((readFail inp) farInp) farExp
                      else
                          let _ = "checkHorizon.else" in
                          let
                            (# farInp, farExp #)
                              = case ((compare `Data.Function.on` P.offset) init) inp of
                                  LT -> (# inp, [P.ErrorItemHorizon 1] #)
                                  EQ -> (# init, ([] <> [P.ErrorItemHorizon 1]) #)
                                  GT -> (# init, [] #)
                          in ((readFail inp) farInp) farExp in
         let
           _ = "call exceptionsByName(name_1)=["fail"] catchStackByLabel(ctx)=[]"
         in
           ((name
               (let
                  _ = "suspend raiseException=fromList [(name_1,fromList [("fail",())])]"
                in
                  \ farInp farExp v !inp
                    -> let _ = "resume"
                       in
                         (((finalRet farInp) farExp)
                            (let _ = "resume.genCode"
                             in ((\ x -> \ x -> x x) (\ x -> x [])) v))
                           inp))
              init)
             Data.Map.Internal.Tip