0. #lang racket
1. (require syntax/location)
2.  
3. (module my-top racket
4.   (provide (rename-out [#%my-top #%top]))
5.   (require (for-syntax syntax/parse racket/base))
6.   (define-syntax (#%my-top stx)
7.     (syntax-parse stx
8.       [(_#%my-top . id:id)
9.        (syntax/loc stx
10.          (raise-syntax-error '#%my-top "reference to unbound identifier" stx id))])))
11.  
12.  
13. (define ns (make-base-empty-namespace))
14. (parameterize ([current-namespace ns])
15.   (namespace-require (quote-module-path my-top)))
16.  
17. (eval #'(let ([x 1])
18.           (+ x y 1))
19.       ns)

=>

require: unknown module

module name: #<resolved-module-path:(submod 'm my-top)>

?: module mismatch;

attempted to use a module that is not available

possible cause:

using (dynamic-require .... #f)

but need (dynamic-require .... 0)

module: "/home/pasterack/racket68/collects/racket/private/

qq-and-or.rkt"

phase: 0

in: let