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


Ignore:
Timestamp:
Sep 7, 2010 10:53:14 AM (4 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 ==