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-Thread: 103376,c84654714c2f5945
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!news.glorb.com!solnet.ch!solnet.ch!newsfeed01.sul.t-online.de!t-online.de!news.belwue.de!newsfeed.arcor.de!news.arcor.de!not-for-mail
Date: Fri, 14 Oct 2005 21:05:31 +0200
From: Georg Bauhaus <bauhaus@futureapps.de>
User-Agent: Debian Thunderbird 1.0.2 (X11/20050817)
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: GNAT GPL Edition - on the plus side
References: <q5qdnT0SeY3HkdLenZ2dnUVZ_tCdnZ2d@comcast.com>
 <1u927xnbmsfw1$.1xg4jk31952ts$.dlg@40tude.net>
 <c741d$434faf1d$49956a2$22390@ALLTEL.NET>
 <b4p2ksjzkv4m.6ghazx68f8js.dlg@40tude.net>
In-Reply-To: <b4p2ksjzkv4m.6ghazx68f8js.dlg@40tude.net>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <4350010e$0$24167$9b4e6d93@newsread4.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 14 Oct 2005 21:03:43 MEST
NNTP-Posting-Host: c10a3dce.newsread4.arcor-online.net
X-Trace: 
 DXC=9=1[hSb1cQk18V74W6`bol:ejgIfPPlddjW\KbG]kaMhea\9g\;7NmeFec;l`:ePNihP3YJKgE\jl7Z8c1VQ9aZn
X-Complaints-To: abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:5659
Date: 2005-10-14T21:03:43+02:00
List-Id: <comp.lang.ada>

Dmitry A. Kazakov wrote:

> It
> seems that GNAT somehow messes up the names of the actual parameters with
> ones of the formal parameters upon instantiation. At least some problems
> can be circumventing by avoiding actual and formal parameter having the
> same name! (:-))

Even when GNAT doesn't properly handle the load of overload,
this defect might actually help improve software quality. :-)
A one-name-for-one-thing-rule has made it into a programming
language standard (Eiffel), and I think the rule is justified.


-- Georg