Changes between Version 146 and Version 147 of TypeFunctionsStatus


Ignore:
Timestamp:
Jun 29, 2007 6:43:34 AM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v146 v147  
    3131
    3232Todo (low-level):
    33  * Check that patterns of type indexes don't contain type functions.
     33 * Enforce syntactic constraints on type instances needed to ensure the termination of constraint entailment checking.
    3434 * 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.)
    3535