[EMAIL PROTECTED] wrote:
As for space optimization I'm not sure it matters. I can't think of a
case where inlining will happen so many times that space is an issue.
Who writes a function with 50 mapcars? For space optimization it might
be better to throw away the cached sources.
Here is an exa
Matt Kaufmann wrote:
It might be *very* useful to have a user-settable special variable
that controls inlining. I'm imagining that by default, ACL2 would
inline all built-in and user-defined function calls that GCL allows,
but that when one wants to trace, then it would be nice to be able to
re
