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
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe
_______________________________________________
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe