BSL（如何设计程序）：如何将代码从单独的文件导入到定义区域？

我对 BSL 有疑问。我想将我的代码分成单独的辅助文件并使用

(require "auxiliary-function.rkt") 

首先将分离的代码导入到定义区域。然而它并没有像想象的那样工作。虽然没有给出明确的错误，但似乎 DrRacket 根本看不到单独文件中的代码，我看到的只是错误

<auxiliary-function-name>: this function is not defined 

显然，

(provide x)

不包含在 BSL 中。我读过manual and this答案，但仍不清楚如何进行这项工作。这在 BSL 中可能吗？

Thanks!

请注意，如果您在一门课程中执行此操作，则该策略可能不会被接受提交。

我为自己的一些项目所做的就是这样的模式：

有一个用普通 Racket 编写的文件，名为"provide.rkt"， 像这样：

; provide.rkt
#lang racket
(provide provide all-defined-out)

然后您可以使用它来提供特定函数或提供文件中的所有定义。

用于提供特定功能

在您的“库”BSL 文件中，您可以像这样要求提供，并使用它来提供您想要的特定功能：

; <auxiliary-library>.rkt
; written in BSL
(require "provide.rkt")

(provide <auxiliary-function-name>)

(define (<auxiliary-function-name> ....) ....)

最后，在您的“主”BSL 文件中，您可以像这样需要该库：

; written in BSL
(require "<auxiliary-library>.rkt")

(<auxiliary-function-name> ....)

用于提供文件中的所有定义

在您的“库”BSL 文件中，您可以要求提供并使用它来提供所有内容：

; <auxiliary-library>.rkt
; written in BSL
(require "provide.rkt")

(provide (all-defined-out))

(define (<auxiliary-function-name-1> ....) ....)

(define (<auxiliary-function-name-2> ....) ....)

...

然后在“主”BSL 文件中，您可以请求该库并获取所有定义：

; written in BSL
(require "<auxiliary-library>.rkt")

(<auxiliary-function-name-1> ....)

(<auxiliary-function-name-2> ....)

...