X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcClassDcl.lhs;h=8db89b9c07abffd1168f8a3aa43bfc1e390ab4ea;hp=0f91f6b9e7a704b444fef7d2fe0244c2bb1d24ab;hb=27310213397bb89555bb03585e057ba1b017e895;hpb=fd6de028d045654e42dc375e8c73b074c530f883

diff --git a/compiler/typecheck/TcClassDcl.lhs b/compiler/typecheck/TcClassDcl.lhs
index 0f91f6b..8db89b9 100644
--- a/compiler/typecheck/TcClassDcl.lhs
+++ b/compiler/typecheck/TcClassDcl.lhs
@@ -168,10 +168,9 @@ tcClassDecl2 (L loc (ClassDecl {tcdLName = class_name, tcdSigs = sigs,
 	-- default methods.  Better to make separate AbsBinds for each
 	; let
 	      (tyvars, _, _, op_items) = classBigSig clas
-	      rigid_info  = ClsSkol clas
-	      prag_fn	  = mkPragFun sigs default_binds
+              prag_fn     = mkPragFun sigs default_binds
 	      sig_fn	  = mkSigFun sigs
-	      clas_tyvars = tcSkolSigTyVars rigid_info tyvars
+              clas_tyvars = tcSuperSkolTyVars tyvars
 	      pred  	  = mkClassPred clas (mkTyVarTys clas_tyvars)
 	; this_dict <- newEvVar pred