From: Vance Christiaanse <cintech@ix.netcom.com>
To: Robert A Duff <bobduff@world.std.com>
Subject: Re: Primitive Operations Question
Date: 1996/08/01
Date: 1996-08-01T19:29:05-05:00 [thread overview]
Message-ID: <3201140D.2255@ix.netcom.com> (raw)
In-Reply-To: DvGqsu.K1n@world.std.com
Bob wrote:
> Strange. The word "tagged" appears nowhere in the definition in of
> "primitive subprogram" in 3.2.3, so it shouldn't make any difference.
I wrote:
>Well, type extension of a tagged type in a procedure _could_ lead to
>dangling references (see Rationale 4.3, package Outer). I suspect
>that's why a compiler would be more careful to prevent it.
Bob wrote:
> Umm, you can only create dangling refs if the derived type is more
> nested than the parent type. And this is illegal -- that's a language
> rule, and has nothing to do with a particular compiler being careful.
> It also has nothing to do with which subprograms are primitive. See the
> "accessibility rules".
Right. I wasn't thinking clearly.
Vance
Vance Christiaanse
Cintech Consulting
cintech@ix.netcom.com
next prev parent reply other threads:[~1996-08-01 0:00 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-07-30 0:00 Primitive Operations Question Vance Christiaanse
1996-07-31 0:00 ` Robert A Duff
1996-07-31 0:00 ` Vance Christiaanse
1996-08-01 0:00 ` Robert A Duff
1996-08-01 0:00 ` Vance Christiaanse [this message]
1996-07-31 0:00 ` Jon S Anthony
1996-07-31 0:00 ` Samuel Tardieu
1996-07-31 0:00 ` Tucker Taft
1996-08-01 0:00 ` Jon S Anthony
1996-08-01 0:00 ` Robert A Duff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox