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