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.9 required=5.0 tests=BAYES_00 autolearn=ham
	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-20 14:34:46 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!news.cis.ohio-state.edu!not-for-mail
From: carroll@cis.ohio-state.edu (Mark Carroll)
Newsgroups: comp.lang.ada
Subject: Re: Extensible Enummerated types FW: When will next Ada revision be?
 (83, 95, ?)
Date: 20 Jan 2001 22:34:46 GMT
Organization: Ohio State Univ., Dept of Computer and Information Science
Message-ID: <94d3q6$a8d$1@news.cis.ohio-state.edu>
References: <mailman.979975693.13263.comp.lang.ada@ada.eu.org>
 <t6jeim807fic0a@corp.supernews.com> <94ce27$rrb$1@news.cis.ohio-state.edu>
 <94coa2$v2v$1@nnrp1.deja.com>
NNTP-Posting-Host: beta.cis.ohio-state.edu
X-Newsreader: trn 4.0-test72 (19 April 1999)
Xref: supernews.google.com comp.lang.ada:4248
Date: 2001-01-20T22:34:46+00:00
List-Id: <comp.lang.ada>

In article <94coa2$v2v$1@nnrp1.deja.com>,
Robert Dewar  <robert_dewar@my-deja.com> wrote:
(snip)
>How about specifices, since not many languages support
>this capability (C and C++ do not even have enumeration
>types in the sense in which we are discussing things now
>after all :-)

Modula-3 is probably an example of a reasonable starting point.
http://m3.polymtl.ca/m3/pkg/pm3/language/modula3/src/m3defn/ordinal.html
has some information. Is that the sort of thing that helps, or would you
like examples of code?

I don't have strong opinions as to how one might one to deal with
types that are 'subsets' or 'supersets' of a particular enumerated
type IYSWIM. I can see that it might be nice to deal with them, but
personally I don't usually have to.

-- Mark