Changes between Version 243 and Version 244 of TypeFunctionsStatus


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