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 01:22:17 PST From: "Martin Dowie" Newsgroups: comp.lang.ada References: <3BECA3B7.5020702@telepath.com> Subject: Re: List container strawman 1.2 Date: Mon, 12 Nov 2001 09:25:15 -0000 X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.50.4522.1200 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4522.1200 NNTP-Posting-Host: ed125012.sd.edinbr.gmav.gecm.com Message-ID: <3bef920f@pull.gecm.com> X-Trace: 12 Nov 2001 09:10:39 GMT, ed125012.sd.edinbr.gmav.gecm.com Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!newsfeeds.belnet.be!news.belnet.be!newsfeed.icl.net!dispose.news.demon.net!demon!btnet-peer0!btnet-feed5!btnet!newreader.ukcore.bt.net!pull.gecm.com!ed125012.sd.edinbr.gmav.gecm.com Xref: archiver1.google.com comp.lang.ada:16317 Date: 2001-11-12T09:25:15+00:00 List-Id: "Ted Dennison" 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.