use PDF-based picts in the Latex build of the Quick tutorial; in general, change a .pdf image extension to .png for HTML output; add package-original-identifiers and fix package-exporte-identifiers

svn: r13432

original commit: e5756667d67e7c98462656d4c55d1c82eb6753ed
This commit is contained in:
Matthew Flatt 2009-02-04 21:03:28 +00:00
parent df3738bc91
commit 93faac6e83

View File

@ -16,7 +16,8 @@
define*-syntaxes
(for-syntax package?
package-exported-identifiers))
package-exported-identifiers
package-original-identifiers))
(define-for-syntax (do-define-* stx define-values-id)
(syntax-case stx ()
@ -404,5 +405,15 @@
(raise-type-error 'package-exported-identifiers "identifier bound to a package" id))
(let ([introduce (syntax-local-make-delta-introducer
(syntax-local-introduce id))])
(map (lambda (v) (syntax-local-introduce (cdr v)))
(map (lambda (i)
(syntax-local-introduce
(syntax-local-get-shadower
(introduce (car i)))))
((package-exports v))))))
(define-for-syntax (package-original-identifiers id)
(let ([v (and (identifier? id)
(syntax-local-value id (lambda () #f)))])
(unless (package? v)
(raise-type-error 'package-exported-identifiers "identifier bound to a package" id))
(map cdr ((package-exports v)))))