Re: proposal for new assignment operators

[Hyman Rosen <hyrosen@mail.com>]

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.