From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: constructor in abstract tagged types
Date: Fri, 10 May 2019 17:35:46 -0500
Date: 2019-05-10T17:35:46-05:00 [thread overview]
Message-ID: <qb4uc3$4k9$1@franka.jacob-sparre.dk> (raw)
In-Reply-To: 58f49c83-eb9d-40d7-9c90-a9523167f63a@googlegroups.com
"Jere" <jhb.chat@gmail.com> wrote in message
news:58f49c83-eb9d-40d7-9c90-a9523167f63a@googlegroups.com...
...
> GNAT accepts:
>
> function F_Build(Years : Natural) return Son is
> begin
> return (Years => Years, Skate => True, others => <>);
> end F_Build;
>
> I assume since it is abstract you don't have to lead with "Father with"
> in the aggregate initialization.
It's because the type is fully visible. That's not the usual case for Ada
abstractions, of course, which is why the extension aggregate is available.
Randy.
next prev parent reply other threads:[~2019-05-10 22:35 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-05-08 18:37 constructor in abstract tagged types Daniel
2019-05-08 19:26 ` Dmitry A. Kazakov
2019-05-18 11:31 ` Daniel
2019-05-08 20:50 ` Jere
2019-05-10 22:35 ` Randy Brukardt [this message]
2019-05-09 14:40 ` AdaMagica
2019-05-10 4:46 ` Petter Fryklund
2019-05-18 11:35 ` Daniel
2019-05-10 22:40 ` Randy Brukardt
2019-05-18 11:43 ` Daniel
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox