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=0.6 required=5.0 tests=BAYES_00,TO_NO_BRKTS_FROM_MSSP
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,e382b50ddc696050
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-12-07 09:31:07 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!nntp-relay.ihug.net!ihug.co.nz!out.nntp.be!propagator-SanJose!in.nntp.be!newsranger.com!www.newsranger.com!not-for-mail
Newsgroups: comp.lang.ada
From: Ted Dennison<dennison@telepath.com>
References: <3C0DB9D0.7184868A@acm.org>
 <smuP7.50028$xS6.82871@www.newsranger.com> <3C0EB851.77E7172A@boeing.com>
 <xMMP7.51415$xS6.84581@www.newsranger.com> <un10ww4g1.fsf@gsfc.nasa.gov>
Subject: Re: List Strawman JC01
Message-ID: <e17Q7.53008$xS6.87427@www.newsranger.com>
X-Abuse-Info: When contacting newsranger.com regarding abuse please
X-Abuse-Info: forward the entire news article including headers or
X-Abuse-Info: else we will not be able to process your request
X-Complaints-To: abuse@newsranger.com
NNTP-Posting-Date: Fri, 07 Dec 2001 12:30:50 EST
Organization: http://www.newsranger.com
Date: Fri, 07 Dec 2001 17:30:50 GMT
Xref: archiver1.google.com comp.lang.ada:17596
Date: 2001-12-07T17:30:50+00:00
List-Id: <comp.lang.ada>

In article <un10ww4g1.fsf@gsfc.nasa.gov>, Stephen Leake says...
>
>But this actually points to an inconsistency in Ted's current
>strawman. It says:
>   with function Reverse_Order (Left, Right : in Element) return Boolean;
>So it is currently using "Left" and "Right", rather than "Front" and
>"Back".
>
>Well, actually the Sort procedure doesn't say anything about
>direction. It needs to say "Direction is implicitly Front to Back", or
>it needs to take a Direction parameter.

Right on both counts. I noticed the second issue a couple of days ago, but
missed the first.

For the Sort procedure, I was thinking along the lines of actually providing a
direction as a generic parameter. My initial thought was to make it a parameter
to the procedure. But then we'd probably have to make it a parameter to the
other two routines too. If we did that, there's always the possiblity someone
will muck themselves up by sorting in one order and inserting or merging in
another.

There is the stance that this is unneeded, since picking a direction and making
the user reverse the logic on their predicate is all that is required to allow
for sorting in either direction. But this does make things more explicit, and I
think I've already gone over why I don't think there's a Right direction to
pick. :-)

---
T.E.D.    homepage   - http://www.telepath.com/dennison/Ted/TED.html

No trees were killed in the sending of this message. 
However a large number of electrons were terribly inconvenienced.