From: Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: Making guarantees about record components
Date: Wed, 20 Nov 2013 10:37:12 -0700
Date: 2013-11-20T10:37:12-07:00 [thread overview]
Message-ID: <l6is08$of1$1@dont-email.me> (raw)
In-Reply-To: <8561rnwh1p.fsf@stephe-leake.org>
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."
--
Jeff Carter
"Gentlemen, you can't fight in here. This is the War Room!"
Dr. Strangelove
30
next prev parent reply other threads:[~2013-11-20 17:37 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 [this message]
2013-11-21 6:53 ` Stephen Leake
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