From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-0.5 required=3.0 tests=BAYES_05 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Date: 28 Jan 93 14:13:29 GMT
From: emery@goldfinger.mitre.org (David Emery)
Subject: Re: private types and recompilation
Message-ID: <EMERY.93Jan28091329@goldfinger.mitre.org>
List-Id: <comp.lang.ada>

In this particular situation, Ada can do what you want.  You can
complete an incomplete type in the package body.  So, given:

	private
	  type LIST;
	  type POSITION is access LIST;
	  type LIST is record
	    A: ATOM;
	    NEXT: POSITION;
	  end record;
	end LIST_ADT;

you can do the following:

	private
	  type LIST;
	  type POSITION is access LIST;
	end LIST_ADT;

	package body LIST_ADT is

	  type LIST is record
	    A: ATOM;
	    NEXT: POSITION;
	  end record;

	...
	end LIST_ADT;

(Thanks to Tucker Taft who argued for this feature in Ada 83.)

				dave