Changes between Version 432 and Version 433 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Jun 6, 2014 12:56:26 PM (12 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v432 v433  
    11= This page collects tickets that Simon PJ is interested in, so that he remembers them = 
    22 
    3 == Type inference == 
    4  
    5  * #9023: pattern synonyms: length mismatch in `Type.zip_ty_env`. 
     3== Front end == 
     4 
     5 * #9156: duplicate record fields 
    66 * #9161: pattern synonyms and `DataKinds` 
    77 * #8673: more generous GADT record selectors