From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Ada.Directories.Copy_File behavior
Date: Mon, 28 Feb 2011 21:17:44 -0600
Date: 2011-02-28T21:17:44-06:00 [thread overview]
Message-ID: <ikhogq$7as$1@munin.nbi.dk> (raw)
In-Reply-To: 22503b43-0504-423d-88a0-1c2cdbd8ca79@w9g2000prg.googlegroups.com
"Adam Beneschan" <adam@irvine.com> wrote in message
news:22503b43-0504-423d-88a0-1c2cdbd8ca79@w9g2000prg.googlegroups.com...
>> 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).
There is a bug in the paragraph numbers of that draft. There is a reason
that it is called a "draft"! I got the correct paragraph number from the
printed version of the Ada 2005 RM.
Randy.
next prev parent reply other threads:[~2011-03-01 3:17 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-02-19 22:37 Ada.Directories.Copy_File behavior tmoran
2011-02-19 23:01 ` Vinzent Hoefler
2011-02-20 0:01 ` tmoran
2011-02-20 0:31 ` Vinzent Hoefler
2011-02-20 11:01 ` Martin
2011-02-20 20:19 ` tmoran
2011-02-20 20:25 ` Vinzent Hoefler
2011-02-21 18:05 ` Adam Beneschan
2011-02-21 19:26 ` Vinzent Hoefler
2011-02-21 19:41 ` Adam Beneschan
2011-02-21 20:42 ` Vinzent Hoefler
2011-02-26 2:41 ` Randy Brukardt
2011-02-26 3:22 ` Adam Beneschan
2011-03-01 3:17 ` Randy Brukardt [this message]
2011-02-26 2:34 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox