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

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

--

Legend:

Unmodified
Added
Removed
Modified

  • Status/SLPJ-Tickets

    v147 v148  
    126126 * #4044, #4045: assertion failure when bootstrapping; hard to reproduce 
    127127 * #4259: overlapping instances 
     128 * #816: needs lazier use of instance declarations 
    128129 
    129130== Types and type inference ==