Changes between Version 182 and Version 183 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 30, 2007 4:24:17 AM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v182 v183  
    1111   * We still need to have the name parent map, though.
    1212   * See email for example.
     13 0. Allow data family GADT instances.
    1314 0. Fix core-lint breakage in cholewo-eval.
    1415 0. The tests `tcfail068` and `rw` used to raise more type errors right away.  Now, we see less recovery.
     
    4546Todo (low-level):
    4647 * Enforce syntactic constraints on type instances needed to ensure the termination of constraint entailment checking.
     48 * Allow data family GADT instances.
     49 * Deriving `Typeable` for data families.
    4750 * 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.)
    4851