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=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!green.octanews.net!news-out.octanews.net!news-out.visi.com!petbe.visi.com!news.octanews.net!newsfeed-east.nntpserver.com!nntpserver.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local1.nntp.dca.giganews.com!nntp.comcast.com!news.comcast.com.POSTED!not-for-mail NNTP-Posting-Date: Tue, 25 May 2004 16:29:27 -0500 Date: Tue, 25 May 2004 17:29:26 -0400 From: "Robert I. Eachus" 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 MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Why I like Ada References: <058ta057iumjnbj5cbdpcskvjb39vmtt2h@4ax.com> <40af5f9d$0$255$edfadb0f@dread16.news.tele.dk> <_bLrc.93133$dP1.296024@newsc.telia.net> In-Reply-To: <_bLrc.93133$dP1.296024@newsc.telia.net> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit Message-ID: NNTP-Posting-Host: 24.147.90.114 X-Trace: sv3-eGKsLQZoDkujom9KEDZFo9SFrmfWC6l0mv07WC6k1+cJk4u5LOwhDxXAolQGD+cqaZihqv7kdkmsZCZ!e98XaCfCO4goHOpeXrA78XTvbI4eRyWm4b1b9J195ATkOcpNzA9+wOVRsF3Ccw== X-Complaints-To: abuse@comcast.net X-DMCA-Complaints-To: dmca@comcast.net X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.1 Xref: controlnews3.google.com comp.lang.ada:830 Date: 2004-05-25T17:29:26-04:00 List-Id: 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... ;-) -- Robert I. Eachus "The terrorists rejoice in the killing of the innocent, and have promised similar violence against Americans, against all free peoples, and against any Muslims who reject their ideology of murder. Their barbarism cannot be appeased, and their hatred cannot be satisfied. There's only one way to deal with terror: We must confront the enemy and stay on the offensive until these killers are defeated." -- George W. Bush