[Haskell-cafe] Type checking with Haskell

Lennart Augustsson 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.

	-- Lennart

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?
>
> --
> http://wagerlabs.com/
>
>
>
>
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe



More information about the Haskell-Cafe mailing list