Changes between Version 468 and Version 469 of TypeFunctionsStatus


Ignore:
Timestamp:
Sep 30, 2009 9:06:49 AM (5 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v468 v469  
    1111 
    1212 * Constraint simplification: 
     13  * #3554: assertion failure 
    1314  * #3500: type functions and recursive dictionaries — need to require !UndecidableInstances 
    1415  * #3484: type checker diverges (involves higher rank types)