Changes between Version 470 and Version 471 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
11/10/09 04:07:51 (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v470 v471  
    1111 
    1212 * Constraint simplification: 
     13  * #3651: unreachable branches not discovered 
    1314  * #3584: premature commitment to an instance declaration 
    1415  * #3554: assertion failure