Changes between Version 158 and Version 159 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Oct 22, 2010 8:52:14 AM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v158 v159  
    9898 * #4310: deferred equalities and forall types (needs Brent's work) 
    9999 
    100  * #816: extreme delicacy in solve order 
     100 * #816. #3108: extreme delicacy in solve order, involving fundeps 
    101101 * #1823: refinement 
    102102 * #3714: error message if associated family has excess parameters 
     
    144144 * #1634: deep skolemisation; also this one #3592 
    145145 * #3018: be lazier about solving class instances 
    146  * #3108: interaction of fundeps and type class solving 
    147146 * #2357: '''Implement the Haskell Prime proposal for polymorphic pattern bindings''' 
    148147 
     
    180179 
    181180== Features ==  
     181 * #4426: simpler rule for implicit quantification 
    182182 * #4372: better quasiquotes 
    183183 * #4359: lambda case