Changes between Version 396 and Version 397 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Dec 9, 2013 4:23:42 PM (21 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v396 v397  
    33== Type inference ==
    44
     5 * #8550: Don't build recursive type-function dictionaries
    56 * #6056: conflict between the w/w unfolding and the one from INLINEABLE
    67 * #8486, #5682: Parsing of pomoted kinds, and `Typeable` instances involving them