Changes between Version 8 and Version 9 of Status/Oct09
- Timestamp:
- 11/03/09 07:12:54 (4 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Status/Oct09
v8 v9 151 151 top-level definitions that can be consulted by a core-to-core pass, 152 152 and for a core-to-core pass to pass information to its successors 153 [ !Annotations].153 [wiki:Annotations]. 154 154 We expect to use these annotations increasingly in GHC itself. 155 155 … … 191 191 cruft; (c) exploit it, by implementing cool new optimisations at the `C--` level; 192 192 (d) take it further by integrating the native code generators into the 193 same pipeline. You can read more on the wiki [ !CodeGen].193 same pipeline. You can read more on the wiki [[wiki:Commentary/Compiler/NewCodeGenPipeline !CodeGen]]. 194 194 195 195 Several passes of the new code generation pipeline are supported by Hoopl, 196 196 a 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-advanced197 over `C--` code [[http://research.microsoft.com/~simonpj/papers/c-- Hoopl]]. We think Hoopl is pretty cool, and have well-advanced 198 198 ideas for how to improve it a lot more. 199 199 … … 213 213 * [!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] 214 214 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--] 216 216 217 217 * [Terei] '''Manuel: what URL?'''
