sbv-14.0: SBVTestSuite/TestSuite/CompileTests/SCase/SCase79.stderr
SCase79.hs:(11,16)-(15,10): Splicing expression
ghc-internal:GHC.Internal.TH.Quote.quoteExp
sCase
" b of\n\
\ True | x .> 0 -> x\n\
\ True -> 0\n\
\ False -> -x\n\
\ "
======>
ite ((.&&) b (x .> 0)) x (ite b 0 (negate x))