From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.5-pre1 X-Received: by 2002:a0c:b522:: with SMTP id d34mr2433742qve.3.1616461642181; Mon, 22 Mar 2021 18:07:22 -0700 (PDT) X-Received: by 2002:a25:ae8c:: with SMTP id b12mr1862671ybj.173.1616461641764; Mon, 22 Mar 2021 18:07:21 -0700 (PDT) Path: eternal-september.org!reader02.eternal-september.org!news.mixmin.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Mon, 22 Mar 2021 18:07:21 -0700 (PDT) In-Reply-To: Injection-Info: google-groups.googlegroups.com; posting-host=2601:193:4103:71a0:d8cc:7e2e:d3ff:92c9; posting-account=1tLBmgoAAAAfy5sC3GUezzrpVNronPA- NNTP-Posting-Host: 2601:193:4103:71a0:d8cc:7e2e:d3ff:92c9 References: <89128f73-fcc5-4e57-8067-d09877ba0211n@googlegroups.com> <6ca041f3-2669-4497-9548-2f17666702a6n@googlegroups.com> <26c44e00-a899-455a-a929-1e23c7935fe3n@googlegroups.com> <9abb081d-a323-466d-9ae8-a2fc8fa24725n@googlegroups.com> <9933c99a-46b1-4541-aa15-f5c23e92b037n@googlegroups.com> <00c75105-f1a9-4dba-bbe9-65470bff2b4an@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: array from static predicate on enumerated type From: Matt Borchers Injection-Date: Tue, 23 Mar 2021 01:07:22 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Xref: reader02.eternal-september.org comp.lang.ada:61647 List-Id: 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:=20 > >=20 > > I wish I had the transcript from the Ada Group's discussions on this to= pic. It must have been a good one. Do they keep transcripts of their discus= sions? If so, does anybody know where to find them? > http://www.ada-auth.org/arg.html=20 >=20 > You probably want ai05-0153-1 at=20 >=20 > http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai05s/ai05-0153-1.txt?rev=3D1.= 15&raw=3DN=20 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. Ho= wever, 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. :)