Changes between Version 108 and Version 109 of TypeFunctionsStatus


Ignore:
Timestamp:
Dec 7, 2006 11:29:53 PM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v108 v109  
    4747 
    4848Todo (low-level): 
    49  * Derivings on an associated data type ''declaration'' need to be inherited by all definitions of that data type in instances. 
     49 * Allow deriving clauses at associated data/newtype ''declarations''.  They are inherited by all family instances, and the whole family becomes an instance of the derived class. 
    5050 
    5151Todo (high-level):