Changes between Version 85 and Version 86 of TypeFunctionsStatus


Ignore:
Timestamp:
Sep 12, 2006 6:55:57 PM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v85 v86  
    4646 
    4747Todo (low-level): 
    48  * `data instances` and `newtype instances` need to be implicitly exported as are class instances. 
    4948 * Derivings on an associated data type ''declaration'' need to be inherited by all definitions of that data type in instances. 
    5049 
     
    5453     * SPJ pointed out that instances are maintained in `InstEnv.InstEnv` with different values for the home packages and others. Type instances may have to be maintained in a similar way, as they are also incrementally collected during compiling a program.  (We probably include them in the same structure, as they will also be of type `InstInfo`.) 
    5554     * `IfaceInst` contains the instance declaration information for interfaces. 
    56    * Export and import lists: The name lists that may appear at class imports and exports can now also contain type names, which is tricky as data type names can carry a list of data constructors. 
     55    '''Answer:''' We don't put anything extra into interface files.  Instead, we derive the information corresponding to`IfaceInst` list in `ModIface` and the `Instance` list in `ModDetails` from the interface declarations and type environment, respectively.  I.e., it is the type instances that carry the whole payload. 
    5756 3. Desugar type functions and equality constraints. 
    5857 
     
    6463 * Extension of `TyCon.TyCon` such that the parent of a data instance is paired with a coercion identifying family instance and representation type. 
    6564 * For indexed data types, the datacon wrapper uses data instance coercion and pattern matching casts the scrutinee via an `ExprCoFn` in a `CoPat`. 
     65 * Imporet and exporting. 
    6666 
    6767 
     
    7070Todo: 
    7171 * Compile libraries with !CoreLint. 
    72  * Convert `TyFuns.hs` to tests in the testsuite. 
     72 * Convert `TyFuns.hs` and the various `GMap`s to tests in the testsuite.