• dimitris's avatar
    Reorganized functional dependency reactions once more: · 107715b3
    dimitris authored
     1) generating Derived FDs as happens for equality superclasses
     2) Kept the optimization of immediately discharging items
        if fundeps cause a match
     3) Restructured top-reactions and interactions with inerts to
        behave similarly to each other.
    In particular, (1) fixes ticket #5236.
TcInteract.lhs 95.2 KB