Changes between Version 126 and Version 127 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
12/28/06 14:21:54 (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v126 v127  
    66 1. Dictionary handling for equational constraints: 
    77   * 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.) 
     8   * 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`. 
     9   * 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. 
    810 2. Add type synonym instances to ifaces 
    911 3. Well-formedness checks for equational constraints (i.e., anything beyond the type arguments being boxed, rank 0 types)