Changes between Version 198 and Version 199 of TypeFunctionsStatus


Ignore:
Timestamp:
Sep 6, 2007 1:43:09 PM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v198 v199  
    2626    * `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). 
    2727 0. What about filtering the `EqInst`s in `TcSimplify.addSCs`.  We need them, don't we?  But they give rise to `Var`s, not `Id`s, and we haven't got selectors. 
    28  0. Emit a warning if there are two ''identical'' type instances. 
    29  
     28  
    3029'''Current:''' 
    3130 * Add some trac wiki documentation of how inference with type families works.