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-Thread: 103376,c58d23b838cc6510,start
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!proxad.net!news.cs.univ-paris8.fr!news.zanker.org!nntp.idg.pl!newsfeed.atman.pl!newsfeed.tpinternet.pl!atlantis.news.tpi.pl!news.tpi.pl!not-for-mail
From: Wojtek Narczynski <wojtek@power.com.pl>
Newsgroups: comp.lang.ada
Subject: Ada0Y anonymous access to self type
Date: Thu, 30 Sep 2004 22:31:45 +0200
Organization: tp.internet - http://www.tpi.pl/
Message-ID: <pan.2004.09.30.20.31.43.819322@power.com.pl>
NNTP-Posting-Host: avq130.neoplus.adsl.tpnet.pl
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: atlantis.news.tpi.pl 1096576334 28436 83.27.50.130 (30 Sep 2004
 20:32:14 GMT)
X-Complaints-To: usenet@tpi.pl
NNTP-Posting-Date: Thu, 30 Sep 2004 20:32:14 +0000 (UTC)
To: wojtek@power.com.pl
User-Agent: Pan/0.14.2 (This is not a psychotic episode. It's a cleansing
 moment of clarity.)
Xref: g2news1.google.com comp.lang.ada:4457
Date: 2004-09-30T22:31:45+02:00
List-Id: <comp.lang.ada>

Hello,

I am trying to understand the Ada0Y goodies already implemented in gcc
mainline. I've just run into such an issue:

type Foo_Type;

-- This compiles
type Bar_Type is record
   Foo : access Foo_Type;
end record;

-- This does not
type Foo_Type is record
   Next : access Foo_Type;
end record;

For the Foo_Type record the compiler complains that "type declaration
cannot refer to itself", but does this restriction serve any purpose?

There was something about taming the "access types proliferation" in Ada0Y...

Regards,
Wojtek