Changes between Version 6 and Version 7 of TypeFunctionsIface

Show
Ignore:
Timestamp:
10/07/06 17:30:33 (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsIface

    v6 v7  
    77The `mi_fam_insts` field does not contain any additional information, but instead is just a cached summary of the family instances of the `mi_decls` field.  Hence, the serialised interface description does not explicitly contain the value of `mi_fam_insts`.  Instead, the `get` method of `Binary ModIface` (in `BinIface`) - like all other places producing a `HscTypes.ModIface` - uses `HscTypes.mkIfaceFamInstsCache` to extract the relevant information from the declarations. 
    88 
    9 Similarly, `HscTypes.ModDetails` maintains a cached summary of the type checked representations of family instances in `md_fam_insts :: ![FamInstEnv.FamInst]`.  This computed from teh field `md_types` with `HscTypes.mkDetailsFamInstsCache`. 
     9Similarly, `HscTypes.ModDetails` maintains a cached summary of the type checked representations of family instances in `md_fam_insts :: ![FamInstEnv.FamInst]`.  This computed from the field `md_types` with `HscTypes.mkDetailsFamInstsCache`.