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