From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.107.146.4 with SMTP id u4mr19272885iod.101.1511618268492;
        Sat, 25 Nov 2017 05:57:48 -0800 (PST)
X-Received: by 10.157.39.197 with SMTP id c63mr1362603otb.11.1511618268339;
 Sat, 25 Nov 2017 05:57:48 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.stack.nl!nntp.terraraq.uk!nntp-feed.chiark.greenend.org.uk!ewrotcd!news.szaf.org!news.unit0.net!peer02.am4!peer.am4.highwinds-media.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!i6no6045107itb.0!news-out.google.com!193ni1994iti.0!nntp.google.com!d140no6054059itd.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sat, 25 Nov 2017 05:57:48 -0800 (PST)
In-Reply-To: <3c1907d5-0a01-45be-903f-ecdcfcd4023d@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=2003:c7:83c9:d68a:286a:b415:89ef:628b;
 posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf
NNTP-Posting-Host: 2003:c7:83c9:d68a:286a:b415:89ef:628b
References: <d8c0ce45-97ad-4475-b3f9-1662a875a576@googlegroups.com>
 <ov93ij$njh$1@dont-email.me>
 <3f2c41db-3944-4b37-99b8-b71d55d5f8ed@googlegroups.com>
 <3c1907d5-0a01-45be-903f-ecdcfcd4023d@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <1249ac4d-cb13-49f0-9e46-4f8cc0c20c8a@googlegroups.com>
Subject: Re: How to access an array using two different indexing schemes
From: AdaMagica <christ-usch.grein@t-online.de>
Injection-Date: Sat, 25 Nov 2017 13:57:48 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Body-CRC: 782119468
X-Received-Bytes: 2241
Xref: feeder.eternal-september.org comp.lang.ada:48187
Date: 2017-11-25T05:57:48-08:00
List-Id: <comp.lang.ada>

Am Freitag, 24. November 2017 23:25:47 UTC+1 schrieb Jerry:
> On Friday, November 24, 2017 at 8:52:50 AM UTC-7, AdaMagica wrote:
> >   procedure Renaming is
> >     subtype T1 is String (1 .. 5);
> >     subtype T2 is String (1 .. 0);   -- !
> >     S1 : T1 := "Hello";
> >     S2 : T2 renames S1;
> > Rememner that renamings ignore constraints.
> 
> But at least it solves the double memory allocation with your
> 
> subtype T2 is String (1 .. 0);   -- ! 

No, renamings *never ever allocate* any memory. As the keyword tells, it's giving a new name to something. The *subtype* name involved (T2) here is irrelevant as are its possible constraints; indeed, it's the *type of T2* that's relevant.

In fact, renaming clauses are one example where Ada plainly lies!