Changes between Version 95 and Version 96 of TypeFunctionsStatus


Ignore:
Timestamp:
Oct 11, 2006 4:13:28 AM (9 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v95 v96  
    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`. 
    86 * Overlap check for data/newtype instances. 
    97   1. Routine that checks two `FamInst`s for overlap.  See comment in `FamInst.addLocalFamInst` for what is missing. 
     
    7472 * Extension of `TyCon.TyCon` such that the parent of a data instance is paired with a coercion identifying family instance and representation type. 
    7573 * For indexed data types, the datacon wrapper uses data instance coercion and pattern matching casts the scrutinee via an `ExprCoFn` in a `CoPat`. 
    76  * Imporet and exporting. 
    77  
     74 * Import and exporting. 
     75 * Generation and plumbing through of rough matches. 
    7876 
    7977== Testsuite ==