From c3216ad14253e47b4bd332660cb133c5fa753d1e Mon Sep 17 00:00:00 2001 From: sof Date: Thu, 5 Jun 1997 19:58:23 +0000 Subject: [PATCH] [project @ 1997-06-05 19:58:23 by sof] updated to reflect that TcInstDcls.tcMethodBind now takes extra PragmaInfo arg --- ghc/compiler/typecheck/TcClassDcl.lhs | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) 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 -- 1.7.10.4