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!c36g2000yqn.googlegroups.com!not-for-mail
From: Martin <martin.dowie@btopenworld.com>
Newsgroups: comp.lang.ada
Subject: Re: unsigned type
Date: Thu, 16 Jul 2009 07:41:56 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <59503098-8bd7-4553-9b87-560151327006@c36g2000yqn.googlegroups.com>
References: <MJS1m.405325$4m1.207186@bgtnsc05-news.ops.worldnet.att.net>
	<72cf874a-ebdc-4a19-9e05-ee9b9a3c245a@l28g2000vba.googlegroups.com>
	<h3nbfi$if$1@aioe.org>
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 1247755316 25665 127.0.0.1 (16 Jul 2009 14:41:56
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Thu, 16 Jul 2009 14:41:56 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: c36g2000yqn.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.12)
	Gecko/2009070611 Firefox/3.0.12,gzip(gfe),gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:7086
Date: 2009-07-16T07:41:56-07:00
List-Id: <comp.lang.ada>

On Jul 16, 2:54=A0pm, a...@anon.org (anon) wrote:
> The Slice rule RM 4.1.2 ( 7 ) does not stop a vendor from checking the
> bounds type first. In GNAT, using the last program I posted you will see =
that
> GNAT, first checks the lower bound type then checks for a "null range". W=
hich
> somewhat goes against the rule RM 4.1.2 ( 7 ).

You are confusing what a particular compiler does with the language
specification - GNAT by simply be buggy.

Cheers
-- Martin