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=unavailable autolearn_force=no version=3.4.4
Path: 
 border1.nntp.dca3.giganews.com!border2.nntp.dca3.giganews.com!border4.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!nx02.iad01.newshosting.com!newshosting.com!69.16.185.21.MISMATCH!npeer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!post02.iad.highwinds-media.com!news.flashnewsgroups.com-b7.4zTQh5tI3A!not-for-mail
From: Stephen Leake <stephen_leake@stephe-leake.org>
Newsgroups: comp.lang.ada
Subject: Re: Range check for type 'Integer'
References: 
 <7f33982d-3bcf-452e-a3b3-3a0a28505ff1@x20g2000vbe.googlegroups.com>
 <kpmrjl$eps$1@dont-email.me>
 <e9d11a75-c436-44d5-aee8-81e6fb50772a@q8g2000vbl.googlegroups.com>
Date: Tue, 18 Jun 2013 06:48:57 -0400
Message-ID: <85ip1bzobq.fsf@stephe-leake.org>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (windows-nt)
Cancel-Lock: sha1:duBpOHhe7+vFW2BZAJLRmDkAdzY=
MIME-Version: 1.0
Content-Type: text/plain
X-Complaints-To: abuse@flashnewsgroups.com
Organization: FlashNewsgroups.com
X-Trace: b124951c03b1ae25452d812553
X-Received-Bytes: 1097
X-Original-Bytes: 1359
Xref: number.nntp.dca.giganews.com comp.lang.ada:181916
Date: 2013-06-18T06:48:57-04:00
List-Id: <comp.lang.ada>

Peter Brooks <peter.h.m.brooks@gmail.com> writes:

>> > Why is there no range check error on type Integer?
>>
> This example is from an on-line
> tutorial.

Can you fix the tutorial to include -gnato? that would lower the
frequency of this question on this newsgroup :).

-- 
-- Stephe