Changes between Version 231 and Version 232 of TypeFunctionsStatus


Ignore:
Timestamp:
Sep 29, 2007 12:29:27 PM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v231 v232  
    77 * #1737 (is this related to the other optimisation-related problems with cast?)
    88 * #1715
    9  * #1729 (type synonym families)
    109 * #1730 (type synonym families)
    1110 * #1738 (GADTs with equalities)