From: bobduff@world.std.com (Robert A Duff)
Subject: Re: access aliased obstacle
Date: 1996/07/10
Date: 1996-07-10T00:00:00+00:00 [thread overview]
Message-ID: <DuBxBE.Hoq@world.std.com> (raw)
In-Reply-To: dewar.836958957@schonberg
In article <dewar.836958957@schonberg>, Robert Dewar <dewar@cs.nyu.edu> wrote:
[stuff about storing discriminants separately]
If you do that, then in some cases, you can avoid storing the
discriminants altogether. If you have a variable
X: T(Discrim => static-expression), then there's no need to store
X.Discrim anywhere. Of course if X is ever passed to an unconstrained
formal parameter, the discriminant value has to be materialized at that
point. And aliased variables need to have discriminants attached to
them, or accessible in some way.
Discriminants are really quite similar to array bounds.
- Bob
next prev parent reply other threads:[~1996-07-10 0:00 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-07-09 0:00 access aliased obstacle tmoran
1996-07-09 0:00 ` Robert Dewar
1996-07-09 0:00 ` Laurent Guerby
1996-07-09 0:00 ` Robert Dewar
1996-07-09 0:00 ` Laurent Guerby
1996-07-09 0:00 ` Robert Dewar
1996-07-10 0:00 ` Robert A Duff [this message]
-- strict thread matches above, loose matches on Subject: below --
1996-07-04 0:00 tmoran
1996-07-04 0:00 ` Robert Dewar
1996-07-06 0:00 ` Laurent Guerby
1996-07-07 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