Changes between Version 8 and Version 9 of TypeFunctionsIface


Ignore:
Timestamp:
Oct 12, 2006 9:53:37 PM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsIface

    v8 v9  
    66 
    77Moreover, much like class instances, family instance heads of a module are collected in the new `mi_fam_insts :: [IfaceFamInst]` field of `HscTypes.ModIface`.  This allows to enter the rough matches into the `ModGuts`, when reading the interface, without having to parse the full tycon that represents the instance yet.  This in turn avoids pulling in everything that hangs of that tycon. 
     8 
     9== Module dependencies due to family instances == 
     10 
     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 `mi_finsts` of `HscTypes.Dependencies`.  When importing a module (in `RnNames.rnImport`), this information makes its way into `ImportAvails`.