From b664b049998408a1ff50f2826c9d72c7f2f9ea60 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 12 Jul 2010 18:01:42 -0500 Subject: [PATCH] added property for internal contract dependencies to ->i --- collects/racket/contract/private/arr-i.rkt | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/collects/racket/contract/private/arr-i.rkt b/collects/racket/contract/private/arr-i.rkt index dc9e04836b..90241d4c46 100644 --- a/collects/racket/contract/private/arr-i.rkt +++ b/collects/racket/contract/private/arr-i.rkt @@ -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))