[Haskell-cafe] Re: Error message reform (was: Strange type
error with associated type synonyms)
bulat.ziganshin at gmail.com
Wed May 27 18:19:13 EDT 2009
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!
Bulat mailto:Bulat.Ziganshin at gmail.com
More information about the Haskell-Cafe