Changes between Version 430 and Version 431 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Jun 3, 2014 6:42:39 AM (13 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v430 v431  
    44 
    55 * #9023: pattern synonyms: length mismatch in `Type.zip_ty_env`. 
     6 * #9161: pattern synonyms and `DataKinds` 
    67 * #8673: more generous GADT record selectors 
    78 * #8550: Don't build recursive type-function dictionaries