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.66.191.132 with SMTP id gy4mr1260962pac.19.1371475694278;
 Mon, 17 Jun 2013 06:28:14 -0700 (PDT)
X-Received: by 10.50.4.38 with SMTP id h6mr430451igh.8.1371475694104; Mon, 17
 Jun 2013 06:28:14 -0700 (PDT)
Path: 
 border1.nntp.ams3.giganews.com!border1.nntp.ams2.giganews.com!border3.nntp.ams.giganews.com!border1.nntp.ams.giganews.com!nntp.giganews.com!xlned.com!feeder1.xlned.com!feeder.erje.net!us.feeder.erje.net!news.linkpendium.com!news.linkpendium.com!news.snarked.org!newsfeed.news.ucla.edu!usenet.stanford.edu!x10no5381758pbg.1!news-out.google.com!e10ni11667pbm.0!nntp.google.com!j2no487989qak.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Mon, 17 Jun 2013 06:28:13 -0700 (PDT)
In-Reply-To: 
 <e9d11a75-c436-44d5-aee8-81e6fb50772a@q8g2000vbl.googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=69.20.190.126;
 posting-account=lJ3JNwoAAAAQfH3VV9vttJLkThaxtTfC
NNTP-Posting-Host: 69.20.190.126
References: 
 <7f33982d-3bcf-452e-a3b3-3a0a28505ff1@x20g2000vbe.googlegroups.com>
 <kpmrjl$eps$1@dont-email.me>
 <e9d11a75-c436-44d5-aee8-81e6fb50772a@q8g2000vbl.googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <b2bec667-88aa-423f-b5c7-368cb56a3088@googlegroups.com>
Subject: Re: Range check for type 'Integer'
From: Shark8 <onewingedshark@gmail.com>
Injection-Date: Mon, 17 Jun 2013 13:28:14 +0000
Content-Type: text/plain; charset=ISO-8859-1
X-Original-Bytes: 2268
Xref: number.nntp.dca.giganews.com comp.lang.ada:181888
Date: 2013-06-17T06:28:13-07:00
List-Id: <comp.lang.ada>

On Monday, June 17, 2013 6:55:26 AM UTC-6, Peter Brooks wrote:
> 
> I couldn't find any books on Kindle - all the Ada books are hard copy
> and old.

Sure there are electronic copies available; Ada for Software Engineers [Ada95] for example -- http://pnyf.inf.elte.hu/kto/oktatas/ada/books/ase.pdf

> So I'm going through all the on-line tutorials that I can
> find, particularly those on Ada 2012. This example is from an on-line
> tutorial.

Well, that's understandable -- the Ada 2012 standard was finalized in December.
(And it takes a lot to write a book, even in just electronic format.)

I have the beginnings of a toy LISP interpreter here:
http://blog.projectpolymath.org/ada-2012-tutorial_01/
http://blog.projectpolymath.org/ada-2012-tutorial_02/
source -- https://github.com/OneWingedShark/Ada_Tutorial