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,1fa85f3df5841ae1
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!news.glorb.com!border1.nntp.dca.giganews.com!nntp.giganews.com!elnk-atl-nf1!newsfeed.earthlink.net!stamper.news.atl.earthlink.net!newsread1.news.atl.earthlink.net.POSTED!14bb18d8!not-for-mail
Sender: mheaney@MHEANEYX200
Newsgroups: comp.lang.ada
Subject: Re: Ada.Containers.Vectors - querying multiple elements
References: <mailman.76.1114515863.24457.comp.lang.ada@ada-france.org>
 <426e4c2b$0$7515$9b4e6d93@newsread2.arcor-online.net>
 <R_Ebe.13911$lP1.2554@newsread1.news.pas.earthlink.net>
 <jNOdnZ_Vi8Bcs-3fRVn-jA@megapath.net>
 <0uYbe.542$BE3.229@newsread2.news.pas.earthlink.net>
 <zq-dndHiJ-a_0OzfRVn-iA@megapath.net>
 <1wjh6qsazg3rg$.lupowyuqu0tw$.dlg@40tude.net>
 <G6idnbg9fbVACu_fRVn-1Q@megapath.net>
 <txah28f4zlnp$.1pqea609lovyn.dlg@40tude.net>
 <1O2dnYJF_uSxAejfRVn-2Q@megapath.net>
 <14ts2mrny7fci.emc3y6pqq7za$.dlg@40tude.net>
 <wccbr7ttq0k.fsf@shell01.TheWorld.com>
 <qm04fl5okrie.jqzulrqzezto.dlg@40tude.net>
 <wcck6mfhoq2.fsf@shell01.TheWorld.com>
 <1alsbsqw53l3o$.dud3ip2gd2m5$.dlg@40tude.net>
From: Matthew Heaney <matthewjheaney@earthlink.net>
Message-ID: <ull6rsugb.fsf@earthlink.net>
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.3
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Date: Sat, 07 May 2005 01:20:21 GMT
NNTP-Posting-Host: 24.149.57.125
X-Complaints-To: abuse@earthlink.net
X-Trace: newsread1.news.atl.earthlink.net 1115428821 24.149.57.125 (Fri,
 06 May 2005 18:20:21 PDT)
NNTP-Posting-Date: Fri, 06 May 2005 18:20:21 PDT
Organization: EarthLink Inc. -- http://www.EarthLink.net
Xref: g2news1.google.com comp.lang.ada:10945
Date: 2005-05-07T01:20:21+00:00
List-Id: <comp.lang.ada>

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:

> In an imaginary, better Ada there should be unordered, uncountable
> types which would still allow containers. There would be no way to
> enumerate elements in such container, but for any given X it would be
> possible to Is_In (X, C). Even for such weak types there should be
> empty containers such that Is_In returns false for any X.


Tell me, Dmitry, how do you intend for predicate Is_In to be
implemented, if the objects in the container are neither ordered nor
enumerable?