[Haskell-cafe] Re: Strange type error with associated type synonyms

Achim Schneider barsoap at web.de
Wed May 27 17:34:55 EDT 2009

Bulat Ziganshin <bulat.ziganshin at gmail.com> wrote:

> Error: type of x is Integer
>  while type of read argument should be String
The problem with this is that the compiler can't know whether or not
the type of arguments to read should be a String, as someone could
have messed up read's signature. Granted, you have to have a knack for
semantic bickering to not just glance over the imprecision. 

(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