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