[project @ 1996-04-05 08:26:04 by partain]

[ghc-hetmet.git] / ghc / compiler / rename / RnPass4.lhs

diff --git a/ghc/compiler/rename/RnPass4.lhs b/ghc/compiler/rename/RnPass4.lhs
index 9aaa2e7..5006d17 100644 (file)
--- a/ghc/compiler/rename/RnPass4.lhs
+++ b/ghc/compiler/rename/RnPass4.lhs
@@ -292,7 +292,12 @@ rnInstDecl (InstDecl cname ty mbinds from_here modname uprags pragmas src_loc)
     in
     mkTyVarNamesEnv src_loc tyvars             `thenRn4` \ (tv_env,_) ->
     lookupClass cname                  `thenRn4` \ cname' ->
-    rnPolyType False{-no invisibles-} tv_env ty
+
+    rnPolyType False{-no invisibles-} [] ty
+       -- The "[]" was tv_env, but that means the InstDecl's tyvars aren't
+       -- pinned on the HsForAllType, which they should be.
+       -- Urgh!  Improve in the new renamer!
+
                                        `thenRn4` \ ty' ->
     rnMethodBinds cname' mbinds        `thenRn4` \ mbinds' ->
     mapRn4 (rn_uprag cname') uprags    `thenRn4` \ new_uprags ->