From 8bec15be98267f649949fce7626e0f83a3c670b6 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Mon, 24 May 2004 01:38:08 +0000
Subject: [PATCH] .

original commit: 8b6b950c5fce0884e99e83f690592810a3121d28
---
 collects/tests/mzscheme/contract-test.ss | 60 +++++++++++++++++++++---
 1 file changed, 53 insertions(+), 7 deletions(-)

diff --git a/collects/tests/mzscheme/contract-test.ss b/collects/tests/mzscheme/contract-test.ss
index 46e02db..523c0dd 100644
--- a/collects/tests/mzscheme/contract-test.ss
+++ b/collects/tests/mzscheme/contract-test.ss
@@ -1184,16 +1184,62 @@
   
   (test/spec-passed/result
    'object-contract/field6
-   '(send (contract (object-contract [m (integer? . -> . integer?)])
-                    (new (class object% (define x 1) (define/public (m y) x) (super-new)))
-                    'pos
-                    'neg)
-          m
-          2)
-   1)
+   '(let ([o (contract (object-contract [m (integer? . -> . integer?)])
+                       (new (class object% (field [x 1]) (define/public (m y) x) (super-new)))
+                       'pos
+                       'neg)])
+      (list (send o m 2)
+            (send/apply o m '(2))
+            (let ([x '(2)]) (send o m . x))
+            (with-method ([mm (o m)])
+              (mm 2))
+            (send* o (m 3) (m 4))))
+   (list 1 1 1 1 1))
   
   (test/spec-passed/result
    'object-contract/field7
+   '(let ([o (contract (object-contract)
+                       (new (class object% (field [x 1]) (define/public (m y) x) (super-new)))
+                       'pos
+                       'neg)])
+      (list (send o m 2)
+            (send/apply o m '(2))
+            (let ([x '(2)]) (send o m . x))
+            (with-method ([mm (o m)])
+              (mm 2))
+            (send* o (m 3) (m 4))))
+   (list 1 1 1 1 1))
+  
+  (test/spec-passed/result
+   'object-contract/field8
+   '(let ([o (contract (object-contract [m (integer? . -> . integer?)])
+                       (new (class object% (define x 6) (define/public (m y) x) (super-new)))
+                       'pos
+                       'neg)])
+      (list (send o m 2)
+            (send/apply o m '(2))
+            (let ([x '(2)]) (send o m . x))
+            (with-method ([mm (o m)])
+              (mm 2))
+            (send* o (m 3) (m 4))))
+   (list 6 6 6 6 6))
+  
+  (test/spec-passed/result
+   'object-contract/field9
+   '(let ([o (contract (object-contract)
+                       (new (class object% (define x 6) (define/public (m y) x) (super-new)))
+                       'pos
+                       'neg)])
+      (list (send o m 2)
+            (send/apply o m '(2))
+            (let ([x '(2)]) (send o m . x))
+            (with-method ([mm (o m)])
+              (mm 2))
+            (send* o (m 3) (m 4))))
+   (list 6 6 6 6 6))
+  
+  (test/spec-passed/result
+   'object-contract/field10
    '(send (contract (object-contract)
                     (new (class object% (define x 1) (define/public (m y) x) (super-new)))
                     'pos