From 8ec76b056b1da2ab9fae3dbf572f01aa2f37e296 Mon Sep 17 00:00:00 2001 From: simonpj Date: Thu, 27 Jan 2005 15:53:38 +0000 Subject: [PATCH] [project @ 2005-01-27 15:53:38 by simonpj] Comments --- ghc/compiler/iface/TcIface.lhs | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/ghc/compiler/iface/TcIface.lhs b/ghc/compiler/iface/TcIface.lhs index 1061f1c..8935f6f 100644 --- a/ghc/compiler/iface/TcIface.lhs +++ b/ghc/compiler/iface/TcIface.lhs @@ -121,9 +121,11 @@ importDecl :: Name -> IfM lcl (MaybeErr Message TyThing) -- Get the TyThing for this Name from an interface file importDecl name | Just thing <- wiredInNameTyThing_maybe name - -- This case only happens for tuples, because we pre-populate the eps_PTE - -- with other wired-in things. We can't do that for tuples because we + -- This case definitely happens for tuples, because we -- don't know how many of them we'll find + -- It also now happens for all other wired in things. We used + -- to pre-populate the eps_PTE with other wired-in things, but + -- we don't seem to do that any more. I guess it keeps the PTE smaller? = do { updateEps_ (\ eps -> eps { eps_PTE = extendTypeEnv (eps_PTE eps) thing }) ; return (Succeeded thing) } -- 1.7.10.4