Changes between Version 4 and Version 5 of Commentary/Compiler/StgSynType
- Timestamp:
- 02/19/07 14:32:56 (6 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Commentary/Compiler/StgSynType
v4 v5 13 13 * Applications of primitive operators are saturated. 14 14 * 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. 16 16 17 17 In addition, the STG program is decorated with the results of some analyses:
