Racket REPL und Submodule

Question

Gibt es einen einfachen Weg für mich, ein Submodul in der aktuellen Datei im Racket-Modus in Emacs zu laden?

Zum Beispiel, wenn ich die folgenden Datei

#lang racket 

(define (foo x) 
    x) 

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

habe und ich traf f5 in Schläger-Modus, um die repl zu starten dann foo verfügbar ist, aber bar nicht.

Answer 1

Sie dynamic-enter! kombinieren und quote-module-path dies zu tun.

eine repl Interaktion für den Code oben, dass angesichts Sie auf dem Laufenden:

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

Alternativ Sie dynamic-require/expose (das belichten Teil Sie Dinge erfordern können, die nicht zur Verfügung gestellt werden) verwenden könnte, wie here getan.

Answer 2

Es funktioniert auf die gleiche Weise in DrRacket. Sie müssen provide Bar aus dem Submodul, und require das Submodul, um es zu verwenden. Versuchen Sie, den folgenden Code:

#lang racket 

(define (foo x) 
    x) 

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

;; (bar 1 2) -- undefined 

(require (submod "." sub)) 
(bar 1 2) ;; -- works here