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?