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=-0.4 required=5.0 tests=AC_FROM_MANY_DOTS,BAYES_00
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,5b0235b23a9db0f2
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-01-31 07:16:48 PST
Path: 
 supernews.google.com!sn-xit-02!supernews.com!nntp-relay.ihug.net!ihug.co.nz!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed1.earthlink.net!newsfeed2.earthlink.net!newsfeed.earthlink.net!news.mindspring.net!not-for-mail
From: Marin David Condic <mcondic.auntie.spam@acm.org>
Newsgroups: comp.lang.ada
Subject: Re: Supertypes RE: Extensible Enumerated types
Date: Wed, 31 Jan 2001 10:15:42 -0500
Organization: MindSpring Enterprises
Message-ID: <3A782C1E.21FC6BC6@acm.org>
References: <mailman.980928479.25490.comp.lang.ada@ada.eu.org>
NNTP-Posting-Host: d1.56.bf.c6
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Server-Date: 31 Jan 2001 15:15:22 GMT
X-Mailer: Mozilla 4.07 [en] (WinNT; I)
Xref: supernews.google.com comp.lang.ada:4761
Date: 2001-01-31T15:15:22+00:00
List-Id: <comp.lang.ada>

I could see that as interesting - sort of building onto type extension. There
may be issues with representation that need to be looked at, do you think? I
guess my only reservation would be that it needs to be asked how generally
useful is this? Would it enable some significant new technique that would get
used often enough to make it worth disturbing the reserved word list?

MDC

Robert C. Leif, Ph.D. wrote:

> From: Bob Leif
> To: My fellow Ada users
>
> This is suggestion includes the addition of a new keyword to Ada. I realize
> that some would consider this rank heresy.
>
> Since Ada has Subtypes to specify a subset of a type, it would be reasonable
> to create a symmetrical operation to create a superset of a type.
>
> -- from Package Prefix_Recs
> type Prefix_Type is (None, Mr, Ms, Miss, Mrs, Dr, Prof, Rev,
>     Other);
>
> --From Package Prefix_Recs.Army
> Supertype Army_Prefix_Type is (Prefix_Type, Private, Corporal, Sergeant,
> Lieutenant, Captain, Major, Colonel, General);
>
> Prefix_Type'range would also be a possibility.
>
> Army_Prefix_Type would inherit all of the operations of Prefix_Type.
>
> I believe that super is lexicography a better choice than supra. I must add
> that supertypes are appropriate for a super language.

--
======================================================================
Marin David Condic - Quadrus Corporation - http://www.quadruscorp.com/
Send Replies To: m c o n d i c @ q u a d r u s c o r p . c o m
Visit my web site at:  http://www.mcondic.com/

    "I'd trade it all for just a little more"
        --  Charles Montgomery Burns, [4F10]
======================================================================