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.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,195bd8ec4227e968
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2004-02-08 18:57:01 PST
Path: 
 archiver1.google.com!news1.google.com!sn-xit-02!sn-xit-04!sn-xit-05!sn-xit-09!supernews.com!newsfeed.ision.net!ision!news-fra1.dfn.de!news-ber1.dfn.de!news.uni-hamburg.de!cs.tu-berlin.de!uni-duisburg.de!not-for-mail
From: Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de>
Newsgroups: comp.lang.ada
Subject: Re: [Q] non-limited record and "self-pointer"
Date: Mon, 9 Feb 2004 02:56:59 +0000 (UTC)
Organization: GMUGHDU
Message-ID: <c06str$3sr$1@a1-hrz.uni-duisburg.de>
References: <86d68pl0tc.fsf@sonnenregen.at.home>
 <mailman.7.1076288309.295.comp.lang.ada@ada-france.org>
NNTP-Posting-Host: l1-hrz.uni-duisburg.de
X-Trace: a1-hrz.uni-duisburg.de 1076295419 3995 134.91.1.34 (9 Feb 2004
 02:56:59 GMT)
X-Complaints-To: usenet@news.uni-duisburg.de
NNTP-Posting-Date: Mon, 9 Feb 2004 02:56:59 +0000 (UTC)
User-Agent: tin/1.5.8-20010221 ("Blue Water") (UNIX) (HP-UX/B.11.00
 (9000/800))
Xref: archiver1.google.com comp.lang.ada:5357
Date: 2004-02-09T02:56:59+00:00
List-Id: <comp.lang.ada>

Stephen Leake <stephen_leake@acm.org> wrote:
: I'm not clear what you are asking. 

I'm puzzled too by the compiler's silence, because AFAIK a record cannot
silently become limited?
 
: The prefix of 'Access or 'Unchecked_Access must be aliased. ARM 3.10
: (9) says the current instance of a limited type is aliased. Sor for
: 'Unchecked_Access to be legal, Read_Only_Set must be limited.

Introducing a limited ad hoc type and including a component
of this type in the record will indeed make the compiler say "must
be limited".

: Apparently the compiler thinks including teh Container component makes
: Read_Only_Set limited.

Hmmm. In order to check this I have tried assignment, it is there,
according to the compiler, as in

with some_sets;  use some_sets;   -- is new Sets(Integer, ...)
procedure ad_hoc is

   the_set: Read_Only_Set;
   another_set: Read_Only_Set;
begin
   another_set := the_set;
end ad_hoc;


: But in the version of Charles I have,
: Charles.Sets.Sorted.Unbounded.Container_Type is not limited. So that's
: a puzzle. What does your version of Charles say?

20030813 mostly. The only trace of a limited type I could find is
a Key_Type formal in nested generic packages in red_black_trees
and in the used sets package.



thanks,
georg