Re: Redefined "=" = generic disaster?

[Robert Dewar <robert_dewar@my-deja.com>]

In article <3A01815A.75D30E9F@averstar.com>,
  Tucker Taft <stt@averstar.com> wrote:
> My current thinking is that we should have preserved the Ada
> 83 reemergence rules for everything except record types.

An easy way to implement this would be to have a special pragma
for tagged type

   pragma Restricted_Tag (tagged-type-name)

This pragma would restrict tagged types as follows

  No use of 'Tag attribute
  No class types
  No derivations

(is that enough to allow a compiler to implement the tagged
type with no tag? If not, add more restrictions :-)

Now you have tagged types that of course "work right" but can
be implemented without the normal overhead of tagged types.



Sent via Deja.com http://www.deja.com/
Before you buy.