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,FORGED_GMAIL_RCVD, FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.5-pre1 X-Received: by 2002:ad4:4184:: with SMTP id e4mr12874621qvp.41.1610732153255; Fri, 15 Jan 2021 09:35:53 -0800 (PST) X-Received: by 2002:a5b:28f:: with SMTP id x15mr1192750ybl.303.1610732153087; Fri, 15 Jan 2021 09:35:53 -0800 (PST) Path: eternal-september.org!reader02.eternal-september.org!2.eu.feeder.erje.net!feeder.erje.net!newsfeed.xs4all.nl!newsfeed7.news.xs4all.nl!tr3.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: Fri, 15 Jan 2021 09:35:52 -0800 (PST) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: google-groups.googlegroups.com; posting-host=20.133.0.13; posting-account=YRfoYAoAAADhSEO2nLYx10QUUvp8akYl NNTP-Posting-Host: 20.133.0.13 References: <1cc09f04-98f2-4ef3-ac84-9a9ca5aa3fd5n@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Lower bounds of Strings From: Stephen Davies Injection-Date: Fri, 15 Jan 2021 17:35:53 +0000 Content-Type: text/plain; charset="UTF-8" Xref: reader02.eternal-september.org comp.lang.ada:61145 List-Id: On Friday, 15 January 2021 at 11:41:24 UTC, J-P. Rosen wrote: > function Slide (S : String) return String is > (S(S'First) & S (S'First+1 .. S'Last)); To me, this is a fundamental enough operation that, in the absence of being able to specify a subtype where it happens automatically, it at least deserves to be an attribute. But then again, I also think that the attribute Trim_Image should be added, and I know you disagree with me on that too :-)