A bit more tc-tracing
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 26 May 2017 08:24:14 +0000 (09:24 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 26 May 2017 08:32:29 +0000 (09:32 +0100)
compiler/typecheck/TcTyClsDecls.hs

index ddb183d..cb46c69 100644 (file)
@@ -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