Changes between Version 56 and Version 57 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 21, 2006 6:21:50 PM (8 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