Good point; thanks!
-- Matt
Date: Fri, 06 Jul 2007 13:36:39 -0400
From: Raymond Toy <[EMAIL PROTECTED]>
CC: [EMAIL PROTECTED], [EMAIL PROTECTED], [EMAIL PROTECTED],
[EMAIL PROTECTED], [EMAIL PROTECTED], [EMAIL PROTECTED],
axiom-developer@nongnu.org
X-OriginalArrivalTime: 06 Jul 2007 17:36:40.0324 (UTC)
FILETIME=[360F3440:01C7BFF4]
X-SpamAssassin-Status: No, hits=-2.6 required=5.0
X-UTCS-Spam-Status: No, hits=-272 required=200
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
> rebuild with inlining turned down or off.
Isn't this what (declaim (inline foo)) is supposed to do? Granted, it's
tedious to specify this for every function foo that you want inlined,
but that seems to me the right thing to do too. I can't imagine wanting
to inline every single function! :-)
Ray
_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
