Changes between Version 369 and Version 370 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Aug 28, 2013 12:27:53 PM (8 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v369 v370  
    33== Type inference == 
    44 
     5 * #8095: very slow constraint solving 
    56 * #8177: role signature for type families 
    67 * #8155: defaulting with type families... bad error message