packages feed

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

SCase69.hs:(11,14)-(14,8): Splicing expression
    ghc-internal:GHC.Internal.TH.Quote.quoteExp
      sCase
      " x of\n\
      \               _ | x .> 0 -> x\n\
      \                 | sTrue   -> -x\n\
      \      "
  ======>
    ite (x .> 0) x (negate x)