[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