Changes between Version 4 and Version 5 of Commentary/Compiler/StgSynType


Ignore:
Timestamp:
Feb 19, 2007 10:32:56 PM (8 years ago)
Author:
Eelis
Comment:

grammar fix

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/StgSynType

    v4 v5  
    1313 * Applications of primitive operators are saturated. 
    1414 * Lambdas can only appear the right-hand side of a let-binding.  (There is an expression form {{{StgLam}}}, but it is only used during the Core-to-STG transformation, not in a valid STG program.) 
    15  * Types have largely been discarded, retaining only enough type information is retained to guide code generation. There is an {{{StgLint}}} checker, which makes some consistency checks, but the !CoreLint guarantee that "if the program passes Lint it cannot crash" has been lost. 
     15 * Types have largely been discarded, retaining only enough type information as is needed to guide code generation. There is an {{{StgLint}}} checker, which makes some consistency checks, but the !CoreLint guarantee that "if the program passes Lint it cannot crash" has been lost. 
    1616 
    1717In addition, the STG program is decorated with the results of some analyses: