Changes between Version 38 and Version 39 of Commentary/Compiler/HscMain


Ignore:
Timestamp:
Mar 30, 2010 3:22:21 PM (4 years ago)
Author:
bravit
Comment:

misprint: becuase

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/HscMain

    v38 v39  
    1919 * The '''Desugarer''' ([[GhcFile(compiler/deSugar/Desugar)]]) converts from the massive {{{HsSyn}}} type to [wiki:Commentary/Compiler/CoreSynType GHC's intermediate language, CoreSyn].  This Core-language data type is unusually tiny: just eight constructors.[[BR]][[BR]] 
    2020   Generally speaking, the desugarer produces few user errors or warnings. But it does produce ''some''.  In particular, (a) pattern-match overlap warnings are produced here; and (b) when desugaring Template Haskell code quotations, the desugarer may find that `THSyntax` is not expressive enough.  In that case, we must produce an error ([[GhcFile(compiler/deSugar/DsMeta)]]).[[BR]][[BR]] 
    21    This late desugaring is somewhat unusual.  It is much more common to desugar the program before typechecking, or renaming, becuase that presents the renamer and typechecker with a much smaller language to deal with.  However, GHC's organisation means that 
     21   This late desugaring is somewhat unusual.  It is much more common to desugar the program before typechecking, or renaming, because that presents the renamer and typechecker with a much smaller language to deal with.  However, GHC's organisation means that 
    2222    * error messages can display precisely the syntax that the user wrote; and  
    2323    * desugaring is not required to preserve type-inference properties.[[BR]][[BR]]