From added15156bb165b0ecfae2c2310bbf4049be071 Mon Sep 17 00:00:00 2001 From: simonpj Date: Mon, 23 May 2005 10:17:45 +0000 Subject: [PATCH] [project @ 2005-05-23 10:17:45 by simonpj] Dead code (HEAD only) --- ghc/compiler/typecheck/Inst.lhs | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) 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 -- 1.7.10.4