[Haskell-cafe] Some random newbie questions

Henning Thielemann iakd0 at clusterf.urz.uni-halle.de
Thu Jan 6 13:01:21 EST 2005

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

More information about the Haskell-Cafe mailing list