From c3216ad14253e47b4bd332660cb133c5fa753d1e Mon Sep 17 00:00:00 2001
From: sof <unknown>
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 c352029b6f53..0b577afd8435 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
--
GitLab