[project @ 2000-04-05 16:25:51 by simonpj]

[ghc-hetmet.git] / ghc / compiler / typecheck / TcRules.lhs

diff --git a/ghc/compiler/typecheck/TcRules.lhs b/ghc/compiler/typecheck/TcRules.lhs
index 1d9edb8..262ba38 100644 (file)
--- a/ghc/compiler/typecheck/TcRules.lhs
+++ b/ghc/compiler/typecheck/TcRules.lhs
@@ -67,7 +67,7 @@ tcRule (RuleDecl name sig_tvs vars lhs rhs src_loc)
 
                -- Check that LHS has no overloading at all
     tcSimplifyToDicts lhs_lie                          `thenTc` \ (lhs_dicts, lhs_binds) ->
-    checkSigTyVars sig_tyvars                          `thenTc_`
+    checkSigTyVars sig_tyvars emptyVarSet              `thenTc_`
 
        -- Gather the template variables and tyvars
     let