From: "Samuel T. Harris" <sam_harris@hso.link.com>
Subject: Re: One type for all
Date: 1999/07/12
Date: 1999-07-12T00:00:00+00:00 [thread overview]
Message-ID: <378A6C37.D35F44AD@hso.link.com> (raw)
In-Reply-To: Pine.A41.3.96-heb-2.07.990710013813.72936A-100000@pluto.mscc.huji.ac.il
Ehud Lamm wrote:
>
> On Fri, 9 Jul 1999, Samuel T. Harris wrote:
>
> > Types in both Ada 83 and Ada 95 use name-equivalence instead
> > of structural-equivalence
>
> Note that when you instantiate a generic a strucutural equivalence is
> required (according to the generic rules).
>
> Ehud Lamm mslamm@pluto.mscc.huji.ac.il
> http://purl.oclc.org/NET/ehudlamm <== My home on the web
This is true.
However, the original poster was refering to type and
object declarations and generics were not involved.
To be more precise, perhaps I should have said Ada uses
name-equivalence for type and object declarations.
--
Samuel T. Harris, Principal Engineer
Raytheon, Scientific and Technical Systems
"If you can make it, We can fake it!"
next prev parent reply other threads:[~1999-07-12 0:00 UTC|newest]
Thread overview: 16+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <3783E0D2.5D74243@boeing.com>
1999-07-08 0:00 ` One type for all czgrr
1999-07-09 0:00 ` Samuel T. Harris
1999-07-10 0:00 ` Ehud Lamm
1999-07-12 0:00 ` Samuel T. Harris [this message]
1999-07-12 0:00 ` Robert Dewar
1999-07-12 0:00 ` Samuel T. Harris
1999-07-12 0:00 ` Larry Kilgallen
1999-07-17 0:00 ` Robert Dewar
1999-07-18 0:00 ` Keith Thompson
1999-07-19 0:00 ` Robert Dewar
1999-07-18 0:00 ` Keith Thompson
1999-07-19 0:00 ` Robert A Duff
1999-07-20 0:00 ` Robert Dewar
1999-07-19 0:00 ` Tucker Taft
1999-07-20 0:00 ` Bill Findlay
1999-07-18 0:00 ` Samuel T. Harris
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox