diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-07-10 15:58:53 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-07-10 15:58:53 +0100 |
| commit | cdcd07492f16faaeb51dff75d4f4199dd91797cb (patch) | |
| tree | 8e0738d391c7b961eeda829dc29c935f791a4fe2 | |
| parent | 7b6b26c822828fd9856b257b8a0109ea38f12fe6 (diff) | |
| download | haskell-cdcd07492f16faaeb51dff75d4f4199dd91797cb.tar.gz | |
Remove dead code
| -rw-r--r-- | 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 5e050e5465..c656f0641f 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 |