[commit: ghc] master: A bit more tracing of functional dependencies (b6693d3)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/b6693d3096c810b925af1899b45867482bcc81cf/ghc

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

commit b6693d3096c810b925af1899b45867482bcc81cf
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed Jun 18 11:59:30 2014 +0100

    A bit more tracing of functional dependencies


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

b6693d3096c810b925af1899b45867482bcc81cf
 compiler/typecheck/TcInteract.lhs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/compiler/typecheck/TcInteract.lhs b/compiler/typecheck/TcInteract.lhs
index 5870938..42e0465 100644
--- a/compiler/typecheck/TcInteract.lhs
+++ b/compiler/typecheck/TcInteract.lhs
@@ -1481,7 +1481,9 @@ doTopReactDict inerts fl cls xis
        = do { instEnvs <- getInstEnvs
             ; let fd_eqns = improveFromInstEnv instEnvs pred
             ; fd_work <- rewriteWithFunDeps fd_eqns loc
-            ; unless (null fd_work) (updWorkListTcS (extendWorkListEqs fd_work))
+            ; unless (null fd_work) $
+              do { traceTcS "Addig FD work" (ppr pred $$ vcat (map pprEquation fd_eqns) $$ ppr fd_work)
+                 ; updWorkListTcS (extendWorkListEqs fd_work) }
             ; return NoTopInt }
 
 --------------------