Changes between Version 216 and Version 217 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Jan 4, 2012 2:06:02 PM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v216 v217  
    7979 * #4296: !SkolemOccurs 
    8080 * #816. #3108: extreme delicacy in solve order, involving fundeps 
    81  * #3927: overlap warnings with GADTs 
    8281 * #4175: better GHCi info for type-function instances 
    8382 
     
    127126 * #4359: lambda case 
    128127 * #4148: improvements to mdo syntax 
    129  * #595, #5728: pattern-match overlap checking 
     128 * #595, #5728, #3927: '''pattern-match overlap checking''', including with GADTs 
    130129 * #3701: Implicitly declared existentials: a class as a type 
    131130 * #3217: better flag handling for GHCi