diff options
| -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 |