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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,ec4a7355f321a22b
X-Google-Attributes: gid103376,public
Path: 
 controlnews3.google.com!news1.google.com!news.glorb.com!nntp-server.pubsub.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local1.nntp.dca.giganews.com!nntp.megapath.net!news.megapath.net.POSTED!not-for-mail
NNTP-Posting-Date: Fri, 21 May 2004 18:16:23 -0500
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
References: <40ACC50E.9040406@mail.usyd.edu.au>
 <mailman.1.1085073466.401.comp.lang.ada@ada-france.org>
 <c8itt3$gkq$1@titan.btinternet.com> <40adcdfe_1@baen1673807.greenlnk.net>
 <c8kti8$p07$1@titan.btinternet.com> <YIadnaE4uYUXxjPd4p2dnA@megapath.net>
 <c8luk4$29b$1@hercules.btinternet.com>
Subject: Re: Task discriminants
Date: Fri, 21 May 2004 18:16:26 -0500
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.50.4807.1700
X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4910.0300
Message-ID: <qs2dndOX7I9aEDPdRVn-gw@megapath.net>
NNTP-Posting-Host: 64.32.209.38
X-Trace: 
 sv3-WIq0o5Xa25gL5hlQoTsBy0Fh5G4eRrOoM2UFJP0qZctodNVOTIbHXZUiWIUlLKzwUGgvlbNzNMMhlEy!BDsqz773VtWAQnGWxVz12u4HsTZOYCMWUzXBz84kxtZ6sRuVXVvactymYWXa7beBmpdwudGhZtA+
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.1
Xref: controlnews3.google.com comp.lang.ada:762
Date: 2004-05-21T18:16:26-05:00
List-Id: <comp.lang.ada>

"Martin Dowie" <martin.dowie@btopenworld.com> wrote in message
news:c8luk4$29b$1@hercules.btinternet.com...
> "Randy Brukardt" <randy@rrsoftware.com> wrote in message
> news:YIadnaE4uYUXxjPd4p2dnA@megapath.net...
> > OTOH, it's fairly hard to imagine why an implementation would do
anything
> > other than use a loop to do it, which would of course give the right
> answer.
> > So practically, it probably would work right.
>
> Given this last statement, is it worth changing the RM to make this a
> Confirmation or Implementation Advice or some such?

Well, we'd need a compelling reason to make a change here, because it's
possible that some implementors do use this rule to some advantage. The only
time it matters is when you have side effects during elaboration, which is
generally discouraged anyway.

To solve the problem at hand, I'd suggest the technique that Robert Eachus
demonstrated. It doesn't depend on a majic function or order of evaluation.
Yes, it serializes the initialization of the tasks, but so does the
elaboration mechanism.

                      Randy.