From: sof <unknown>
Date: Thu, 5 Jun 1997 19:58:23 +0000 (+0000)
Subject: [project @ 1997-06-05 19:58:23 by sof]
X-Git-Tag: Approximately_1000_patches_recorded~414
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=c3216ad14253e47b4bd332660cb133c5fa753d1e;p=ghc-hetmet.git

[project @ 1997-06-05 19:58:23 by sof]
updated to reflect that TcInstDcls.tcMethodBind now takes extra PragmaInfo arg
---

diff --git a/ghc/compiler/typecheck/TcClassDcl.lhs b/ghc/compiler/typecheck/TcClassDcl.lhs
index c352029..0b577af 100644
--- a/ghc/compiler/typecheck/TcClassDcl.lhs
+++ b/ghc/compiler/typecheck/TcClassDcl.lhs
@@ -34,6 +34,7 @@ import TcMonad
 import TcMonoType	( tcHsType, tcContext )
 import TcSimplify	( tcSimplifyAndCheck )
 import TcType		( SYN_IE(TcType), SYN_IE(TcTyVar), tcInstType, tcInstSigTyVars, tcInstSigType )
+import PragmaInfo	( PragmaInfo(..) )
 
 import Bag		( foldBag, unionManyBags )
 import Class		( GenClass, GenClassOp, mkClass, mkClassOp, classBigSig, 
@@ -408,11 +409,12 @@ buildDefaultMethodBind
 buildDefaultMethodBind clas clas_tyvar default_binds (sel_id, idx)
   = newDicts origin [(clas,inst_ty)]			`thenNF_Tc` \ (this_dict, [this_dict_id]) ->
     let
-	avail_insts = this_dict
-	defm_id     = classDefaultMethodId clas idx
+	avail_insts   = this_dict
+	defm_id       = classDefaultMethodId clas idx
+	no_prags name = NoPragmaInfo		-- No pragmas yet for default methods
     in
     tcExtendGlobalTyVars clas_tyvar_set (
-	tcMethodBind noDefmExpr inst_ty default_binds (sel_id, idx)
+	tcMethodBind noDefmExpr inst_ty no_prags default_binds (sel_id, idx)
     )						`thenTc` \ (defm_bind, insts_needed, (_, local_defm_id)) ->
 
 	-- CHECK THE CONTEXT OF THE DEFAULT-METHOD BINDS