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

Show
Ignore:
Timestamp:
09/07/10 07:28:07 (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Status/SLPJ-Tickets

    v149 v150  
    126126 * #4044, #4045: assertion failure when bootstrapping; hard to reproduce 
    127127 * #4259: overlapping instances 
     128 
    128129 * #816: needs lazier use of instance declarations 
    129130 * #4296: !SkolemOccurs 
     131 * #4295: Higher rank and impredicative  
    130132 
    131133== Types and type inference ==