[Haskell-cafe] Re: Error message reform (was: Strange type error
with associated type synonyms)
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
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