[Haskell-cafe] Type checking with Haskell

Joel Reymont joelr1 at gmail.com
Thu Apr 12 10:25:42 EDT 2007

On Apr 12, 2007, at 3:00 PM, Stefan O'Rear wrote:

> Also, GHC runs typechecking *before* desugaring, apparently  
> thinking error messages
> are more important than programmer sanity :)

What would be the benefit of running type checking after desugaring?


More information about the Haskell-Cafe mailing list