X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FInst.lhs;fp=ghc%2Fcompiler%2Ftypecheck%2FInst.lhs;h=8e586b0582512e7e5dd084139115a30a6bbc2fb9;hb=added15156bb165b0ecfae2c2310bbf4049be071;hp=3de9fb97bb255e1aad085fa8168ebdac9ac0534e;hpb=6d4df3a3dafe94a2b952ff830068abae1258fa9e;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/Inst.lhs b/ghc/compiler/typecheck/Inst.lhs
index 3de9fb9..8e586b0 100644
--- a/ghc/compiler/typecheck/Inst.lhs
+++ b/ghc/compiler/typecheck/Inst.lhs
@@ -27,7 +27,7 @@ module Inst (
 
 	isDict, isClassDict, isMethod, 
 	isLinearInst, linearInstType, isIPDict, isInheritableInst,
-	isTyVarDict, isStdClassTyVarDict, isMethodFor, 
+	isTyVarDict, isMethodFor, 
 	instBindingRequired,
 
 	zonkInst, zonkInsts,
@@ -194,11 +194,6 @@ isLinearInst other	     = False
 
 linearInstType :: Inst -> TcType	-- %x::t  -->  t
 linearInstType (Dict _ (IParam _ ty) _) = ty
-
-
-isStdClassTyVarDict (Dict _ pred _) = case getClassPredTys_maybe pred of
-					Just (clas, [ty]) -> isStandardClass clas && tcIsTyVarTy ty
-					other		  -> False
 \end{code}
 
 Two predicates which deal with the case where class constraints don't