comp.lang.ada
 help / color / mirror / Atom feed
From: "Björn Lundin" <bnl@nowhere.com>
Subject: Re: Assignment access type with discriminants
Date: Wed, 22 Mar 2023 10:31:58 +0100	[thread overview]
Message-ID: <tvehue$ijrf$1@dont-email.me> (raw)
In-Reply-To: <tveh6u$ihpu$1@dont-email.me>

On 2023-03-22 10:19, Dmitry A. Kazakov wrote:
> I stumbled on a curious fact.
....
> Is this a compiler bug or intentional language design? Any language 
> lawyers?
> 

I get
Execution of ./test terminated by unhandled exception
raised CONSTRAINT_ERROR : test.adb:18 discriminant check failed
Call stack traceback locations:
0x402c33 0x402b27 0x7f335b5cfd8e 0x7f335b5cfe3e 0x402b63 0xfffffffffffffffe

bnl@hp-t510:/usr2$ gnatls -v
GNATLS Pro 22.2 (20220605-103)

Linux 64bit - ubuntu 22.04

So it is (also) present on that platform at least


-- 
/Björn

  reply	other threads:[~2023-03-22  9:31 UTC|newest]

Thread overview: 11+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-03-22  9:19 Assignment access type with discriminants Dmitry A. Kazakov
2023-03-22  9:31 ` Björn Lundin [this message]
2023-03-22 14:10 ` G.B.
2023-03-23 11:51   ` Dmitry A. Kazakov
2023-03-23 16:53     ` AdaMagica
2023-03-23 18:09       ` Niklas Holsti
2023-03-23 17:04 ` J-P. Rosen
2023-03-23 18:55   ` Niklas Holsti
2023-03-23 19:53     ` Dmitry A. Kazakov
2023-03-24  9:41     ` J-P. Rosen
2023-03-25  8:51       ` Randy Brukardt
replies disabled

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