Changes between Version 171 and Version 172 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 28, 2007 2:15:41 AM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v171 v172  
    1414 
    1515'''Current:''' 
    16  1. Dictionary handling for equational constraints: ['''Which of that has Tom done?'''] 
    17    * Where do we check the details of the formation of equational constraints?  (In `check_pred_ty`?) 
    18    * In the case for ordinary instances in `TcInstDcls.tcInstDecl2`, filter the ids of the super class equalities out of `map instToId sc_dicts`.  (They don't appear explicitly in the `Hs' representation of the methods binding.) 
    19    * 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`. 
    20    * 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. 
    21  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.)  ['''Did Tom do that?'''] 
    22  4. Well-formedness checks for equational constraints (i.e., anything beyond the type arguments being boxed, rank 0 types) 
     16 * Merge and debug type family patch. 
     17 * Add some wiki documentation of how inference with type families works. 
    2318 
    2419== Parsing and Renaming ==