Changes between Version 384 and Version 385 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Oct 8, 2013 4:55:40 PM (7 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v384 v385  
    33== Type inference == 
    44 
     5 * #7730: display `TyCons` in tidied form in `pprTyThing` 
    56 * #5610, #7243: Better error messages for `foreign` declarations 
    67 * #8264: `checkValidInstance` for `Typeable`, `Coercible` etc.