[Haskell-cafe] Re: Throwback of inferred types

[Achim Schneider]

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
signature prohibited.