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

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@gmail.com