Changes between Version 176 and Version 177 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Dec 17, 2010 11:36:00 AM (5 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v176 v177  
    122122 * #2357: '''Implement the Haskell Prime proposal for polymorphic pattern bindings''' 
    123123 
    124 === Impredicativity === 
    125  * #2846: polymorphism leaking into constraints 
    126  * #2193: Bad error message with impredicative types 
     124=== Better error messages === 
    127125 * #1330: another bad error message (Church2) 
    128  
    129 === Better error messages === 
    130126 * #3440: type families and GADT error message 
    131127 * #3169: better occurs-check error message