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


Ignore:
Timestamp:
May 19, 2014 4:03:22 PM (11 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 ==