[Haskell-cafe] Type checking with Haskell

[Bas van Dijk]

On 4/12/07, Joel Reymont <joelr1 at gmail.com> wrote:
> 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