Changes between Version 243 and Version 244 of TypeFunctionsStatus


Ignore:
Timestamp:
Oct 10, 2007 1:54:05 PM (8 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