diff --git a/collects/tests/mzscheme/contract-mzlib-test.ss b/collects/tests/mzscheme/contract-mzlib-test.ss index f42cfe3396..ce040be792 100644 --- a/collects/tests/mzscheme/contract-mzlib-test.ss +++ b/collects/tests/mzscheme/contract-mzlib-test.ss @@ -1652,10 +1652,12 @@ of the contract library does not change over time. (test/pos-blame 'object-contract/field2 - '(contract (object-contract (field x integer?)) - (new (class object% (field [x #t]) (super-new))) - 'pos - 'neg)) + '(get-field + x + (contract (object-contract (field x integer?)) + (new (class object% (field [x #t]) (super-new))) + 'pos + 'neg))) (test/spec-passed/result 'object-contract/field3 @@ -1669,17 +1671,21 @@ of the contract library does not change over time. (test/pos-blame 'object-contract/field4 - '(contract (object-contract (field x boolean?) (field y boolean?)) - (new (class object% (field [x #t] [y 'x]) (super-new))) - 'pos - 'neg)) + '(get-field + y + (contract (object-contract (field x boolean?) (field y boolean?)) + (new (class object% (field [x #t] [y 'x]) (super-new))) + 'pos + 'neg))) (test/pos-blame 'object-contract/field5 - '(contract (object-contract (field x symbol?) (field y symbol?)) - (new (class object% (field [x #t] [y 'x]) (super-new))) - 'pos - 'neg)) + '(get-field + x + (contract (object-contract (field x symbol?) (field y symbol?)) + (new (class object% (field [x #t] [y 'x]) (super-new))) + 'pos + 'neg))) (test/spec-passed/result 'object-contract/field6 @@ -4521,10 +4527,10 @@ so that propagation occurs. (ctest #f contract-first-order-passes? (flat-rec-contract the-name) 1) - (ctest #t contract-first-order-passes? + (ctest #f contract-first-order-passes? (object-contract (m (-> integer? integer?))) (new object%)) - (ctest #t contract-first-order-passes? + (ctest #f contract-first-order-passes? (object-contract (m (-> integer? integer?))) 1)