sbv-14.0: SBVTestSuite/TestSuite/CompileTests/SCase/SCase58.stderr

SCase58.hs:(13,15)-(17,9): Splicing expression
    ghc-internal:GHC.Internal.TH.Quote.quoteExp
      sCase
      " xs of\n\
      \                []          -> 0\n\
      \                a : (b : _) -> a + b\n\
      \                _ : _       -> 1\n\
      \       "
  ======>
    ite
      (Data.SBV.List.null xs) 0
      (ite
         ((.&&)
            (sNot (Data.SBV.List.null xs))
            ((\ a _
                -> const
                     ((.&&)
                        (sNot (Data.SBV.List.null (Data.SBV.List.tail xs)))
                        ((.===)
                           (Data.SBV.List.tail xs)
                           (Data.SBV.List.head (Data.SBV.List.tail xs)
                              .: Data.SBV.List.tail (Data.SBV.List.tail xs))))
                     a)
               (Data.SBV.List.head xs) (Data.SBV.List.tail xs)))
         ((\ a _
             -> let b = Data.SBV.List.head (Data.SBV.List.tail xs) in a + b)
            (Data.SBV.List.head xs) (Data.SBV.List.tail xs))
         ((\ _ _ -> 1) (Data.SBV.List.head xs) (Data.SBV.List.tail xs)))