sbv-14.0: SBVTestSuite/TestSuite/CompileTests/SCase/SCase84.stderr
SCase84.hs:11:14: error: [GHC-39584]
" SCase84.hs:12:16: sCase: Non-exhaustive pattern match.
All branches are guarded; add an unguarded wildcard or variable
as the last branch to ensure all cases are covered.
" In the quasi-quotation:
[sCase| x of
0 -> sTrue
1 -> sFalse
|]
|
11 | t x = [sCase| x of
| ^^^^^...