X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcClassDcl.lhs;h=81e60775dfd9386cf8c07910c3181322fb9c4b9a;hb=ab46fd8e68f10b6162e77cfc0b216510d9b1d933;hp=d852d485f72c68f5ec249d249d9703c8bc15c087;hpb=6d1815b09469c68c9d15b253745876403c7fb084;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcClassDcl.lhs b/ghc/compiler/typecheck/TcClassDcl.lhs
index d852d48..81e6077 100644
--- a/ghc/compiler/typecheck/TcClassDcl.lhs
+++ b/ghc/compiler/typecheck/TcClassDcl.lhs
@@ -14,7 +14,7 @@ import HsSyn		( TyClDecl(..), Sig(..), MonoBinds(..),
 			  HsExpr(..), HsLit(..), HsType(..), HsPred(..), 
 			  mkSimpleMatch, andMonoBinds, andMonoBindList, 
 			  isClassOpSig, isPragSig,
-			  getClassDeclSysNames, 
+			  getClassDeclSysNames, placeHolderType
 			)
 import BasicTypes	( TopLevelFlag(..), RecFlag(..) )
 import RnHsSyn		( RenamedTyClDecl, 
@@ -517,7 +517,7 @@ tcMethodBind clas origin inst_tyvars inst_tys inst_theta
 	Just user_bind -> returnTc user_bind 
 	Nothing	       -> mkDefMethRhs is_inst_decl clas inst_tys sel_id loc dm_info	`thenTc` \ rhs ->
 			  returnTc (FunMonoBind meth_name False	-- Not infix decl
-				                [mkSimpleMatch [] rhs Nothing loc] loc)
+				                [mkSimpleMatch [] rhs placeHolderType loc] loc)
     )								`thenTc` \ meth_bind ->
      -- Check the bindings; first add inst_tyvars to the envt
      -- so that we don't quantify over them in nested places