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,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.107.6.163 with SMTP id f35mr37650652ioi.25.1455098662608; Wed, 10 Feb 2016 02:04:22 -0800 (PST) X-Received: by 10.182.49.197 with SMTP id w5mr589687obn.16.1455098662497; Wed, 10 Feb 2016 02:04:22 -0800 (PST) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!news.glorb.com!border1.nntp.dca1.giganews.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!ok5no381829igc.0!news-out.google.com!l1ni8663igd.0!nntp.google.com!hb3no2940425igb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Wed, 10 Feb 2016 02:04:22 -0800 (PST) In-Reply-To: <7a707f07-5a82-430b-becb-5daa4f47844d@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=57.79.21.1; posting-account=gRqrnQkAAAAC_02ynnhqGk1VRQlve6ZG NNTP-Posting-Host: 57.79.21.1 References: <2e3f8f3d-9247-4294-9ee7-961547674bc3@googlegroups.com> <7a707f07-5a82-430b-becb-5daa4f47844d@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <7045db9f-ac9a-48b2-b346-38366df1dd20@googlegroups.com> Subject: Re: Quick Sort in Rosetta Code From: gautier_niouzes@hotmail.com Injection-Date: Wed, 10 Feb 2016 10:04:22 +0000 Content-Type: text/plain; charset=ISO-8859-1 Xref: news.eternal-september.org comp.lang.ada:29475 Date: 2016-02-10T02:04:22-08:00 List-Id: On Wednesday, February 10, 2016 at 8:14:52 AM UTC+1, Leo Brewin wrote: > if Right > Item'First then > Sort(Item(Item'First..Index_Type'Pred(Left))); > end if; Mmmh... make no sense either: why a test with Right to prevent an out-of-range on Index_Type'Pred(Left) ?...