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

SCase54.hs:(11,14)-(14,8): Splicing expression
    ghc-internal:GHC.Internal.TH.Quote.quoteExp
      sCase
      " m of\n\
      \               Nothing -> 0\n\
      \               Just x  -> x + 1\n\
      \      "
  ======>
    Data.SBV.Maybe.sCaseMaybe 0 (\ x -> x + 1) m