Re: Pb with use of redefined "=" operator

[dennison@telepath.com]

In article <wcchfw8sfg2.fsf@world.std.com>,
  Robert A Duff <bobduff@world.std.com> wrote:
> dewarr@my-dejanews.com writes:
>
> >...(in many embedded and safety
> > critical applications, tagged types are eliminated for good reasons!)
>
> I disagree with that part.  Making a type tagged adds one word of
> storage to each object of the type, in typical implementations of Ada.
> It's quite easy to decide on a case-by-case basis whether that's "too
> much".
>
> There might be reasons to forbid the 'Class attribute in certain
> safety-critical applications, but I see no reason to forbid "tagged".
> Tagged types (without 'Class) don't introduce any dynamic dispatching or
> anything else that might be of concern.

My understanding was that without 'Class, the tag may not even be *present*
in the object. It isn't really needed, since every object's type is
determinable at compile time.

--
T.E.D.

-----------== Posted via Deja News, The Discussion Network ==----------
http://www.dejanews.com/       Search, Read, Discuss, or Start Your Own