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,a00006d3c4735d70
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2004-02-26 05:41:32 PST
Path: 
 archiver1.google.com!news2.google.com!newsfeed2.dallas1.level3.net!news.level3.com!zeus.visi.com!news-out.visi.com!green.octanews.net!news-out.octanews.net!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: Thu, 26 Feb 2004 07:41:31 -0600
Date: Thu, 26 Feb 2004 08:41:30 -0500
From: "Robert I. Eachus" <rieachus@comcast.net>
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: In-Out Parameters for functions
References: <4020C947.81A6D703@0.0> <1075907239.138068@master.nyc.kbcfp.com>
 <402232E9.3EE15B4B@0.0> <1075987360.225622@master.nyc.kbcfp.com>
 <40236C0B.E988E003@0.0> <xay_b.429$ax2.177@nwrdny03.gnilink.net>
 <pan.2004.02.24.01.44.30.311621@email.ro>
 <1077634311.254581@master.nyc.kbcfp.com>
 <pan.2004.02.24.23.23.33.578111@email.ro>
 <mailman.20.1077669870.327.comp.lang.ada@ada-france.org>
 <pan.2004.02.25.09.01.17.858502@email.ro>
 <1077718871.47635@master.nyc.kbcfp.com>
 <54cp3095jmv8s17h63d4bjdus0tec7l7pt@jellix.jlfencey.com>
 <1077721343.481619@master.nyc.kbcfp.com> <LIidnT3Ca4JDVaHdRVn-jw@comcast.com>
 <1077727853.904323@master.nyc.kbcfp.com>
In-Reply-To: <1077727853.904323@master.nyc.kbcfp.com>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <B8WdnRy5IL0WaqDdRVn-jA@comcast.com>
NNTP-Posting-Host: 24.147.77.160
X-Trace: 
 sv3-Yp12rI2ilw201IRJ2idmQFMmvvgIB5I4RftCODUgV8O3Fn4Kj042SroYoIb22NaTIEoBNFsnusryutD!UjGO+MUfAlDw8dPdL0L1lHj/KtkAcJdy2kw8G1s07bDbxYXxqqfL0FwKQcnbZw==
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: archiver1.google.com comp.lang.ada:5844
Date: 2004-02-26T08:41:30-05:00
List-Id: <comp.lang.ada>

Hyman Rosen wrote:

> Robert I. Eachus wrote:
> 
>> Absolutely wrong. ... I will declare...
> 
> 
> You are describing your programming practices.
> Your practices do not necessarily represent the
> philosophy of the language. In any case, when I
> said that a + b becomes "+"(a, b) and not "+"(b, a)
> I was not "absolutely wrong" but "absolutely right".

No, you were absolutely wrong as usual.  The order of evaluation of the 
parameters to "+" is undefined whether the "+" is user defined or 
language defined.  To quote 6.4(10): "These evaluations are done in an 
arbitrary order."  There is even an explicit footnote at 4.5(14) that 
explains that this applies to predefined operators as well as user 
defined operators.

I should stop wrestling with pigs.  But I would like to preserve this 
newsgroup as a place where users can get reliable advice on language 
issues.  So I have to keep putting up these placards that say ignore 
anything Hyman Rosen says about Ada language issues.

-- 

                                           Robert I. Eachus

"The only thing necessary for the triumph of evil is for good men to do 
nothing." --Edmund Burke