Typos and type errors in new property stuff.
svn: r17700 original commit: bb7bd9de51f01b2620a8162da5de0bfffd645247
This commit is contained in:
parent
7a79b808a8
commit
f56868d873
|
@ -365,7 +365,7 @@
|
||||||
[(val blame name-id) outer-args])
|
[(val blame name-id) outer-args])
|
||||||
(syntax
|
(syntax
|
||||||
(let ([dom-contract-x (coerce-contract '-> dom)] ...)
|
(let ([dom-contract-x (coerce-contract '-> dom)] ...)
|
||||||
(let ([dom-x (contract-proc dom-contract-x)] ...)
|
(let ([dom-x (contract-projection dom-contract-x)] ...)
|
||||||
(let ([name-id (build-compound-type-name '-> name-dom-contract-x ... 'any)])
|
(let ([name-id (build-compound-type-name '-> name-dom-contract-x ... 'any)])
|
||||||
body))))))
|
body))))))
|
||||||
|
|
||||||
|
|
|
@ -331,9 +331,9 @@
|
||||||
...
|
...
|
||||||
[field-ctc-var (coerce-contract 'object-contract field-ctc-stx)]
|
[field-ctc-var (coerce-contract 'object-contract field-ctc-stx)]
|
||||||
...)
|
...)
|
||||||
(let ([method-var (contract-proc method-ctc-var)]
|
(let ([method-var (contract-projection method-ctc-var)]
|
||||||
...
|
...
|
||||||
[field-var (contract-proc field-ctc-var)]
|
[field-var (contract-projection field-ctc-var)]
|
||||||
...)
|
...)
|
||||||
(let ([cls (make-wrapper-class 'wrapper-class
|
(let ([cls (make-wrapper-class 'wrapper-class
|
||||||
'(method-name ...)
|
'(method-name ...)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user