packages feed

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

SCase93.hs:(12,16)-(22,9): Splicing expression
    ghc-internal:GHC.Internal.TH.Quote.quoteExp
      sCase
      " e of\n\
      \                Zero      -> case b of\n\
      \                               True  -> 1\n\
      \                               False -> 0\n\
      \                Num k     -> case b of\n\
      \                               True  -> k\n\
      \                               False -> -k\n\
      \                Var _     -> -1\n\
      \                Add a _   -> t a b\n\
      \                Let _ _ c -> t c b\n\
      \       "
  ======>
    sCaseExpr
      (ite b 1 0) (\ k -> ite b k (negate k)) (\ _ -> negate 1)
      (\ a _ -> t a b) (\ _ _ c -> t c b) e