Re: Conditional compilation of debug traces without cpp

[guillaume.portail@grospied.enanglais.com]

Jean-Pierre Rosen wrote:

> Therefore yes, the *execution*  of the call will always involve the 
> *evaluation* of the parameters (unless the compiler can prove that this 
> evaluation has no side-effects - like a call to a function declared in a 
> pure package).

Ah yes, I just read LRM95-10.2.1(18), it seems to be what I want (I 
forgot this point). But Pure is applicable only to library units. And I 
need to apply it to functions of packages :

package Data is
   type T is private
   procedure ...
private
   type T is ...
end;

package Data.Image
   subtype T_String is String(...);
   function "+" (R : T) return T_String;
   ...
end;


- Data.Image."+" has really no side effect, but it cannot be declared 
Pure. Why ? The legality of such a pragma seems statically computable 
(the body of "+" should not access 'global' variables, etc).
- "+" is located in its own package, where UI resources are grouped, as 
to facilitate their potential elimination/counting (all are named 
*.*...*.Image).

--
Thierry Bernier