From: Ted Dennison <dennison@telepath.com>
Subject: Re: Self-referential types
Date: 1999/10/12
Date: 1999-10-12T00:00:00+00:00 [thread overview]
Message-ID: <7tvq5g$28u$1@nnrp1.deja.com> (raw)
In-Reply-To: s06ji18vh1s47@corp.supernews.com
In article <s06ji18vh1s47@corp.supernews.com>,
"news.oxy.com" <Vladimir_Olensky@oxy.com> wrote:
>
> Matthew Heaney wrote in message <3802f2db_2@news1.prserv.net>...
> >This is the basis for programming with access discriminants, which is
> >how you do MI in Ada95.
> You might put a short article regarding this issue to Adapower.
> I am sure it will be very useful.
I'd like to heartily second that one. I tried every resource I could
find to figure this out before I resorted to c.l.a. The example in
Cohen's book is wrong, and he doesn't address its use in MI at all. The
rationale just talks about it but doesn't put up any examples. I
couldn't even find anything in the LRM that said this was legal after
over an hour of searching. It'd be a shame if the only real
documentation of this technique was word of mouth.
--
T.E.D.
Sent via Deja.com http://www.deja.com/
Before you buy.
next prev parent reply other threads:[~1999-10-12 0:00 UTC|newest]
Thread overview: 62+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <7ttb4a$8mq$1@nnrp1.deja.com>
1999-10-12 0:00 ` Self-referential types Robert A Duff
1999-10-12 0:00 ` Vladimir Olensky
1999-10-12 0:00 ` Matthew Heaney
1999-10-12 0:00 ` news.oxy.com
1999-10-12 0:00 ` Ted Dennison [this message]
1999-10-12 0:00 ` Stanley R. Allen
1999-10-13 0:00 ` Ted Dennison
1999-10-13 0:00 ` Vladimir Olensky
1999-10-14 0:00 ` Multiple Inheritance in Ada 95 [was Re: Self-referential types] Tucker Taft
1999-10-12 0:00 ` Self-referential types Matthew Heaney
1999-10-12 0:00 ` Richard D Riehle
1999-10-12 0:00 ` Ted Dennison
1999-10-12 0:00 ` Matthew Heaney
1999-10-12 0:00 ` Robert I. Eachus
1999-10-12 0:00 ` Matthew Heaney
1999-10-13 0:00 ` Robert I. Eachus
1999-10-13 0:00 ` Brian Rogoff
1999-10-15 0:00 ` Robert I. Eachus
1999-10-15 0:00 ` Marin David Condic
1999-10-15 0:00 ` Robert I. Eachus
1999-10-18 0:00 ` Robert Dewar
1999-10-19 0:00 ` Robert I. Eachus
[not found] ` <7u86su$o5v$1@nntp8.atl.mindspring.net>
1999-10-18 0:00 ` Robert I. Eachus
1999-10-22 0:00 ` Richard D Riehle
1999-10-22 0:00 ` Robert I. Eachus
1999-10-18 0:00 ` Robert Dewar
1999-10-18 0:00 ` Brian Rogoff
1999-10-18 0:00 ` Ed Falis
1999-10-19 0:00 ` Robert Dewar
[not found] ` <slrn80fl9f.68j.aidan@skinner.demon.co.uk>
1999-10-19 0:00 ` Wes Groleau
1999-10-21 0:00 ` Robert Dewar
1999-10-21 0:00 ` Jean-Pierre Rosen
1999-10-21 0:00 ` Robert Dewar
1999-10-21 0:00 ` Larry Kilgallen
1999-10-21 0:00 ` Comments (was: Self-referential types) Wes Groleau
1999-10-21 0:00 ` Ehud Lamm
1999-10-22 0:00 ` Ted Dennison
1999-10-23 0:00 ` Ehud Lamm
1999-10-23 0:00 ` Robert Dewar
1999-10-23 0:00 ` Ehud Lamm
1999-10-23 0:00 ` Comments Georg Bauhaus
1999-10-24 0:00 ` Comments Ehud Lamm
1999-10-26 0:00 ` Comments Robert I. Eachus
1999-10-28 0:00 ` Comments Jerry van Dijk
1999-10-28 0:00 ` Comments Ted Dennison
1999-10-25 0:00 ` Comments (was: Self-referential types) Wes Groleau
1999-10-23 0:00 ` M.
[not found] ` <Pine.A41.3.96-heb-2.07.991021191504.30582K-100000@pluto.mscc.huji. <381477c9.e1388ff3@ftw.rsc.raytheon.com>
1999-10-25 0:00 ` Larry Kilgallen
1999-10-22 0:00 ` Self-referential types Richard D Riehle
1999-10-23 0:00 ` Robert A Duff
1999-10-23 0:00 ` Richard D Riehle
1999-10-24 0:00 ` Michel DELARCHE
1999-10-13 0:00 ` Vladimir Olensky
1999-10-13 0:00 ` Vladimir Olensky
1999-10-18 0:00 ` Robert Dewar
1999-10-18 0:00 ` Laurent Guerby
1999-10-18 0:00 ` Vladimir Olensky
1999-10-13 0:00 ` Ted Dennison
1999-10-13 0:00 ` Matthew Heaney
[not found] ` <3802597B.9205AEE8@averstar.com>
1999-10-12 0:00 ` Ted Dennison
1999-10-12 0:00 ` Matthew Heaney
1999-10-13 0:00 ` Ted Dennison
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox