From: lewie Date: Thu, 12 Apr 2001 21:20:28 +0000 (+0000) Subject: [project @ 2001-04-12 21:20:28 by lewie] X-Git-Tag: Approximately_9120_patches~2162 X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=9484150ac907085d9d640ee649670b3f5728b08d;hp=cf9c51f6392a046a51e93815e9feb01ff659c9dd;p=ghc-hetmet.git [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 --- 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,