Changes between Version 341 and Version 342 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Feb 15, 2013 3:09:50 PM (14 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v341 v342  
    179179 * #4479: type directed name resolution (TDNR) 
    180180 * #4426: simpler rule for implicit quantification 
    181  * #595, #5728, #3927, #5724, #5762, #4139, #6124: '''pattern-match overlap checking''', including with GADTs 
     181 * #595, #5728, #3927, #5724, #5762, #4139, #6124, #7669: '''pattern-match overlap checking''', including with GADTs 
    182182 * #3701: Implicitly declared existentials: a class as a type 
    183183 * #3217: better flag handling for GHCi