From: simonpj@microsoft.com <unknown>
Date: Thu, 21 Jun 2007 14:11:14 +0000 (+0000)
Subject: Use the correct flag for controlling scoped type variables in an instance decl
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=f84fa8a30ce2ac0c5aab424fce1234ef4169f445

Use the correct flag for controlling scoped type variables in an instance decl
---

diff --git a/compiler/rename/RnSource.lhs b/compiler/rename/RnSource.lhs
index 71415fa..028970c 100644
--- a/compiler/rename/RnSource.lhs
+++ b/compiler/rename/RnSource.lhs
@@ -378,11 +378,11 @@ type variable environment iff -fglasgow-exts
 
 \begin{code}
 extendTyVarEnvForMethodBinds tyvars thing_inside
-  = doptM Opt_GlasgowExts			`thenM` \ opt_GlasgowExts ->
-    if opt_GlasgowExts then
-	extendTyVarEnvFVRn (map hsLTyVarName tyvars) thing_inside
-    else
-	thing_inside
+  = do	{ scoped_tvs <- doptM Opt_ScopedTypeVariables
+	; if scoped_tvs then
+		extendTyVarEnvFVRn (map hsLTyVarName tyvars) thing_inside
+	  else
+		thing_inside }
 \end{code}
 
 %*********************************************************