From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Subject: Re: quantified expression with empty array?
Date: Fri, 9 Mar 2018 20:41:15 +0200
Date: 2018-03-09T20:41:15+02:00 [thread overview]
Message-ID: <fgg2qbF1t0qU1@mid.individual.net> (raw)
In-Reply-To: <8279f333-07ec-4477-a175-7c033b2424aa@googlegroups.com>
On 18-03-09 19:15 , Stephen Leake wrote:
> 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.
AARM 4.5.8 adds, for a "some" expression:
9.a/3 Ramification: The expression is False if the domain contains no
values.
--
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
. @ .
next prev parent reply other threads:[~2018-03-09 18:41 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-03-09 17:15 quantified expression with empty array? Stephen Leake
2018-03-09 18:40 ` Jeffrey R. Carter
2018-03-09 18:41 ` Niklas Holsti [this message]
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