From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.68.226.71 with SMTP id rq7mr91135pbc.5.1383262464873; Thu, 31 Oct 2013 16:34:24 -0700 (PDT) X-Received: by 10.182.44.163 with SMTP id f3mr2658obm.34.1383262464783; Thu, 31 Oct 2013 16:34:24 -0700 (PDT) Path: border1.nntp.dca.giganews.com!nntp.giganews.com!z6no1145397pbz.1!news-out.google.com!9ni3876qaf.0!nntp.google.com!i2no4002375qav.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Thu, 31 Oct 2013 16:34:24 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=66.126.103.122; posting-account=RxNzCgoAAACA5KmgtFQuaU-WaH7rjnAO NNTP-Posting-Host: 66.126.103.122 References: User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <700ca98a-a6d6-47af-a7d6-fe23cf2729b2@googlegroups.com> Subject: Re: Exceptions in (dynamic) predicates From: Adam Beneschan Injection-Date: Thu, 31 Oct 2013 23:34:24 +0000 Content-Type: text/plain; charset=ISO-8859-1 Xref: number.nntp.dca.giganews.com comp.lang.ada:183767 Date: 2013-10-31T16:34:24-07:00 List-Id: On Thursday, October 31, 2013 2:52:36 PM UTC-7, Simon Wright wrote: > 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? Maybe it's AI12-0022? http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai12s/ai12-0022-1.txt Looks like it's a planned addition to Ada 202x. -- Adam