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 ==