6 Jan
2005
6 Jan
'05
12:49 p.m.
On Thu, Jan 06, 2005 at 09:11:13AM -0800, Benjamin Pierce wrote:
* As far as I can determine, there is no way to check pattern matches for exhaustiveness. Coming from OCaml, this feels like losing a significant safety net! How do people program so as not to be getting dynamic match failures all the time?
ghc does give warnings when pattern matches aren't exhaustive, at least when called with the compile flags used with darcs. It seems that you may be interested in the -fwarn-incomplete-patterns compile flag with ghc. -- David Roundy http://civet.berkeley.edu/droundy/