X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fiface%2FMkIface.lhs;h=a9b9f03d0657f7832c98a24e3a4e5e60829423ec;hb=b991caa149dd65f04ad4723b51571ded76bb2c76;hp=0fc397283abc55966f4a284060389ad08c1e0a2d;hpb=42088528ceea9bd88a0caa15e59587d0f593440d;p=ghc-hetmet.git

diff --git a/compiler/iface/MkIface.lhs b/compiler/iface/MkIface.lhs
index 0fc3972..a9b9f03 100644
--- a/compiler/iface/MkIface.lhs
+++ b/compiler/iface/MkIface.lhs
@@ -257,11 +257,13 @@ mkIface hsc_env maybe_old_iface
 	; let	{ entities = typeEnvElts type_env ;
                   decls  = [ tyThingToIfaceDecl entity
 			   | entity <- entities,
-                             not (isImplicitTyThing entity
-                                  || isWiredInName (getName entity)) ]
-                        -- Don't put implicit Ids and class tycons in
-                        -- the interface file, Nor wired-in things; the
-                        -- compiler knows about them anyhow
+			     let name = getName entity,
+                             not (isImplicitTyThing entity),
+	                        -- No implicit Ids and class tycons in the interface file
+			     not (isWiredInName name),
+	                        -- Nor wired-in things; the compiler knows about them anyhow
+			     nameIsLocalOrFrom this_mod name  ]
+				-- Sigh: see Note [Root-main Id] in TcRnDriver
 
 		; fixities    = [(occ,fix) | FixItem occ fix _ <- nameEnvElts fix_env]
 		; deprecs     = mkIfaceDeprec src_deprecs