expander/eval/module.rkt

15          "../compile/instance.rkt"
28          compiled-module->declaration-instance
29          compiled-module->h+declaration-instance
36 (define current-module-declare-as-predefined (make-parameter #f #f 'current-module-declare-as-prede…
45    (define-values (dh h data-instance declaration-instance)
46      (compiled-module->dh+h+data-instance+declaration-instance c))
48    (define syntax-literals-data-instance
50          (make-syntax-literal-data-instance-from-compiled-in-memory c)
54                                     (list deserialize-instance
55                                           data-instance))]
57              empty-syntax-literals-instance/empty-namespace]
59              empty-syntax-literals-data-instance]))))
62      (instance-variable-value declaration-instance key))
68    (define cache-key (make-module-cache-key
104      (make-create-root-expand-context-from-module requires phases-h))
128    ;; specific instance. If we have a hash key for this module, we can
132        (define m (make-module #:source-name (current-module-declare-source)
158 …                    (force-syntax-deserialize syntax-literals-data-instance bulk-binding-registry))
159                               #:prepare-instance-callback
162                                   (init-instance-data! data-box cache-key ns
163 …                                syntax-literals-linklet data-instance syntax-literals-data-instance
170 …                           (define syntax-literals-instance (instance-data-syntax-literals-instance
191                                    (define module-body-instance-instance
192                                      (make-module-body-instance-instance
203                                                           (list* syntax-literals-instance
204                                                                  module-body-instance-instance
206                                                           (namespace->instance ns phase-level)))
224                                         #:with ([current-expand-context (delay (make-expand-context
259 (struct instance-data (syntax-literals-instance cache-key))
261 (define (init-instance-data! data-box cache-key ns
262                              syntax-literals-linklet data-instance syntax-literals-data-instance
266     (force-syntax-deserialize syntax-literals-data-instance bulk-binding-registry))
269     (make-instance-instance
277   (define syntax-literals-instance
280                              (list deserialize-instance
281                                    data-instance
282                                    syntax-literals-data-instance
284         empty-syntax-literals-instance))
286   (set-box! data-box (instance-data syntax-literals-instance cache-key))
289     (instance-variable-value syntax-literals-instance 'get-encoded-root-expand-ctx))
295                                                (make-root-expand-context #:self-mpi self))))]
311 (define (force-syntax-deserialize syntax-literals-data-instance bulk-binding-registry)
312   (unless (or (eq? syntax-literals-data-instance empty-syntax-literals-data-instance)
313               (eq? syntax-literals-data-instance empty-syntax-literals-instance/empty-namespace))
315 …(let ([deserialize-syntax (instance-variable-value syntax-literals-data-instance deserialize-synta…
316       ;; We need to make sure there's something to deserialize; if it's already done
354 ;;  data-instance - provides data, either extracted from
357 ;;  declaration-instance - provides metadata, extracted from the
358 ;;  bundle and linked with `data-instance`
359 (define (compiled-module->dh+h+data-instance+declaration-instance c)
362   (define data-instance
364         (make-data-instance-from-compiled-in-memory c)
366                              (list deserialize-instance))))
368   (define declaration-instance
371         (make-declaration-instance-from-compiled-in-memory c)
373                              (list deserialize-instance
374                                    data-instance))))
376   (values dh h data-instance declaration-instance))
378 (define (compiled-module->declaration-instance c)
379   (define-values (dh h data-instance declaration-instance)
380     (compiled-module->dh+h+data-instance+declaration-instance c))
381   declaration-instance)
383 (define (compiled-module->h+declaration-instance c)
384   (define-values (dh h data-instance declaration-instance)
385     (compiled-module->dh+h+data-instance+declaration-instance c))
386   (values h declaration-instance))
390 (define (make-data-instance-from-compiled-in-memory cim)
391   (make-instance 'data #f 'constant
394 (define (make-declaration-instance-from-compiled-in-memory cim)
395   (make-instance 'decl #f 'constant
401 (define (make-syntax-literal-data-instance-from-compiled-in-memory cim)
402   (make-instance 'syntax-literal-data #f #f
406 (define empty-syntax-literals-instance/empty-namespace
407   (make-instance 'empty-stx/empty-ns #f 'constant