Changes between Version 26 and Version 27 of Status/April07


Ignore:
Timestamp:
May 1, 2007 7:53:35 AM (7 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/April07

    v26 v27  
    7676   GADTs and type classes.  GHC's users have been very polite about 
    7777   this collection of bugs, but they are now finally fixed. 
    78    Implication constraints are described by Martin Sulzmann: 
    79    http://www.comp.nus.edu.sg/~sulzmann/publications/tr-eadt.ps.gz. 
     78   Implication constraints are described by Martin Sulzmann in 
     79   [http://www.comp.nus.edu.sg/~sulzmann/publications/tr-eadt.ps.gz A framework for Extended Algebraic Data Types]. 
    8080 
    8181 * Björn Bringert (a GHC Hackathon graduate) implemented