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


Ignore:
Timestamp:
Jan 8, 2013 11:06:26 PM (2 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 ==