Changes between Version 8 and Version 9 of Status/Oct09


Ignore:
Timestamp:
Nov 3, 2009 3:12:54 PM (6 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/Oct09

    v8 v9  
    151151   top-level definitions that can be consulted by a core-to-core pass,
    152152   and for a core-to-core pass to pass information to its successors
    153    [!Annotations].
     153   [wiki:Annotations].
    154154   We expect to use these annotations increasingly in GHC itself.
    155155
     
    191191cruft; (c) exploit it, by implementing cool new optimisations at the `C--` level;
    192192(d) take it further by integrating the native code generators into the
    193 same pipeline.  You can read more on the wiki [!CodeGen].
     193same pipeline.  You can read more on the wiki [[wiki:Commentary/Compiler/NewCodeGenPipeline !CodeGen]].
    194194
    195195Several passes of the new code generation pipeline are supported by Hoopl,
    196196a Haskell library that makes it easy to write dataflow analyses and optimisations
    197 over `C--` code [Hoopl].  We think Hoopl is pretty cool, and have well-advanced
     197over `C--` code [[http://research.microsoft.com/~simonpj/papers/c-- Hoopl]].  We think Hoopl is pretty cool, and have well-advanced
    198198ideas for how to improve it a lot more.
    199199
     
    213213 * [!LetGen] "Let should not be generalised", Dimitrios Vytiniotis, Simon Peyton Jones, and Tom Schrijvers, submitted to TLDI'10.  [http://research.microsoft.com/~simonpj/papers/constraints/index.htm]
    214214
    215  * [Hoopl] "Hoopl: dataflow optimisation made simple", Norman Ramsey, John Dias, and Simon Peyton Jones, rejected by POPL 2010. [[http://research.microsoft.com/~simonpj/papers/c--]]
     215 * [Hoopl] "Hoopl: dataflow optimisation made simple", Norman Ramsey, John Dias, and Simon Peyton Jones, rejected by POPL 2010. [http://research.microsoft.com/~simonpj/papers/c--]
    216216
    217217 * [Terei] '''Manuel: what URL?'''