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,FREEMAIL_FROM
	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-21 19:19:44 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!arclight.uoregon.edu!wn13feed!worldnet.att.net!199.45.49.37!cyclone1.gnilink.net!spamkiller2.gnilink.net!nwrdny02.gnilink.net.POSTED!53ab2750!not-for-mail
From: Hyman Rosen <hyrosen@mail.com>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US;
 rv:1.5a) Gecko/20030708 Thunderbird/0.1a
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Crosspost: Help wanted from comp.compilers
References: <bf04rc$hfl@library2.airnews.net>
 <Zw3Ra.224$7O.71@nwrdny01.gnilink.net> <3F158832.1040206@attbi.com>
 <1058378673.35463@master.nyc.kbcfp.com> <bf4f1p$eve@library2.airnews.net>
 <1058390613.119827@master.nyc.kbcfp.com> <bf58ui$51k@library2.airnews.net>
 <L1qRa.2504$7O.825@nwrdny01.gnilink.net>
 <slrnbhcsbl.jt.randhol+abuse@kiuk0152.chembio.ntnu.no>
 <2OERa.4718$0F4.3216@nwrdny02.gnilink.net> <bf7iiq$e64@library1.airnews.net>
 <wDJRa.5501$0F4.1836@nwrdny02.gnilink.net> <bf83qt$ju3@library2.airnews.net>
 <1058539398.178565@master.nyc.kbcfp.com> <3F18D647.9020505@attbi.com>
 <FTxSa.6118$634.1978@nwrdny03.gnilink.net> <3F1B207B.6090308@attbi.com>
 <1058800464.63505@master.nyc.kbcfp.com> <3F1C48F6.8010700@attbi.com>
In-Reply-To: <3F1C48F6.8010700@attbi.com>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <3b1Ta.14846$0F4.12183@nwrdny02.gnilink.net>
Date: Tue, 22 Jul 2003 02:19:43 GMT
NNTP-Posting-Host: 162.83.157.195
X-Complaints-To: abuse@verizon.net
X-Trace: nwrdny02.gnilink.net 1058840383 162.83.157.195 (Mon,
 21 Jul 2003 22:19:43 EDT)
NNTP-Posting-Date: Mon, 21 Jul 2003 22:19:43 EDT
Xref: archiver1.google.com comp.lang.ada:40600
Date: 2003-07-22T02:19:43+00:00
List-Id: <comp.lang.ada>

Robert I. Eachus wrote:
> If your main program is A from above, and you recompile B, the 
> implementation has two choices.  It can leave the original compiled 
> version of B in the environment and link A and the old B, or it can tell 
> you to recompile A.

I'm starting to remember an earlier discussion on this subject, (that
I don't think I was involved in). If I recall correctly, it's valid to
define "exist in the environment" as "source code is readable" and to
define "compile" as "check that the code is legal". Then object file
generation doesn't have to be tied to the requirements that you are
talking about, so the issue can be sidestepped (while still remaining
true to both the letter and spirit of the Ada requirements).