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,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,cd5a3253b56eb233
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: "Alex R. Mosteo" <devnull@mailinator.com>
Newsgroups: comp.lang.ada
Subject: Re: GNAT GPL - Anonymous Access Type
Date: Wed, 28 Sep 2005 11:55:13 +0200
Message-ID: <433A6881.3020404@mailinator.com>
References: <1127850090.283075.268920@f14g2000cwb.googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: individual.net WDagqjiffimlhOvpDCTDZA+A2XtIIi+2z+G8sTIqG7YgVta40=
User-Agent: Mozilla Thunderbird 1.0.6 (X11/20050912)
X-Accept-Language: en-us, en
In-Reply-To: <1127850090.283075.268920@f14g2000cwb.googlegroups.com>
Xref: g2news1.google.com comp.lang.ada:5230
Date: 2005-09-28T11:55:13+02:00
List-Id: <comp.lang.ada>

Anh Vo wrote:
> I got this error message "type declaration cannot refer to itself" when
> compiling the record below.
> 
> type Node is
>    record
>       Value : Integer := 0;
>       Next : access Node;
>    end record;
> 
> I have the impression that this feature has not been implemented based
> on this error. What do you guys think?

It's partially there (or was in latest GAP release, which is older than 
this GPL one). You can use it with types in other packages, for example, 
but either I understand something wrong with this feature and the 
"limited with" or the support is partial, since I couldn't do anything 
useful with these. I ran pretty quickly in some restrictions that 
prevented circular referencing.