Changes between Version 166 and Version 167 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 27, 2007 12:50:54 PM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v166 v167  
    1010   * Moreover, the unification monad `UM` must be extended to be able to collect `EqInst` for later insertion into the LIE.
    1111   * We may have to do the same for other occurs checks.
     12   * And we '''definitely''' need the whole deferral machinery for the GADT unification in `TcGadt`.
    1213
    1314'''Current:'''