Changes between Version 140 and Version 141 of TypeFunctionsStatus
- Apr 25, 2007 9:02:01 AM (10 years ago)
v140 v141 4 4 5 5 '''Current:''' 6 0. For Tom: Construct `TyCon` for type equation in `tcFamInstDecl1`. This needs to be a synonym tycon, which still needs to be extended to include family information. 6 0. 7 7 1. Dictionary handling for equational constraints: 8 8 * Where do we check the details of the formation of equational constraints? (In `check_pred_ty`?) … … 10 10 * Similarly with `map instToId meth_dicts` in `TcClassDcl.tcMethodBind` Maybe we just need a special function to replace all occurences of `map instToId`? Occurs also in `TcPat.tcConPat`. 11 11 * We also have `map instToId` in `TcUnify.tcGen`, but here I am not sure yet whether we cans imply drop the coercion variables or have to do something else. 12 2. Add type synonym instances to ifaces 13 12 3. `TcSimplify`: Handle the presence of `EqPred`s in the given set, due to appearing in signature contexts. (Including that `instToId` doesn't work on `EqPred`s.) 14 13 4. Well-formedness checks for equational constraints (i.e., anything beyond the type arguments being boxed, rank 0 types) … … 58 57 Done: 59 58 * Kind and type checking of kind signatures. 60 * Kind and type checking of instance declarations of indexed types . 59 * Kind and type checking of instance declarations of indexed types. 61 60 * Wrapper generation and type checking of pattern matching for indexed data and newtypes. 62 61 * Consistency checking for family instances.