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,b553d2c02a2df59f
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!nx01.iad01.newshosting.com!newshosting.com!207.69.154.102.MISMATCH!elnk-atl-nf2!newsfeed.earthlink.net!stamper.news.atl.earthlink.net!newsread2.news.atl.earthlink.net.POSTED!14bb18d8!not-for-mail
Sender: Matthew Heaney@MHEANEYIBMT43
Newsgroups: comp.lang.ada
Subject: Re: limited types
References: <Xns9774B59B784EFemailenonmoc@212.27.42.197>
 <BfCdnQZCaeilHWLenZ2dnUVZ_vmdnZ2d@megapath.net>
 <asr2qwci95ux.1qadozdgntmnv$.dlg@40tude.net> <ufym7tr6w.fsf@earthlink.net>
 <1cwl2r5h594du$.1q4kglbpb2bma.dlg@40tude.net> <upslaasnj.fsf@earthlink.net>
 <10ovc4gxk6wka.gttjb2v0fbcq$.dlg@40tude.net> <ulkvxbwqm.fsf@earthlink.net>
 <13yslifejxwuq.15rip8gh2aufj.dlg@40tude.net>
 <44031ace$0$13779$9b4e6d93@newsread4.arcor-online.net>
 <1i6nwodxgp1bn.voklt7nvcl1g$.dlg@40tude.net>
 <1141059143.617291.39980@i40g2000cwc.googlegroups.com>
 <1dd53t0syyc1z.1ety6xoat1ce5$.dlg@40tude.net>
 <1141081229.680793.223430@j33g2000cwa.googlegroups.com>
 <9nmzg0hsmfkw$.33czd3g8z0qs.dlg@40tude.net>
 <1141147475.263018.23440@u72g2000cwu.googlegroups.com>
 <w24tvc9hkds7.1y1te44mfoup5$.dlg@40tude.net>
 <1141156690.991228.267400@j33g2000cwa.googlegroups.com>
 <m2k6bf6tjb.fsf@grendel.local>
From: Matthew Heaney <matthewjheaney@earthlink.net>
Message-ID: <uirqz2adr.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: Wed, 01 Mar 2006 01:59:16 GMT
NNTP-Posting-Host: 24.149.57.125
X-Complaints-To: abuse@earthlink.net
X-Trace: newsread2.news.atl.earthlink.net 1141178356 24.149.57.125 (Tue,
 28 Feb 2006 17:59:16 PST)
NNTP-Posting-Date: Tue, 28 Feb 2006 17:59:16 PST
Organization: EarthLink Inc. -- http://www.EarthLink.net
Xref: g2news1.google.com comp.lang.ada:3215
Date: 2006-03-01T01:59:16+00:00
List-Id: <comp.lang.ada>

Simon Wright <simon@pushface.org> writes:

> I would have expected some operation like Succ on CT? 

Yeah, you're right; I forgot to write an ellipsis.  Each algorithm would have
to pass in the requisite element/cursor operations as generic formals.

For a similar idea, see Ada.Containers.Generic_Anonymous_Array_Sort in the GNAT
distribution.


> (and equality?  would predefined equality on cursors be OK?)

The standard container library guarantees that cursor equality composes, so
predefined equality would work fine.  It wouldn't hurt to pass in a default
equality operator, though.