Changes between Version 145 and Version 146 of TypeFunctionsStatus


Ignore:
Timestamp:
Jun 29, 2007 5:16:19 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v145 v146  
    3131 
    3232Todo (low-level): 
    33  * RHS of a `type instance` must be a tau type. 
    3433 * Check that patterns of type indexes don't contain type functions. 
    3534 * 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.)