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

Felipe Almeida Lessa felipe.lessa at gmail.com
Tue Jun 19 17:56:10 EDT 2007

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/ .


More information about the Haskell-Cafe mailing list