[Haskell-cafe] Type checking with Haskell

Bas van Dijk v.dijk.bas at gmail.com
Thu Apr 12 10:55:21 EDT 2007


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


More information about the Haskell-Cafe mailing list