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

.

Browse Source 
original commit: 8b6b950c5fce0884e99e83f690592810a3121d28
This commit is contained in:
Robby Findler 2004-05-24 01:38:08 +00:00
parent f5cacf16f6
commit 8bec15be98
1 changed files with 53 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

60
collects/tests/mzscheme/contract-test.ss
View File

@ -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