expander: fix sealed initial parameterization

This commit is contained in:
Matthew Flatt 2018-02-28 19:36:28 -07:00
parent 9cd4f44d42
commit 8f9fcb02f3
3 changed files with 11 additions and 3 deletions

View File

@ -58,7 +58,7 @@
(lambda () (lambda ()
(with-continuation-mark (with-continuation-mark
parameterization-key parameterization-key
orig-paramz (get-original-parameterization)
(parameterize ([current-namespace (make-base-namespace)] (parameterize ([current-namespace (make-base-namespace)]
[current-custodian cust] [current-custodian cust]
[exit-handler (lambda (v) [exit-handler (lambda (v)

View File

@ -674,10 +674,15 @@
(reparameterize (reparameterize
(continuation-mark-set-first #f parameterization-key)))) (continuation-mark-set-first #f parameterization-key))))
(define (get-original-parameterization)
orig-paramz)
;; ---------------------------------------- ;; ----------------------------------------
;; For historical uses of '#%boot ;; For historical uses of '#%boot
(define boot-primitives (define boot-primitives
(hash 'boot boot (hash 'boot boot
'seal seal 'seal seal
'orig-paramz orig-paramz)) ;; Historically, exported a `orig-paramz` after place
;; initialization, but we now need an indirection
'get-original-parameterization get-original-parameterization))

View File

@ -59963,7 +59963,10 @@ static const char *startup_source =
"(define-values" "(define-values"
"(seal)" "(seal)"
"(lambda()(begin(set! orig-paramz(reparameterize(continuation-mark-set-first #f parameterization-key))))))" "(lambda()(begin(set! orig-paramz(reparameterize(continuation-mark-set-first #f parameterization-key))))))"
"(define-values(boot-primitives)(hash 'boot boot 'seal seal 'orig-paramz orig-paramz))" "(define-values(get-original-parameterization)(lambda()(begin orig-paramz)))"
"(define-values"
"(boot-primitives)"
"(hash 'boot boot 'seal seal 'get-original-parameterization get-original-parameterization))"
"(define-values" "(define-values"
"(prepare-next-phase-namespace)" "(prepare-next-phase-namespace)"
"(lambda(ctx_75)" "(lambda(ctx_75)"