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


Ignore:
Timestamp:
Jan 10, 2012 4:44:46 PM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v219 v220  
    126126 * #4359: lambda case 
    127127 * #4148: improvements to mdo syntax 
    128  * #595, #5728, #3927, #5274, #5762: '''pattern-match overlap checking''', including with GADTs 
     128 * #595, #5728, #3927, #5724, #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