Should exhaustiveness testing be on by default?
robgreayer at gmail.com
Mon May 18 22:59:46 EDT 2009
On Mon, May 18, 2009 at 4:00 PM, Norman Ramsey <nr at eecs.harvard.edu> 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