Changes between Version 416 and Version 417 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Apr 24, 2014 9:27:13 AM (13 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v416 v417  
    33== Type inference == 
    44 
     5 * #9023: pattern synonyms 
    56 * #8984: better error message for `Coercible` 
    67 * #8673: more generous GADT record selectors