sbv-14.0: SBVTestSuite/TestSuite/CompileTests/PCase/PCase63.stderr

PCase63.hs:(19,15)-(22,9): Splicing expression
    ghc-internal:GHC.Internal.TH.Quote.quoteExp
      pCase
      " xs of\n\
      \         []    -> xs .== xs =: qed\n\
      \         _ : _ -> xs .== xs =: qed\n\
      \       "
  ======>
    cases
      [(Data.SBV.List.null xs ==> (xs .== xs =: qed)),
       ((.&&)
          (sNot (Data.SBV.List.null xs))
          ((.===) xs (Data.SBV.List.head xs .: Data.SBV.List.tail xs))
          ==> (xs .== xs =: qed))]