diff options
Diffstat (limited to 'compiler/types/Type.hs')
-rw-r--r-- | compiler/types/Type.hs | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/compiler/types/Type.hs b/compiler/types/Type.hs index f8cd1da078..ed94241c5f 100644 --- a/compiler/types/Type.hs +++ b/compiler/types/Type.hs @@ -90,7 +90,7 @@ module Type ( mkHeteroPrimEqPred, mkHeteroReprPrimEqPred, mkClassPred, isClassPred, isEqPrimPred, isEqPred, isEqPredClass, - isIPPred, isIPPred_maybe, isIPTyCon, isIPClass, + isIPPred, isIPTyCon, isIPClass, isCTupleClass, -- Deconstructing predicate types @@ -1925,13 +1925,6 @@ isIPClass cls = cls `hasKey` ipClassKey isCTupleClass :: Class -> Bool isCTupleClass cls = isTupleTyCon (classTyCon cls) -isIPPred_maybe :: Type -> Maybe (FastString, Type) -isIPPred_maybe ty = - do (tc,[t1,t2]) <- splitTyConApp_maybe ty - guard (isIPTyCon tc) - x <- isStrLitTy t1 - return (x,t2) - {- Make PredTypes |