[Haskell-cafe] Re: Throwback of inferred types

"Peter Verswyvelen" wrote:

The problem is that this only works when the complete source file compiles correctly no?

ghc could just insert appropriate calls to error everywhere it can't compile, so you can choose whether to fix the bugs by lexical or operational ordering, ecj (the eclipse compiler) does exactly that. -- (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.