Changes between Version 28 and Version 29 of Status/SLPJ-Tickets

Show
Ignore:
Timestamp:
12/31/08 06:20:32 (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Status/SLPJ-Tickets

    v28 v29  
    6161 * #2859: optimise coercion terms 
    6262 * #2641: revise what `-XExtendedDefaultRules` does 
     63 * #1634: deep skolemisation 
    6364 
    6465=== Impredicativity === 
    6566 * #2846: polymorphism leaking into constraints 
     67 * #2193: Bad error message with impredicative types 
     68 * #1330: another bad error message (Church2) 
    6669 
    67 ------------------------ 
    68 == Better error messages ==  
     70=== Better error messages === 
    6971 * #2648: Report out of date interface files robustly    
    70  * #2193: Bad error message with impredicative types     
    7172 * #2599: Better error message for non-rigid types       
    7273 * #2588: Better error message about ‘forall’