Jaro

Here is another beginner on Reddit having problems interpreting a similar error message: https://reddit.com/r/haskell/comments/pmsl45/how_to_fix_ambiguous_occurrence_error_haskell/ Code: ```haskell product :: [int] -> int product [] = 1 product (n:ns) = n *...

Perhaps we could add a more detailed message for recursive functions that are ambiguously used inside their own definition. Something like: ``` You are defining a function 'product', but that...

I think the problem in #7 is that it is possible to fix it without type applications and in fact that should be preferred in my opinion, but it is...

Ah, maybe it should be added to -Wall or is it there already too? Edit: No, it doesn't seem like that is the case.

Ah, I was thinking that it would only warn if the monomorphism restriction actually had an observable effect (I believe that can only happen if it causes at least one...

I think that is an excellent error message. It captures all the required information and it is still brief.

I think this is a good suggestion, but I think the suggestion should come after the general error `Couldn't match expected type ... with actual type ...` and we should...

No, that's all the code. I think that GHC's parser tries to be general enough to accommodate `TemplateHaskell` even if it is not enabled. If it parses a complete top-level...

It seems that the excessive "Patterns not matched" list is a regression, [this older stackoverflow question](https://stackoverflow.com/questions/10699532) shows a warning with only one missing pattern as I would expect: > ```...

Thanks. For the record, I made a sample error message catalog page which includes this example here: https://github.com/noughtmare/error-messages/wiki/Pattern-Match(es)-Are-Non-Exhaustive. See also: https://github.com/haskell/error-messages/issues/10#issuecomment-921166440.