packages feed

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

SCase49.hs:(12,14)-(18,8): Splicing expression
    ghc-internal:GHC.Internal.TH.Quote.quoteExp
      sCase
      " e of\n\
      \               Zero          -> 0\n\
      \               Num i         -> i\n\
      \               Var _         -> 1\n\
      \               Add _ _       -> 2\n\
      \               Let _ _ _     -> 3\n\
      \      "
  ======>
    sCaseExpr 0 (\ i -> i) (\ _ -> 1) (\ _ _ -> 2) (\ _ _ _ -> 3) e