并发ml如何导入库

Question

我已经下载了新泽西州的标准ML（SML / NJ），现在我必须使用并发M1（CML）库。如何导入（使用）库？ 感谢

Answer 1

你可能需要使用这样的CM文件（例如sources.cm）：

Group is
    $cml/cml-lib.cm
    $/basis.cm
    your-file.sml
    ...

然后sml sources.cm应正确加载CML并使其可用于您的程序。

Answer 2

如果您只是想在提示符下在SML / NJ内部玩游戏，可以执行以下操作以使CML结构可用：

- CM.make "$cml/cml.cm";
[library $cml/cml.cm is stable]
[library $cml/cml-internal.cm is stable]
[library $cml/core-cml.cm is stable]
[New bindings added.]
val it = true : bool
-