22 Jun
2007
22 Jun
'07
6:29 p.m.
On Fri, 22 Jun 2007, Brandon S. Allbery KF8NH wrote:
I have a program which I'm checking with -Wall but not -Werror, because it has several pattern matches which *I* know are fine but which ghc doesn't. (I suspect, from its description, that Catch would also recognize it's fine.) Which leads me to wonder:
(1) any way to flag a pattern match as "I know this is okay", don't warn about it" without shutting off pattern match warnings completely?
Add the "catch all" case with '_': f _ = error "this case cannot occur, because this would violate the invariant X" If the error occurs anyway, you get a report that your believe was wrong. (Or the user gets the report, and he doesn't know how to react.)