20 Jan
2008
20 Jan
'08
4:34 p.m.
gwern0@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.