Changes between Version 131 and Version 132 of Status/SLPJ-Tickets

Show
Ignore:
Timestamp:
07/16/10 08:20:01 (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Status/SLPJ-Tickets

    v131 v132  
    9191------------------------ 
    9292== New constraint simplifier == 
     93 * #4160: Type families crash in HEAD 
    9394 * #4200: don't require `UndecidableInstances` for equality constraints 
    9495 * #4178: unnecessary skolem escape check