Changes between Version 17 and Version 18 of Status/October06


Ignore:
Timestamp:
Nov 1, 2006 12:16:58 PM (7 years ago)
Author:
guest
Comment:

6.8 - added links to binary snapshots

Legend:

Unmodified
Added
Removed
Modified
  • Status/October06

    v17 v18  
    2424 * Lastly, we finally bit the bullet and lifted the restriction that every module in a Haskell program must have a distinct name.  Why?  Because it's non-modular: two packages from different authors could accidentally collide.  This change is in GHC 6.6; there are some remaining open choices dicussed here [http://hackage.haskell.org/trac/ghc/wiki/GhcPackages]. 
    2525 
    26 Life still goes on and current development version (HEAD) [http://darcs.haskell.org/ghc/], that will ultimately become GHC 6.8, already includes significant new features: 
     26Life still goes on and current development version (HEAD), that will ultimately become GHC 6.8, already includes significant new features: 
    2727 
    2828 * We have completely replaced GHC's intermediate language with '''System FC(X)''', an extension of System F with explicit equality witnesses.  This enables GHC to support GADTs and associated types, with two new simple but powerful mechanisms. The paper is at [http://research.microsoft.com/%7Esimonpj/papers/ext-f/]. Much of the conversion work was done by Kevin Donnelly, while he was on an internship at Microsoft. 
     
    3535 
    3636 * Andy Gill implemented the '''Haskell Program Coverage''' option ('''-fhpc''') for GHC, which is solid enough to be used to test coverage in GHC itself.  (It turns out that the GHC testsuite gives remarkably good coverage over GHC already.) 
     37 
     38 * You can find binary snapshots at [http://www.haskell.org/ghc/dist/current/dist/ download page] or build from sources available via [http://darcs.haskell.org/ghc/ darcs repository] 
    3739 
    3840We are now working on lots of new stuff that isn't yet in GHC HEAD but will end up there if all goes well and then become a part of GHC 6.8: