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


Ignore:
Timestamp:
May 2, 2012 1:29:56 PM (3 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