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


Ignore:
Timestamp:
Dec 16, 2009 11:43:06 AM (6 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