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


Ignore:
Timestamp:
Nov 4, 2009 8:37:20 AM (5 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