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,d2f0af5e440b367f
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-07-08 20:00:36 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!arclight.uoregon.edu!wn13feed!worldnet.att.net!199.45.49.37!cyclone1.gnilink.net!spamkiller2.gnilink.net!nwrdny03.gnilink.net.POSTED!53ab2750!not-for-mail
From: Hyman Rosen <hyrosen@mail.com>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US;
 rv:1.5a) Gecko/20030611 Thunderbird/0.1a
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: proposal for new assignment operators
References: <bebbba07.0306242223.1f86b3f7@posting.google.com>
 <k0iKa.16486$Kg7.5296@nwrdny01.gnilink.net> <3EF9CD5F.6030608@cogeco.ca>
 <bebbba07.0306251909.760d7485@posting.google.com>
 <3doRhIgUmUYX@eisner.encompasserve.org>
 <bebbba07.0306261008.51e8bc81@posting.google.com>
 <HfU+ONDON25c@eisner.encompasserve.org>
 <ba162549.0307020757.264bfa9@posting.google.com>
 <3F038B77.2F2E41B7@adaworks.com> <Q5NMa.632$i57.44@nwrdny02.gnilink.net>
 <Xns93ADC397FEA9Bjimmaureenrogers@204.127.36.1>
 <hG6Oa.14372$Ha.12381@nwrdny02.gnilink.net>
 <Xns93B1C2743EC2Fjimmaureenrogers@204.127.36.1>
 <1057672755.789189@master.nyc.kbcfp.com>
 <Xns93B2B8912A63jimmaureenrogers@204.127.36.1>
In-Reply-To: <Xns93B2B8912A63jimmaureenrogers@204.127.36.1>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <pzLOa.1345$78.197@nwrdny03.gnilink.net>
Date: Wed, 09 Jul 2003 03:00:37 GMT
NNTP-Posting-Host: 162.84.187.245
X-Complaints-To: abuse@verizon.net
X-Trace: nwrdny03.gnilink.net 1057719637 162.84.187.245 (Tue,
 08 Jul 2003 23:00:37 EDT)
NNTP-Posting-Date: Tue, 08 Jul 2003 23:00:37 EDT
Xref: archiver1.google.com comp.lang.ada:40134
Date: 2003-07-09T03:00:37+00:00
List-Id: <comp.lang.ada>

James Rogers wrote:
> I suppose part of the problem can be the algorithm for interpolation
> of the parameter(s) into an instance name.

Not really. It's simply that equal parameters should refer to the
same instantiation, and unequal ones to different instantiations.

> I would expect object files from different compilers to be incompatible

And that is in fact generally the case. You would expect Ada object files
from different compilers to be similarly incompatible. Both C++ and Ada
have a great many implementation-defined decisions to make, about such
things as data layout, "dope" vectors, exception processing, and threads.
The only way to have intercompatibility among compilers is to have a
platform ABI that specifies all of those things. VMS had such a thing,
and g++ now has a written specification for an IA64 platform ABI that's
extending to other platforms as well.

> Are the parameters also available within the body of the template
> for logic purposes?

Of course, using the names in the angle brackets.