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.