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,1295f20108acc30c
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!postnews.google.com!w9g2000prg.googlegroups.com!not-for-mail
From: Adam Beneschan <adam@irvine.com>
Newsgroups: comp.lang.ada
Subject: Re: Ada.Directories.Copy_File behavior
Date: Fri, 25 Feb 2011 19:22:41 -0800 (PST)
Organization: http://groups.google.com
Message-ID: <22503b43-0504-423d-88a0-1c2cdbd8ca79@w9g2000prg.googlegroups.com>
References: <ijpgnh$ec8$1@speranza.aioe.org>
 <op.vq598idwlzeukk@jellix.jlfencey.com>
 <ae2a8159-1306-44a3-8283-faa61ec45a01@o21g2000prn.googlegroups.com>
 <ik9p8u$8pd$1@munin.nbi.dk>
NNTP-Posting-Host: 66.126.103.122
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1298690561 17856 127.0.0.1 (26 Feb 2011 03:22:41
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Sat, 26 Feb 2011 03:22:41 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: w9g2000prg.googlegroups.com; posting-host=66.126.103.122;
 posting-account=duW0ogkAAABjRdnxgLGXDfna0Gc6XqmQ
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 7.0; Windows NT 6.0; WOW64;
 SLCC1; .NET CLR 2.0.50727; Media Center PC 5.0; .NET CLR 3.5.21022; .NET CLR
 3.5.30729; .NET CLR 3.0.30618; .NET4.0C),gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:18581
Date: 2011-02-25T19:22:41-08:00
List-Id: <comp.lang.ada>

On Feb 25, 6:41=A0pm, "Randy Brukardt" <ra...@rrsoftware.com> wrote:
> "Adam Beneschan" <a...@irvine.com> wrote in message
>
> news:ae2a8159-1306-44a3-8283-faa61ec45a01@o21g2000prn.googlegroups.com...
> ...
>
> >That's how I interpret the RM, but (disclaimer) I'm not an ARG member
> >and am not really an authority.
>
> I wrote my previous reply before reading the rest of the thread. I assume=
d
> that someone else (especially Adam, who usually is a stickler for such
> things) had already provided the right answer. I feel better that I didn'=
t
> remember it after seeing that no one else even found it!
>
> Note that A.16(123/2) is a "shall" rule; there is nothing optional about =
it.
> Why we didn't just put it into the description of Copy_File isn't clear, =
but
> the rule surely exists.

That should be A.16(122/2) (at least according to the version I'm
looking at, in
http://www.ada-auth.org/standards/12aarm/html/AA-A-16.html).

I didn't think to look in the "Implementation Requirements".  That
would have saved a lot of trouble.

                                -- Adam