Changes between Version 81 and Version 82 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
09/05/06 18:33:24 (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v81 v82  
    44 
    55'''Current:'''  
    6  * Next: (0) Clean up `implicitTyThings`; (1) last bist of import/export functionality; (2) check for overlapping instances. 
     6 * Next: (1) implicit import and export of data/newtype instances; (2) check for overlapping instances. 
    77 * Also add a `-ffamilies` switch or similar. 
    88 
    … …  
    4646 
    4747Todo (low-level): 
    48  * In export and import lists, it must be possible to mention AT names as sub-components of a class. 
    4948 * `data instances` and `newtype instances` need to be implicitly exported as are class instances. 
    5049 * Derivings on an associated data type ''declaration'' need to be inherited by all definitions of that data type in instances.