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,a644fa9cd1a3869a
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-11-12 05:53:24 PST
Path: 
 archiver1.google.com!news1.google.com!sn-xit-02!supernews.com!news.tele.dk!small.news.tele.dk!130.133.1.3!fu-berlin.de!uni-berlin.de!ppp-3-72.cvx5.telinco.NET!not-for-mail
From: "Nick Roberts" <nickroberts@adaos.worldonline.co.uk>
Newsgroups: comp.lang.ada
Subject: Re: List container strawman 1.2
Date: Mon, 12 Nov 2001 12:57:19 -0000
Message-ID: <9sok8h$142am0$1@ID-25716.news.dfncis.de>
References: <3BECA3B7.5020702@telepath.com> <3bef920f@pull.gecm.com>
NNTP-Posting-Host: ppp-3-72.cvx5.telinco.net (212.1.154.72)
X-Trace: fu-berlin.de 1005573201 37825216 212.1.154.72 (16 [25716])
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.50.4133.2400
X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4133.2400
Xref: archiver1.google.com comp.lang.ada:16319
Date: 2001-11-12T12:57:19+00:00
List-Id: <comp.lang.ada>

"Martin Dowie" <martin.dowie@nospam.baesystems.com> wrote in message
news:3bef920f@pull.gecm.com...
> "Ted Dennison" <dennison@telepath.com> wrote in message
> news:3BECA3B7.5020702@telepath.com...
> [snip]
>
> --------------------------------------------------------------------------
> -----
> > -- This file contains a proposal for a standard Ada list package.
> > --
> > -- version - Strawman 1.2
>
> --------------------------------------------------------------------------
> -----
> > generic
> >     type Element is private;
> > package Containers.Lists.Unbounded is
>
> Hmm, how about adding two lines to this to allow a list to be specified
> as having 'unique' items or not? e.g.
>
> generic
>     type Element is private;
>     Elements_Must_Be_Unique : Boolean;
>     function "=" (L, R : Element) return Boolean;
> package Containers.Lists.Unbounded is
>
> I have found this to be very useful in the past - but this may
> have just been the specifics of the problem domain I was working
> in.

This is definitely a feature for content-addressed arrays (contars) rather
than lists. Having dealt with lists, we should move on to contars.

--
Best wishes,
Nick Roberts