[project @ 2001-04-12 21:20:28 by lewie]

Export a useful predicate.

diff --git a/ghc/compiler/types/Type.lhs b/ghc/compiler/types/Type.lhs
index 643d558..ea24c92 100644 (file)
--- a/ghc/compiler/types/Type.lhs
+++ b/ghc/compiler/types/Type.lhs
@@ -51,7 +51,7 @@ module Type (
 
        -- Predicates and the like
        PredType(..), getClassPredTys_maybe, getClassPredTys, 
-       isClassPred, isTyVarClassPred,
+       isPredTy, isClassPred, isTyVarClassPred,
        mkDictTy, mkPredTy, mkPredTys, splitPredTy_maybe, predTyUnique,
        splitDictTy, splitDictTy_maybe, isDictTy, predRepTy, splitDFunTy,
        mkClassPred, predMentionsIPs, inheritablePred, isIPPred, mkPredName,