Changes between Version 5 and Version 6 of Status/May11


Ignore:
Timestamp:
Apr 20, 2011 12:57:43 PM (3 years ago)
Author:
igloo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/May11

    v5 v6  
    44= GHC Status May 2011 = 
    55 
    6 GHC is humming along.  We are currently deep into the release cycle for GHC 7.0.  We have finally bumped the major version number, because GHC 7.0 has quite a bit of new stuff 
     6GHC is still busy as ever. The GHC 7.0 branch has come and gone, and now that the branch has been closed we have finally made the long-planned switch from darcs to git. Meanwhile, we are busily working towards the 7.2 branch, and hope to make the 7.2.1 release in June. 
    77 
    8  * Simon PJ and Dimitrios '''complete rewrite of the constraint solver in the type inference engine''': done? any correctness or performance regressions remaining? 
     8 * '''Simon PJ: Any update? Any regressions remaining?''' Previous entry: ''As long promised, Simon PJ and Dimitrios have spent a good chunk of the summer doing a '''complete rewrite of the constraint solver in the type inference engine'''.  Because of GHC's myriad type-system extensions, especially GADTs and type families, the old engine had begun to resemble the final stages of a game of Jenga.  It was a delicately-balanced pile of blocks that lived in constant danger of complete collapse, and had become extremely different to modify (or even to understand).  The new inference engine is much more modular and robust; it is described in detail in our paper [[http://haskell.org/haskellwiki/Simonpj/Talk:OutsideIn OutsideIn]].  A blog post describes some consequential changes to let generalisation [[http://hackage.haskell.org/trac/ghc/blog/LetGeneralisationInGhc7 LetGen]].'' 
    99 
    10  * David Terei LLVM; any news? 
     10 ''As a result we have closed dozens of open type inference bugs, especially related to GADTs and type families.'' 
    1111 
    12  * In joint work with Phil Trinder and his colleagues at Herriot Watt, Simon M designed implemented a new '''parallel strategies library''', described in their 2010 Haskell Symposium paper [[http://www.haskell.org/~simonmar/papers/strategies.pdf Seq]]. 
     12 * '''David Terei: Any update on LLVM?''' Previous entry: ''David Terei implemented a new '''back end for GHC using LLVM'''. In certain situations using the LLVM backend can give fairly substantial performance improvements to your code, particularly if you're using the Vector libraries, DPH or making heavy use of fusion. In the general case it should give as good performance or slightly better than GHC's native code generator and C backend. You can use it through the '-fllvm' compiler flag. More details of the backend can be found in David's and Manuel Chakravarty's Haskell Symposium paper [[http://www.cse.unsw.edu.au/~davidt/downloads/ghc-llvm-hs10.pdf Llvm]].'' 
     13 
     14 * '''Simon Marlow: Any update?''' Previous entry: ''In joint work with Phil Trinder and his colleagues at Herriot Watt, Simon M designed implemented a new '''parallel strategies library''', described in their 2010 Haskell Symposium paper [[http://www.haskell.org/~simonmar/papers/strategies.pdf Seq]].'' 
     15 
     16 
     17 
     18 
     19 
     20 
    1321 
    1422We are fortunate to have a growing team of people willing to roll up their