From aeab05d78e484712bd1ef76b1bbd656c1a3b799f Mon Sep 17 00:00:00 2001 From: Scott Owens Date: Sat, 17 Apr 2004 22:53:46 +0000 Subject: [PATCH] *** empty log message *** original commit: c98860b8ff15485b0a2d415a0b7a03c1a32e1099 --- collects/mzlib/integer-set.ss | 34 +++++++++++++++++++++++----------- 1 file changed, 23 insertions(+), 11 deletions(-) diff --git a/collects/mzlib/integer-set.ss b/collects/mzlib/integer-set.ss index 2e77153..0129d98 100644 --- a/collects/mzlib/integer-set.ss +++ b/collects/mzlib/integer-set.ss @@ -414,17 +414,29 @@ (subset?-helper (integer-set-contents s1) (integer-set-contents s1))) (define int (flat-named-contract "exact-integer" int?)) - (provide/contract (struct integer-set ((contents (flat-named-contract "integer-set-list" well-formed-set?)))) - (make-range (case-> (-> integer-set?) + (provide/contract ;(struct integer-set ((contents (flat-named-contract "integer-set-list" well-formed-set?)))) + #;(make-range (case-> (-> integer-set?) (int . -> . integer-set?) (((i int) (j (and/c int (>=/c i)))) . ->r . integer-set?))) - (rename merge union (integer-set? integer-set? . -> . integer-set?)) - (split (integer-set? integer-set? . -> . (values integer-set? integer-set? integer-set?))) - (complement (((s integer-set?) (min int) (max (and/c int (>=/c min)))) . ->r . integer-set?)) - (member? (int integer-set? . -> . any)) - (get-integer (integer-set? . -> . (union false? int))) - (rename is-foldr foldr ((int any? . -> . any?) any? integer-set? . -> . any)) - (partition ((listof integer-set?) . -> . (listof integer-set?))) - (card (integer-set? . -> . natural-number?)) - (subset? (integer-set? integer-set? . -> . any))) + ;(rename merge union (integer-set? integer-set? . -> . integer-set?)) + ;(split (integer-set? integer-set? . -> . (values integer-set? integer-set? integer-set?))) + ;(complement (((s integer-set?) (min int) (max (and/c int (>=/c min)))) . ->r . integer-set?)) + ;(member? (int integer-set? . -> . any)) + ;(get-integer (integer-set? . -> . (union false? int))) + ;(rename is-foldr foldr ((int any? . -> . any?) any? integer-set? . -> . any)) + ;(partition ((listof integer-set?) . -> . (listof integer-set?))) + ;(card (integer-set? . -> . natural-number?)) + #;(subset? (integer-set? integer-set? . -> . any))) + + (provide (struct integer-set (contents)) + make-range + (rename merge union) + split + complement + member? + get-integer + (rename is-foldr foldr) + partition + card + subset?) )