Changes between Version 123 and Version 124 of TypeFunctionsStatus


Ignore:
Timestamp:
Dec 28, 2006 9:59:34 PM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v123 v124  
    44 
    55'''Current:''' 
    6  1. Managing of equational constraints during type inference. 
     6 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.) 
    78 2. Add type synonym instances to ifaces 
    89 3. Well-formedness checks for equational constraints (i.e., anything beyond the type arguments being boxed, rank 0 types)