From 4ba02b716c64e0e93fb777588ae20f86925fc8ab Mon Sep 17 00:00:00 2001
From: Stevie Strickland <sstrickl@racket-lang.org>
Date: Thu, 11 Sep 2008 23:53:23 +0000
Subject: [PATCH] Use the new function syntax for define/contract in a couple
 of tests.

svn: r11664

original commit: b783ac9b70b80e056bcb0c44120734ae02038f70
---
 collects/tests/mzscheme/contract-mzlib-test.ss | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/collects/tests/mzscheme/contract-mzlib-test.ss b/collects/tests/mzscheme/contract-mzlib-test.ss
index 3088456..44b73ae 100644
--- a/collects/tests/mzscheme/contract-mzlib-test.ss
+++ b/collects/tests/mzscheme/contract-mzlib-test.ss
@@ -1595,13 +1595,19 @@ of the contract library does not change over time.
       (i #f))
    "top-level")
   
+  (test/spec-failed
+   'define/contract5
+   '(let ()
+      (define/contract (i x) (-> integer? integer?) 1)
+      (i #f))
+   "top-level")
+  
   (test/spec-passed
    'define/contract6
    '(let ()
-      (define/contract contracted-func
+      (define/contract (contracted-func label t)
                        (string?  string? . -> . string?)
-                       (lambda (label t)
-                         t))
+                       t)
       (contracted-func
        "I'm a string constant with side effects"
        "ans")))