Changes between Version 267 and Version 268 of TypeFunctionsStatus


Ignore:
Timestamp:
Nov 19, 2007 9:37:56 AM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v267 v268  
    5353     * `TcPat.refineAlt`: This function is now dead code, so is all its support code. 
    5454     * `pat_reft` field of `TcPat.PatState`: Not needed anymore and code maintaining can go, too. 
    55      * We can remove the `Refinement` argument of `TcSimplify.tcSimplifyCheckPat`. 
     55     * We can remove the `CoVars` and `Refinement` argument of `TcSimplify.tcSimplifyCheckPat`. 
    5656 0. `substEqInDict` needs to be symmetric (i.e., also apply right-to-left rules); try to re-use existing infrastructure.  It would be neater, easier to understand, and more efficient to have one loop that goes for a fixed point of simultaneously rewriting with given_eqs, wanted_eqs, and type instances. 
    5757 0. skolemOccurs for wanteds?  At least `F a ~ [G (F a)]` and similar currently result in an occurs check error.  Without skolemOccurs in wanted, the occurs check for wanted would need to be smarter (and just prevent cyclic substitutions of the outlined form silently).  However, when inferring a type, having the rewrites enabled by skolemOccurs available will leads to potentially simpler contexts.