Changes between Version 127 and Version 128 of TypeFunctionsStatus


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

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v127 v128  
    55'''Current:''' 
    66 1. Dictionary handling for equational constraints: 
     7   * Where do we check the details of the formation of equational constraints?  (In `check_pred_ty`?) 
    78   * 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.) 
    89   * 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`.