sml - 如何在 mlton 中使用 smlnj-lib

Question

我正在编译一个参考IntBinarySet使用 MLton 的 SML 源文件。该代码使用 SML/NJ 运行良好，但是，当使用 MLton 编译时，它会报错Undefined structure IntBinarySet。我需要以某种方式导入 smlnj-lib 吗？（我可以IntBinarySet直接在 SML/NJ 中使用而无需use-ing 或导入任何东西）

具体来说，我的源文件intset.sml如下。

fun newSet () = IntBinarySet.empty

和 MLton 抱怨：

Error: intset.sml 1.17.
  Undefined structure IntBinarySet.
compilation aborted: parseAndElaborate reported errors

Answer 1

MLton 在 MLton 中有一个关于 smlnj-lib的好页面。

根据您有限的信息，我假设您没有在 .mlb 文件中导入 smlnj-lib？

ORD_SET 是实用程序库的一部分。因此，您的问题应该得到解决，参考：

$(SML_LIB)/smlnj-lib/Util/smlnj-lib.mlb