check for exhaustive patterns is broken

[Feliks Kluzniak]

>  fix this by changing the error message from "pattern matches are
>  non-exhaustive" to "pattern matches may be non-exhaustive" if there are
>  guards involved :-) 

Quite seriously, I would consider that a satisfactory fix!

Thanks
-- F.