Changes between Version 3 and Version 4 of Status/October08


Ignore:
Timestamp:
Oct 21, 2008 2:40:51 AM (7 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/October08

    v3 v4  
    77GHC 6.10.1 is the first release in the 6.10 branch, and features many improvements over the 6.8 branch; the highlights are:
    88
    9  * Some new language features have been implemented:
     9 * Some '''new language features''' have been implemented:
    1010   * Record syntax: wild-card patterns, punning, and field disambiguation
    11    * Generalised quasi-quotes
    12    * Generalised list comprehensions
    13    * View patterns
     11   * Generalised quasi-quotes (Geoff Mainland), from the paper [http://www.eecs.harvard.edu/~mainland/ghc-quasiquoting/mainland07quasiquoting.pdf Why it's nice to be quoted: quasi-quoting in Haskell] (Haskell workshop 2007)
     12   * Generalised list comprehensions (Max Bolingbroke), from the paper [http://research.microsoft.com/%7Esimonpj/papers/list-comp/index.htm  Comprehensive comprehensions: comprehensions with "Order by" and "Group by"] (Haskell workshop 2007).
     13   * View patterns (Dan Licata); see [wiki:ViewPatterns view patterns wiki page].
    1414
    1515 * '''Type families''' have been completely re-implemented, by Manuel Chakravarty, along the lines of our ICFP 2008 paper [http://research.microsoft.com/%7Esimonpj/papers/assoc-types/index.htm Type checking with open type functions] --- only simpler.  As a result, we believe that type families work reliably in GHC 6.10.  There is one missing feature, however, namely the ability to have equalities in the superclass context of a class.   We'll add that to the HEAD in the next few months.