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,d6f7b92fd11ab291
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-07-17 12:24:51 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!headwall.stanford.edu!newshub.sdsu.edu!news-hog.berkeley.edu!ucberkeley!newsswitch.lcs.mit.edu!nntp.TheWorld.com!not-for-mail
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Newsgroups: comp.lang.ada
Subject: Re: Crosspost: Help wanted from comp.compilers
Date: 17 Jul 2003 15:24:40 -0400
Organization: The World Public Access UNIX, Brookline, MA
Message-ID: <wcc7k6h553b.fsf@shell01.TheWorld.com>
References: <BzsRa.3795$7O.2415@nwrdny01.gnilink.net>
 <BwBRa.82527$ye4.61235@sccrnsc01> <20030717141153.0746785b.falis@verizon.net>
NNTP-Posting-Host: shell01.theworld.com
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: pcls4.std.com 1058469880 23543 199.172.62.241 (17 Jul 2003 19:24:40
 GMT)
X-Complaints-To: abuse@TheWorld.com
NNTP-Posting-Date: Thu, 17 Jul 2003 19:24:40 +0000 (UTC)
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2
Xref: archiver1.google.com comp.lang.ada:40427
Date: 2003-07-17T15:24:40-04:00
List-Id: <comp.lang.ada>

Ed Falis <falis@verizon.net> writes:

> On Thu, 17 Jul 2003 18:02:09 GMT
> tmoran@acm.org wrote:
> 
> > > >   That's an example of a case where a textually unchanged spec
> > > >   file
> > > > needs to be recompiled because of a change in compiler options.
> > >
> > > But GNAT doesn't do it, as you yourself point out!
> >   Which is a bug in gnatmake, IMHO.
> 
> Use the -s switch to gnatmake if you want that behavior.  How can it be
> considered a bug when it's not defined behavior in the Ada standard, and
> it is in the gnat manuals?

I don't claim this particular behavior is a bug, but surely something
can be a bug even if not mentioned in the Ada standard, and mentioned in
the compiler's manual!  For example, if an Ada compiler deleted the
source files from the disk after compiling them, that would be a bug.
The Ada standard doesn't forbid it, and it's still a bug even if the
compiler's manual documents it.

- Bob