diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2017-02-21 14:40:59 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2017-02-21 15:54:29 +0000 |
| commit | e3e218e2785400efb824f6652f8927690adebd20 (patch) | |
| tree | 355ebb8870304c534ba54b1bafd9be1862d267d6 | |
| parent | 0c9d9dec0a924a4f34f4cff26d004143c028861a (diff) | |
| download | haskell-e3e218e2785400efb824f6652f8927690adebd20.tar.gz | |
A bit more tc-tracing in TcTyClsDecls
| -rw-r--r-- | compiler/typecheck/TcTyClsDecls.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/typecheck/TcTyClsDecls.hs b/compiler/typecheck/TcTyClsDecls.hs index 48a51bafce..805120c088 100644 --- a/compiler/typecheck/TcTyClsDecls.hs +++ b/compiler/typecheck/TcTyClsDecls.hs @@ -147,6 +147,8 @@ tcTyClGroup (TyClGroup { group_tyclds = tyclds = do { let role_annots = mkRoleAnnotEnv roles -- Step 1: Typecheck the type/class declarations + ; traceTc "-------- tcTyClGroup ------------" empty + ; traceTc "Decls for" (ppr (map (tcdName . unLoc) tyclds)) ; tyclss <- tcTyClDecls tyclds role_annots -- Step 1.5: Make sure we don't have any type synonym cycles |