Changes between Version 74 and Version 75 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Nov 6, 2009 10:57:34 AM (6 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v74 v75  
    7171------------------------
    7272== Types and type inference ==
    73  
     73
     74 * #3490: superclasses and ambiguity
    7475 * #3638: rules and rigidity for GADTs
    7576 * #3632: better update for records with existentials