X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypes%2FType.lhs;fp=compiler%2Ftypes%2FType.lhs;h=0f77bcf8a334adbebac77a8d1030d70d3c3e180b;hp=1958a5cea85feccaa21dc165bcadc7d03d675d84;hb=abfa45f26f9a5d2bc67b18b7820e0b4039f12ad3;hpb=ee62a1b6847e42f76383b2e70003f2feb9e8435c

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