sbv-13.0: SBVTestSuite/TestSuite/CompileTests/SCase/SCase05.stderr
SCase05.hs:12:14: error: [GHC-39584]
" sCase: Failed to parse a symbolic case-expression.
Instead of: case expr of alts
Write : [sCase|Type expr of alts|]
where Type is the underlying concrete type of the expression.
" In the quasi-quotation: [sCase|Expr e + 1|]
|
12 | t e = [sCase|Expr e + 1|]
| ^^^^^^^^^^^^