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.42.66.147 with SMTP id p19mr5025832ici.12.1383582035466; Mon, 04 Nov 2013 08:20:35 -0800 (PST) X-Received: by 10.182.231.227 with SMTP id tj3mr13421obc.40.1383582035418; Mon, 04 Nov 2013 08:20:35 -0800 (PST) Path: border1.nntp.dca3.giganews.com!backlog3.nntp.dca3.giganews.com!border3.nntp.dca.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!i2no9327824qav.0!news-out.google.com!9ni10200qaf.0!nntp.google.com!o2no18308780qas.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Mon, 4 Nov 2013 08:20:35 -0800 (PST) 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: <700ca98a-a6d6-47af-a7d6-fe23cf2729b2@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <23975e4f-c518-4144-8d2c-020b05f56133@googlegroups.com> Subject: Re: Exceptions in (dynamic) predicates From: Adam Beneschan Injection-Date: Mon, 04 Nov 2013 16:20:35 +0000 Content-Type: text/plain; charset=ISO-8859-1 X-Original-Bytes: 1765 Xref: number.nntp.dca.giganews.com comp.lang.ada:183778 Date: 2013-11-04T08:20:35-08:00 List-Id: On Friday, November 1, 2013 11:23:04 PM UTC-7, Randy Brukardt wrote: > "Adam Beneschan" wrote in message > > http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai12s/ai12-0022-1.txt > > Looks like it's a planned addition to Ada 202x. > > Well, actually it's an after-the-fact addition to Ada 2012. (AI12-0022-1 is > a Binding Interpretation, not an Amendment 1.) I noticed that the !class was "binding interpretation", but the !status is "Amendment 202x". What does that mean, exactly? Anyway, thanks for the explanation. -- Adam