From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,634259facc42df7a
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!bcklog1.nntp.dca.giganews.com!nntp.megapath.net!news.megapath.net.POSTED!not-for-mail
NNTP-Posting-Date: Fri, 07 Jul 2006 16:08:12 -0500
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
References: <44aaae35$0$5389$626a54ce@news.free.fr>
   <mbdg8e.ddb.ln@hunter.axlog.fr>   <44ac1562$0$10269$636a55ce@news.free.fr>
   <4ufi8e.ig7.ln@hunter.axlog.fr>   <44ad719c$0$5389$626a54ce@news.free.fr>
 <1152248447.796179.305520@s13g2000cwa.googlegroups.com>
Subject: Re: Conditional compilation of debug traces without cpp
Date: Fri, 7 Jul 2006 16:08:57 -0500
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2800.1807
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1807
Message-ID: <WMadnV_HUoSgUDPZnZ2dnUVZ_u2dnZ2d@megapath.net>
NNTP-Posting-Host: 64.32.209.38
X-Trace: 
 sv3-Dx8dO0YyiRvu8yNjA6+r2frb4cvYk3/KrqQKgk/GiZiVIf6MvsrYWMrRiMl7W+q988rjHpr9qRvU5u1!GQ/GMS7OmaxdGkSagTdYbRsC2i7kpoS+l/GKAhTxY1CcDCwRUKRpMwKsmrOhk+c0cOPoWlOfnzW/!LXrfQg3MfqwZBw==
X-Complaints-To: abuse@megapath.net
X-DMCA-Complaints-To: abuse@megapath.net
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint
 properly
X-Postfilter: 1.3.32
Xref: g2news2.google.com comp.lang.ada:5561
Date: 2006-07-07T16:08:57-05:00
List-Id: <comp.lang.ada>

"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.