X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcInstDcls.lhs;h=8b53e3ec29c9adb61394482a32dd1ecc610b4a16;hp=45338d0a1eced7142a06bad9fe3735ddb7d1f1e2;hb=1dfd77341ec56e9d61f2d78cb7ff2b9900385dac;hpb=29e342d1903ba4cb4b58a66605f00920eddae7a5

diff --git a/compiler/typecheck/TcInstDcls.lhs b/compiler/typecheck/TcInstDcls.lhs
index 45338d0..8b53e3e 100644
--- a/compiler/typecheck/TcInstDcls.lhs
+++ b/compiler/typecheck/TcInstDcls.lhs
@@ -451,7 +451,10 @@ tcMethods origin clas inst_tyvars' dfun_theta' inst_tys'
     let
 	prag_fn	       = mkPragFun uprags
 	all_insts      = avail_insts ++ catMaybes meth_insts
-	tc_method_bind = tcMethodBind inst_tyvars' dfun_theta' all_insts prag_fn
+	sig_fn n       = Just []	-- No scoped type variables, but every method has
+					-- a type signature, in effect, so that we check
+					-- the method has the right type
+	tc_method_bind = tcMethodBind inst_tyvars' dfun_theta' all_insts sig_fn prag_fn
 	meth_ids       = [meth_id | (_,meth_id,_) <- meth_infos]
     in