Changes between Version 272 and Version 273 of Status/SLPJ-Tickets


Ignore:
Timestamp:
May 25, 2012 9:17:17 AM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v272 v273  
    173173 * #4359: lambda case 
    174174 * #4148: improvements to mdo syntax 
    175  * #595, #5728, #3927, #5724, #5762, #4139: '''pattern-match overlap checking''', including with GADTs 
     175 * #595, #5728, #3927, #5724, #5762, #4139, #6124: '''pattern-match overlap checking''', including with GADTs 
    176176 * #3701: Implicitly declared existentials: a class as a type 
    177177 * #3217: better flag handling for GHCi