From: Stephen Leake <stephen_leake@stephe-leake.org>
Subject: quantified expression with empty array?
Date: Fri, 9 Mar 2018 09:15:10 -0800 (PST)
Date: 2018-03-09T09:15:10-08:00 [thread overview]
Message-ID: <8279f333-07ec-4477-a175-7c033b2424aa@googlegroups.com> (raw)
I ran across this question recently:
If I have a quantified expression:
(for some Child of Children => Predicate (Child))
what is the value if Children'Length = 0?
ARM 2012 4.5.8 8/4, 9/4 talk about evaluating the predicates, but in this case there are no predicates to evaluate.
I wrapped this piece of code in "if Children'Length = 0 then" to be safe.
-- Stephe
next reply other threads:[~2018-03-09 17:15 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-03-09 17:15 Stephen Leake [this message]
2018-03-09 18:40 ` quantified expression with empty array? Jeffrey R. Carter
2018-03-09 18:41 ` Niklas Holsti
2018-03-09 21:08 ` Shark8
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox