From 2eb3264b4470e693739ec1db0fccfa455e3836e9 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Sat, 12 May 2012 07:57:53 -0500
Subject: [PATCH] added a test to make sure struct/dc signals an error when
 getting an impersonator contract on an immutable field that has no
 dependencies

---
 collects/tests/racket/contract-test.rktl | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/collects/tests/racket/contract-test.rktl b/collects/tests/racket/contract-test.rktl
index 77727e5ca8..9057e269f5 100644
--- a/collects/tests/racket/contract-test.rktl
+++ b/collects/tests/racket/contract-test.rktl
@@ -9789,6 +9789,15 @@
                 'pos 
                 'neg)))
   
+  (contract-error-test
+   'struct/dc-imp-nondep-runtime-error
+   #'(let ()
+       (struct s (ernie bert))
+       (struct/dc s [ernie integer?] [bert (new-∀/c 'α)]))
+   (λ (x) 
+     (and (exn:fail? x) 
+          (regexp-match #rx"expected chaperone" (exn-message x)))))
+  
   (contract-error-test
    'struct/dc-not-a-field
    #'(eval '(let ()