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

added property for internal contract dependencies to ->i

Browse Source
This commit is contained in:
Robby Findler 2010-07-12 18:01:42 -05:00
parent 74a0e49a4b
commit b664b04999
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
collects/racket/contract/private/arr-i.rkt
View File

@ -212,6 +212,7 @@
(syntax-parameterize
((making-a-method #f))
#,(syntax-property
(syntax-property
#`(build-->d mtd?
(list (λ (dom-params ...)
(parameterize-this this-parameter ... mandatory-dom)) ...)
@ -251,7 +252,9 @@
'racket/contract:contract
(vector this->i
;; the -> in the original input to this guy
(car (syntax-e stx)))))))))))))]))
(car (syntax-e stx))))
'racket/contract:internal-contract
(gensym '->i-boundary)))))))))))]))
(define ->d-tail-key (gensym '->d-tail-key))