From: Francois Godme <fgodme@magic.fr>
Subject: Re: class-wide objects
Date: 1998/12/07
Date: 1998-12-07T00:00:00+00:00 [thread overview]
Message-ID: <366C4BDD.739A5573@magic.fr> (raw)
In-Reply-To: F3LpHA.Hro.0.-s@inmet.camb.inmet.com
Tucker Taft wrote:
>
> Just providing the tag is not enough, because the type might
> have discriminants as well, which must be specified at the
> point of declaration. One could imagine some new attribute
> like "'Subtype" and then write:
>
> Local : Point'Class(S'Subtype);
>
>
How hard will it be to implement such attribute ? Are the required elements
not already all in place but not connected together? May be all compilers are
just a step away of providing this attribute.
next prev parent reply other threads:[~1998-12-07 0:00 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-12-07 0:00 class-wide objects Francois Godme
1998-12-07 0:00 ` Tucker Taft
1998-12-07 0:00 ` Francois Godme [this message]
1998-12-07 0:00 ` Matthew Heaney
1998-12-06 0:00 ` David Botton
1998-12-09 0:00 ` Francois Godme
1998-12-10 0:00 ` Matthew Heaney
1998-12-10 0:00 ` Francois Godme
1998-12-11 0:00 ` Stephen Leake
1998-12-12 0:00 ` Francois Godme
1998-12-07 0:00 ` Tom Moran
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox