From: Shark8 <OneWingedShark@gmail.com>
Subject: Re: Unchecked_Union record inside an other record - trouble
Date: Fri, 08 Aug 2014 12:52:38 -0600
Date: 2014-08-08T12:52:38-06:00 [thread overview]
Message-ID: <Y%8Fv.396518$ic5.40026@fx21.iad> (raw)
In-Reply-To: <ls2vfc$qit$1@speranza.aioe.org>
On 08-Aug-14 10:56, Victor Porton wrote:
>
> But it is a hack.
How are you going to be able to tell which variant the subcomponent is
though? The C union *doesn't* tag the varying part, so that information
has to be kept elsewhere... or ignored completely.
> I propose to change ARM not to require a discriminant in this specific case
> (Unchecked_Union).
No.
Just no.
What you propose here would import from C weak typing -- if you want
weak typing, why re you using Ada?
next prev parent reply other threads:[~2014-08-08 18:52 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-08-08 15:36 Unchecked_Union record inside an other record - trouble Victor Porton
2014-08-08 16:01 ` Adam Beneschan
2014-08-08 16:56 ` Victor Porton
2014-08-08 18:52 ` Shark8 [this message]
2014-08-08 19:56 ` Victor Porton
2014-08-08 20:06 ` Pascal Obry
2014-08-08 20:09 ` Shark8
2014-08-08 20:12 ` Victor Porton
2014-08-08 20:22 ` Shark8
2014-08-08 20:28 ` Victor Porton
2014-08-08 21:07 ` Shark8
2014-08-08 19:52 ` Victor Porton
2014-08-08 19:57 ` Adam Beneschan
2014-08-08 19:21 ` Per Sandberg
2014-08-08 20:01 ` Victor Porton
2014-08-08 21:23 ` Jeffrey Carter
2014-08-10 7:25 ` Per Sandberg
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox