Changes between Version 393 and Version 394 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Nov 4, 2013 9:06:28 AM (6 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v393 v394  
    209209 * #4479: type directed name resolution (TDNR) 
    210210 * #4426: simpler rule for implicit quantification 
    211  * #595, #5728, #3927, #5724, #5762, #4139, #6124, #7669, #322, #8016: '''pattern-match overlap checking''', including with GADTs 
     211 * #595, #5728, #3927, #5724, #5762, #4139, #6124, #7669, #322, #8016, #8494: '''pattern-match overlap checking''', including with GADTs 
    212212 * #3701: Implicitly declared existentials: a class as a type 
    213213 * #3217: better flag handling for GHCi