Changes between Version 135 and Version 136 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Jul 27, 2010 7:05:55 AM (5 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v135 v136  
    9191------------------------
    9292== New constraint simplifier ==
     93 * #4226: strange implicit-parameter behaviour
    9394 * #4160: Type families crash in HEAD
    9495 * #4200: don't require `UndecidableInstances` for equality constraints