comp.lang.ada
 help / color / mirror / Atom feed
From: bobduff@world.std.com (Robert A Duff)
Subject: Re: Record aggregate question (language lawyer needed!)
Date: 1996/06/22
Date: 1996-06-22T00:00:00+00:00	[thread overview]
Message-ID: <DtDKG8.15D@world.std.com> (raw)
In-Reply-To: 31CAEC7B.446B9B3D@escmail.orl.mmc.com


In article <31CAEC7B.446B9B3D@escmail.orl.mmc.com>,
Theodore E. Dennison <dennison@escmail.orl.mmc.com> wrote:
>mcriley on BIX wrote:
>> The relevant part of the LRM is 4.3.1[1]: "A component association
>> with the choice others [...] is only allowed if the represented
>> components are all of the same type."  Well the components are
>
>Technically, I think they are of two different (anonymous) types,
>both of which happen to be subtypes of STRING.

No.  Mcriley is correct -- they are of the same type (type String), but
different subtypes.

- Bob




  reply	other threads:[~1996-06-22  0:00 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1996-06-21  0:00 Record aggregate question (language lawyer needed!) mcriley on BIX
1996-06-21  0:00 ` Robert A Duff
1996-06-21  0:00 ` Theodore E. Dennison
1996-06-22  0:00   ` Robert A Duff [this message]
1996-06-24  0:00   ` Norman H. Cohen
1996-06-24  0:00   ` Philip Brashear
1996-06-25  0:00     ` Theodore E. Dennison
1996-06-21  0:00 ` Norman H. Cohen
replies disabled

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