From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: Assignment access type with discriminants
Date: Thu, 23 Mar 2023 09:53:23 -0700 (PDT) [thread overview]
Message-ID: <1775482e-fd70-4af8-b25d-c2a9c2892b05n@googlegroups.com> (raw)
In-Reply-To: <tvhef6$1237n$1@dont-email.me>
I do hope, this answers the question:
3.10(14/3) … The first subtype of a type defined by … an access_to_object_definition is unconstrained if the designated subtype is an ... discriminated subtype; otherwise, it is constrained.
4.8(6/3) If the designated type is composite, then … the created object is constrained by its initial value (even if the designated subtype is unconstrained with defaults).
next prev parent reply other threads:[~2023-03-23 16:53 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
2023-03-22 14:10 ` G.B.
2023-03-23 11:51 ` Dmitry A. Kazakov
2023-03-23 16:53 ` AdaMagica [this message]
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