Changes between Version 404 and Version 405 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Mar 6, 2014 9:54:33 PM (12 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v404 v405  
    213213 * #4479: type directed name resolution (TDNR) 
    214214 * #4426: simpler rule for implicit quantification 
    215  * #595, #5728, #3927, #5724, #5762, #4139, #6124, #7669, #322, #8016, #8494: '''pattern-match overlap checking''', including with GADTs 
     215 * #595, #5728, #3927, #5724, #5762, #4139, #6124, #7669, #322, #8016, #8494, #8853: '''pattern-match overlap checking''', including with GADTs 
    216216 * #3701: Implicitly declared existentials: a class as a type 
    217217 * #3217: better flag handling for GHCi