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=-0.5 required=3.0 tests=BAYES_05,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.5-pre1 X-Received: by 2002:a37:6491:: with SMTP id y139mr700573qkb.483.1616008115913; Wed, 17 Mar 2021 12:08:35 -0700 (PDT) X-Received: by 2002:a25:6f41:: with SMTP id k62mr6777197ybc.253.1616008115723; Wed, 17 Mar 2021 12:08:35 -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: Wed, 17 Mar 2021 12:08:35 -0700 (PDT) In-Reply-To: Injection-Info: google-groups.googlegroups.com; posting-host=192.160.103.146; posting-account=1tLBmgoAAAAfy5sC3GUezzrpVNronPA- NNTP-Posting-Host: 192.160.103.146 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> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <424f7220-abba-49df-8160-17851c336999n@googlegroups.com> Subject: Re: array from static predicate on enumerated type From: Matt Borchers Injection-Date: Wed, 17 Mar 2021 19:08:35 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Xref: reader02.eternal-september.org comp.lang.ada:61597 List-Id: Shark8, I have read all posts in this thread and I'm pretty sure I understand the h= oley array and slice problem and I do not want holey arrays. Your example = is interesting but it adds a lot of complexity. However, that could obviou= sly be abstracted away. My comment was not a request but a question just as you posed: why "some s= ort of automatically generated function that is invisibly integrated into t= his object" to do the mapping is not possible for the implementations of th= e 'Pos, 'First, 'Last, etc. attributes. "This object" being an enumerated = sub-type with a Static_Predicate. I was originally trying/hoping to create a collapsed array needing only the= minimal memory required to support the Static_Predicate sub-type as the in= dex. In my previous post I began to realize that solving this inconsistenc= y just might result in a different inconsistency and I would not be in favo= r of a solution like that. Regards, Matt On Wednesday, March 17, 2021 at 11:08:58 AM UTC-4, Shark8 wrote: > Do you want such an array to hold 256 bits? One for each character with a= CONSTRAINT_ERROR on bad indexing? (Meaning some sort of automatically gene= rated function that is invisibly integrated into this object.)=20 > Or are you wanting an array with holey indexes, collapsed spacewise, so t= hat it's only 5 bits?=20 > These are the questions which must be answered to even start to consider = the issues at hand.