sbv-14.0: SBVTestSuite/TestSuite/CompileTests/SCase/SCase02.stderr
SCase02.hs:11:14: error: [GHC-39584]
" sCase: Pattern match(es) are non-exhaustive.
Not matched : Var
Patterns of type: Expr
Must match each : Zero, Num, Var, Add, Let
You can use a '_' to match multiple cases.
" In the quasi-quotation:
[sCase| e of
Zero -> 0
Num i -> i
|]
|
11 | t e = [sCase| e of
| ^^^^^...