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

At Robby's request, remove the check for proxy-of?.

Browse Source 
Due to the bad interaction between procedure-rename and getting the
contract info from the proxy/chaperone, this will cause a failure in
the contract test cases.  I'm submitting a bug report for that issue.
This commit is contained in:
Stevie Strickland 2010-09-18 13:55:09 -04:00
parent 716c722bab
commit 3325350026
2 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
collects/racket/contract/private/base.rkt
View File

@ -51,7 +51,6 @@ improve method arity mismatch contract violation error messages?
(if (and name
(not (parameter? new-val)) ;; when PR 11221 is fixed, remove this line
(procedure? new-val)
(not (proxy-of? new-val v)) ;; proxies/chaperones handle this fine
(not (eq? name (object-name new-val))))
(let ([name (if (symbol? name)
name

2
collects/tests/racket/contract-test.rktl
View File

@ -9929,6 +9929,8 @@ so that propagation occurs.
(test ctc value-contract (contract ctc (λ (x [y 3]) x) 'pos 'neg)))
(let ([ctc (->i ([x number?]) ([y number?]) [_ number?])])
(test ctc value-contract (contract ctc (λ (x [y 3]) x) 'pos 'neg)))
;; currently fails due to procedure-rename interacting badly with
;; chaperoned/proxied procedures
(let ([ctc (unconstrained-domain-> number?)])
(test ctc value-contract (contract ctc (λ (x) 3) 'pos 'neg)))
(let ([ctc (case-> (-> number? number? number?) (-> number? number?))])