sbv-13.6: SBVTestSuite/TestSuite/CompileTests/PCase/PCase04.stderr
PCase04.hs:13:14: error: [GHC-24922]
" FExpr is not in scope at a reify
" In the quasi-quotation:
[pCase|FExpr e of
Num _ -> undefined
|]
|
13 | t e = [pCase|FExpr e of
| ^^^^^^^^^^...