From 9484150ac907085d9d640ee649670b3f5728b08d Mon Sep 17 00:00:00 2001 From: lewie Date: Thu, 12 Apr 2001 21:20:28 +0000 Subject: [PATCH] [project @ 2001-04-12 21:20:28 by lewie] Export a useful predicate. --- ghc/compiler/types/Type.lhs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ghc/compiler/types/Type.lhs b/ghc/compiler/types/Type.lhs index 643d558..ea24c92 100644 --- 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, -- 1.7.10.4