From e243118608a4b095aac13976f4784a2e65bacf4b Mon Sep 17 00:00:00 2001
From: Stevie Strickland <sstrickl@racket-lang.org>
Date: Fri, 12 Sep 2008 03:49:20 +0000
Subject: [PATCH] Fix numbering, add back a test similar to the infinite loop
 case that was here before to illustrate how define/contract now correctly
 does not contract internal references.

svn: r11670

original commit: d03ce01a5a9dfb9a736d65865fd04a198785526e
---
 .../tests/mzscheme/contract-mzlib-test.ss     | 19 ++++++++++++++-----
 1 file changed, 14 insertions(+), 5 deletions(-)

diff --git a/collects/tests/mzscheme/contract-mzlib-test.ss b/collects/tests/mzscheme/contract-mzlib-test.ss
index c675095..f005a34 100644
--- a/collects/tests/mzscheme/contract-mzlib-test.ss
+++ b/collects/tests/mzscheme/contract-mzlib-test.ss
@@ -1602,6 +1602,15 @@ of the contract library does not change over time.
   
   (test/spec-passed
    'define/contract6
+   '(let ()
+      (define/contract (i x) (-> integer? integer?)
+        (cond
+          [(not (integer? x)) 1]
+          [else (i #f)]))
+      (i 1)))
+  
+  (test/spec-passed
+   'define/contract7
    '(let ()
       (define/contract (contracted-func label t)
                        (string?  string? . -> . string?)
@@ -1611,7 +1620,7 @@ of the contract library does not change over time.
        "ans")))
 
   (test/spec-passed
-   'define/contract7
+   'define/contract8
    '(let ()
       (eval '(module contract-test-suite-define1 mzscheme
                (require mzlib/contract)
@@ -1620,7 +1629,7 @@ of the contract library does not change over time.
       (eval '(require 'contract-test-suite-define1))))
   
   (test/spec-failed
-   'define/contract8
+   'define/contract9
    '(let ()
       (define/contract (a n)
         (-> number? number?)
@@ -1632,7 +1641,7 @@ of the contract library does not change over time.
    "a")
   
   (test/spec-failed
-   'define/contract8
+   'define/contract10
    '(let ()
       (define/contract (a n)
         (-> number? number?)
@@ -1644,7 +1653,7 @@ of the contract library does not change over time.
    "b")
   
   (test/spec-passed
-   'define/contract9
+   'define/contract11
    '(let ()
       (define/contract (f n)
         (-> number? number?)
@@ -1655,7 +1664,7 @@ of the contract library does not change over time.
       (g #t 3)))
   
   (test/spec-failed
-   'define/contract9
+   'define/contract12
    '(let ()
       (define/contract (f n)
         (-> number? number?)