sbv-14.0: SBVTestSuite/TestSuite/CompileTests/SCase/SCase75.stderr
SCase75.hs:(11,14)-(15,8): Splicing expression
ghc-internal:GHC.Internal.TH.Quote.quoteExp
sCase
" s of\n\
\ \"hello\" -> 1\n\
\ \"world\" -> 2\n\
\ _ -> 0\n\
\ "
======>
ite
((.==) s (literal "hello")) 1 (ite ((.==) s (literal "world")) 2 0)