From: aidan@skinner.demon.co.uk (Aidan Skinner)
Subject: Re: Type mess in Ada standard library
Date: 1999/07/21
Date: 1999-07-21T00:00:00+00:00 [thread overview]
Message-ID: <slrn7pc4rb.278.aidan@skinner.demon.co.uk> (raw)
In-Reply-To: 7n41v3$j6$1@pegasus.csx.cam.ac.uk
On 21 Jul 1999 08:56:03 GMT, Markus Kuhn <mgk25@cl.cam.ac.uk> wrote:
>or something like that, which wherever they are used lead to identical
>types iff the parameters are identical.
While were on the subject of adding stuff, could we have something
that would auto-generate an explicit type-conversion for structually
equivalent types?
Eg.
declare
type Foo is record
X : integer;
Y : Character;
end record;
type Bar is record
X : integer;
Y : Character;
end record;
Foo1 : Foo;
Bar1 : Bar;
begin
Foo1 := Foo (Bar1);
end;
- Aidan (oh, and I'd like a flake in that as well)
--
http://www.skinner.demon.co.uk/aidan/
How much can could ICANN can if ICANN could can-can?
next prev parent reply other threads:[~1999-07-21 0:00 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-07-20 0:00 Type mess in Ada standard library Markus Kuhn
1999-07-20 0:00 ` Michael F. Yoder
1999-07-21 0:00 ` Robert Dewar
1999-07-21 0:00 ` Markus Kuhn
1999-07-21 0:00 ` Aidan Skinner [this message]
1999-07-21 0:00 ` Robert Dewar
1999-07-22 0:00 ` Bill Findlay
1999-07-23 0:00 ` Stanley R. Allen
1999-07-22 0:00 ` Bill Findlay
1999-07-23 0:00 ` Tucker Taft
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox