From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Recursive algebraic data types
Date: Tue, 6 Mar 2018 22:14:36 +0100
Date: 2018-03-06T22:14:36+01:00 [thread overview]
Message-ID: <p7n0bs$1tk$1@gioia.aioe.org> (raw)
In-Reply-To: p7mtlh$s1r$1@franka.jacob-sparre.dk
On 2018-03-06 21:28, Randy Brukardt wrote:
> <hnptz@yahoo.de> wrote in message
> news:e3aea96c-8c5d-4569-abad-0d98e6cfc993@googlegroups.com...
>> Does somebody have a generic package on recursive data types in Ada and is
>> willing to share?
>
> A "recursive data type" is illegal in Ada: a type can never depend on
> itself, directly or indirectly. You have to break this sort of thing with an
> intervening access type,
Right, but it is self-referential nonetheless.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2018-03-06 21:14 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-03-06 19:46 Recursive algebraic data types hnptz
2018-03-06 19:58 ` hnptz
2018-03-06 20:45 ` gautier_niouzes
2018-03-07 5:53 ` Niklas Holsti
2018-03-07 8:31 ` Dmitry A. Kazakov
2018-03-06 20:28 ` Randy Brukardt
2018-03-06 20:54 ` Jeffrey R. Carter
2018-03-06 21:14 ` Dmitry A. Kazakov [this message]
2018-03-06 21:25 ` Dmitry A. Kazakov
2018-03-06 21:54 ` hnptz
2018-03-07 7:58 ` Jacob Sparre Andersen
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox