Changes between Version 233 and Version 234 of TypeFunctionsStatus


Ignore:
Timestamp:
Sep 29, 2007 12:40:54 PM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v233 v234  
    77 * #1737 (is this related to the other optimisation-related problems with cast?) 
    88 * #1715 
    9  * #1730 (type synonym families) 
    109 * #1738 (GADTs with equalities) 
    1110 * #1722 (type families & GADTs) [look at when GADTs are implemented by equalities]