Changes between Version 300 and Version 301 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
02/28/08 19:06:50 (5 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v300 v301  
    3232    * CLEANUP: 
    3333     * `TcGadt.tcUnifyTys` can now probably be replaced again by the non-side-effecting unifier that was in `types/Unify.hs` (recover from previous repo states). 
    34      * `TcPat.refineAlt`: This function is now dead code, so is all its support code. 
    35      * `pat_reft` field of `TcPat.PatState`: Not needed anymore and code maintaining can go, too. 
    36      * We can remove the `CoVars` and `Refinement` argument of `TcSimplify.tcSimplifyCheckPat`. 
     34     * What else? 
    3735    * Regressions that remain to be fixed:  
    3836      * `gadt/lazypatok` needs to be fixed (are irrefutable patterns really ok, see http://okmij.org/ftp/Haskell/GADT-problem.hs]?)