packages feed

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

SCase74.hs:(11,16)-(15,10): Splicing expression
    ghc-internal:GHC.Internal.TH.Quote.quoteExp
      sCase
      " x of\n\
      \                 0         -> y\n\
      \                 _ | x .> y -> x\n\
      \                   | sTrue  -> y\n\
      \        "
  ======>
    ite ((.==) x 0) y (ite (x .> y) x y)