Changes between Version 243 and Version 244 of Status/SLPJ-Tickets


Ignore:
Timestamp:
May 2, 2012 1:29:56 PM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v243 v244  
    11= This page collects tickets that Simon PJ is interested in, so that he remembers them = 
    22 
    3 == New typechecker things to fix (with Dimitrios) == 
     3== Type inference == 
     4 * #5682, #6015: !PolyKinds 
     5 * #6068: fundeps and polykinds 
     6 * #6049: GADTs and polykinds 
     7 * #6022: over-general types are inferred 
     8 * #6065: suggested type sig is then rejected 
    49 * #5934: Bad substitution for flatten skolem 
    510 * #5913, #5751: type-class dictionary loops 
    611 * #5642, #5970: slow constraint solving 
    7  * #5612, #5682, #6015: !PolyKinds 
     12 
     13 * #6018: Injective type families (patch offered) 
    814 * #5939, #5936: Pedro's generics 
    915 
     16== Template Haskell == 
     17 * #6064: binders in `InstanceD` 
     18 * #5612: support for kinds (patch available) 
     19 * #1475: allow splicing of import declarations 
     20 
     21== Optimisation == 
     22 * #5623, #5954: performance regression. Duplication of primops? 
     23 * #5996: CSE (patch offered) 
     24 * #6047: GHC retains unnecessary binding 
     25 
     26== Features == 
     27 * #5972: option to suppress record selectors 
     28 
     29---------------------- 
    1030=== Arity === 
    1131 * #5809: arity analysis could be better