Changes between Version 172 and Version 173 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Dec 15, 2010 5:05:07 PM (5 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v172 v173  
    9696------------------------
    9797== New constraint simplifier ==
    98  * '''#4232: main meta-ticket for the new type checker'''
     98
     99 * [wiki:TypeFunctionsStatus]
    99100 * #4296: !SkolemOccurs
    100101 * #4295: Higher rank and impredicative
    101102 * #4338: superclass equalities
    102103 * #4310: deferred equalities and forall types (needs Brent's work)
    103 
    104104 * #816. #3108: extreme delicacy in solve order, involving fundeps
    105 
    106  * [wiki:TypeFunctionsStatus]
    107105 * #3927: overlap warnings with GADTs
    108  * #2256: Incomplete inference when generalising
    109  * #2239: Lack of improvement with type functions       Manuel
    110  * #700: universals in pattern matching
    111  * #3696: better error message fr missing signature
    112106 * #4175: better GHCi info for type-function instances
    113  * #4254: fundeps
    114 
    115 
    116 
    117107
    118108== Types and type inference ==