Commit b5ce9deb authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Remove dead code predTreePredType

parent 3a826182
......@@ -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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment