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


Ignore:
Timestamp:
Sep 11, 2013 10:28:15 AM (7 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v374 v375  
    33== Type inference == 
    44 
     5 * #5610, #7243: Better error messages for `foreign` declarations 
    56 * #8264: `checkValidInstance` for `Typeable`, `Coercible` etc. 
    67 * #8240: better error messages for type-function equalities