From 2d0af177ea89217b9d6360f1f75496c1dcff1065 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Tue, 3 Sep 2002 17:19:51 +0000
Subject: [PATCH] ..

original commit: 938dae0cd7988d2daaebeca402ec7e8e2feb5fb1
---
 collects/tests/mzscheme/contracts.ss | 34 +++++++++++++++++++++++++++-
 1 file changed, 33 insertions(+), 1 deletion(-)

diff --git a/collects/tests/mzscheme/contracts.ss b/collects/tests/mzscheme/contracts.ss
index a381ba3..d439730 100644
--- a/collects/tests/mzscheme/contracts.ss
+++ b/collects/tests/mzscheme/contracts.ss
@@ -425,6 +425,38 @@
    'union7
    '((contract (union false? (-> integer? integer?)) (lambda (x) x) 'pos 'neg) 1))
 
-  )
+  (test/spec-passed
+   'define/contract1
+   '(let ()
+      (define/contract i integer? 1)
+      i))
+  
+  (test/spec-failed
+   'define/contract2
+   '(let ()
+      (define/contract i integer? #t)
+      i)
+   "i")
+  
+  (test/spec-failed
+   'define/contract3
+   '(let ()
+      (define/contract i (-> integer? integer?) (lambda (x) #t))
+      (i 1))
+   "i")
+  
+  (test/spec-failed
+   'define/contract4
+   '(let ()
+      (define/contract i (-> integer? integer?) (lambda (x) 1))
+      (i #f))
+   "<<unknown>>")
+  
+  (test/spec-failed
+   'define/contract5
+   '(let ()
+      (define/contract i (-> integer? integer?) (lambda (x) (i #t)))
+      (i 1))
+   "<<unknown>>"))
 
 (report-errs)
\ No newline at end of file