From 269595665c99363c1c52ed5d334229732fcbe183 Mon Sep 17 00:00:00 2001 From: Matthias Felleisen Date: Mon, 16 Jun 2008 13:56:35 +0000 Subject: [PATCH] added sort as duplicate of quicksort svn: r10283 --- collects/lang/private/intermediate-funs.ss | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/lang/private/intermediate-funs.ss b/collects/lang/private/intermediate-funs.ss index c5167a49ac..8d917e4d70 100644 --- a/collects/lang/private/intermediate-funs.ss +++ b/collects/lang/private/intermediate-funs.ss @@ -26,6 +26,8 @@ "(build-string n f) = (string (f 0) ... (f (- n 1)))") ((intermediate-quicksort quicksort) ((listof X) (X X -> boolean) -> (listof X)) "to construct a list from all items on a list in an order according to a predicate") + ((intermediate-quicksort sort) ((listof X) (X X -> boolean) -> (listof X)) + "to construct a list from all items on a list in an order according to a predicate") (andmap ((X -> boolean) (listof X) -> boolean) "(andmap p (list x-1 ... x-n)) = (and (p x-1) (and ... (p x-n)))") (ormap ((X -> boolean) (listof X) -> boolean)