Changes between Version 138 and Version 139 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Aug 9, 2010 10:01:33 AM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v138 v139  
    9292------------------------ 
    9393== New constraint simplifier == 
     94 * #3330: type checker loops 
    9495 * #3787: bad program produced 
    9596 * #4226: strange implicit-parameter behaviour