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
Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!know!zaphod.mps.ohio-state.edu!rpi!bu.edu!inmet!stt
From: stt@inmet.inmet.com
Newsgroups: comp.lang.ada
Subject: Re: Defered Constants in Ada
Message-ID: <20600062@inmet>
Date: 14 Sep 90 10:48:00 GMT
References: <920029@hpclapd.HP.COM>
Nf-ID: #R:hpclapd.HP.COM:920029:inmet:20600062:000:479
Nf-From: inmet.inmet.com!stt    Sep 14 06:48:00 1990
List-Id: <comp.lang.ada>


Re: Deferred Constants in Ada

Quoting from RM 7.4(4):

   "... a deferred constant declaration and the declaration of
the corresponding private type must both be declarative items
of the visible part of the same package."

It is interesting that this limitation is not mentioned
anywhere in the subsection devoted to Deferred Constants, but
only in the introduction to the section on
private types and deferred constants.

S. Tucker Taft
Intermetrics, Inc.
Cambridge, MA  02138