Changes between Version 291 and Version 292 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Jul 13, 2012 7:59:49 AM (22 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v291 v292  
    1212 * #5863: deriving `Typeable` for data families 
    1313 * [wiki:NewAxioms] Pattern matching axioms 
     14 * #7071, #5267, #5609, #5777, #344: bugs in arrows; awaiting refactoring by Dan 
    1415 
    1516== Template Haskell == 
     
    116117 * #5320: overlap delicacy 
    117118 * #4347, #4295: impredicativity 
    118  * #5267, #5609, #5777, #344: bugs in arrows; awaiting refactoring by Dan 
    119119 * #1965: make existentials have a really cheap implementation 
    120120 * #5224: make it cheaper to check for inconsistent type family instances