From 1264eac26aa049f76a6880e6b172e93a20567772 Mon Sep 17 00:00:00 2001 From: simonpj Date: Thu, 7 Sep 2000 10:14:52 +0000 Subject: [PATCH] [project @ 2000-09-07 10:14:52 by simonpj] Improve -ddump-types --- ghc/compiler/typecheck/TcModule.lhs | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/ghc/compiler/typecheck/TcModule.lhs b/ghc/compiler/typecheck/TcModule.lhs index 34a82d1..03e4c46 100644 --- a/ghc/compiler/typecheck/TcModule.lhs +++ b/ghc/compiler/typecheck/TcModule.lhs @@ -46,10 +46,10 @@ import Bag ( isEmptyBag ) import ErrUtils ( Message, printErrorsAndWarnings, dumpIfSet ) import Id ( Id, idType, idName ) import Module ( pprModuleName, mkThisModule ) -import OccName ( isSysOcc ) -import Name ( Name, nameUnique, nameOccName, isLocallyDefined, +import Name ( Name, nameUnique, nameOccName, isLocallyDefined, isGlobalName, toRdrName, nameEnvElts, NamedThing(..) ) +import OccName ( isSysOcc ) import TyCon ( TyCon, tyConKind, tyConClass_maybe ) import Class ( Class, classSelIds, classTyCon ) import PrelInfo ( mAIN_Name ) @@ -115,7 +115,9 @@ dump_sigs results -- Print type signatures ppr_sig (n,t) = ppr n <+> dcolon <+> ppr t want_sig id | opt_PprStyle_Debug = True - | otherwise = isLocallyDefined n && not (isSysOcc (nameOccName n)) + | otherwise = isLocallyDefined n && + isGlobalName n && + not (isSysOcc (nameOccName n)) where n = idName id -- 1.7.10.4