From: Simon Wright <simon@pushface.org>
Subject: Exceptions in (dynamic) predicates
Date: Thu, 31 Oct 2013 21:52:36 +0000
Date: 2013-10-31T21:52:36+00:00 [thread overview]
Message-ID: <lyob65rtuj.fsf@pushface.org> (raw)
A StackOverflow answer contains the following code:
subtype XYZ is ABC
with Dynamic_Predicate =>
((XYZ.A in Positive) and
(XYZ.B not in Positive)) or else raise Constraint_Error;
(actually, the original didn't have the 'else', with unhelpful results :)
I can't see where in the ARM "raise Constraint_Error" can be a
(component of a) boolean expression? or is this a GNATism?
next reply other threads:[~2013-10-31 21:52 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-10-31 21:52 Simon Wright [this message]
2013-10-31 23:34 ` Exceptions in (dynamic) predicates Adam Beneschan
2013-11-02 6:23 ` Randy Brukardt
2013-11-04 16:20 ` Adam Beneschan
2013-11-21 23:48 ` 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