Re: Conditional compilation of debug traces without cpp

["Randy Brukardt" <randy@rrsoftware.com>]

"Matthew Goulet" <blueherring0@gmail.com> wrote in message
news:1152248447.796179.305520@s13g2000cwa.googlegroups.com...
> guillaume.portail@grospied.enanglais.com wrote:
...
> 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.

Pure_Function is GNAT-specific. It was studied for inclusion in Ada 2005,
but ultimately it was not included. (The problem was that the GNAT pragma is
an assertion of purity, which is not checked. Some reviewers prefered a
version that imposed actual requirements on the subprogram. We weren't able
to resolve the debate.)

                       Randy.