Changes between Version 111 and Version 112 of Status/SLPJ-Tickets


Ignore:
Timestamp:
May 3, 2010 8:39:44 AM (5 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v111 v112  
    8383------------------------
    8484== New constraint simplifier ==
     85 * #3064: performance of constraint simplifier
    8586 * [wiki:TypeFunctionsStatus]
    8687 * #3927: overlap warnings with GADTs