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


Ignore:
Timestamp:
Oct 4, 2006 9:32:27 PM (8 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/StgSynType

    v2 v3  
    33= The STG syntax data types = 
    44 
    5 Before code generation, GHC converts the Core-language program into {{{StgSyn}}}.  The best way to think of STG is as special form of Core.  Specifically, the differences are these (see [[GhcFile(compiler/stgSyn/StgSyn.lhs)]]): 
     5Before 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]. 
     6 
     7The best way to think of STG is as special form of Core.  Specifically, the differences are these (see [[GhcFile(compiler/stgSyn/StgSyn.lhs)]]): 
    68 * Functions arguments are atoms (literals or variables), of type {{{StgArg}}}. 
    79 * The right hand side of a let-binding, {{{StgRhs}}}, is either