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


Ignore:
Timestamp:
May 3, 2010 8:39:44 AM (4 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