original commit: e735e065a607fcbf8218db77ccd96efa8b56ea6c
This commit is contained in:
Matthew Flatt 2005-01-21 17:32:41 +00:00
parent b75b06cee5
commit d9abc93bbf

View File

@ -427,7 +427,7 @@
;; subset? : integer-set integer-set -> bool
(define (subset? s1 s2)
(subset?-helper (integer-set-contents s1) (integer-set-contents s1)))
(subset?-helper (integer-set-contents s1) (integer-set-contents s2)))
(define int (flat-named-contract "exact-integer" int?))
(provide/contract (struct integer-set ((contents (flat-named-contract "integer-set-list" well-formed-set?))))