comp.lang.ada
 help / color / mirror / Atom feed
From: Wojtek Narczynski <wojtek@power.com.pl>
To: wojtek@power.com.pl
Subject: Ada0Y anonymous access to self type
Date: Thu, 30 Sep 2004 22:31:45 +0200
Date: 2004-09-30T22:31:45+02:00	[thread overview]
Message-ID: <pan.2004.09.30.20.31.43.819322@power.com.pl> (raw)

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



             reply	other threads:[~2004-09-30 20:31 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2004-09-30 20:31 Wojtek Narczynski [this message]
2004-09-30 20:47 ` Ada0Y anonymous access to self type Matthew Heaney
2004-09-30 21:07   ` Wojtek Narczynski
2004-09-30 23:49 ` Randy Brukardt
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox