在smlnj中设置Concurrent ML

Question

我正在尝试在SML NJ中运行Concurrent ML。我看到有关使用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 FAQ。