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-Thread: 103376,4ff929aa5c2b2834
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!wns13feed!worldnet.att.net!attbi_s21.POSTED!53ab2750!not-for-mail
From: "Jeffrey R. Carter" <spam.not.jrcarter@acm.not.spam.org>
Organization: jrcarter at acm dot org
User-Agent: Thunderbird 1.5.0.8 (Windows/20061025)
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Ranges and (non)static constraints
References: <ejhgfn$jq9$1@cernne03.cern.ch>
 <1pqs0gcno5o2t.1195tm9yap28b.dlg@40tude.net> <uh6ije.uoh.ln@hunter.axlog.fr>
 <g2go52hf14qn.16tb2xiy7ilrf.dlg@40tude.net> <tc3kje.tmr.ln@hunter.axlog.fr>
 <160ziiyah2n7g.5k340gtji747.dlg@40tude.net>
 <wCo7h.283942$1i1.122160@attbi_s72> <wccpsbld3sn.fsf@shell01.TheWorld.com>
 <siP7h.242316$FQ1.162316@attbi_s71> <wcck61rxd7r.fsf@shell01.TheWorld.com>
In-Reply-To: <wcck61rxd7r.fsf@shell01.TheWorld.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <yD98h.152478$aJ.70530@attbi_s21>
NNTP-Posting-Host: 12.201.97.213
X-Complaints-To: abuse@mchsi.com
X-Trace: attbi_s21 1163994718 12.201.97.213 (Mon, 20 Nov 2006 03:51:58 GMT)
NNTP-Posting-Date: Mon, 20 Nov 2006 03:51:58 GMT
Date: Mon, 20 Nov 2006 03:51:58 GMT
Xref: g2news2.google.com comp.lang.ada:7574
Date: 2006-11-20T03:51:58+00:00
List-Id: <comp.lang.ada>

Robert A Duff wrote:
> 
> OK.  I'm sure I will enjoy reading the RM for it someday.

As I will yours.

> But are you sure you want to define it by what it is NOT,
> rather than what it IS?  ;-)

I'll define it by what it is, and name it by what it isn't.

> String_Index seems reasonable for indexing strings.  Machine_Integer
> seems reasonable for a type that matches the machine's register size
> (but it should not be in Standard).  I think one wants a way to say
> (e.g.) that a type ranges from 1 up to at least a million, but it's fine
> to go beyond that, and please make it efficient (for example, perhaps
> round it up to 2**31-1).
> 
> Instead of Machine_Integer, perhaps we want a way to define a type that
> can count the number of Mumble objects, given that if we create more
> than some number of Mumble objects, or an array of them, we can be sure
> this count will not overflow.  That is, we would have run out of
> (virtual) memory before that count overflows.

That would have to be a dynamic type, as the actual upper bound could 
not generally be known at compile time.

-- 
Jeff Carter
"Ditto, you provincial putz?"
Blazing Saddles
86