Changes between Version 192 and Version 193 of TypeFunctionsStatus


Ignore:
Timestamp:
Sep 5, 2007 7:09:52 AM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v192 v193  
    2323    * In `TcUnify`, make all occurs checks more elaborate.  They should only '''defer''' if the checked variable occurs as part of an argument to a type family application; in other cases, still fail right away. 
    2424    * `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). 
     25 0. Emit a warning if there are two ''identical'' type instances. 
    2526 
    2627'''Current:'''