[commit: ghc] master: A bit more tc-tracing (17055da)

git at git.haskell.org git at git.haskell.org
Fri May 26 08:55:14 UTC 2017


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

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

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

commit 17055da185b8e3ba03f92401f1c0f7a225f55e00
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Fri May 26 09:24:14 2017 +0100

    A bit more tc-tracing


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

17055da185b8e3ba03f92401f1c0f7a225f55e00
 compiler/typecheck/TcTyClsDecls.hs | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/compiler/typecheck/TcTyClsDecls.hs b/compiler/typecheck/TcTyClsDecls.hs
index ddb183d..cb46c69 100644
--- a/compiler/typecheck/TcTyClsDecls.hs
+++ b/compiler/typecheck/TcTyClsDecls.hs
@@ -555,7 +555,11 @@ getFamDeclInitialKind mb_cusk decl@(FamilyDecl { fdLName     = L _ name
 kcLTyClDecl :: LTyClDecl Name -> TcM ()
   -- See Note [Kind checking for type and class decls]
 kcLTyClDecl (L loc decl)
-  = setSrcSpan loc $ tcAddDeclCtxt decl $ kcTyClDecl decl
+  = setSrcSpan loc $
+    tcAddDeclCtxt decl $
+    do { traceTc "kcTyClDecl {" (ppr (tyClDeclLName decl))
+       ; kcTyClDecl decl
+       ; traceTc "kcTyClDecl done }" (ppr (tyClDeclLName decl)) }
 
 kcTyClDecl :: TyClDecl Name -> TcM ()
 -- This function is used solely for its side effect on kind variables



More information about the ghc-commits mailing list