Changes between Version 21 and Version 22 of Status/Oct09


Ignore:
Timestamp:
Nov 4, 2009 9:51:08 PM (5 years ago)
Author:
igloo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/Oct09

    v21 v22  
    103103Type families have proved a great success.  From the outside it might 
    104104seem that they are done -- after all, they are in GHC 6.10 -- but the 
    105 internals are quite fragile and it's amazing that it all works well as 
     105internals are quite fragile and it's amazing that it all works as well as 
    106106it does.  (Thanks to Manuel's work.)  Tom Schrijver, Dimitrios 
    107107Vytiniotis, Martin Sulzmann, and Manuel Chakravarty have been working 
     
    124124bad as the disease.  We think we are on to something; stay tuned. 
    125125 
    126 === Interemediate language and optimisation === 
     126=== Intermediate language and optimisation === 
    127127 
    128128Although it is, by design, invisible to users, GHC's intermediate language 
    129 and optimsation passes have been receiving quite a bit of attention. 
     129and optimisation passes have been receiving quite a bit of attention. 
    130130Some highlights 
    131131 
     
    135135 
    136136 * Simon PJ totally re-engineered the way that INLINE pragmas are  
    137    implemented., with the goal of making them more robust and  
     137   implemented, with the goal of making them more robust and  
    138138   predicatable [[http://www.haskell.org/pipermail/cvs-ghc/2009-October/050881.html !InlinePatch]].  There's a new CONLIKE pragma which 
    139139   affects rule matching.