projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[project @ 1996-01-22 18:37:39 by partain]
[ghc-hetmet.git]
/
ghc
/
compiler
/
simplCore
/
SimplUtils.lhs
diff --git
a/ghc/compiler/simplCore/SimplUtils.lhs
b/ghc/compiler/simplCore/SimplUtils.lhs
index
e0ac4aa
..
3d4961f
100644
(file)
--- a/
ghc/compiler/simplCore/SimplUtils.lhs
+++ b/
ghc/compiler/simplCore/SimplUtils.lhs
@@
-31,7
+31,8
@@
import SimplMonad
import BinderInfo
import BinderInfo
-import AbsPrel ( primOpIsCheap, realWorldStateTy, buildId
+import AbsPrel ( primOpIsCheap, realWorldStateTy,
+ buildId, augmentId
IF_ATTACK_PRAGMAS(COMMA realWorldTy)
IF_ATTACK_PRAGMAS(COMMA tagOf_PrimOp)
IF_ATTACK_PRAGMAS(COMMA pprPrimOp)
IF_ATTACK_PRAGMAS(COMMA realWorldTy)
IF_ATTACK_PRAGMAS(COMMA tagOf_PrimOp)
IF_ATTACK_PRAGMAS(COMMA pprPrimOp)
@@
-79,7
+80,10
@@
floatExposesHNF float_lets float_primops ok_to_dup rhs
-- `build g'
-- is like a HNF,
-- because it *will* become one.
-- `build g'
-- is like a HNF,
-- because it *will* become one.
+ -- likewise for `augment g h'
+ --
try (CoApp (CoTyApp (CoVar bld) _) _) | bld == buildId = True
try (CoApp (CoTyApp (CoVar bld) _) _) | bld == buildId = True
+ try (CoApp (CoApp (CoTyApp (CoVar bld) _) _) _) | bld == augmentId = True
try other = manifestlyWHNF other
{- but *not* necessarily "manifestlyBottom other"...
try other = manifestlyWHNF other
{- but *not* necessarily "manifestlyBottom other"...