Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master
http://hackage.haskell.org/trac/ghc/changeset/b5ce9deb11922a2d43765fadf4fe06115a80480c >--------------------------------------------------------------- commit b5ce9deb11922a2d43765fadf4fe06115a80480c Author: Simon Peyton Jones <simo...@microsoft.com> Date: Sat Dec 1 18:25:58 2012 +0000 Remove dead code predTreePredType >--------------------------------------------------------------- compiler/types/Type.lhs | 10 ++-------- 1 files changed, 2 insertions(+), 8 deletions(-) diff --git a/compiler/types/Type.lhs b/compiler/types/Type.lhs index f698307..2d27ac6 100644 --- a/compiler/types/Type.lhs +++ b/compiler/types/Type.lhs @@ -58,7 +58,7 @@ module Type ( isIPPred, isIPPred_maybe, isIPTyCon, isIPClass, -- Deconstructing predicate types - PredTree(..), predTreePredType, classifyPredType, + PredTree(..), classifyPredType, getClassPredTys, getClassPredTys_maybe, getEqPredTys, getEqPredTys_maybe, @@ -152,7 +152,7 @@ import VarSet import Class import TyCon import TysPrim -import {-# SOURCE #-} TysWiredIn ( eqTyCon, mkBoxedTupleTy ) +import {-# SOURCE #-} TysWiredIn ( eqTyCon ) import PrelNames ( eqTyConKey, ipClassNameKey, constraintKindTyConKey, liftedTypeKindTyConKey ) @@ -952,12 +952,6 @@ data PredTree = ClassPred Class [Type] | TuplePred [PredType] | IrredPred PredType -predTreePredType :: PredTree -> PredType -predTreePredType (ClassPred clas tys) = mkClassPred clas tys -predTreePredType (EqPred ty1 ty2) = mkEqPred ty1 ty2 -predTreePredType (TuplePred tys) = mkBoxedTupleTy tys -predTreePredType (IrredPred ty) = ty - classifyPredType :: PredType -> PredTree classifyPredType ev_ty = case splitTyConApp_maybe ev_ty of Just (tc, tys) | Just clas <- tyConClass_maybe tc _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc