[EMAIL PROTECTED] wrote: > Does that make sense? If the code doesn't compile, then how could any > type-inference be trustable? > Why, of course it is trustable, because it's going to fail, and that means that the code has type a -> _|_.
-- (c) this sig last receiving data processing entity. Inspect headers for past copyright information. All rights reserved. Unauthorised copying, hiring, renting, public performance and/or broadcasting of this signature prohibited. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
