sbv-13.6: SBVTestSuite/TestSuite/CompileTests/SCase/SCase51.stderr
SCase51.hs:(12,14)-(16,8): Splicing expression
ghc-internal:GHC.Internal.TH.Quote.quoteExp
sCase
"Expr e of\n\
\ Zero -> 0\n\
\ Num i -> i\n\
\ _ -> 99\n\
\ "
======>
sCaseExpr e 0 (\ i -> i) (\ _ -> 99) (\ _ _ -> 99) (\ _ _ _ -> 99)