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):