Changes between Version 9 and Version 10 of TypeFunctionsIface

Show
Ignore:
Timestamp:
10/12/06 15:24:02 (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsIface

    v9 v10  
    99== Module dependencies due to family instances == 
    1010 
    11 To avoid superfluous (i.e., already previously performed overlap checks), each `ModIface` keeps a list of the modules it depends on that contain family instances.  This information is in the field `mi_finsts` of `HscTypes.Dependencies`.  When importing a module (in `RnNames.rnImport`), this information makes its way into `ImportAvails`. 
     11To avoid superfluous (i.e., already previously performed overlap checks), each `ModIface` keeps a list of the modules it depends on that contain family instances.  This information is in the field `dep_finsts` of `HscTypes.Dependencies`.  Moreover, the field `mi_finsts` indicates whether there are an family instances in the current module.  When importing a module (in `RnNames.rnImport`), this information (`mi_finsts` and `dep_finsts` combined) makes its way into `ImportAvails`.