Changes between Version 475 and Version 476 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
01/04/10 05:25:44 (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v475 v476  
    2323 
    2424 * Constraint simplification: 
     25  * #3787: ill-typed program made by typechecker 
    2526  * #3651: unreachable branches not discovered 
    2627  * #3584: premature commitment to an instance declaration