sbv-14.0: SBVTestSuite/TestSuite/CompileTests/SCase/SCase77.stderr
SCase77.hs:(12,18)-(16,13): Splicing expression
ghc-internal:GHC.Internal.TH.Quote.quoteExp
sCase
" x of\n\
\ 0 -> 0\n\
\ 1 -> 1\n\
\ n -> ite (n .> 0) 100 (-100)\n\
\ "
======>
ite
((.==) x 0) 0
(ite ((.==) x 1) 1 (let n = x in ite (n .> 0) 100 (negate 100)))