moddef.rkt

#lang scratch

(provide x)
(define x 42)

modfind.rkt

#lang scratch

(require "moddef.rkt")

(define ns (make-base-empty-namespace))
(define modpath (make-resolved-module-path (resolve-module-path "moddef.rkt")))

(parameterize ([current-namespace ns]
               [current-module-declare-name modpath])
  (eval #'(module dummy racket/base
            (define x 'dummy)
            (provide x)))
  (namespace-require modpath))

(define the-x (namespace-syntax-introduce (datum->syntax #f 'x) ns))

(eval the-x)

moduse2.rkt

#lang racket

(require syntax/parse/define
         "moddef.rkt"
         (for-syntax syntax/modresolve))


(define-syntax-parser conv-ident
  [(_ mod sym)
   (define mp (make-resolved-module-path (resolve-module-path (syntax->datum #'mod))))
   (define s (syntax->datum #'sym))
   (define ns (make-base-empty-namespace))

   (parameterize ([current-namespace ns]
                  [current-module-declare-name mp])
     (eval #'(module dummy racket/base
               (define s 'dummy)
               (provide s)))
     (namespace-require mp))
   (namespace-syntax-introduce (datum->syntax #f (syntax->datum #'sym)))])

(conv-ident "moddef.rkt" x)