From abfa45f26f9a5d2bc67b18b7820e0b4039f12ad3 Mon Sep 17 00:00:00 2001 From: Simon Peyton Jones Date: Fri, 6 May 2011 15:34:32 +0100 Subject: [PATCH] Remove special case for EqPred in CoreView --- compiler/types/Type.lhs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/types/Type.lhs b/compiler/types/Type.lhs index 1958a5c..0f77bcf 100644 --- a/compiler/types/Type.lhs +++ b/compiler/types/Type.lhs @@ -254,7 +254,7 @@ coreView :: Type -> Maybe Type -- By being non-recursive and inlined, this case analysis gets efficiently -- joined onto the case analysis that the caller is already doing coreView (PredTy p) - | isEqPred p = Nothing +-- | isEqPred p = Nothing | otherwise = Just (predTypeRep p) coreView (TyConApp tc tys) | Just (tenv, rhs, tys') <- coreExpandTyCon_maybe tc tys = Just (mkAppTys (substTy (mkTopTvSubst tenv) rhs) tys') -- 1.7.10.4