Changes between Version 146 and Version 147 of TypeFunctionsStatus


Ignore:
Timestamp:
Jun 29, 2007 6:43:34 AM (7 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