Changes between Version 71 and Version 72 of Status/SLPJ-Tickets

Show
Ignore:
Timestamp:
11/04/09 00:37:20 (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Status/SLPJ-Tickets

    v71 v72  
    7272== Types and type inference == 
    7373  
     74 * #3638: rules and rigidity for GADTs 
    7475 * #3632: better update for records with existentials 
    7576 * #1496: Newtype deriving and type families type soundness problem