Changes between Version 197 and Version 198 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Aug 5, 2011 1:40:21 PM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v197 v198  
    8989
    9090== Types and type inference ==
     91 * #5224: make it cheaper to check for inconsistent type family instances
    9192 * #4466, #5296: explicit type application
    9293 * #3714: distinguish type parameters from indices