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: 
 border2.nntp.dca.giganews.com!nntp.giganews.com!goblin3!goblin1!goblin2!goblin.stu.neva.ru!newsfeed1.swip.net!81.169.171.211.MISMATCH!eternal-september.org!feeder.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Simon Clubley <clubley@remove_me.eisner.decus.org-Earth.UFP>
Newsgroups: comp.lang.ada
Subject: Re: Modified proposals for Ada-Comment
Date: Sun, 13 Jul 2014 00:06:38 +0000 (UTC)
Organization: A noiseless patient Spider
Message-ID: <lpsiid$b38$1@dont-email.me>
References: <lprvo8$mcl$1@dont-email.me> <c2dotiF8chiU1@mid.individual.net>
 <lpsca1$9uu$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 13 Jul 2014 00:06:38 +0000 (UTC)
Injection-Info: mx05.eternal-september.org;
 posting-host="ef806188f2fb171686e6b35de976d4ca";
 logging-data="11368"; mail-complaints-to="abuse@eternal-september.org";
 posting-account="U2FsdGVkX1/L1BNXRwocvC/f0IDP6bejcxizHwtdOYg="
User-Agent: slrn/0.9.9p1 (Linux)
Cancel-Lock: sha1:HmEoAm8adH6QX0/GJEUJ9j/eTL0=
Xref: number.nntp.dca.giganews.com comp.lang.ada:187547
Date: 2014-07-13T00:06:38+00:00
List-Id: <comp.lang.ada>

On 2014-07-12, Simon Clubley <clubley@remove_me.eisner.decus.org-Earth.UFP> wrote:
> On 2014-07-12, Niklas Holsti <niklas.holsti@tidorum.invalid> wrote:
>> On 14-07-12 21:45 , Simon Clubley wrote:
>>> Below are my modified proposals based on all your feedback.
>>> 
>>> I've modified Issue 1 to make it clear it can also be used as a
>>> general subset capability and changed some existing wording to
>>> reflect that.
>>
>> Good. I would put even more emphasis on the general partial-aggregate
>> idea, and then describe the atomic bitfield update as one application
>> among others.
>>
>
> I don't want the core reason for the proposal to be lost, but I will
> have another look at the wording.
>

I've had a bit more of a think about this and I think I'm going to turn
it into something that's a more general partial aggregate proposal with
the original atomic bitfield record proposal as the primary example along
with the other uses you have identified.

However, someone else will have to fill in the detailed SPARK/Ada 2012
specific examples you have suggested if Randy wants to see them but
I will include a general reference to them.

Simon.

-- 
Simon Clubley, clubley@remove_me.eisner.decus.org-Earth.UFP
Microsoft: Bringing you 1980s technology to a 21st century world