Re: Equality operator overloading in ADA 83

[dewar@merv.cs.nyu.edu (Robert Dewar)]

Robert Duff said

<<Robert, unless I'm confused about what you're talking about, I think
you're remembering an earlier version of Ada 9X.  Ada 95 is the same as
Ada 83 in this regard.

In Ada 83, if you declare an exception in a generic, then each instance
of that generic has its own copy of that exception.  This follows from
the fact that generic instantiation is defined as a textual copy, with
some exceptions (the main exception being that name resolution is not
"redone" on the instance).>>

Oops yes, sorry, I was indeed remembering the earlier version. So in fact
we still have complete semantic consistency between the code sharing and
macro instantiations -- boy that rule about separate exceptions must be
a real pain for the generic code sharing guys :-)