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,
	MSGID_SHORT autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!utgpu!water!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!rutgers!cs.utexas.edu!fred
From: fred@cs.utexas.edu (Fred Hosch)
Newsgroups: comp.lang.ada
Subject: Library Unit Elaboration
Message-ID: <3713@cs.utexas.edu>
Date: 25 Oct 88 21:29:41 GMT
Organization: U. Texas CS Dept., Austin, Texas
List-Id: <comp.lang.ada>

I'm having trouble interpreting LRM 10.5.  What should I expect
from the following (and why) when MAIN is executed?

	package A is
		X: INTEGER := 0;
	end A;

	with A;
	procedure P is
	begin
		A.X := 1;
	end P;

	with A, P, INT_IO;
	procedure MAIN is
	begin
		P;
		INT_IO.PUT (A.X);
	end MAIN;


10.1.2 leads me to believe that package A is elaborated twice;
my compiler says once; 10.5 is obscure.

	---Fred Hosch
	   fred@cs.utexas.edu