From: Stephen Leake <stephen_leake@stephe-leake.org>
Subject: Re: Making guarantees about record components
Date: Thu, 21 Nov 2013 00:53:51 -0600
Date: 2013-11-21T00:53:51-06:00 [thread overview]
Message-ID: <85pppuutxc.fsf@stephe-leake.org> (raw)
In-Reply-To: l6is08$of1$1@dont-email.me
Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org> writes:
> On 11/20/2013 02:36 AM, Stephen Leake wrote:
>>
>> The rules for when the Dynamic_Predicate is checked are in LRM 3.2.3
>> 31/3. To me, that says any changes to an object of type R are checked,
>> but not changes to M.
>
> See also Note 6 of that section, which says, "the predicate of a
> record subtype is not checked when a subcomponent is modified."
Ah, right. So
R := (1, 2);
would be checked, but
R.A1 := 3;
would not be checked.
--
-- Stephe
next prev parent reply other threads:[~2013-11-21 6:53 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-11-19 18:49 Making guarantees about record components J Kimball
2013-11-19 20:20 ` Anh Vo
2013-11-19 22:57 ` Jeffrey Carter
2013-11-20 9:36 ` Stephen Leake
2013-11-20 17:37 ` Jeffrey Carter
2013-11-21 6:53 ` Stephen Leake [this message]
2013-11-20 20:58 ` tmoran
2013-11-19 23:38 ` Shark8
2013-11-20 8:01 ` Dmitry A. Kazakov
2013-11-22 5:46 ` J Kimball
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox