Changes between Version 369 and Version 370 of TypeFunctionsStatus


Ignore:
Timestamp:
Sep 29, 2008 7:36:35 AM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v369 v370  
    3232  * #2627 (GADT-TF interaction) 
    3333  * #2151 (nested GADT constructors in patterns) 
    34   * #2040 (incomplete deduction of evidence for class contexts in GADT constructors) 
    3534 
    3635 * Misc: