[Haskell-cafe] Re: Throwback of inferred types
barsoap at web.de
Sun Jan 20 16:34:15 EST 2008
gwern0 at gmail.com 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
More information about the Haskell-Cafe