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

Updated poly/c implementation for change to arity of projections.

Browse Source 
svn: r16582
This commit is contained in:
Carl Eastlund 2009-11-06 19:57:52 +00:00
parent 8f62218de5
commit d2f16e3828
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
collects/typed-scheme/utils/poly-c.ss
View File

@ -40,10 +40,13 @@
#:name [name (build-compound-type-name 'apply/c c)]) #:name [name (build-compound-type-name 'apply/c c)])
(make-proj-contract (make-proj-contract
name name
(lambda (pos neg src name2) (lambda (pos neg src name2 positive-position?)
(lambda (p) (lambda (p)
(let* ([ctc (coerce-contract 'apply/c c)] (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 (make-keyword-procedure
(lambda (keys vals . args) (keyword-apply (thunk) keys vals args)) (lambda (keys vals . args) (keyword-apply (thunk) keys vals args))
(case-lambda (case-lambda