Refactoring around TyCon.isSynTyCon
[ghc.git] / compiler / typecheck / TcDeriv.lhs
index 130736f..6f032b5 100644 (file)
@@ -567,6 +567,7 @@ deriveAutoTypeable auto_typeable done_specs tycl_decls
     do_one cls (L _ decl)
       = do { tc <- tcLookupTyCon (tcdName decl)
            ; if (isSynTyCon tc || tyConName tc `elemNameSet` done_tcs)
+                 -- Do not derive Typeable for type synonyms or type families
              then return []
              else mkPolyKindedTypeableEqn cls tc }