Changes between Version 475 and Version 476 of TypeFunctionsStatus


Ignore:
Timestamp:
Jan 4, 2010 1:25:44 PM (4 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