Bulat Ziganshin <bulat.zigans...@gmail.com> wrote: > Hello Achim, > > Thursday, May 28, 2009, 1:34:55 AM, you 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. > > i don't understood what you mean, can you give an example? > Error : type of x is String while the type of an argument to read should be Integer
, given that, somewhere, you have read :: Integer -> a , which is, of course, wrong, and that's the point. -- (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. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe