collects/syntax/toplevel.rkt

5   (provide eval-compile-time-part-of-top-level
6            eval-compile-time-part-of-top-level/compile
7            expand-top-level-with-compile-time-evals
8            expand-syntax-top-level-with-compile-time-evals
9            expand-syntax-top-level-with-compile-time-evals/flatten)
11   ;; eval-compile-time-part-of-top-level/compile : syntax -> (listof compiled-expression)
12   (define (eval-compile-time-part-of-top-level/compile expr)
13     (map (lambda (e) (compile-and-eval-compile-time-part e #t))
16   (define (eval-compile-time-part-of-top-level stx)
17     (for-each (lambda (e) (compile-and-eval-compile-time-part e #f))
20   (define (expand-top-level-with-compile-time-evals stx)
21     (expand-syntax-top-level-with-compile-time-evals
24   ;; expand-syntax-top-level-with-compile-time-evals/flatten : syntax -> (listof syntax)
25   (define (expand-syntax-top-level-with-compile-time-evals/flatten stx)
33              (compile-and-eval-compile-time-part e #f)
36   (define (expand-syntax-top-level-with-compile-time-evals stx)
42                         (map expand-syntax-top-level-with-compile-time-evals
48            (compile-and-eval-compile-time-part e #f)
51   ;; compile-and-eval-compile-time-part : syntax boolean -> (union syntax compiled-expression)
52   ;; compiles the syntax it receives as an argument and evaluates the compile-time part of it.
56   (define (compile-and-eval-compile-time-part stx compile?)
57     (let ([eval/compile (lambda (stx)
58                           (let ([compiled (compile-syntax stx)])
60                             (when compile?
65 	  (when compile? (compile-syntax stx))
69          (eval/compile stx)]
71          (eval/compile stx)]
73          (eval/compile stx)]
76 	  (when compile? (compile-syntax stx))
82          (when compile? (compile-syntax stx))])))