add test for integer-set:

- check that taking the rest of an integer-set results in a proper integer-set
2013-02-20 18:32:01 -05:00 · 2013-02-20 18:32:01 -05:00 · aeff5922b7
commit aeff5922b7
parent bd1141c670
1 changed files with 3 additions and 0 deletions
--- 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)))))