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

SCase90.hs:(12,16)-(20,9): Splicing expression
    ghc-internal:GHC.Internal.TH.Quote.quoteExp
      sCase
      " e of\n\
      \                Zero      -> case m of\n\
      \                               Nothing -> 0\n\
      \                               Just v  -> v\n\
      \                Num k     -> k\n\
      \                Var _     -> -1\n\
      \                Add a b   -> t a m + t b m\n\
      \                Let _ _ b -> t b m\n\
      \       "
  ======>
    sCaseExpr
      (Data.SBV.Maybe.sCaseMaybe 0 (\ v -> v) m) (\ k -> k)
      (\ _ -> negate 1) (\ a b -> (t a m) + t b m) (\ _ _ b -> t b m) e