Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : ghc-new-co

http://hackage.haskell.org/trac/ghc/changeset/abfa45f26f9a5d2bc67b18b7820e0b4039f12ad3

>---------------------------------------------------------------

commit abfa45f26f9a5d2bc67b18b7820e0b4039f12ad3
Author: Simon Peyton Jones <[email protected]>
Date:   Fri May 6 15:34:32 2011 +0100

    Remove special case for EqPred in CoreView

>---------------------------------------------------------------

 compiler/types/Type.lhs |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

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')



_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc

Reply via email to