Commit f84fa8a3 authored by simonpj@microsoft.com's avatar simonpj@microsoft.com
Browse files

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

parent e2b5796d
......@@ -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}
%*********************************************************
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment