From 865e4dd1b8a839a3aafca14c539a5870381f6931 Mon Sep 17 00:00:00 2001
From: Carl Eastlund <cce@racket-lang.org>
Date: Sun, 28 Jul 2013 23:53:08 -0400
Subject: [PATCH] Updated tests for set/c.

Restored test for first-order check of elements when given a flat contract.
Added tests for #:kind 'mutable.
---
 .../racket-test/tests/racket/contract/set.rkt | 60 +++++++++++++++++--
 1 file changed, 56 insertions(+), 4 deletions(-)

diff --git a/pkgs/racket-pkgs/racket-test/tests/racket/contract/set.rkt b/pkgs/racket-pkgs/racket-test/tests/racket/contract/set.rkt
index c203fcfd1a..c64b97e3df 100644
--- a/pkgs/racket-pkgs/racket-test/tests/racket/contract/set.rkt
+++ b/pkgs/racket-pkgs/racket-test/tests/racket/contract/set.rkt
@@ -13,9 +13,9 @@
 
   (test/pos-blame
    'set/c2
-   '(set-first (contract (set/c integer?)
-                         (set #t)
-                         'pos 'neg)))
+   '(contract (set/c integer?)
+              (set #t)
+              'pos 'neg))
 
   (test/pos-blame
    'set/c3
@@ -57,4 +57,56 @@
                                 (set (λ (x) #f))
                                 'pos 'neg)
                       values)])
-      ((car s) 1))))
+      ((car s) 1)))
+
+  (test/pos-blame
+   'set/c9
+   '(contract (set/c integer?)
+              (list 0)
+              'pos 'neg))
+
+  (test/pos-blame
+   'set/c10
+   '(contract (set/c integer?)
+              (mutable-set 0)
+              'pos 'neg))
+
+  (test/spec-passed/result
+   'set/c11
+   '(contract (set/c integer? #:kind 'dont-care)
+              (list 0)
+              'pos 'neg)
+   (list 0))
+
+  (test/spec-passed/result
+   'set/c12
+   '(contract (set/c integer? #:kind 'dont-care)
+              (set 0)
+              'pos 'neg)
+   (contract-eval '(set 0)))
+
+  (test/spec-passed/result
+   'set/c13
+   '(contract (set/c integer? #:kind 'dont-care)
+              (mutable-set 0)
+              'pos 'neg)
+   (contract-eval '(mutable-set 0)))
+
+  (test/pos-blame
+   'set/c14
+   '(contract (set/c integer? #:kind 'mutable)
+              (list 0)
+              'pos 'neg))
+
+  (test/pos-blame
+   'set/c15
+   '(contract (set/c integer? #:kind 'mutable)
+              (set 0)
+              'pos 'neg))
+
+  (test/spec-passed/result
+   'set/c16
+   '(contract (set/c integer? #:kind 'mutable)
+              (mutable-set 0)
+              'pos 'neg)
+   (contract-eval '(mutable-set 0))))