[Haskell-cafe] Type checking with Haskell
lennart at augustsson.net
Thu Apr 12 16:38:07 EDT 2007
It's so much easier to write the type checker because it's only a few
constructs left in the language. But from a user's perspective it's
a really bad idea.
On Apr 12, 2007, at 15:25 , Joel Reymont wrote:
> 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?
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
More information about the Haskell-Cafe