suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix the tests that break due to semantic changes in object-contract.

Browse Source 
svn: r18290
This commit is contained in:
Stevie Strickland 2010-02-23 04:34:05 +00:00
parent 70b5fe6294
commit 6326731a15
1 changed files with 20 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
collects/tests/mzscheme/contract-mzlib-test.ss
View File

@ -1652,10 +1652,12 @@ of the contract library does not change over time.
(test/pos-blame (test/pos-blame
'object-contract/field2 'object-contract/field2
'(contract (object-contract (field x integer?)) '(get-field
x
(contract (object-contract (field x integer?))
(new (class object% (field [x #t]) (super-new))) (new (class object% (field [x #t]) (super-new)))
'pos 'pos
'neg)) 'neg)))
(test/spec-passed/result (test/spec-passed/result
'object-contract/field3 'object-contract/field3
@ -1669,17 +1671,21 @@ of the contract library does not change over time.
(test/pos-blame (test/pos-blame
'object-contract/field4 'object-contract/field4
'(contract (object-contract (field x boolean?) (field y boolean?)) '(get-field
y
(contract (object-contract (field x boolean?) (field y boolean?))
(new (class object% (field [x #t] [y 'x]) (super-new))) (new (class object% (field [x #t] [y 'x]) (super-new)))
'pos 'pos
'neg)) 'neg)))
(test/pos-blame (test/pos-blame
'object-contract/field5 'object-contract/field5
'(contract (object-contract (field x symbol?) (field y symbol?)) '(get-field
x
(contract (object-contract (field x symbol?) (field y symbol?))
(new (class object% (field [x #t] [y 'x]) (super-new))) (new (class object% (field [x #t] [y 'x]) (super-new)))
'pos 'pos
'neg)) 'neg)))
(test/spec-passed/result (test/spec-passed/result
'object-contract/field6 'object-contract/field6
@ -4521,10 +4527,10 @@ so that propagation occurs.
(ctest #f contract-first-order-passes? (flat-rec-contract the-name) 1) (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?))) (object-contract (m (-> integer? integer?)))
(new object%)) (new object%))
(ctest #t contract-first-order-passes? (ctest #f contract-first-order-passes?
(object-contract (m (-> integer? integer?))) (object-contract (m (-> integer? integer?)))
1) 1)