test/Golden/Splice/G2.hs:0:0:: Splicing expression
    P.runParser @Text Grammar.g2
  ======>
    \ (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 _ = ("catchException lbl=" <> "fail") in
         let
           readFail
             = \ !failInp !farInp !farExp
                 -> let
                      (# farInp, farExp #)
                        = case ((compare `Data.Function.on` P.offset) farInp) init of
                            LT -> (# init, [] #)
                            EQ -> (# farInp, (farExp <> []) #)
                            GT -> (# farInp, farExp #)
                    in ((finalRaise init) farInp) farExp
         in
           if readMore ((P.shiftRightText 2) init) then
               let !(# c, cs #) = readNext init
               in
                 if ('a' ==) c then
                     let readFail = readFail in
                     let !(# c, cs #) = readNext cs
                     in
                       if ('b' ==) c then
                           let readFail = readFail in
                           let !(# c, cs #) = readNext cs
                           in
                             if ('c' ==) c then
                                 let _ = "resume"
                                 in
                                   (((finalRet init) [])
                                      (let _ = "resume.genCode"
                                       in
                                         ((\ x -> \ x -> x x)
                                            (((\ x -> \ x -> x x)
                                                (((\ x -> \ x -> x x)
                                                    (\ x
                                                       -> \ x -> \ x -> ('a' : ('b' : ('c' : [])))))
                                                   c))
                                               c))
                                           c))
                                     cs
                             else
                                 let _ = "checkToken.else" in
                                 let
                                   (# farInp, farExp #)
                                     = case ((compare `Data.Function.on` P.offset) init) cs of
                                         LT -> (# cs, [P.ErrorItemToken 'c'] #)
                                         EQ -> (# init, ([] <> [P.ErrorItemToken 'c']) #)
                                         GT -> (# init, [] #)
                                 in ((readFail cs) farInp) farExp
                       else
                           let _ = "checkToken.else" in
                           let
                             (# farInp, farExp #)
                               = case ((compare `Data.Function.on` P.offset) init) cs of
                                   LT -> (# cs, [P.ErrorItemToken 'b'] #)
                                   EQ -> (# init, ([] <> [P.ErrorItemToken 'b']) #)
                                   GT -> (# init, [] #)
                           in ((readFail cs) farInp) farExp
                 else
                     let _ = "checkToken.else" in
                     let
                       (# farInp, farExp #)
                         = case ((compare `Data.Function.on` P.offset) init) init of
                             LT -> (# init, [P.ErrorItemToken 'a'] #)
                             EQ -> (# init, ([] <> [P.ErrorItemToken 'a']) #)
                             GT -> (# init, [] #)
                     in ((readFail init) farInp) farExp
           else
               let _ = "checkHorizon.else" in
               let
                 (# farInp, farExp #)
                   = case ((compare `Data.Function.on` P.offset) init) init of
                       LT -> (# init, [P.ErrorItemHorizon 3] #)
                       EQ -> (# init, ([] <> [P.ErrorItemHorizon 3]) #)
                       GT -> (# init, [] #)
               in ((readFail init) farInp) farExp