From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,a00ff2b882a06fda X-Google-Attributes: gid103376,public From: Dale Stanbrough Subject: Re: HELP: renames and enum values Date: 2000/04/10 Message-ID: #1/1 X-Deja-AN: 609065785 References: <38ECE0EB.4BD4A53E@mindspring.com> <38EE2019.4C91075D@Raytheon.com> <38EE494D.DDB9CE9@mindspring.com> <8cp1hd$3so$1@nnrp1.deja.com> <8cqf1i$i72$1@nnrp1.deja.com> X-Trace: 10 Apr 2000 23:48:59 GMT, r1021c-02.ppp.cs.rmit.edu.au Organization: RMIT User-Agent: MT-NewsWatcher/3.0 (PPC) Newsgroups: comp.lang.ada Date: 2000-04-10T00:00:00+00:00 List-Id: Robert Dewar wrote: > 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 :-) > 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!). I do understand the use of subtype, but I was just wondering if there were some fundamental reason why a renames for a type would be excluded (apart from not wanting two ways to do the same thing). Dale