From acce62b1817464d9a426804f531fec08559f4c26 Mon Sep 17 00:00:00 2001
From: Stevie Strickland <sstrickl@racket-lang.org>
Date: Tue, 1 Sep 2009 22:00:15 +0000
Subject: [PATCH] Add in one test that uses unit/c (via define-unit/contract)
 instead of just the signature based contracts.

svn: r15855
---
 collects/tests/mzscheme/contract-test.ss | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)

diff --git a/collects/tests/mzscheme/contract-test.ss b/collects/tests/mzscheme/contract-test.ss
index 34cec4aee4..4b75569c54 100644
--- a/collects/tests/mzscheme/contract-test.ss
+++ b/collects/tests/mzscheme/contract-test.ss
@@ -2483,6 +2483,29 @@
       (eval '(require 'foo-dc16)))
    "(unit U@)")
   
+  (test/spec-failed
+   'define/contract16a
+   '(begin
+      (eval '(module foo-dc16a scheme/base
+               (require scheme/contract)
+               (require scheme/unit)
+               (let ()
+                 (define/contract (foo n)
+                   (-> number? number?)
+                   (define-signature U^
+                     (x))
+                   (define-unit/contract U@
+                     (import)
+                     (export (U^ [x (-> number? number?)]))
+                     (define (x n) #t))
+                   (define-values/invoke-unit U@
+                     (import)
+                     (export U^))
+                   (x n))
+                 (foo 3))))
+      (eval '(require 'foo-dc16a)))
+   "(unit U@)")
+  
   (test/spec-failed
    'define/contract17
    '(begin