From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Array conversion and bounds
Date: Sun, 15 Apr 2018 11:36:19 +0200
Date: 2018-04-15T11:36:19+02:00 [thread overview]
Message-ID: <pav6el$pg1$1@gioia.aioe.org> (raw)
Do array bounds slide during conversion? Consider this:
type A is array (Integer range <>) of Whatever;
type B is array (Unsigned_32 range <>) of Whatever;
X : A (-10..-1);
Y : B (1..10);
begin
Y := B (X); -- Is this OK?
If bounds slide it must be OK, if bounds do not slide, it must raise
Constraint_Error.
Any language lawyers?
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next reply other threads:[~2018-04-15 9:36 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-04-15 9:36 Dmitry A. Kazakov [this message]
2018-04-15 10:37 ` Array conversion and bounds Niklas Holsti
2018-04-15 12:34 ` Dmitry A. Kazakov
2018-04-15 13:11 ` Niklas Holsti
2018-04-15 13:24 ` Dmitry A. Kazakov
2018-04-15 18:21 ` Niklas Holsti
2018-04-15 20:29 ` Dmitry A. Kazakov
2018-04-15 17:55 ` Robert A Duff
2018-04-15 20:15 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox