[commit: ghc] ghc-new-co: Debug messages only (20c7a21)

[Simon Peyton Jones]

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

On branch  : ghc-new-co

http://hackage.haskell.org/trac/ghc/changeset/20c7a21a3f9a4f3331442bfa3bce0566115fd67d

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

commit 20c7a21a3f9a4f3331442bfa3bce0566115fd67d
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Fri Feb 17 17:58:25 2012 +0000

    Debug messages only

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

 compiler/typecheck/TcBinds.lhs    |    1 +
 compiler/typecheck/TcInstDcls.lhs |    7 +++++--
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/compiler/typecheck/TcBinds.lhs b/compiler/typecheck/TcBinds.lhs
index 59fce56..94b5999 100644
--- a/compiler/typecheck/TcBinds.lhs
+++ b/compiler/typecheck/TcBinds.lhs
@@ -1176,6 +1176,7 @@ tcInstSig sig_fn use_skols name
                                , sig_tvs = zipWith mk_tv_w_scope tvs inst_tvs
                                , sig_theta = theta, sig_tau = tau
                                , sig_loc = loc }
+        ; traceTc "tcInstSig" (ppr name $$ ppr scoped_tvs $$ ppr tvs)
         ; return (Just (name, sig)) } 
   | otherwise
   = return Nothing
diff --git a/compiler/typecheck/TcInstDcls.lhs b/compiler/typecheck/TcInstDcls.lhs
index 2ee3fb6..55981f1 100644
--- a/compiler/typecheck/TcInstDcls.lhs
+++ b/compiler/typecheck/TcInstDcls.lhs
@@ -970,6 +970,7 @@ tcInstanceMethods dfun_id clas tyvars dfun_ev_vars inst_tys
                   (spec_inst_prags, prag_fn)
                   op_items (VanillaInst binds sigs standalone_deriv)
   = do { mapM_ (checkInstSig clas inst_tys) sigs
+       ; traceTc "tcInstMeth" (ppr sigs $$ ppr binds)
        ; mapAndUnzipM tc_item op_items }
   where
     ----------------------
@@ -1085,8 +1086,10 @@ tcInstanceMethods dfun_id clas tyvars dfun_ev_vars inst_tys
     sig_fn = mkSigFun sigs
     mk_meth_sig_fn sel_name _meth_name 
        = case sig_fn sel_name of 
-            Nothing -> Just ([],loc)
-            Just r  -> Just r 
+            Nothing -> pprTrace "meth_sig_fn1" (ppr _meth_name $$ ppr sel_name) 
+                       Just ([],loc)
+            Just r  -> pprTrace "meth_sig_fn2" (ppr _meth_name $$ ppr sel_name $$ ppr r) 
+                       Just r 
         -- The orElse 'Just' says "yes, in effect there's always a type sig"
         -- But there are no scoped type variables from local_method_id
         -- Only the ones from the instance decl itself, which are already