Changes between Version 140 and Version 141 of TypeFunctionsStatus


Ignore:
Timestamp:
Apr 25, 2007 9:02:01 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v140 v141  
    44 
    55'''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. Add type synonym instances to ifaces.  (This is easy, just add the (new) parent information of `SynTyCon`s.) 
    77 1. Dictionary handling for equational constraints: 
    88   * Where do we check the details of the formation of equational constraints?  (In `check_pred_ty`?) 
     
    1010   * 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`. 
    1111   * 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 
    1312 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.) 
    1413 4. Well-formedness checks for equational constraints (i.e., anything beyond the type arguments being boxed, rank 0 types) 
     
    5857Done:  
    5958 * 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, including the generation of representation tycons. 
    6160 * Wrapper generation and type checking of pattern matching for indexed data and newtypes. 
    6261 * Consistency checking for family instances.