sbv-14.0: SBVTestSuite/TestSuite/CompileTests/SCase/SCase68.stderr
SCase68.hs:(11,14)-(13,8): Splicing expression
ghc-internal:GHC.Internal.TH.Quote.quoteExp
sCase
" x of\n\
\ _ -> x + 1\n\
\ "
======>
x + 1