From bad1133100b93d563cde80349c935b328e3a3c98 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Mon, 30 Apr 2007 19:39:15 +0000
Subject: [PATCH] fixed bugs in test suite

svn: r6104

original commit: 047346c1c8f9897ff6bc064e8d70963ffa36d740
---
 collects/tests/mzscheme/contract-test.ss | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

diff --git a/collects/tests/mzscheme/contract-test.ss b/collects/tests/mzscheme/contract-test.ss
index 709f6a9..83438c2 100644
--- a/collects/tests/mzscheme/contract-test.ss
+++ b/collects/tests/mzscheme/contract-test.ss
@@ -3106,7 +3106,7 @@
   
   (test/pos-blame
    'unsafe4
-   '(let ([ct (contract (list-unsafe (number? . -> . boolean?)) 
+   '(let ([ct (contract (list-unsafe/c (number? . -> . boolean?)) 
                         (list (lambda (x) 1)) 
                         'pos
                         'neg)])
@@ -3239,12 +3239,22 @@
   (test/spec-passed/result
    'unsafe21
    '(let* ([orig-list (list 1 2 3)]
-           [ctc (contract (list-unsafe/c number?)
+           [ctc (contract (listof-unsafe number?)
                           orig-list
                           'pos
                           'neg)])
       (eq? orig-list ctc))
    #f)
+  
+  (test/spec-passed/result
+   'listof-no-copy
+   '(let* ([orig-list (list 1 2 3)]
+           [ctc (contract (listof number?)
+                          orig-list
+                          'pos
+                          'neg)])
+      (eq? orig-list ctc))
+   #t)
 
   
   (test/pos-blame