Changes between Version 137 and Version 138 of TypeFunctionsStatus


Ignore:
Timestamp:
Apr 23, 2007 1:32:52 PM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v137 v138  
    44 
    55'''Current:''' 
     6 0. For Tom: Construct `TyCon` for type equation in `tcIdxTyInstDecl1`.  This needs to be a synonym tycon, which still needs to be extended to include family information. 
    67 1. Dictionary handling for equational constraints: 
    78   * Where do we check the details of the formation of equational constraints?  (In `check_pred_ty`?) 
     
    3435 * RHS of a `type instance` must be a tau type. 
    3536 * Check that patterns of type indexes don't contain type functions. 
    36  * Construct `TyCon` for type equation in `tcIdxTyInstDecl1`.  This needs to be a synonym tycon, which still needs to be extended to include family information. 
    3737 * Implement the equation of `conflict`, which is local to `FamInst.addLocalFamInst`, for synonyms; ie, check that the left hand sides coincide under the substitution. 
    3838 * 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.)