Changes between Version 401 and Version 402 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Jan 17, 2014 8:08:12 AM (3 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v401 v402  
    33== Type inference == 
    44 
     5 * #8673: more generous GADT record selectors 
    56 * #8566: Given kind equalities are discarded 
    67 * #8550: Don't build recursive type-function dictionaries