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

Reply via email to