Re: Exceptions in (dynamic) predicates

["Randy Brukardt" <randy@rrsoftware.com>]

"!class Amendment 202x" just means that this would be included in the next 
Ada Amendment document (whenever that is requested). At this point, it's 
mostly an aid for my work on keeping the RM up-to-date with ARG decisions 
(important for ACATS tests and implementers). As it turns out, WG 9 is 
leaning toward requesting a Corrigendum from the ARG instead, so these will 
be changed soon to "!class Corrigendum 2014".

                                Randy.

"Adam Beneschan" <adambeneschan@aol.com> wrote in message 
news:23975e4f-c518-4144-8d2c-020b05f56133@googlegroups.com...
> 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