From f84fa8a30ce2ac0c5aab424fce1234ef4169f445 Mon Sep 17 00:00:00 2001
From: "simonpj@microsoft.com" <unknown>
Date: Thu, 21 Jun 2007 14:11:14 +0000
Subject: [PATCH] Use the correct flag for controlling scoped type variables
 in an instance decl

---
 compiler/rename/RnSource.lhs |   10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

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}
 
 %*********************************************************
-- 
1.7.10.4