comp.lang.ada
 help / color / mirror / Atom feed
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: HELP: renames and enum values
Date: 2000/04/09
Date: 2000-04-09T00:00:00+00:00	[thread overview]
Message-ID: <8cqf1i$i72$1@nnrp1.deja.com> (raw)
In-Reply-To: dale-F87224.15225009042000@news.rmit.edu.au

In article <dale-F87224.15225009042000@news.rmit.edu.au>,
  dale <dale@cs.rmit.edu.au> wrote:
> Robert Dewar wrote:
>
> > subtype x is y;
> >
> > why isn't that good enough for renaming purposes????
>
> ...because beginners don't think of it?
>
> Is there any reason why it shouldn't work? (apart from being
another
> way to accomplish the same thing), i.e. is there some
fundamental
> philosoply embedded in Ada that means it would be a Bad Thing?




Sorry, I don't know what you mean by "another way" here, this
is the ONE and ONLY method to get the effect of "renaming"
types, and is absolutely standard Ada, and yes it works fine.

And who knows what beginners might or might not think of, but
any decent Ada book should point out this standard usage. The
RM of course is quite clear on the semantic effect of such
a declaration, and that's the end of its responsibility, the
RM gives the (fairly) formal definition of the language, it is
not in the business of pointing out how it can be used :-)


Sent via Deja.com http://www.deja.com/
Before you buy.




  reply	other threads:[~2000-04-09  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 [this message]
2000-04-10  0:00           ` Dale Stanbrough
2000-04-13  0:00             ` John English
2000-04-13  0:00               ` Samuel T. Harris
2000-04-13  0:00               ` Robert Dewar
2000-04-14  0:00                 ` John English
2000-04-13  0:00               ` Ted Dennison
2000-04-13  0:00                 ` Samuel T. Harris
2000-04-13  0:00                 ` Robert A Duff
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