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

In `make-property-contract', transfer arity from procedure to contract

Browse Source 
wrapper.

svn: r15933
This commit is contained in:
Mike Sperber 2009-09-09 14:43:26 +00:00
parent 7437bdec03
commit 38d9c6d8af
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/deinprogramm/contract/contract.ss
View File

@ -231,6 +231,7 @@
(contract-violation proc self "wrong number of parameters" #f)))
(attach-name
(object-name proc)
(procedure-reduce-arity
(lambda args
(call-with-immediate-continuation-mark
contract-key
@ -261,7 +262,8 @@
;; blame the procedure
(old-violation-proc obj contract message blame-syntax))
(lambda ()
(apply-contract return-contract retval))))))))))))))
(apply-contract return-contract retval)))))))))))
(procedure-arity proc)))))
syntax
(delay
(apply lift->arbitrary arbitrary-procedure return-contract arg-contracts)))))