From 38d9c6d8aff0de8475c986b7bb611635c37b4900 Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Wed, 9 Sep 2009 14:43:26 +0000 Subject: [PATCH] In `make-property-contract', transfer arity from procedure to contract wrapper. svn: r15933 --- collects/deinprogramm/contract/contract.ss | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/deinprogramm/contract/contract.ss b/collects/deinprogramm/contract/contract.ss index 26f677b7b5..fc217285ee 100644 --- a/collects/deinprogramm/contract/contract.ss +++ b/collects/deinprogramm/contract/contract.ss @@ -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)))))