[Haskell-cafe] Avoiding "Non-exhaustive patterns in function f"

[Felipe Almeida Lessa]

On 6/19/07, peterv <bf3 at telenet.be> wrote:
> I understand this has nothing to do with type checking, but why can't the
> compiler give a warning about this? Or is this by design or because it is
> impossible to check with more complex recursive data types?

Take a look at Catch from Neil Mitchell:
http://www-users.cs.york.ac.uk/~ndm/catch/ .

-- 
Felipe.