Print loaded modules

example.rkt

#lang racket/base

(require racket/pretty)
(require syntax/parse)

(module sub racket/base
  )
(require 'sub)

print-and-load.rkt

#lang racket/base

(define (load-and-print path pre-loaded-libraries)
  (define ns (make-base-namespace))
  (parameterize ([current-namespace ns])
    (for ([mod (in-list pre-loaded-libraries)])
      (dynamic-require mod #f)))
  (define c (current-load/use-compiled))
  (parameterize ([current-namespace ns]
                 [current-load/use-compiled
                  (lambda (path modname)
                    (printf "path = ~s\n" path)
                    (c path modname))])
    (dynamic-require path #f)))

(printf "with racket preloaded:\n")
(load-and-print "example.rkt" '(racket))

(printf "\nwith racket/base preloaded:\n")
(load-and-print "example.rkt" '())