Changes between Version 162 and Version 163 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Nov 3, 2010 10:10:13 AM (5 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v162 v163  
    137137
    138138== Types and type inference ==
     139 * #4466: explicit type application
    139140 * #3490: superclasses and ambiguity
    140141 * #3638: rules and rigidity for GADTs