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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,ddbf85842f937132
X-Google-Attributes: gid103376,public
From: jerry@jvdsys.nextjk.stuyts.nl (Jerry van Dijk)
Subject: Re: Self-referential 'Access
Date: 1998/04/20
Message-ID: <ErqBIM.8q@jvdsys.nextjk.stuyts.nl>#1/1
X-Deja-AN: 346120331
References: <353B4DC4.EB3650F4@ghg.net>
 <matthew_heaney-ya023680002004980916500001@news.ni.net>
Organization: * JerryWare *, Leiden, Holland
Newsgroups: comp.lang.ada
Date: 1998-04-20T00:00:00+00:00
List-Id: <comp.lang.ada>


I guess this is an opertunity to learn something as:

Matthew Heaney (matthew_heaney@acm.org) wrote:

: I don't know the exact rules here, but what I do in cases like this is just
: use Unchecked_Access:

:     type Cell is limited record
:         Contents : String (1 .. 10);
:         Next_Cell : List := Cell'Unchecked_Access;
:         Prev_Cell : List := Cell'Unchecked_Access;
:     end record;

: This compiles cleanly using GNAT 3.10p.

As Cell is a type, not an object, what are Next_Cell and
Prev_Cell initialized to here ?

Jerry.

-- 
-- Jerry van Dijk  | email: jdijk@acm.org
-- Leiden, Holland | member Team-Ada