Changes between Version 428 and Version 429 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Jun 2, 2014 11:16:23 AM (10 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v428 v429  
    33== Type inference == 
    44 
    5  * #9023: pattern synonyms 
     5 * #9023: pattern synonyms: length mismatch in `Type.zip_ty_env`. 
    66 * #8673: more generous GADT record selectors 
    77 * #8550: Don't build recursive type-function dictionaries