Changes between Version 322 and Version 323 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Jan 8, 2013 11:06:26 PM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v322 v323  
    55 * #6022: over-general types are inferred
    66 * #5642: slow constraint solving
    7 
    8  * #7436: avoid leak when deriving `Traversable` etc.
    9  * #7503: Kind polymorphism and mutual recursion
    10  * #6018: Injective type families (patch offered)
    11  * #7259: Eta-expansion of products in System FC
    127 * #7346: Pedro's generics and deriving
    138 * #5863: deriving `Typeable` for data families
    14  * [wiki:NewAxioms] Pattern matching axioms
    159 * #5267, #5609, #5777, #344: bugs in arrows
    1610 * #7204: a class to controll FFI marshalling; and newtype deriving for classes with ATs
     11 * #4175: better GHCi info for type-function instances
    1712
    1813== Template Haskell ==
     
    4338 * #5522, #6092: liberate-case runs out of memory
    4439 * #5366, #3990: UNPACK for data families, and with phantom types, needs data con wrapper refactoring
     40 * #5928: running Specialise more than once
    4541
    4642== Compile time ==
     
    117113
    118114------------------------
    119 == New constraint simplifier ==
     115== Type inference (longer term) ==
    120116
    121117 * [wiki:TypeFunctionsStatus]
    122  * #4296: !SkolemOccurs
     118 * #7503: Kind polymorphism and mutual recursion
     119 * #6018: Injective type families (patch offered)
     120 * #7259: Eta-expansion of products in System FC * #4296: !SkolemOccurs
    123121 * #816. #3108: extreme delicacy in solve order, involving fundeps
    124  * #4175: better GHCi info for type-function instances
    125122
    126123== Types and type inference ==