Changes between Version 425 and Version 426 of Status/SLPJ-Tickets


Ignore:
Timestamp:
May 19, 2014 4:03:22 PM (15 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v425 v426  
    22
    33== Type inference ==
    4  * #9108: GADTs and pattern signatures
    5  * #9117: `Coercible (f a)`
    6  * #9118: Eta reduction for `Coercible` (not expressible in Core, yet)
     4
    75 * #9023: pattern synonyms
    8  * #8984: better error message for `Coercible`
    96 * #8673: more generous GADT record selectors
    107 * #8550: Don't build recursive type-function dictionaries
     
    2623 * #7842: polymorphism in recursive do-blocks
    2724
    28 == Type families ==
     25== Type families, roles, and `Coercible` ==
    2926 
    3027 * #9117: rules for solving `Coercible` constraints
     28 * #9118: Eta reduction for `Coercible` (not expressible in Core, yet)
    3129 * #9123: higher order roles
    3230 * #6018: injective type families
    3331 * #8161: associated type more specific than class decl
    3432 * #8177: role signature for type families
     33 * #8984: better error message for `Coercible`
    3534
    3635== Template Haskell ==