sbv-14.0: SBVTestSuite/TestSuite/CompileTests/SCase/SCase71.stderr
SCase71.hs:(11,14)-(16,8): Splicing expression
ghc-internal:GHC.Internal.TH.Quote.quoteExp
sCase
" x of\n\
\ 0 -> 10\n\
\ 1 -> 20\n\
\ 2 -> 30\n\
\ _ -> x\n\
\ "
======>
ite ((.==) x 0) 10 (ite ((.==) x 1) 20 (ite ((.==) x 2) 30 x))