用SML构造库

Question

我目前正在标准ML中构建一个测试库(使用Poly作为解释器)。我有以下目录结构：

project/a.sml
project/src/b.sml
project/src/c.sml
...

其中a.sml只是一堆要使用的调用

use "src/b.sml"
use "src/c.sml"
...

b.sml、c.sml等都是这样的结构定义

structure ComponentX
struct
...
end

它们构成了库中很好的逻辑分离的组件。有时，我还会在一个文件中创建一个模块，然后在另一个文件中的同一模块中引入一个子结构。

然后，通过调用use "a.sml"，我可以在项目的根目录中使用测试库。

但是，我似乎无法在它自己的目录之外使用代码，这是一个小问题。例如，假设我位于project的父目录中。如果然后调用use "project/a.sml"，随后对use "src/x.sml"的调用将尝试在父目录(不存在)中找到一个src目录。

有什么方法可以做一个相对的use，还是有更好的方法来构建这个整体呢？

Answer 1

聚合/ML中的use函数在递归使用时不会改变路径。您需要使用OS.FileSys.chDir显式地更改子目录中的路径。use只是一个函数，如果您愿意，可以重新定义它。OS.Path和OS.FileSys结构可能很有用。

另一种选择是重组代码以利用PolyML.make。您必须重命名您的文件，以匹配每个文件所包含的结构的名称，例如，ComponentX.sml将包含结构ComponentX。有关这方面的更多信息，请参见polyml.org/documentation/Reference/PolyMLMake.html或关于具有嵌套目录结构的Poly的这个答案。