From a2181635c9015258d45b9fc3f9948a5572e4a4e2 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 13 Apr 2009 14:52:14 +0000 Subject: [PATCH] check-syntax binding for open-package's package id svn: r14498 original commit: 0be3dca240500caf2640ad59a6e34868a89693c6 --- collects/scheme/package.ss | 25 ++++++++++++++----------- 1 file changed, 14 insertions(+), 11 deletions(-) diff --git a/collects/scheme/package.ss b/collects/scheme/package.ss index 2140f22..cf091fc 100644 --- a/collects/scheme/package.ss +++ b/collects/scheme/package.ss @@ -391,17 +391,20 @@ (syntax-local-introduce (cdr p)))) ((package-exports v)))] [(h ...) (map syntax-local-introduce ((package-hidden v)))]) - #`(#,define-syntaxes-id (intro ...) - (let ([rev-map (lambda (x) - (reverse-mapping - 'pack-id - x - (list (cons (quote-syntax a) - (quote-syntax b)) - ...) - (list (quote-syntax h) ...)))]) - (values (make-rename-transformer #'defined rev-map) - ...)))))))])) + (syntax-property + #`(#,define-syntaxes-id (intro ...) + (let ([rev-map (lambda (x) + (reverse-mapping + 'pack-id + x + (list (cons (quote-syntax a) + (quote-syntax b)) + ...) + (list (quote-syntax h) ...)))]) + (values (make-rename-transformer #'defined rev-map) + ...))) + 'disappeared-use + (syntax-local-introduce id))))))])) (define-syntax (open-package stx) (do-open stx #'define-syntaxes))