Rearrange lexical scoping (fixes #202)

dev-render-audit
Matthew Butterick 6 years ago committed by GitHub
parent 014807df58
commit 122586f130
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -3,10 +3,12 @@
(provide (except-out (all-from-out racket/base pollen/setup) #%module-begin) (provide (except-out (all-from-out racket/base pollen/setup) #%module-begin)
(rename-out [mb #%module-begin]) #%top-interaction) (rename-out [mb #%module-begin]) #%top-interaction)
(define-syntax-rule (mb mode . args) (define-syntax-rule (mb MODE . ARGS)
(#%module-begin (#%module-begin
(require (prefix-in p: "private/main-base.rkt")) (require (except-in "private/main-base.rkt" #%module-begin)
(provide (rename-out [mb #%module-begin])) (prefix-in p: (only-in "private/main-base.rkt" #%module-begin)))
(define-syntax-rule (mb . other-args) (provide (all-from-out "private/main-base.rkt")
(p:#%module-begin mode . other-args)) (rename-out [mb #%module-begin]))
. args)) (define-syntax-rule (mb . OTHER-ARGS)
(p:#%module-begin MODE . OTHER-ARGS))
. ARGS))

@ -8,11 +8,12 @@
"to-string.rkt" "to-string.rkt"
"../pagetree.rkt" "../pagetree.rkt"
"splice.rkt" "splice.rkt"
"../setup.rkt"
"../core.rkt" "../core.rkt"
"../setup.rkt"
(prefix-in doclang: "external/doclang-raw.rkt")) (prefix-in doclang: "external/doclang-raw.rkt"))
(provide (except-out (all-from-out racket/base) #%module-begin) (provide (except-out (all-from-out racket/base) #%module-begin)
(rename-out [pollen-module-begin #%module-begin])) (rename-out [pollen-module-begin #%module-begin])
(all-from-out "../core.rkt" "../setup.rkt"))
(define ((make-parse-proc parser-mode root-proc) xs) (define ((make-parse-proc parser-mode root-proc) xs)
(define (stringify xs) (apply string-append (map to-string xs))) (define (stringify xs) (apply string-append (map to-string xs)))
@ -35,11 +36,13 @@
(define-syntax (pollen-module-begin stx) (define-syntax (pollen-module-begin stx)
(syntax-case stx () (syntax-case stx ()
[(_ PARSER-MODE . EXPRS) [(_ PARSER-MODE . EXPRS)
(with-syntax ([EXPRS (replace-context #'here #'EXPRS)] (with-syntax ([META-HASH (split-metas #'EXPRS (setup:define-meta-name))]
[META-HASH (split-metas #'EXPRS (setup:define-meta-name))] [METAS-ID-HERE (setup:meta-export)]
[METAS-ID (setup:meta-export)] [METAS-ID (datum->syntax #'EXPRS (setup:meta-export))]
[META-MOD-ID (setup:meta-export)] [META-MOD-ID (setup:meta-export)]
[ROOT-ID (setup:main-root-node)] [ROOT-ID (datum->syntax #'EXPRS (setup:main-root-node))]
[CURRENT-METAS (datum->syntax #'EXPRS 'current-metas)]
[POLLEN/TOP (datum->syntax #'EXPRS 'pollen/top)]
[DOC-ID (setup:main-export)]) [DOC-ID (setup:main-export)])
#'(doclang:#%module-begin #'(doclang:#%module-begin
DOC-ID ; positional arg for doclang-raw: name of export DOC-ID ; positional arg for doclang-raw: name of export
@ -47,14 +50,15 @@
(define proc (make-parse-proc PARSER-MODE ROOT-ID)) (define proc (make-parse-proc PARSER-MODE ROOT-ID))
(define trimmed-xs (strip-leading-newlines xs)) (define trimmed-xs (strip-leading-newlines xs))
(define doc-elements (splice trimmed-xs (setup:splicing-tag))) (define doc-elements (splice trimmed-xs (setup:splicing-tag)))
(parameterize ([current-metas METAS-ID]) (parameterize ([CURRENT-METAS METAS-ID])
(proc doc-elements))) ; positional arg for doclang-raw: post-processor (proc doc-elements))) ; positional arg for doclang-raw: post-processor
(module META-MOD-ID racket/base (module META-MOD-ID racket/base
(provide METAS-ID) (provide METAS-ID)
(define METAS-ID META-HASH)) (define METAS-ID META-HASH))
(require pollen/top pollen/core pollen/setup (submod "." META-MOD-ID)) (require POLLEN/TOP (submod "." META-MOD-ID))
(provide (all-defined-out) METAS-ID DOC-ID) (provide (all-defined-out) METAS-ID DOC-ID)
(define prev-metas (current-metas)) (define prev-metas (CURRENT-METAS))
(and (current-metas METAS-ID) "") ; because empty strings get stripped, voids don't (define METAS-ID METAS-ID-HERE)
(and (CURRENT-METAS METAS-ID) "") ; because empty strings get stripped, voids don't
(begin . EXPRS) (begin . EXPRS)
(and (current-metas prev-metas) "")))])) ; leave behind empty string, not void (and (CURRENT-METAS prev-metas) "")))])) ; leave behind empty string, not void

Loading…
Cancel
Save