test/Golden/Splice/G5.hs:0:0:: Splicing expression
    P.runParser @Text Grammar.g5
  ======>
    \ (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
                            -> let
                                 (# farInp, farExp #)
                                   = case ((compare `Data.Function.on` P.offset) farInp) inp of
                                       LT -> (# inp, [] #)
                                       EQ -> (# farInp, (farExp <> []) #)
                                       GT -> (# farInp, farExp #)
                               in
                                 (((((Data.Map.Strict.Internal.findWithDefault finalRaise) "fail")
                                      koByLabel)
                                     inp)
                                    farInp)
                                   farExp
                    in
                      if readMore ((P.shiftRightText 3) inp) then
                          let !(# c, cs #) = readNext inp
                          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 readFail = readFail in
                                            let !(# c, cs #) = readNext cs
                                            in
                                              if ('d' ==) c then
                                                  let _ = "resume"
                                                  in
                                                    (((ok init) [])
                                                       (let _ = "resume.genCode"
                                                        in
                                                          ((\ x -> \ x -> x x)
                                                             (((\ x -> \ x -> x x)
                                                                 (((\ x -> \ x -> x x)
                                                                     (((\ x -> \ x -> x x)
                                                                         (\ x
                                                                            -> \ x
                                                                                 -> \ x
                                                                                      -> \ x
                                                                                           -> ('a'
                                                                                                 : ('b'
                                                                                                      : ('c'
                                                                                                           : ('d'
                                                                                                                : []))))))
                                                                        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 'd'] #)
                                                          EQ
                                                            -> (# init, 
                                                                  ([] <> [P.ErrorItemToken 'd']) #)
                                                          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 '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) 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 4] #)
                                  EQ -> (# init, ([] <> [P.ErrorItemHorizon 4]) #)
                                  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
                         name
                           = \ !ok !inp !koByLabel
                               -> let _ = ("catchException lbl=" <> "fail") in
                                  let
                                    _ = "call exceptionsByName(name_1)=["fail"] catchStackByLabel(ctx)=["fail"]"
                                  in
                                    ((name
                                        (let
                                           _ = "suspend raiseException=fromList [(name_1,fromList [("fail",())]),(name_2,fromList [])]"
                                         in
                                           \ farInp farExp v !inp
                                             -> let
                                                  _ = "call exceptionsByName(name_2)=[] catchStackByLabel(ctx)=["fail"]"
                                                in
                                                  ((name
                                                      (let
                                                         _ = "suspend raiseException=fromList [(name_1,fromList [("fail",())]),(name_2,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
                                                                                          -> (x : x x)))
                                                                            v))
                                                                        v))
                                                                  inp))
                                                     inp)
                                                    Data.Map.Internal.Tip))
                                       inp)
                                      (((((Data.Map.Internal.Bin 1) "fail")
                                           (\ !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))
                                          Data.Map.Internal.Tip)
                                         Data.Map.Internal.Tip) in
                       let
                         _ = "call exceptionsByName(name_2)=["fail"] catchStackByLabel(ctx)=[]"
                       in
                         ((name
                             (let
                                _ = "suspend raiseException=fromList [(name_1,fromList [("fail",())]),(name_2,fromList [("fail",())])]"
                              in
                                \ farInp farExp v !inp
                                  -> let
                                       join
                                         = \ farInp farExp v !inp
                                             -> let _ = "resume"
                                                in
                                                  (((finalRet farInp) farExp)
                                                     (let _ = "resume.genCode"
                                                      in
                                                        ((\ x -> \ x -> x x)
                                                           (((\ x -> \ x -> x x)
                                                               (((\ x -> \ x -> x x)
                                                                   (\ x
                                                                      -> \ x -> \ x -> (x : x [])))
                                                                  v))
                                                              v))
                                                          v))
                                                    inp in
                                     let _ = ("catchException lbl=" <> "fail") in
                                     let _ = ("catchException lbl=" <> "fail") in
                                     let
                                       readFail
                                         = \ !failInp !farInp !farExp
                                             -> let _ = "resume"
                                                in
                                                  (((join farInp) farExp)
                                                     (let _ = "resume.genCode" in ()))
                                                    inp
                                     in
                                       if readMore inp then
                                           let !(# c, cs #) = readNext inp
                                           in
                                             if (\ x -> True) c then
                                                 let
                                                   (# farInp, farExp #)
                                                     = case
                                                           ((compare `Data.Function.on` P.offset)
                                                              farInp)
                                                             inp
                                                       of
                                                         LT -> (# inp, [] #)
                                                         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))
                                                                    inp)
                                                                   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)
                                                       inp)
                                                      farInp)
                                                     farExp
                                             else
                                                 let _ = "checkToken.else" in
                                                 let
                                                   (# farInp, farExp #)
                                                     = case
                                                           ((compare `Data.Function.on` P.offset)
                                                              farInp)
                                                             inp
                                                       of
                                                         LT -> (# inp, [] #)
                                                         EQ -> (# farInp, (farExp <> []) #)
                                                         GT -> (# farInp, farExp #)
                                                 in ((readFail inp) farInp) farExp
                                       else
                                           let _ = "checkHorizon.else" in
                                           let
                                             (# farInp, farExp #)
                                               = case
                                                     ((compare `Data.Function.on` P.offset) farInp)
                                                       inp
                                                 of
                                                   LT -> (# inp, [P.ErrorItemHorizon 1] #)
                                                   EQ
                                                     -> (# farInp, 
                                                           (farExp <> [P.ErrorItemHorizon 1]) #)
                                                   GT -> (# farInp, farExp #)
                                           in ((readFail inp) farInp) farExp))
                            inp)
                           Data.Map.Internal.Tip))
              init)
             Data.Map.Internal.Tip