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.5 required=3.0 tests=BAYES_50,FREEMAIL_FROM, FROM_STARTS_WITH_NUMS autolearn=no autolearn_force=no version=3.4.5-pre1 X-Received: by 2002:a37:9d56:: with SMTP id g83mr4640626qke.38.1612386398597; Wed, 03 Feb 2021 13:06:38 -0800 (PST) X-Received: by 2002:a25:4d08:: with SMTP id a8mr6964105ybb.465.1612386398384; Wed, 03 Feb 2021 13:06:38 -0800 (PST) Path: eternal-september.org!reader02.eternal-september.org!news.uzoreto.com!tr1.eu1.usenetexpress.com!feeder.usenetexpress.com!tr2.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Wed, 3 Feb 2021 13:06:38 -0800 (PST) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: google-groups.googlegroups.com; posting-host=85.240.220.46; posting-account=rhqvKAoAAABpikMmPHJSZh4400BboHwT NNTP-Posting-Host: 85.240.220.46 References: <81d3d242-1bb8-48fb-8bd4-f236447c0a00n@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <3e30eef0-2d72-4b29-be1b-abdecc501a1an@googlegroups.com> Subject: Re: specifying only 'First of an index in an array From: Mehdi Saada <00120260a@gmail.com> Injection-Date: Wed, 03 Feb 2021 21:06:38 +0000 Content-Type: text/plain; charset="UTF-8" Xref: reader02.eternal-september.org comp.lang.ada:61275 List-Id: I mean the possibility of specifying a minimal bound for index values, but not the outer bound. So still an array TYPE declaration constrained for one bound and not the other. And constrained fully at instanciation of course. But now given an array of which I don't know the exact 'first I do all kinds of t_index'val(T_index'pos(Object'first) + t_index'pos(increment)), and I don't need thinking much about ranges anymore. the more generic the better.