From 93acb4bc1fa1e01e597c8148734cab7669a4878e Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Wed, 20 Nov 2002 13:51:14 +0000
Subject: [PATCH] ..

original commit: 363af87eeea46717a5154e3000420fc3ed758af1
---
 collects/tests/mzscheme/contracts.ss | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/collects/tests/mzscheme/contracts.ss b/collects/tests/mzscheme/contracts.ss
index fd93d78..1beafb5 100644
--- a/collects/tests/mzscheme/contracts.ss
+++ b/collects/tests/mzscheme/contracts.ss
@@ -459,6 +459,17 @@
       (i 1))
    "<<unknown>>")
   
+  (test/spec-passed
+   'define/contract6
+   '(let ()
+      (define/contract contracted-func
+                       (string?  string? . -> . string?)
+                       (lambda (label t)
+                         t))
+      (contracted-func
+       "I'm a string constant with side effects"
+       "ans")))
+  
   (test/spec-passed
    'provide/contract1
    '(let ()