From d2f16e382829c4a2c0116f6f7f400fe600d3a3f5 Mon Sep 17 00:00:00 2001 From: Carl Eastlund Date: Fri, 6 Nov 2009 19:57:52 +0000 Subject: [PATCH] Updated poly/c implementation for change to arity of projections. svn: r16582 --- collects/typed-scheme/utils/poly-c.ss | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/collects/typed-scheme/utils/poly-c.ss b/collects/typed-scheme/utils/poly-c.ss index 695a85dc50..4c6be196b6 100644 --- a/collects/typed-scheme/utils/poly-c.ss +++ b/collects/typed-scheme/utils/poly-c.ss @@ -40,10 +40,13 @@ #:name [name (build-compound-type-name 'apply/c c)]) (make-proj-contract name - (lambda (pos neg src name2) + (lambda (pos neg src name2 positive-position?) (lambda (p) (let* ([ctc (coerce-contract 'apply/c c)] - [thunk (lambda () ((((proj-get ctc) ctc) pos neg src name2) p))]) + [thunk + (lambda () + ((((proj-get ctc) ctc) + pos neg src name2 positive-position?) p))]) (make-keyword-procedure (lambda (keys vals . args) (keyword-apply (thunk) keys vals args)) (case-lambda