sbv-14.0: SBVTestSuite/TestSuite/CompileTests/SCase/SCase97.stderr
SCase97.hs:14:16: error: [GHC-79890]
" Red is not in the type environment at a reify
" In the quasi-quotation:
[sCase| e of
Zero -> case c of
Red -> 0
Green -> 1
Blue -> 2
Num k -> k
Var _ -> -1
Add a b -> t a c + t b c
Let _ _ b -> t b c
|]
|
14 | t e c = [sCase| e of
| ^^^^^...