从多个文件编译SML项目

Question

我有一个包含许多文件的项目，我希望它能与大多数流行的编译器一起工作。

不幸的是，PolyML和SML/NJ需要use语句，而MosML还需要使用load显式加载基库结构，而load和load都不承认这一点。

除此之外，MLton和MLKit需要一个完全不同的.mlb文件--简单地列出文件名--还需要一个基库的显式导入，这是以一种不同于MosML的方式完成的：

$(SML_LIB)/basis/basis.mlb

是否有一些标准通用的“包含此文件”命令，如果它不存在，是否有其他方法让所有编译器从一个入口文件中读取？

P.S.不介意有人对编译器的不同之处大声疾呼。我总是对人们的想法感兴趣，而且没有太多的信息:-)

Answer 1

use函数是标准通用的“包含此文件”命令，包含在顶层环境中。

val use : string -> unit    implementation dependent

我通常在smlnj的CM中维护构建环境，然后用cm2mlb转换为mlb。它将在解析MLton文件时定义一个标志sources.cm，以便您可以使用它来解决模块加载行为上的差异。

#if(defined(MLton))
runmain.sml
#endif

也有一组sml-构建脚本，它从mlb转换为多毫升。我不熟悉它们，也不熟悉polyml，但是CM作为权威的来源是方便的，因为它通过结构CM从SML提供编程访问。

这就是cm2mlb所使用的，因此，虽然我不知道已经存在从CM转换为polyml的任何东西，但这应该是可能的。