sbv-14.0: SBVTestSuite/TestSuite/CompileTests/SCase/SCase23.stderr
SCase23.hs:(11,14)-(17,8): Splicing expression
ghc-internal:GHC.Internal.TH.Quote.quoteExp
sCase
" e of\n\
\ Zero -> 0\n\
\ Num i -> 4\n\
\ Var s -> ite (s .== literal \"a\") 1 2\n\
\ Add a b -> t a + t b\n\
\ Let _ _a b -> t b\n\
\ "
======>
sCaseExpr
0 (\ i -> 4) (\ s -> ite (s .== literal "a") 1 2)
(\ a b -> (t a) + t b) (\ _ _a b -> t b) e
SCase23.hs:11:14: error: [GHC-40910] [-Wunused-matches, Werror=unused-matches]
Defined but not used: i
|
11 | t e = [sCase| e of
| ^^^^^...