Changes between Version 148 and Version 149 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Sep 7, 2010 1:36:18 PM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v148 v149  
    127127 * #4259: overlapping instances 
    128128 * #816: needs lazier use of instance declarations 
     129 * #4296: !SkolemOccurs 
    129130 
    130131== Types and type inference ==