Changes between Version 91 and Version 92 of TypeFunctionsStatus


Ignore:
Timestamp:
Oct 4, 2006 7:23:19 PM (9 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v91 v92  
    3838 * Construct `InstInfo` for type equation in `tcIdxTyInstDecl1`.
    3939 * 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.)
     40 * It should be ok to allow newtype instances for data families.  (NB: the rhs of a newtype is guaranteed to be a lifted type.)  Is this desirable?
    4041
    4142Todo (high-level):