sbv-14.0: SBVTestSuite/TestSuite/CompileTests/PCase/PCase41.stderr
PCase41.hs:13:14: error: [GHC-39584]
" PCase41.hs:15:44: Parse error: else
" In the quasi-quotation:
[pCase| e of
Zero -> undefined
Var s -> ite (s .== "a") undefined else undefined
Num _ -> undefined
|]
|
13 | t e = [pCase| e of
| ^^^^^...