Changes between Version 373 and Version 374 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Sep 11, 2013 9:58:55 AM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v373 v374  
    33== Type inference ==
    44
     5 * #8264: `checkValidInstance` for `Typeable`, `Coercible` etc.
    56 * #8240: better error messages for type-function equalities
    67 * #8095: very slow constraint solving