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.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,2308afbbe4ecec0b X-Google-Attributes: gid103376,public From: Robert A Duff Subject: Re: Subverting 'Access for Sub-programs Date: 1999/08/05 Message-ID: #1/1 X-Deja-AN: 509177372 Sender: bobduff@world.std.com (Robert A Duff) References: <37A71EF1.2201@dera.gov.uk> <7o7nhm$8oq@hobbes.crc.com> Organization: The World Public Access UNIX, Brookline, MA Newsgroups: comp.lang.ada Date: 1999-08-05T00:00:00+00:00 List-Id: "David C. Hoos, Sr." writes: > The real problem is that the compiler cannnot know that procedure Main > will have a lifetime as long as the entire program -- for there is > nothing that says (at _compile_ time) that procedure Main is the _Main_ > procedure. The compiler can't know it, because it's not true. ;-) Even if the main procedure were marked as such at compile time, it would still be the case that finalization of library package data happens after the main procedure is gone, and library-level tasks keep running for as long as they like after the main procedure is gone. - Bob -- Change robert to bob to get my real email address. Sorry.