Changes between Version 81 and Version 82 of TypeFunctionsStatus


Ignore:
Timestamp:
Sep 6, 2006 1:33:24 AM (9 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.