Re[6]: [Haskell-cafe] Strange type error with associated type synonyms

2009-05-27 Thread Henning Thielemann
On Thu, 28 May 2009, Bulat Ziganshin wrote: read x Error: type of x is Integer while type of read argument should be String I also have my problems with "inferred/expected" and find your suggested message easier to understand in this case. But can it be generalized? I think that "inferred"

Re[6]: [Haskell-cafe] Strange type error with associated type synonyms

2009-05-27 Thread Bulat Ziganshin
Hello Max, Thursday, May 28, 2009, 12:49:20 AM, you wrote: > I don't remember having any trouble, but that was a few years ago, and > type errors are confusing generally. I think that the main difficulty > with type errors is not the error *messages*, but I'm sure there is > room for improvement.