11 May
2007
11 May
'07
4:05 p.m.
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Simon Peyton-Jones wrote:
It's very difficult to get inlining right all the time. Even for a function marked INLINE, there's really no point in inlining in some contexts. E.g. map f xs (don't inline f).
Would it make sense to tentatively inline anyway, and in a later stage, if that bit of code is still equivalent to a call to f (i.e., no optimizations have taken advantage of it), replace it with a reference to f? Isaac -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFGRMymHgcxvIWYTTURAijeAJ9xRHqy0PphOP/FdMeuLNfNH50LVACdHd4p nV5wPk9h7nmOsp30PgCJLiE= =At6a -----END PGP SIGNATURE-----