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=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.3 4.3bsd-beta 6/6/85; site ucbvax.BERKELEY.EDU
Path: utzoo!watmath!clyde!burl!ulysses!ucbvax!info-ada
From: Bryan@SU-SIERRA.ARPA (Doug Bryan)
Newsgroups: net.lang.ada
Subject: elaboration of package specs
Message-ID: <8601272025.AA19624@ucbvax.berkeley.edu>
Date: Mon, 27-Jan-86 15:11:25 EST
Article-I.D.: ucbvax.8601272025.AA19624
Posted: Mon Jan 27 15:11:25 1986
Date-Received: Wed, 29-Jan-86 04:17:45 EST
Sender: usenet@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
List-Id: <comp.lang.ada>


consider...
	
	function Initial_Value return Integer;
	function Initial_Value return Integer is
        begin
	   return 42;
	end Initial_Value;

	package X is
	   I : Integer;
	end X;

	with Initial_Value;
	package body X is
	begin
	   I := Initial_Value;
	end X;

Suppose that the above four compilation units are compiled in the order
presented.  Then the function is rewritten as follows:

	function Initial_Value (I : Integer) return Integer;
	function Initial_Value (I : Integer) return Integer is
	begin
	   return I + 42;
	end Initial_Value;

and both the spec and body are recompiled.  May the package X be elaborated
without the recompilation if its body?  It is clear that the body of X
becomes obsolete if the spec of Initial_Value is recompiled.  I heard
that the language experts panel in Boston decided that in such a case
the spec of X may be elaborated and that the body of X would be ignored.
Does "obsolete" mean "removed from the library".  I always had the
understanding that a compilation unit, within a library, could be in one
of three states:

	1- ready for elaboration
	2- obsolete
	3- non-existent

If it was obsolete, it could not be elaborated.  If a compilation unit
was dependant on an obsolete unit, it too could not be elaborated.  It
seems that the new view is that the spec of X is not really dependant
on the body of X.

??

doug
-------