From 53da5df3ac9a5004457ce9f72f2753452a17afb5 Mon Sep 17 00:00:00 2001 From: Scott Owens Date: Sun, 18 Apr 2004 21:10:11 +0000 Subject: [PATCH] *** empty log message *** original commit: 5c256671397865fcdae77cb7e6eeb8699a6398e6 --- collects/mzlib/integer-set.ss | 26 +++++++++++++------------- 1 file changed, 13 insertions(+), 13 deletions(-) diff --git a/collects/mzlib/integer-set.ss b/collects/mzlib/integer-set.ss index 0129d98..ab5f9e7 100644 --- a/collects/mzlib/integer-set.ss +++ b/collects/mzlib/integer-set.ss @@ -414,21 +414,21 @@ (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))) - - (provide (struct integer-set (contents)) + (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 (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