suzanne.soy/compatibility
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

original commit: 6326731a15805a27e8f14170b9af8f7b50668e54
This commit is contained in:
Stevie Strickland 2010-02-23 04:34:05 +00:00
parent 28bbf99b88
commit 84b34f6318
1 changed files with 20 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
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
'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)