在smlnj中设置Concurrent ML

Question

我正在尝试让Concurret ML在SMLNJ中运行。我看到一篇关于使用CM.make来做这件事的帖子，但我在系统上找不到CM.make文件。请说明如何解决此

Answer 1

好吧，我可以直接加载库。例如，在我的情况下，我可以做

sml /opt/smlnj/cml/src/cml.cm 

知道库的位置，你可以使用CM.make。例如，在我的REPL中，如果我做

CM.make "/opt/smlnj/cml/src/cml.cm";

它加载CML库。无论哪种方法，如果我这样做：

val r = CML.version 

我得到：

val r = {date="September 15, 1997",system="Concurrent ML",version_id=[1,0,10]}
  : {date:string, system:string, version_id:int list}

CM库应该已经在您当前安装的SML中可用。我不需要做任何特殊的事情来加载它。

请参阅关于加载库的部分中的SML/NJ常见问题解答。