Changes between Version 243 and Version 244 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
10/10/07 06:54:05 (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v243 v244  
    9292Todo (low-level): 
    9393 * Allow data family GADT instances. 
    94  * Deriving `Typeable` for data families. 
     94 * Deriving `Typeable` for data families (#1769) 
    9595 * If an associated synonym has a default definition, use that in the instances.  In contrast to methods, this cannot be overridden by a specialised definition.  (Confluence requires that any specialised version is extensionally the same as the default.) 
    9696