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