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.1 required=5.0 tests=BAYES_20,INVALID_DATE autolearn=no autolearn_force=no version=3.4.4 Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: utzoo!utgpu!water!watnot!watmath!clyde!rutgers!sri-spam!ames!ucbcad!ucbvax!SIERRA.STANFORD.EDU!Bryan From: Bryan@SIERRA.STANFORD.EDU.UUCP Newsgroups: comp.lang.ada Subject: obsolete vs. removed from the library Message-ID: <12284668975.9.BRYAN@Sierra.Stanford.EDU> Date: Sun, 8-Mar-87 02:02:08 EST Article-I.D.: Sierra.12284668975.9.BRYAN Posted: Sun Mar 8 02:02:08 1987 Date-Received: Thu, 12-Mar-87 19:47:34 EST Sender: daemon@ucbvax.BERKELEY.EDU Distribution: world Organization: The ARPA Internet List-Id: Dear Ada Fans (if you're not a fan of Ada, I don't care that you read this), I'm confused again... is there a difference between "obsolete" compilation units and units "removed" ("deleted" for you VMS fans) from the library? Consider: package P is end P; with P; procedure Q is begin null; end; package P is end P; with P; procedure Q is begin null; end; The second compilation of P makes Q obsolete. It also makes the implicit specification of Q (which is in the library) obsolete. Does this mean that the second compilation of the body of Q is invalid since it is a secondary unit of an obsolete spec? This is related to a question I sent out a while ago, but never received any replies to. Are there only two library states associated with a unit, 1. not in the library; never successfully compiled. 2. in the library; ready to elaborate ?? Or are there three library states assocaited with a unit? 1 - 2 as above 3. obsolete; not ready to elaborate, but was successfully compiled once doug -------