Changes between Version 239 and Version 240 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Apr 24, 2012 12:34:17 PM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v239 v240  
    8989
    9090== Types and type inference ==
    91  * #5267, #5609, #5777: bugs in arrows; awaiting refactoring by Dan
     91 * #5267, #5609, #5777, #344: bugs in arrows; awaiting refactoring by Dan
    9292 * #1965: make existentials have a really cheap implementation
    9393 * #5224: make it cheaper to check for inconsistent type family instances