Changes between Version 144 and Version 145 of TypeFunctionsStatus


Ignore:
Timestamp:
Jun 29, 2007 4:35:02 AM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v144 v145  
    3333 * RHS of a `type instance` must be a tau type.
    3434 * Check that patterns of type indexes don't contain type functions.
    35  * Implement the equation of `conflict`, which is local to `FamInst.addLocalFamInst`, for synonyms; ie, check that the left hand sides coincide under the substitution.
    3635 * 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.)
    37  * 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?
    3836
    3937Todo (high-level):
     
    7674 * Generation and plumbing through of rough matches.
    7775 * Equational constraints in contexts.
    78 
    79 == Testsuite ==
    80 
    81 Todo:
    82  * Are the tests being compiled with CoreLint?