Changes between Version 232 and Version 233 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Apr 5, 2012 11:38:27 AM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

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