From 871ea6dc76b4b7e36c13f8dfa1d48c718a966c3d Mon Sep 17 00:00:00 2001 From: Carl Eastlund Date: Sat, 27 Aug 2011 12:57:26 -0400 Subject: [PATCH] Added tests for sequence/c with multiple-valued sequences. --- collects/tests/unstable/contract.rkt | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) diff --git a/collects/tests/unstable/contract.rkt b/collects/tests/unstable/contract.rkt index ed86edc83b..c50df5afa1 100644 --- a/collects/tests/unstable/contract.rkt +++ b/collects/tests/unstable/contract.rkt @@ -85,7 +85,19 @@ (void))) (test-bad (for ([x (with/c (sequence/c integer? symbol?) (list 1 2 3 4))]) - (void)))) + (void))) + (test-ok + (for ([(x y) (with/c (sequence/c integer? symbol?) + (in-dict (list (cons 1 'one) (cons 2 'two))))]) + (void))) + (test-bad + (for ([(x y) (with/c (sequence/c integer? symbol?) + (in-dict (list (cons 1 'one) (cons 2 "two"))))]) + (void))) + (test-bad + (for ([(x y) (with/c (sequence/c integer?) + (in-dict (list (cons 1 'one) (cons 2 'two))))]) + (void)))) (test-suite "dict/c" (test-ok (for ([(x y)