[commit: ghc] master: Reorganized functional dependency reactions once more: (107715b)

[dimitris at microsoft.com]

Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/107715b367678d1325a5eecd4a4f13ba6ada3c6c

>---------------------------------------------------------------

commit 107715b367678d1325a5eecd4a4f13ba6ada3c6c
Author: Dimitrios Vytiniotis <dimitris at microsoft.com>
Date:   Wed Jun 8 18:24:21 2011 +0100

    Reorganized functional dependency reactions once more:
     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.

 compiler/typecheck/TcCanonical.lhs |  108 +++++++++-------
 compiler/typecheck/TcInteract.lhs  |  254 ++++++++++++++++++++----------------
 2 files changed, 203 insertions(+), 159 deletions(-)


Diff suppressed because of size. To see it, use:

    git show 107715b367678d1325a5eecd4a4f13ba6ada3c6c