Changes between Version 8 and Version 9 of Status/October06
- Oct 31, 2006 8:34:06 PM (9 years ago)
v8 v9 19 19 * 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]. 20 20 21 Life still go on, and current HEAD version (download url?)that will ultimately become GHC 6.8 adds new features: 21 Life still go that will ultimately become GHC 6.8 adds new features: 22 22 23 23 * We 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.