Changes between Version 128 and Version 129 of TypeFunctionsStatus


Ignore:
Timestamp:
Dec 29, 2006 4:48:04 PM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v128 v129  
    1010   * 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. 
    1111 2. Add type synonym instances to ifaces 
    12  3. Well-formedness checks for equational constraints (i.e., anything beyond the type arguments being boxed, rank 0 types) 
     12 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.) 
     13 4. Well-formedness checks for equational constraints (i.e., anything beyond the type arguments being boxed, rank 0 types) 
    1314 
    1415== Parsing and Renaming ==