Changes between Version 198 and Version 199 of TypeFunctionsStatus


Ignore:
Timestamp:
Sep 6, 2007 1:43:09 PM (8 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.