Changes between Version 245 and Version 246 of Status/SLPJ-Tickets


Ignore:
Timestamp:
May 2, 2012 1:34:38 PM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v245 v246  
    77 * #6022: over-general types are inferred 
    88 * #6065: suggested type sig is then rejected 
    9  * #5934: Bad substitution for flatten skolem 
    109 * #5913, #5751: type-class dictionary loops 
    1110 * #5642, #5970: slow constraint solving