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

Show
Ignore:
Timestamp:
11/06/09 02:57:34 (4 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