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-Language: ENGLISH,ASCII X-Google-Thread: 103376,595cecf596072e80 X-Google-Attributes: gid103376,public Path: controlnews3.google.com!news1.google.com!news.glorb.com!news.addix.net!fu-berlin.de!uni-berlin.de!not-for-mail From: Peter Amey Newsgroups: comp.lang.ada Subject: Re: Why I like Ada Date: Wed, 26 May 2004 08:44:54 +0100 Message-ID: <2hj035Fde12lU1@uni-berlin.de> References: <058ta057iumjnbj5cbdpcskvjb39vmtt2h@4ax.com> <40af5f9d$0$255$edfadb0f@dread16.news.tele.dk> <_bLrc.93133$dP1.296024@newsc.telia.net> Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Trace: news.uni-berlin.de SeJIOEsckbupRjWUmDAV7gvZRU3e9V/MhrQIbGhlYJ2X0XLqQ= User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.4) Gecko/20030624 Netscape/7.1 (ax) X-Accept-Language: en-us, en In-Reply-To: Xref: controlnews3.google.com comp.lang.ada:842 Date: 2004-05-26T08:44:54+01:00 List-Id: Robert I. Eachus wrote: > Bj�rn Persson wrote: > >> Preben Randhol wrote: >> >>> Ada >>> After correctly packing your foot, you attempt to concurrently load >>> the gun, pull the trigger, scream, and shoot yourself in the foot. >>> When you try, however, you discover you can't because your foot is >>> of the wrong type. >> >> >> >> You must of course use Unchecked_Conversion to be able to shoot >> yourself in the foot. :-) > > > ...and the difficulty of the instantiation for Unchecked_Conversion > might give you a clue. (The formal result type of Unchecked_Conversion > is Target. So if you want to convert to a (local) type Target, you have > to use selected notation... ;-) > What, as in: "My.Foot"? Yes, that would concentrate the mind a bit. Peter