Changes between Version 9 and Version 10 of Status/October08


Ignore:
Timestamp:
Oct 21, 2008 3:28:24 AM (7 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/October08

    v9 v10  
    1313   * View patterns (Dan Licata); see [wiki:ViewPatterns view patterns wiki page]. 
    1414 
    15  * '''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. 
     15 * '''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.  An [wiki:TypeFunctions up-to-date wiki page] tracks design issues and current status. 
    1616 
    1717 * GHC now comes with '''Haddock 2''', which supports all GHC extensions, thanks to David Waern.