From: Ted Dennison <dennison@telepath.com>
Subject: Re: HELP: renames and enum values
Date: 2000/04/13
Date: 2000-04-13T00:00:00+00:00 [thread overview]
Message-ID: <8d4t6r$oam$1@nnrp1.deja.com> (raw)
In-Reply-To: 38F5D6F9.5B8892F2@bton.ac.uk
In article <38F5D6F9.5B8892F2@bton.ac.uk>,
John English <je@bton.ac.uk> wrote:
> Dale Stanbrough wrote:
> > All i was attempting to say is that
> >
> > type blah renames bleh;
> >
> > could be predicted to have the same semantics as a subtype
> > declaration (this would be the "other way" of performing
> > subtyping).
> >
> > I know what beginners think of, because I had 8 years of
> > teaching beginners. This is something that some of them
> > thought of (but not many because most of them were introduced
> > to subtypes long before renames!).
>
> What's even less obvious is the way to rename enumeration literals:
>
> function Enum_Literal return Enum_Type renames Other_Enum_Literal;
>
> Now, that *really* confuses them, and none of them would ever be
> able to guess it without being told!
What's wrong with:
Enum_Literal : constant Enum_Type := Other_Enum_Literal;
?
--
T.E.D.
http://www.telepath.com/~dennison/Ted/TED.html
Sent via Deja.com http://www.deja.com/
Before you buy.
next prev parent reply other threads:[~2000-04-13 0:00 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <38ECE0EB.4BD4A53E@mindspring.com>
2000-04-07 0:00 ` HELP: renames and enum values Samuel T. Harris
2000-04-07 0:00 ` Al Johnston
2000-04-09 0:00 ` Robert Dewar
2000-04-09 0:00 ` dale
2000-04-09 0:00 ` Robert Dewar
2000-04-10 0:00 ` Dale Stanbrough
2000-04-13 0:00 ` John English
2000-04-13 0:00 ` Ted Dennison [this message]
2000-04-13 0:00 ` Samuel T. Harris
2000-04-13 0:00 ` Robert A Duff
2000-04-13 0:00 ` Robert Dewar
2000-04-14 0:00 ` John English
2000-04-13 0:00 ` Samuel T. Harris
2000-04-14 0:00 ` Tucker Taft
2000-04-10 0:00 ` Samuel T. Harris
2000-04-11 0:00 ` Al Johnston
2000-04-10 0:00 ` Samuel T. Harris
2000-04-11 0:00 ` Al Johnston
2000-04-11 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