X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcType.lhs;fp=compiler%2Ftypecheck%2FTcType.lhs;h=728b0beb33cb1a7d6892993becca274adfab1e43;hp=dad167cabdd5d1184e918d8081a46fba27205f21;hb=af7c22d99d3067c4769fc6f2ef21aecbb1268f50;hpb=bbeb08a18156abf1f719ab7273a134f5f21e7fa6

diff --git a/compiler/typecheck/TcType.lhs b/compiler/typecheck/TcType.lhs
index dad167c..728b0be 100644
--- a/compiler/typecheck/TcType.lhs
+++ b/compiler/typecheck/TcType.lhs
@@ -902,11 +902,6 @@ getClassPredTys _ = panic "getClassPredTys"
 mkDictTy :: Class -> [Type] -> Type
 mkDictTy clas tys = mkPredTy (ClassP clas tys)
 
-isDictTy :: Type -> Bool
-isDictTy ty | Just ty' <- tcView ty = isDictTy ty'
-isDictTy (PredTy p) = isClassPred p
-isDictTy _          = False
-
 isDictLikeTy :: Type -> Bool
 -- Note [Dictionary-like types]
 isDictLikeTy ty | Just ty' <- tcView ty = isDictTy ty'