Re: Conditional compilation of debug traces without cpp

[Thierry Bernier <guillaume.portail@grospied.enanglais.com>]

Matthew Goulet wrote:

> Perhaps I misunderstand what you are saying, but declaring the packages
> Pure means that the functions and procedures in them are also Pure.

I know.

> So, if Data and Data.Image were Pure, so should "+", even though pragma
> Pure cannot be applied to "+" directly.

Pure is a property that most of the packages can not have.

> There is also the new pragma Pure_Function, but I cannot recall off the
> top of my head if it can be used outside of the context of a pure
> package.

Are you sure it is not implementation specific (GNAT may be ?) ? I can't 
find it in the ARM05-L.

--
Thierry Bernier