From 9e26cd0b7a948310dfd522b41fc28180b232fe1b Mon Sep 17 00:00:00 2001 From: Stephen Chang Date: Wed, 20 Feb 2013 18:34:58 -0500 Subject: [PATCH] one more integer-set test --- collects/tests/data/integer-set.rkt | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/collects/tests/data/integer-set.rkt b/collects/tests/data/integer-set.rkt index cc3d6c401e..1a92057591 100644 --- a/collects/tests/data/integer-set.rkt +++ b/collects/tests/data/integer-set.rkt @@ -1,7 +1,8 @@ #lang racket/base (require data/integer-set racket/stream - rackunit) + rackunit + racket/sequence) (test-equal? "integer-set" (integer-set-contents (make-integer-set '((-1 . 2) (4 . 10)))) @@ -62,4 +63,5 @@ ;; 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 +(check-true (well-formed-set? (integer-set-contents (stream-rest (make-range 1 10))))) +(check-true (well-formed-set? (integer-set-contents (sequence-tail (make-range 1 10) 1)))) \ No newline at end of file