From: simonpj <unknown>
Date: Wed, 20 Dec 2000 11:00:15 +0000 (+0000)
Subject: [project @ 2000-12-20 11:00:15 by simonpj]
X-Git-Tag: Approximately_9120_patches~3027
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=1ecd776e22f44624ec66271d96cb8611d54d3b69;p=ghc-hetmet.git

[project @ 2000-12-20 11:00:15 by simonpj]
Fix -ddump-types
---

diff --git a/ghc/compiler/typecheck/TcModule.lhs b/ghc/compiler/typecheck/TcModule.lhs
index 3d58d8e..0a0280d 100644
--- a/ghc/compiler/typecheck/TcModule.lhs
+++ b/ghc/compiler/typecheck/TcModule.lhs
@@ -44,9 +44,9 @@ import CoreUnfold	( unfoldingTemplate, hasUnfolding )
 import Type		( funResultTy, splitForAllTys, openTypeKind )
 import Bag		( isEmptyBag )
 import ErrUtils		( printErrorsAndWarnings, errorsFound, dumpIfSet_dyn, showPass )
-import Id		( idType, idUnfolding )
+import Id		( idType, idName, isLocalId, idUnfolding )
 import Module           ( Module )
-import Name		( Name, toRdrName )
+import Name		( Name, toRdrName, isGlobalName )
 import Name		( nameEnvElts, lookupNameEnv )
 import TyCon		( tyConGenInfo )
 import Util
@@ -358,7 +358,11 @@ dump_sigs results	-- Print type signatures
     ppr_sig (n,t)        = ppr n <+> dcolon <+> ppr t
 
     want_sig id | opt_PprStyle_Debug = True
-	        | otherwise	     = True	-- For now
+	        | otherwise	     = isLocalId id && isGlobalName (idName id)
+	-- isLocalId ignores data constructors, records selectors etc
+	-- The isGlobalName ignores local dictionary and method bindings
+	-- that the type checker has invented.  User-defined things have
+	-- Global names.
 
 ppr_gen_tycons tcs = vcat [ptext SLIT("{-# Generic type constructor details"),
 			   vcat (map ppr_gen_tycon tcs),