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


Ignore:
Timestamp:
Dec 31, 2008 2:20:32 PM (7 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’