From 4c108b09dee2c30f5b2ff63bc4a077f10139ed02 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Thu, 22 May 2014 09:20:33 -0500
Subject: [PATCH] add box/c tests (should have been included in 37a4a9ada6)

---
 .../racket-test/tests/racket/contract/box.rkt   | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/pkgs/racket-pkgs/racket-test/tests/racket/contract/box.rkt b/pkgs/racket-pkgs/racket-test/tests/racket/contract/box.rkt
index 2c4ca98c6e..083c8f2438 100644
--- a/pkgs/racket-pkgs/racket-test/tests/racket/contract/box.rkt
+++ b/pkgs/racket-pkgs/racket-test/tests/racket/contract/box.rkt
@@ -19,6 +19,23 @@
    'box/c3
    '(contract (box/c integer?) (box-immutable #f) 'pos 'neg))
   
+  (test/pos-blame
+   'box/c4
+   '(contract (box/c integer? #:immutable #t) (box-immutable #f) 'pos 'neg))
+  
+  (test/spec-passed
+   'box/c5
+   '(contract (box/c boolean? #:immutable #t) (box-immutable #f) 'pos 'neg))
+  
+  (test/neg-blame
+   'box/c6
+   '(set-box! (contract (box/c boolean?) (box #f) 'pos 'neg) 11))
+  
+  (test/neg-blame
+   'box/c7
+   '(set-box! (contract (box/c boolean?) (box 12) 'pos 'neg) 11))
+  
+  
   (test/neg-blame
    'box/c-with-cons/c-inside
    '(let ([f