From: reinert <reinkor@gmail.com>
Subject: Re: Question on variant/discriminated records
Date: Thu, 31 Dec 2020 04:24:23 -0800 (PST) [thread overview]
Message-ID: <6dd44b3c-b3de-4943-ac70-0e25eaf279efn@googlegroups.com> (raw)
In-Reply-To: <rskah8$85j$1@dont-email.me>
Here must be a hole in my understanding. I thought that the discriminant must be known
before V.Y := 1.0; and hence there should be no confusion?
reinert
torsdag 31. desember 2020 kl. 11:52:26 UTC+1 skrev J-P. Rosen:
> Yes, it is a rule that identifiers in parallel branches cannot be
> identical. And there is a good reason for this: in Ada, when you access
> a component, the compiler checks that the component exists, according to
> the value of the discriminant. Assume that you write (if V is of type
> rec1_type):
> V.Y := 1.0;
>
> If both components are named Y, should the discriminant be B or C?
> --
> J-P. Rosen
> Adalog
> 2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
> Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
> http://www.adalog.fr
next prev parent reply other threads:[~2020-12-31 12:24 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-12-31 10:38 Question on variant/discriminated records reinert
2020-12-31 10:52 ` J-P. Rosen
2020-12-31 12:24 ` reinert [this message]
2020-12-31 12:46 ` Gautier write-only address
2020-12-31 12:57 ` reinert
2020-12-31 13:29 ` DrPi
2020-12-31 16:06 ` Gautier write-only address
2020-12-31 15:03 ` Dmitry A. Kazakov
2021-01-01 9:19 ` reinert
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox