From 7428487a4bc43b729c67dd8f420e173448399956 Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Wed, 15 Dec 2004 12:14:06 +0000
Subject: [PATCH] [project @ 2004-12-15 12:14:06 by simonpj] comment

---
 ghc/compiler/iface/IfaceSyn.lhs |    4 ++++
 1 file changed, 4 insertions(+)

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),
-- 
1.7.10.4