From ca809eb024949ebd9dfe7da88b2d03a4ade47b61 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 24 Jun 2011 13:41:55 -0600 Subject: [PATCH] remove syntax certificates; add syntax taints original commit: 1160d3df629ce65eb8fe9ebea2c33b8d4000ea50 --- collects/scribble/private/manual-vars.rkt | 19 ++++++------------- 1 file changed, 6 insertions(+), 13 deletions(-) diff --git a/collects/scribble/private/manual-vars.rkt b/collects/scribble/private/manual-vars.rkt index 4e2fd8a7..52dde6c5 100644 --- a/collects/scribble/private/manual-vars.rkt +++ b/collects/scribble/private/manual-vars.rkt @@ -22,19 +22,12 @@ (define-syntax (with-togetherable-racket-variables stx) (syntax-case stx () - [(_ . rest) - (let ([result (syntax/loc stx - (with-togetherable-racket-variables* . rest))] - [ctx (syntax-local-context)]) - (if (and (pair? ctx) (deftogether-tag? (car ctx))) - ;; Make it transparent, so deftogether is allowed to pull it apart - (syntax-property result - 'certify-mode - 'transparent) - ;; Otherwise, don't make it transparent, because that - ;; removes certificates that will be needed on the `letrec-syntaxes' - ;; that we introduce later. - result))])) + [(_ lits vars decl) + (with-syntax ([vars (syntax-property #'vars 'taint-mode 'none)]) + (syntax-property + #'(with-togetherable-racket-variables* lits vars decl) + 'taint-mode + 'transparent))])) (define-syntax-rule (with-togetherable-racket-variables* . rest) (with-racket-variables . rest))