12 Apr
2007
12 Apr
'07
10:55 a.m.
On 4/12/07, Joel Reymont
What would be the benefit of running type checking after desugaring?
After desugaring, the program is written in a much more simple language (GHC Core). Type checking a desugared program is much easier because the type checker has to deal with much less language constructs than in the original program. The disadvantage is that after desugaring a lot of the original program is lost so that the type checker can't give an error message that exactly describes the location and reason of the error. Bas van Dijk