X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=ghc%2Fcompiler%2Frename%2FRnEnv.lhs;h=710bd6ebce96840908c99086940c0a6ba6e6d60f;hb=c97ea0ce7025c0fc56b02b171843ed50c00ef75d;hp=d43a4e3eb54c84582c9d9da061c3db48f7c60fa5;hpb=e12e0bb72881bd814f449e27b6d870646997864f;p=ghc-hetmet.git

diff --git a/ghc/compiler/rename/RnEnv.lhs b/ghc/compiler/rename/RnEnv.lhs
index d43a4e3..710bd6e 100644
--- a/ghc/compiler/rename/RnEnv.lhs
+++ b/ghc/compiler/rename/RnEnv.lhs
@@ -644,7 +644,9 @@ bindSigTyVarsFV sigs thing_inside
 		bindLocalNamesFV tvs thing_inside }
   where
     tvs = [ hsLTyVarName ltv 
-	  | L _ (Sig _ (L _ (HsForAllTy _ ltvs _ _))) <- sigs, ltv <- ltvs ]
+	  | L _ (Sig _ (L _ (HsForAllTy Explicit ltvs _ _))) <- sigs, ltv <- ltvs ]
+	-- Note the pattern-match on "Explicit"; we only bind
+	-- type variables from signatures with an explicit top-level for-all
 				
 
 extendTyVarEnvFVRn :: [Name] -> RnM (a, FreeVars) -> RnM (a, FreeVars)