Changes between Version 84 and Version 85 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Dec 16, 2009 11:43:06 AM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v84 v85  
    8282 
    8383------------------------ 
     84== New constraint simplifier == 
     85 * [wiki:TypeFunctionsStatus] 
     86 * #3738: don't float `MethodInsts` out of INLINE right hand sides. 
     87 
    8488== Types and type inference == 
    85  * [wiki:TypeFunctionsStatus] 
    8689 * #3490: superclasses and ambiguity 
    8790 * #3638: rules and rigidity for GADTs