[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