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

On 6/19/07, peterv 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.