Changes between Version 218 and Version 219 of Status/SLPJ-Tickets

Show
Ignore:
Timestamp:
01/10/12 08:44:12 (17 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Status/SLPJ-Tickets

    v218 v219  
    126126 * #4359: lambda case 
    127127 * #4148: improvements to mdo syntax 
    128  * #595, #5728, #3927, #5274: '''pattern-match overlap checking''', including with GADTs 
     128 * #595, #5728, #3927, #5274, #5762: '''pattern-match overlap checking''', including with GADTs 
    129129 * #3701: Implicitly declared existentials: a class as a type 
    130130 * #3217: better flag handling for GHCi