Changes between Version 93 and Version 94 of TypeFunctionsStatus


Ignore:
Timestamp:
Oct 8, 2006 12:46:47 AM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v93 v94  
    44 
    55'''Current:'''  
     6 * Re-organise the representation of type instances a bit: 
     7   * Currently, `FamInst` and `IfaceFamInst` just copy some info from the type instance declarations.  Let's change that and let them have rough match signatures.  In the case of `IfaceFamInst`, only the actual type instances continues to hold the full information.  `IfaceFamInst` is just the rough match signature referring to the type instance.  Thereby, move the old `IfaceFamInst` into `IFaceFamInstTy`.  Then, `mi_fam_inst` gets the type `[IfaceFamInst]`, as the `IfaceDecl` no longer has a reference to `IfaceFamInst`, but only to `IFaceFamInstTy`. 
    68 * Overlap check for data/newtype instances. 
    79   1. Routine that checks two `FamInst`s for overlap.  See comment in `FamInst.addLocalFamInst` for what is missing.