在smlnj中设置并发ML

Question

我正试图让Concurret在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常见问题。