Changes between Version 11 and Version 12 of Commentary/Compiler/StgSynType


Ignore:
Timestamp:
Aug 7, 2015 8:19:11 AM (4 years ago)
Author:
nomeata
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/StgSynType

    v11 v12  
    77Before 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/en-us/um/people/simonpj/papers/spineless-tagless-gmachine.ps.gz Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine].
    88
    9 The 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)]]):
     9The 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.hs)]]):
    1010 * Function arguments are atoms (literals or variables), of type {{{StgArg}}}.
    1111 * The right hand side of a let-binding, {{{StgRhs}}}, is either