From: simonpj <unknown>
Date: Wed, 15 Dec 2004 12:14:06 +0000 (+0000)
Subject: [project @ 2004-12-15 12:14:06 by simonpj]
X-Git-Tag: Initial_conversion_from_CVS_complete~1345
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=7428487a4bc43b729c67dd8f420e173448399956;p=ghc-hetmet.git

[project @ 2004-12-15 12:14:06 by simonpj]
comment
---

diff --git a/ghc/compiler/iface/IfaceSyn.lhs b/ghc/compiler/iface/IfaceSyn.lhs
index 9fd2d3b..c6a8eb2 100644
--- a/ghc/compiler/iface/IfaceSyn.lhs
+++ b/ghc/compiler/iface/IfaceSyn.lhs
@@ -446,6 +446,10 @@ ppr_hs_info (HsWorker w a)	= ptext SLIT("Worker:") <+> ppr w <+> int a
 tyThingToIfaceDecl :: Bool 
 		   -> NameSet		-- Tycons and classes to export abstractly
 		   -> (Name -> IfaceExtName) -> TyThing -> IfaceDecl
+-- Assumption: the thing is already tidied, so that locally-bound names
+-- 	       (lambdas, for-alls) already have non-clashing OccNames
+-- Reason: Iface stuff uses OccNames, and the conversion here does
+--	   not do tidying on the way
 tyThingToIfaceDecl discard_id_info _ ext (AnId id)
   = IfaceId { ifName   = getOccName id, 
 	      ifType   = toIfaceType ext (idType id),