suzanne.soy/hyper-literate
1
0
Fork 0
Code Issues 4 Pull Requests 1 Actions Packages Projects Releases Wiki Activity

fix #:all-defined for 'define-package' by adjusting 'identifier-remove-from-definition-context'; add for-syntax 'package?' and 'package-export-identifiers'; adjust Scribble to find definitions of phase-1 exports

Browse Source 
svn: r13253

original commit: db12513b65e79d2fe9e3c824e4232b1c981082d0
This commit is contained in:
Matthew Flatt 2009-01-21 20:00:55 +00:00
commit 74e933d24e
1 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
collects/scribble/search.ss
View File

@ -28,10 +28,11 @@
;; because no one uses the same name for different-phase exported ;; because no one uses the same name for different-phase exported
;; bindings. ;; bindings.
;; ;;
;; However, we assume that bidings are defined as originating from some ;; Formerly, we assumed that bidings are defined as originating from some
;; module at phase 0. Maybe it's defined at phase 1 and re-exported ;; module at phase 0. [Maybe it's defined at phase 1 and re-exported
;; later for phase 0 (after a require-for-template), in which case the ;; later for phase 0 (after a require-for-template), in which case the
;; re-exporting module is the one we find. ;; re-exporting module is the one we find.] That assumption has been
;; lifted, however; search for "GONE" below.
(let ([b (cond (let ([b (cond
[(identifier? stx/binding) [(identifier? stx/binding)
(identifier-binding stx/binding phase-level)] (identifier-binding stx/binding phase-level)]
@ -74,7 +75,7 @@
[export-phase (list-ref (car queue) 4)] [export-phase (list-ref (car queue) 4)]
[queue (cdr queue)]) [queue (cdr queue)])
(let* ([rmp (module-path-index-resolve mod)] (let* ([rmp (module-path-index-resolve mod)]
[eb (and (equal? 0 export-phase) ;; look for the phase-0 export; good idea? [eb (and ;; GONE: (equal? 0 export-phase) ;; look for the phase-0 export; good idea?
(list (module-path-index->taglet mod) (list (module-path-index->taglet mod)
id))]) id))])
(when (and eb (when (and eb