Changes between Version 6 and Version 7 of Status/Oct09


Ignore:
Timestamp:
Nov 3, 2009 2:58:59 PM (6 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/Oct09

    v6 v7  
    66for others to get involved.  We are particularly eager to find partners
    77who are willing to take responsibility for a particular platform
    8 (e.g. Sparc/Solaris, currently maintained by Ben Lippmeier); see [wiki:Platforms].
     8(e.g. Sparc/Solaris, currently maintained by Ben Lippmeier); see [Platforms].
    99
    1010== The GHC 6.12 release ==
     
    3030 * Dynamic linking is now supported on Linux, and support for other
    3131   platforms will follow.  Thanks for this most recently go to
    32    the [http://industry.haskell.org Industrial Haskell Group] (thank you, IHG!) who
     32   the [http://industry.haskell.org Industrial Haskell Group] (thank you [IHG]!) who
    3333   pushed it into a fully-working state; dynamic linking is the culmination of the work of
    3434   several people over recent years.[[BR]]
     
    7474   removed or replaced with something simpler in 6.14.
    7575
    76 For more detail, see the release notes in the  [http://www.haskell.org/ghc/dist/current/docs/html/users_guide/index.html 6.12 User manual], which mention many things skipped over here.
     76For more detail, see the release notes in the [http://www.haskell.org/ghc/dist/current/docs/html/users_guide/index.html 6.12 User manual] [!UserManual], which mention many things skipped over here.
    7777
    7878Another big change with GHC 6.12 is that Hackage and the Haskell Platform is
     
    111111We have developed the "!OutsideIn" algorithm, which gives a much nicer
    112112account of type inference than our previous story of type inference
    113 [ICFP09]. More controversially, we now believe that local let/where
     113[ICFP09a]. More controversially, we now believe that local let/where
    114114bindings should not be generalised [!LetGen].  Dimitrios is building a
    115115prototype that embodies these ideas, which we'll then transfer into
     
    203203
    204204
    205 == References ==
     205== Bibliography: papers ==
    206206
    207207 * [ICFP09a] "Complete and Decidable Type Inference for GADTs", Tom Schrijvers, Simon Peyton Jones, Martin Sulzmann, and Dimitrios Vytiniotis. ICFP'09.  [http://research.microsoft.com/~simonpj/papers/gadt]
     
    223223 * [PeterJ] "Positive supercompliation for a higher order call-by-value language", Peter Jonsson and Johan Nordlander, POPL 2009. [http://www.csee.ltu.se/~pj/papers/scp/index.html]
    224224
    225  * [Annotations] Annotations in GHC [http://hackage.haskell.org/trac/ghc/wiki/Annotations]
    226 
    227  * [!CodeGen] The new codegen pipeline [http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/NewCodeGenPipeline]
     225 * [IHG] The Industrial Haskell Group. http://industry.haskell.org
     226
     227 * [UserManual] GHC 6.12 user manual.  http://www.haskell.org/ghc/dist/current/docs/html/users_guide/index.htm
     228
     229== Bibliography: wiki==
     230
     231All these URLs should be preceded with http://hackage.haskell.org/trac/ghc/wiki
     232
     233 * [Platforms] Platforms that GHC supports [wiki:Platforms]
     234 * [Annotations] Annotations in GHC [wiki:Annotations]
     235 * [!CodeGen] The new codegen pipeline [wike:Commentary/Compiler/NewCodeGenPipeline]