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


Ignore:
Timestamp:
Dec 31, 2008 2:17:32 PM (5 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v27 v28  
    6262 * #2641: revise what `-XExtendedDefaultRules` does 
    6363 
     64=== Impredicativity === 
     65 * #2846: polymorphism leaking into constraints 
     66 
    6467------------------------ 
    6568== Better error messages ==