diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2017-05-26 09:24:14 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2017-05-26 09:32:29 +0100 |
| commit | 17055da185b8e3ba03f92401f1c0f7a225f55e00 (patch) | |
| tree | 013522d80845a3b008f56410a5f4983b97f1a145 | |
| parent | f011f587ca0289e96dd26acfc5f40a66aa7d6e5f (diff) | |
| download | haskell-17055da185b8e3ba03f92401f1c0f7a225f55e00.tar.gz | |
A bit more tc-tracing
| -rw-r--r-- | compiler/typecheck/TcTyClsDecls.hs | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/compiler/typecheck/TcTyClsDecls.hs b/compiler/typecheck/TcTyClsDecls.hs index ddb183d8bd..cb46c69832 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 |