Changes between Version 46 and Version 47 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Mar 18, 2009 9:03:28 AM (6 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v46 v47  
    6767 * #1634: deep skolemisation 
    6868 * #3018: be lazier about solving class instances 
     69 * #3108: interaction of fundeps and type class solving 
    6970 * #2357: '''Implement the Haskell Prime proposal for polymorphic pattern bindings''' 
    7071