Changes between Version 3 and Version 4 of Status/October08
- Oct 21, 2008 2:40:51 AM (8 years ago)
v3 v4 7 7 GHC 6.10.1 is the first release in the 6.10 branch, and features many improvements over the 6.8 branch; the highlights are: 8 8 9 * Some new language featureshave been implemented: 9 * Some have been implemented: 10 10 * Record syntax: wild-card patterns, punning, and field disambiguation 11 * Generalised quasi-quotes 12 * Generalised list comprehensions 13 * View patterns 11 * Generalised quasi-quotes 12 * Generalised list comprehensions 13 * View patterns 14 14 15 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.