Changes between Version 56 and Version 57 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 21, 2006 6:21:50 PM (9 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v56 v57  
    4545
    4646Todo (low-level):
     47 * When a family type is exported/imported, all its instances need to be implicitly imported/exported, just as with classes.
    4748 * Derivings on an associated data type ''declaration'' need to be inherited by all definitions of that data type in instances.
    4849