Changes between Version 124 and Version 125 of TypeFunctionsStatus


Ignore:
Timestamp:
Dec 28, 2006 10:01:28 PM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v124 v125  
    55'''Current:''' 
    66 1. Dictionary handling for equational constraints: 
    7    * In the case for ordinary instances in `TcInstDcls.tcInstDecl2`, filter the ids of the super class equalities out of `sc_dicts`.  (They don't appear explicitly in the `Hs' representation of the methods binding.) 
     7   * 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.) 
    88 2. Add type synonym instances to ifaces 
    99 3. Well-formedness checks for equational constraints (i.e., anything beyond the type arguments being boxed, rank 0 types)