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!l28g2000vba.googlegroups.com!not-for-mail
From: Martin <martin.dowie@btopenworld.com>
Newsgroups: comp.lang.ada
Subject: Re: unsigned type
Date: Tue, 14 Jul 2009 00:58:20 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <72cf874a-ebdc-4a19-9e05-ee9b9a3c245a@l28g2000vba.googlegroups.com>
References: <MJS1m.405325$4m1.207186@bgtnsc05-news.ops.worldnet.att.net>
	<ff104286-de81-4bd3-bfef-70cbae1d16df@v2g2000vbb.googlegroups.com>
	<Au66m.436787$4m1.76210@bgtnsc05-news.ops.worldnet.att.net>
	<878witokbn.fsf@willow.rfc1149.net>
 <6bO6m.112648$d36.73368@bgtnsc04-news.ops.worldnet.att.net>
NNTP-Posting-Host: 20.133.0.8
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1247558300 26442 127.0.0.1 (14 Jul 2009 07:58:20
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Tue, 14 Jul 2009 07:58:20 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: l28g2000vba.googlegroups.com; posting-host=20.133.0.8;
	posting-account=g4n69woAAACHKbpceNrvOhHWViIbdQ9G
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-GB;
 rv:1.9.0.11)
	Gecko/2009060215 Firefox/3.0.11,gzip(gfe),gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:7042
Date: 2009-07-14T00:58:20-07:00
List-Id: <comp.lang.ada>

On Jul 13, 11:03=A0pm, a...@anon.org (anon) wrote:
> The RM defines, what a "null range" is, but the RM does not say that you =
must
> first check for "null range" then the type and for a valid range in an ar=
ray or
> string. =A0The RM allows any vendor to check the type first before checki=
ng for a
> "null range" condition. Or it could be that the RM might assume that subt=
ype
> checking has already been done, because the RM assume that the compiler a=
nd
> runtime has check that the bound is a scalar type.

RM 4.1.2(7), 2nd sentence:

"If the slice is not a null slice (a slice where the discrete_range is
a null range), then a check is made that the bounds of the
discrete_range belong to the index range of the array denoted by the
prefix. Constraint_Error is raised if this check fails."

Which bit of 'if' followed by 'then' are you having trouble with?

Cheers
-- Martin