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

Achim Schneider barsoap at web.de
Thu May 28 12:22:34 EDT 2009

John Dorsey <haskell at colquitt.org> wrote:

> As another native English speaker, I found "expected/inferred" very
> intuitive when I was new to GHC, and to Haskell.  I even think that
> "expected/inferred" helped me form my intuition about Haskell's type
> inference.
First off, me too, and I'm not a native speaker.

OTOH, while "expected" is not ambiguous, "inferred" is: After all, both
types are inferred.

I opt for


(c) this sig last receiving data processing entity. Inspect headers
for copyright history. All rights reserved. Copying, hiring, renting,
performance and/or quoting of this signature prohibited.

More information about the Haskell-Cafe mailing list