Changes between Version 16 and Version 17 of Status/October06
- Nov 1, 2006 6:51:39 AM (7 years ago)
v16 v17 24 24 * 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]. 25 25 26 Life still goes on , and current HEAD version[http://darcs.haskell.org/ghc/], that will ultimately become GHC 6.8, already includes significant new features: 26 Life still goes on [http://darcs.haskell.org/ghc/], that will ultimately become GHC 6.8, already includes significant new features: 27 27 28 28 * 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.