Re: Crosspost: Help wanted from comp.compilers

[Robert A Duff <bobduff@shell01.TheWorld.com>]

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