Re: array from static predicate on enumerated type

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

To get as complete as possible a picture of how some Ada feature came to be, 
you need to not only read the AI and especially it's e-mail, but also the 
meeting minutes associated with that AI. We now have an index for that 
purpose on Ada-Auth.org, the Ada 2005 AI version is found at:
    http://www.ada-auth.org/AI05-VOTING.HTML

Unfortunately, for Ada 2012, a lot of design occurred in unofficial phone 
meetings. No minutes were produced for those meetings, and so far as I know 
the only existing material is the notes I have kept on my hard disk. If I 
ever get some time, I want to get a version of those on-line so this sort of 
research can work usefully for Ada 2012. (Ideally in the format that the 
indexing tool can pick up and put into those indexes.)

Note that all three AI05-0153-x versions were involved, so it is useful to 
read all of them. (There also was some cross-AI discussions, which is 
probably beyond anyone's ability to find, at least for fun.)

                                            Randy.

P.S. Noticed this when looking at the evolution of aspect specifications. In 
the material on-line, they essentially appear in a near final form. That's 
not how it was!

"Matt Borchers" <mattborchers@gmail.com> wrote in message 
news:d3f4e8ad-8d5b-49b2-939d-1d1c7938d554n@googlegroups.com...
On Thursday, March 18, 2021 at 8:49:43 PM UTC-4, Jeffrey R. Carter wrote:
> On 3/19/21 1:34 AM, Matt Borchers wrote:
> >
> > I wish I had the transcript from the Ada Group's discussions on this 
> > topic. It must have been a good one. Do they keep transcripts of their 
> > discussions? If so, does anybody know where to find them?
> http://www.ada-auth.org/arg.html
>
> You probably want ai05-0153-1 at
>
> http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai05s/ai05-0153-1.txt?rev=1.15&raw=N

Thanks Jeff.  This is going to take a while to get through and it is heavy 
reading.  I had no idea this subject has been fermenting for 12+ years. 
However, in only the tiny portion I've read so far it seems a few commenters 
of high repute share some of my sentiments -- which only makes me 12 years 
late to the party of the losing side. :)