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-7-bit X-Google-Thread: 103376,595cecf596072e80 X-Google-Attributes: gid103376,public Path: controlnews3.google.com!news1.google.com!news.glorb.com!news.moat.net!border1.nntp.sjc.giganews.com!nntp.giganews.com!local1.nntp.sjc.giganews.com!nntp.comcast.com!news.comcast.com.POSTED!not-for-mail NNTP-Posting-Date: Wed, 02 Jun 2004 00:13:09 -0500 Date: Wed, 02 Jun 2004 01:13:08 -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> <2hj035Fde12lU1@uni-berlin.de> In-Reply-To: Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Message-ID: NNTP-Posting-Host: 24.147.90.114 X-Trace: sv3-IiJTRiWr/LvdSShI0QwgPx39Z3BtvzFvKi/WZDX7fcpxNHbLl3V4yRvaezl/HgKmBMkmnrChZG4aEGC!qqYXfqcTCxpSo7kDkTf0AOe1wmlW8hxdXLeBzYx/nvVk5869Qz+eOiXWfyFw7Q== 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:1012 Date: 2004-06-02T01:13:08-04:00 List-Id: Jeffrey Carter wrote: > Robert I. Eachus wrote: > >> I'll be darned! GNAT took that Target => Target. I was expecting it to >> require the second Target to use selected notation. Its midnight, so >> I'll wait 'til tomorrow to figure out if that is really a bug. > > > IANALL (and I know you are), but I'm pretty sure it's not a bug. My > understanding is that there is never a conflict between a formal > parameter name and an actual parameter name in named notation. I realized a while ago that after midnight IANALL either. ;-) And yes, it is after midnight when I am typing this. But I discussed the issue with Bob Duff earlier, when we were both language lawyers. You are correct, the visibility of the first Target is only on the left side of the arrow. Other than that, the direct scope of a parameter is inside the declaration of the subprogram or generic. However, from a software engineering point of view, if not a bug it is a pretty dodgy usage. Puns have no place in real code. -- 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