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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!gandalf.srv.welterde.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Is there a reason System.Storage_Pools isn't Pure?
Date: Wed, 19 Apr 2017 15:42:33 -0500
Organization: JSA Research & Innovation
Message-ID: <od8i3q$n9c$1@franka.jacob-sparre.dk>
References: <178b6fbc-229b-49fc-8ffb-a5797bfc335f@googlegroups.com>
 <od5m40$tnu$1@franka.jacob-sparre.dk>
 <61e151c1-9fe6-4d32-8f13-d425bc41a616@googlegroups.com>
 <od743q$p4n$1@gioia.aioe.org>
NNTP-Posting-Host: rrsoftware.com
X-Trace: franka.jacob-sparre.dk 1492634554 23852 24.196.82.226 (19 Apr 2017
 20:42:34 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Wed, 19 Apr 2017 20:42:34 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Response
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157
Xref: news.eternal-september.org comp.lang.ada:46600
Date: 2017-04-19T15:42:33-05:00
List-Id: <comp.lang.ada>

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
news:od743q$p4n$1@gioia.aioe.org...
...
> A lot of use cases conflated into single pragma Pure:
>
> 1. Value/object identity
> 2. Elaboration
> 3. Early evaluation (e.g. compile time, elaboration time)
>
> It must be reworked from the start, IMO.

More like abandoned. Our current thinking is to essentially replace it by 
specifications of the Global aspect (which is stricter, so the result can be 
usefully used in parallelism applications) and finer grained (so individual 
subprograms can each have appropriate settings, no more "everything in the 
package has to be the same").

That would leave the only real purposes of Pure to be distribution and 
elaboration; the former uses don't want access types at all, and the latter 
can be handled just using Preelaborate does the job. (Ergo: most of what was 
done to Pure in Ada 2005 was a mistake, an attempt to fix the muddled mess 
resulting in a bigger muddled mess.)

                                       Randy.