[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 (file)
--- 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