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: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!feeder.erje.net!eu.feeder.erje.net!news.albasani.net!.POSTED!not-for-mail
From: Dirk Heinrichs <dirk.heinrichs@altum.de>
Newsgroups: comp.lang.ada
Subject: Re: What does this code mean?
Date: Thu, 08 Jan 2015 17:44:09 +0100
Organization: Privat
Message-ID: <m8mc4r$rr8$1@news.albasani.net>
References: <68ac5df1-21ab-4b8e-acae-819c78fe8536@googlegroups.com>
 <XPnrw.219077$pr4.10387@fx26.iad> <ly4ms1fxe7.fsf@pushface.org>
Mime-Version: 1.0
Content-Type: text/plain; charset="ISO-8859-1"
Content-Transfer-Encoding: 7Bit
X-Trace: news.albasani.net
 x+1YeXRoPeDi9xTqJh+7C7PEbQc926d/s0uxY/Gx9SUMj5s1Pr7TOCkVJ/+mx6vhrk1jEGngmSCV+qgpuTaYY1dgJUEsgq+y11xRwn44zy2eA6OyZXM8+Xg67BsxgfVF
NNTP-Posting-Date: Thu, 8 Jan 2015 16:44:11 +0000 (UTC)
Injection-Info: news.albasani.net;
 logging-data="Lg2sKgcLxoFjxTSre82NA83WkC3XTyCBibTFuPz01bH0mP8avJEIYNWxC6XLAPSX+7Z+4drTGhIKLSUt13A7d2E20KfFAK68mJXgIxdYI/NS9IjwcDJe5l2GBAeueyW1";
 mail-complaints-to="abuse@albasani.net"
User-Agent: KNode/4.14.1
Cancel-Lock: sha1:V3k0lk4cJVeaNq7LbgQ4n98zzwo=
Xref: news.eternal-september.org comp.lang.ada:24481
Date: 2015-01-08T17:44:09+01:00
List-Id: <comp.lang.ada>

Simon Wright wrote:

> Shark8 <OneWingedShark@gmail.com> writes:
> 
>> I think it's wrong -- the "package I_IO is new Ada (Short);" is syntax
>> for instantiating a generic package... noticing the space-comma, I
>> think there might have been a transcription error
> 
> Yes, see the online version at
> http://wikibook-ada.sourceforge.net/html/convert_checked__adb.htm

Hmm, while this program is correct, it differs from the one in the wikibook 
itself: 
http://en.wikibooks.org/wiki/Ada_Programming/Type_System#Type_conversions

Bye...

	Dirk
-- 
Dirk Heinrichs <dirk.heinrichs@altum.de>
Tel: +49 (0)2471 209385 | Mobil: +49 (0)176 34473913
GPG Public Key CB614542 | Jabber: dirk.heinrichs@altum.de
Tox: heini@toxme.se
Sichere Internetkommunikation: http://www.retroshare.org
Privacy Handbuch: https://www.privacy-handbuch.de