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


Ignore:
Timestamp:
Dec 15, 2010 5:05:07 PM (3 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 ==