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

the name argument to contract can be anything (not just a symbol) so

Browse Source 
adjust the code to deal with that properly
This commit is contained in:
Robby Findler 2010-09-17 13:13:19 -05:00
parent a095ebc326
commit 59213faf15
1 changed files with 15 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -52,18 +52,21 @@ improve method arity mismatch contract violation error messages?
(not (parameter? new-val)) ;; when PR 11221 is fixed, remove this line
(procedure? new-val)
(not (eq? name (object-name new-val))))
(cond
[(contracted-function? new-val)
;; when PR11222 is fixed, change these things:
;; - eliminate this cond case
;; - remove the require of arrow.rkt above
;; - change (struct-out contracted-function)
;; in arrow.rkt to make-contracted-function
(make-contracted-function
(procedure-rename (contracted-function-proc new-val) name)
(contracted-function-ctc new-val))]
[else
(procedure-rename new-val name)])
(let ([name (if (symbol? name)
name
(string->symbol (format "~a" name)))])
(cond
[(contracted-function? new-val)
;; when PR11222 is fixed, change these things:
;; - eliminate this cond case
;; - remove the require of arrow.rkt above
;; - change (struct-out contracted-function)
;; in arrow.rkt to make-contracted-function
(make-contracted-function
(procedure-rename (contracted-function-proc new-val) name)
(contracted-function-ctc new-val))]
[else
(procedure-rename new-val name)]))
new-val))))
(define-syntax (recursive-contract stx)