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))