Changes between Version 89 and Version 90 of TypeFunctionsStatus


Ignore:
Timestamp:
Sep 14, 2006 12:28:01 AM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v89 v90  
    55'''Current:'''  
    66 * Overlap check for data/newtype instances. 
    7    1. Check for overlap given a value of type `[FamInst]` (based on a routine that checks two `FamInst`s for overlap). 
     7   1. Routine that checks two `FamInst`s for overlap.  Use it as part of the implementation of `addFamInsts`, called in `TcInstDcls.tcInstDecls1`.  (Also extend `TcRnTypes.TcGblEnv` by a field containing a family instance environment.) 
    88   2. In `M.hi` store the names of all modules below (and including `M`) that contain family instances.  Invariant: if `M` compiles, then none of those modlues have overlaps. 
    99   3. When compiling a new module `K`, union the sets from direct imports, plus `K` itself if it has family instances.  If that union is a subset of any of the incoming ones, nothing to do!  Otherwise, further checking needed.