emacs - Racket REPL 和子模块

Question

有没有一种简单的方法可以在 emacs 中以 Racket 模式在当前文件中加载子模块？

例如，如果我有以下文件

#lang racket

(define (foo x)
  x)

(module+ sub
  (define (bar x y)
    x))

我在 Racket 模式下按 f5 启动 repl 然后 foo可用，但 bar不是。

Answer 1

可以结合 dynamic-enter! 和 quote-module-path 去做这个。

给定您发布的上述代码的 repl 交互:

> (require racket/enter syntax/location)
> (dynamic-enter! (quote-module-path sub))
> bar
#<procedure:bar>

或者，您可以使用 dynamic-require/expose (暴露部分允许您需要未提供的东西)，正如 here 所做的那样.