Changes between Version 170 and Version 171 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Dec 15, 2010 5:03:02 PM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v170 v171  
    103103 
    104104 * #816. #3108: extreme delicacy in solve order, involving fundeps 
    105  * #1823: refinement 
    106  
    107  * #3554: assertion failure 
    108  * #3330: type checker loops 
    109  * #3500: recursive dictionaries 
    110  * #3787: bad program produced 
    111  * #4226: strange implicit-parameter behaviour 
    112  * #4160: Type families crash in HEAD 
    113  * #4200: don't require `UndecidableInstances` for equality constraints 
    114  * #4178: unnecessary skolem escape check 
    115  * #4179: loop in type inference 
    116  * #4174: bad error message 
    117  * #4093: constraint simplifier loops 
    118  * #2296: position info for fundep message 
    119  * #2683: muttering about boxy type ASSERT 
    120  * #4044, #4045: these were crashes something to do with type functions when building GHC 
    121  * #3064: performance of constraint simplifier 
     105 
    122106 * [wiki:TypeFunctionsStatus] 
    123107 * #3927, #4139: overlap warnings with GADTs