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-21 22:03:01 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!news.airnews.net!cabal12.airnews.net!usenet From: "John R. Strohm" Newsgroups: comp.lang.ada Subject: Re: Crosspost: Help wanted from comp.compilers Date: Mon, 21 Jul 2003 23:54:28 -0500 Organization: Airnews.net! at Internet America Message-ID: References: <2OERa.4718$0F4.3216@nwrdny02.gnilink.net> <1058539398.178565@master.nyc.kbcfp.com> <3F18D647.9020505@attbi.com> <3F1B207B.6090308@attbi.com> <1058800464.63505@master.nyc.kbcfp.com> <3F1C48F6.8010700@attbi.com> <3b1Ta.14846$0F4.12183@nwrdny02.gnilink.net> Xref: archiver1.google.com comp.lang.ada:40605 Date: 2003-07-21T23:54:28-05:00 List-Id: X-A-Notice: References line has been trimmed due to 512 byte limitationAbuse-Reports-To: abuse at airmail.net to report improper postings NNTP-Proxy-Relay: library2.airnews.net NNTP-Posting-Time: Tue, 22 Jul 2003 00:02:03 -0500 (CDT) NNTP-Posting-Host: !WfJM1k-Vm_:">0 (Encoded at Airnews!) X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2800.1106 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1106 "Hyman Rosen" wrote in message news:3b1Ta.14846$0F4.12183@nwrdny02.gnilink.net... > 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). That is true, BUT it does not satisfy the critical requirement. The critical requirement is not for "exist in the environment". The critical requirement, as Robert pointed out, is for "consistency" at link time. This is what drives the recompilation rules.