From 2bb92b17096e54e8d2d8a405a9c67d77d48f9d0f Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Thu, 5 Sep 2013 07:40:49 -0600 Subject: [PATCH] Cache curation computations --- .../meta/pkg-index/official/main.rkt | 32 ++++++++++++++++--- pkgs/plt-services/meta/pkg-index/sync.sh | 5 +-- 2 files changed, 29 insertions(+), 8 deletions(-) diff --git a/pkgs/plt-services/meta/pkg-index/official/main.rkt b/pkgs/plt-services/meta/pkg-index/official/main.rkt index ab03a797e6..9dc832dc3f 100644 --- a/pkgs/plt-services/meta/pkg-index/official/main.rkt +++ b/pkgs/plt-services/meta/pkg-index/official/main.rkt @@ -964,6 +964,16 @@ (for/or ([r (in-list right)]) (hash-ref seen? r #f))) +(define (string-min x y) + (if (string<=? x y) + x + y)) + +(define (string-max x y) + (if (string