Mon May 22 09:32:55 PDT 2006 [EMAIL PROTECTED]
* Inline in a call argument if the caller has RULES
This is an experimental change suggested by Roman. Consider
{-# INLINE f #-}
f x y = ...
....(g (f a b))...
where g has RULES. Then we'd like to inline f, even though the context of
the call is otherwise 100% boring -- g is lazy and we know nothing about
x and y.
This patch just records in the continuation that f has rules. And does so
somewhat recursively...e.g.
...(g (h (f a b)))...
where g has rules.
M ./compiler/simplCore/SimplUtils.lhs -14 +52
M ./compiler/simplCore/Simplify.lhs -11 +11
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
