Should exhaustiveness testing be on by default?

Robert Greayer robgreayer at
Mon May 18 22:59:46 EDT 2009

On Mon, May 18, 2009 at 4:00 PM, Norman Ramsey <nr at> wrote:
> P.S. The exhaustiveness checker does need improvement...

Is it documented somewhere what deficiencies the exhaustiveness
checker has (where it can report problems that don't exist or fails to
report problems that do...), and which deficiencies can't be resolved?


More information about the Glasgow-haskell-users mailing list