..

original commit: 363af87eeea46717a5154e3000420fc3ed758af1
2002-11-20 13:51:14 +00:00 · 2002-11-20 13:51:14 +00:00 · 93acb4bc1f
commit 93acb4bc1f
parent 699b451a46
1 changed files with 11 additions and 0 deletions
--- 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 ()