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

Bulat Ziganshin bulat.ziganshin at gmail.com
Wed May 27 18:19:13 EDT 2009


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



More information about the Haskell-Cafe mailing list