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


Ignore:
Timestamp:
Feb 19, 2007 3:57:01 PM (9 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/StgSynType

    v3 v4  
    55Before code generation, GHC converts the Core-language program into {{{StgSyn}}}.  The basic ideas are still pretty much exactly as described in the paper [http://research.microsoft.com/copyright/accept.asp?path=/users/simonpj/papers/spineless-tagless-gmachine.ps.gz Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine].
    66
    7 The best way to think of STG is as special form of Core.  Specifically, the differences are these (see [[GhcFile(compiler/stgSyn/StgSyn.lhs)]]):
     7The best way to think of STG is as special form of [wiki:Commentary/Compiler/CoreSynType Core].  Specifically, the differences are these (see [[GhcFile(compiler/stgSyn/StgSyn.lhs)]]):
    88 * Functions arguments are atoms (literals or variables), of type {{{StgArg}}}.
    99 * The right hand side of a let-binding, {{{StgRhs}}}, is either