mostly finished the contract library changes

svn: r8195

original commit: 3cf6ed46738360cb84a414423d176e14bf79e803
This commit is contained in:
Robby Findler 2008-01-03 18:10:43 +00:00
parent 855f00a028
commit 87b19de0a8

View File

@ -338,7 +338,8 @@
(let ([cls (make-wrapper-class 'wrapper-class
'(method-name ...)
(list methods ...)
'(field-name ...))])
'(field-name ...)
#t)])
(make-proj-contract
`(object-contract
,(build-compound-type-name 'method-name method-ctc-var) ...