projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
ee62a1b
)
Remove special case for EqPred in CoreView
author
Simon Peyton Jones
<simonpj@microsoft.com>
Fri, 6 May 2011 14:34:32 +0000
(15:34 +0100)
committer
Simon Peyton Jones
<simonpj@microsoft.com>
Fri, 6 May 2011 14:34:32 +0000
(15:34 +0100)
compiler/types/Type.lhs
patch
|
blob
|
history
diff --git
a/compiler/types/Type.lhs
b/compiler/types/Type.lhs
index
1958a5c
..
0f77bcf
100644
(file)
--- 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')