[Haskell-cafe] Re: Error message reform (was: Strange type error with associated type synonyms)

[Bulat Ziganshin]

Hello Jeff,

Thursday, May 28, 2009, 2:03:30 AM, you wrote:

> I absolutely agree about expected/inferred. I always forget which is
> which, because I can figure both could apply to each.

thank you, it's what i meant! compiler infers types of both caller and
its argument and then expect to see types inferred. these two words are
actually describe two stages of process, not two opposite processes!


-- 
Best regards,
 Bulat                            mailto:Bulat.Ziganshin at gmail.com