Changes between Version 223 and Version 224 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Feb 15, 2012 5:12:11 PM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v223 v224  
    128128 * #4359: lambda case 
    129129 * #4148: improvements to mdo syntax 
    130  * #595, #5728, #3927, #5724, #5762: '''pattern-match overlap checking''', including with GADTs 
     130 * #595, #5728, #3927, #5724, #5762, #4139: '''pattern-match overlap checking''', including with GADTs 
    131131 * #3701: Implicitly declared existentials: a class as a type 
    132132 * #3217: better flag handling for GHCi