Changes between Version 357 and Version 358 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Jun 17, 2013 4:57:47 PM (21 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v357 v358  
    33== Type inference == 
    44 
     5 * #7259: Eta-expansion of products in System FC 
    56 * #7558: Terrible error message in inaccessible code 
    67 * #5682: Parsing of pomoted kinds 
     
    89 * #5642: slow constraint solving 
    910 * #7346, #7878: Pedro's generics and deriving 
    10  * #5863: deriving `Typeable` for data families 
    1111 * #7828, #5267, #5777, #5333, #344: bugs in arrows 
    1212 * #7204: a class to controll FFI marshalling; and newtype deriving for classes with ATs 
     
    130130 * #7503: Kind polymorphism and mutual recursion 
    131131 * #6018, #4259: Injective type families and type family overlap 
    132  * #7259: Eta-expansion of products in System FC 
    133132 * #4296: !SkolemOccurs 
    134133 * #816. #3108: extreme delicacy in solve order, involving fundeps