Re: This can't be done in Ada...or?

["Per Lindquist" <commander@death-star.com>]

>But it can't optimize away the evaluation of the
>parameters unless it can prove the absence of side effects.

This is actually the main reason for the post.

Jeff's suggestion is the direction we were heading for but the
parameter evaluation made it somewhat unsufficient.

>But then you have to write two versions of Debug_Info
>for every type.  So I'd say the original poster's statement,
>"it can't be done in Ada" is pretty true, if zero run-time overhead
>is required.
>
>In my code, I usually do as you suggested, but *also* add "if
>Logging_Enabled" or whatever around calls if the parameter evaluation
>could be expensive.  This provides *almost* what the original poster
>asked for -- you need the annoying "if Logging_Enabled" only
sometimes.

OK, maybe this is the way we must go...

Thanks for confirming.