Changes between Version 467 and Version 468 of TypeFunctionsStatus


Ignore:
Timestamp:
Sep 14, 2009 4:20:12 AM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v467 v468  
    1111
    1212 * Constraint simplification:
    13   * #3500: type functions and recursive dictionaries — need to require UndecidableInstances
     13  * #3500: type functions and recursive dictionaries — need to require !UndecidableInstances
    1414  * #3484: type checker diverges (involves higher rank types)
    1515  * #3460: mixed equalities and type classes