Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master
http://hackage.haskell.org/trac/ghc/changeset/cdcd07492f16faaeb51dff75d4f4199dd91797cb >--------------------------------------------------------------- commit cdcd07492f16faaeb51dff75d4f4199dd91797cb Author: Simon Peyton Jones <[email protected]> Date: Tue Jul 10 15:58:53 2012 +0100 Remove dead code >--------------------------------------------------------------- compiler/typecheck/TcType.lhs | 19 ------------------- 1 files changed, 0 insertions(+), 19 deletions(-) diff --git a/compiler/typecheck/TcType.lhs b/compiler/typecheck/TcType.lhs index 5e050e5..c656f06 100644 --- a/compiler/typecheck/TcType.lhs +++ b/compiler/typecheck/TcType.lhs @@ -66,7 +66,6 @@ module TcType ( isTauTy, isTauTyCon, tcIsTyVarTy, tcIsForAllTy, isSynFamilyTyConApp, isPredTy, isTyVarClassPred, - shallowPredTypePredTree, --------------------------------- -- Misc type manipulators @@ -1079,24 +1078,6 @@ pickyEqType ty1 ty2 Deconstructors and tests on predicate types \begin{code} --- | Like 'classifyPredType' but doesn't look through type synonyms. --- Used to check that programs only use "simple" contexts without any --- synonyms in them. -shallowPredTypePredTree :: PredType -> PredTree -shallowPredTypePredTree ev_ty - | TyConApp tc tys <- ev_ty - = case () of - () | Just clas <- tyConClass_maybe tc - -> ClassPred clas tys - () | tc `hasKey` eqTyConKey - , let [_, ty1, ty2] = tys - -> EqPred ty1 ty2 - () | isTupleTyCon tc - -> TuplePred tys - _ -> IrredPred ev_ty - | otherwise - = IrredPred ev_ty - isTyVarClassPred :: PredType -> Bool isTyVarClassPred ty = case getClassPredTys_maybe ty of Just (_, tys) -> all isTyVarTy tys _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
