[Haskell-cafe] Some random newbie questions

[Henning Thielemann]

On Thu, 6 Jan 2005, David Roundy wrote:

> 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.

... or -Wall to get lots of warnings