Changes between Version 85 and Version 86 of TypeFunctionsStatus
- Sep 12, 2006 6:55:57 PM (10 years ago)
v85 v86 46 46 47 47 Todo (low-level): 48 * `data instances` and `newtype instances` need to be implicitly exported as are class instances. 49 48 * Derivings on an associated data type ''declaration'' need to be inherited by all definitions of that data type in instances. 50 49 … … 54 53 * 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`.) 55 54 * `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 . 57 56 3. Desugar type functions and equality constraints. 58 57 … … 64 63 * Extension of `TyCon.TyCon` such that the parent of a data instance is paired with a coercion identifying family instance and representation type. 65 64 * For indexed data types, the datacon wrapper uses data instance coercion and pattern matching casts the scrutinee via an `ExprCoFn` in a `CoPat`. 65 66 66 67 67 … … 70 70 Todo: 71 71 * Compile libraries with !CoreLint. 72 * Convert `TyFuns.hs` to tests in the testsuite. 72 * Convert `TyFuns.hs` to tests in the testsuite.