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 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,caabf5265fad78e5 X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII Path: g2news2.google.com!postnews.google.com!y10g2000prf.googlegroups.com!not-for-mail From: Adam Beneschan Newsgroups: comp.lang.ada Subject: Re: unsigned type Date: Thu, 2 Jul 2009 14:37:37 -0700 (PDT) Organization: http://groups.google.com Message-ID: <153d0b1e-4136-4b21-82a3-dbce45900680@y10g2000prf.googlegroups.com> References: <273dedb7-8d68-42d2-8602-aa44c79f3708@b9g2000yqm.googlegroups.com> <4b83m.98382$d36.15650@bgtnsc04-news.ops.worldnet.att.net> NNTP-Posting-Host: 66.126.103.122 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: posting.google.com 1246570657 26866 127.0.0.1 (2 Jul 2009 21:37:37 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Thu, 2 Jul 2009 21:37:37 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: y10g2000prf.googlegroups.com; posting-host=66.126.103.122; posting-account=duW0ogkAAABjRdnxgLGXDfna0Gc6XqmQ User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 7.0; Windows NT 6.0; WOW64; SLCC1; .NET CLR 2.0.50727; Media Center PC 5.0; .NET CLR 3.5.21022; .NET CLR 3.5.30729; .NET CLR 3.0.30618),gzip(gfe),gzip(gfe) Xref: g2news2.google.com comp.lang.ada:6811 Date: 2009-07-02T14:37:37-07:00 List-Id: On Jul 2, 12:49=A0pm, a...@anon.org (anon) wrote: > -- =A0Adam. > -- =A0 =A0Now, can you please explain the results from this program. > -- > -- =A0 =A0It just does not make sense. =A0Because in the second pass thou= gh =A0 > -- =A0 =A0Test.Put the bounds for String is ( 1..1 ) but if the procedure > -- =A0 =A0uses a String ( 2 .. -2 ) which neither index is not within the > -- =A0 =A0valid subscript range. And this is also echoed in the third pas= s. > -- > -- =A0 =A0Note: The RM uses ( 1 .. 0 ) but allows ( L .. R ) if L > R, fo= r > -- =A0 =A0 =A0 =A0 =A0 null arrays. =A0But I think the RM and ACATS sugge= st that the > -- =A0 =A0 =A0 =A0 =A0 Left side index needs to be a valid subscript of t= he array. No, they don't. Read 4.1.2(7). If you believe there's a clause in the RM that suggests that the left index needs to be in range, please give a citation. If there really is an ambiguity in the RM, I'll look into it and say something about it to people who could fix it. But it's almost certain that you're just misinterpreting something. > -- =A0 =A0 =A0 =A0 =A0 Which make B ( 2 .. -2 ) illegal if the B String i= s bound > -- =A0 =A0 =A0 =A0 =A0 by ( 1 .. 1 ). Nope. It's not illegal, and it won't raise an exception. -- Adam