From aeff5922b7f8bf3cd800ec3996edb29667ea76c8 Mon Sep 17 00:00:00 2001 From: Stephen Chang Date: Wed, 20 Feb 2013 18:32:01 -0500 Subject: [PATCH] add test for integer-set: - check that taking the rest of an integer-set results in a proper integer-set --- collects/tests/data/integer-set.rkt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/collects/tests/data/integer-set.rkt b/collects/tests/data/integer-set.rkt index 9cde9f8577..cc3d6c401e 100644 --- a/collects/tests/data/integer-set.rkt +++ b/collects/tests/data/integer-set.rkt @@ -60,3 +60,6 @@ (check-false (stream-empty? s1)) (check-equal? (stream->list (stream-map add1 s2)) '(2 4)) +;; 2013-02-20: checks commit bd1141c670bfc7981761fbfb53f548c2abb1f12d +;; (previous version results in contract error) +(check-true (well-formed-set? (integer-set-contents (stream-rest (make-range 1 10))))) \ No newline at end of file