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

[Achim Schneider]

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

expected/encountered

-- 
(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.