Mlton编译器不工作(不提供任何输出)

Question

在Ubuntu上安装了MLton编译器(sudo apt-get install mlton)，似乎没有安装问题。

当我尝试使用它(例如"mlton test.sml")时，它停留了一秒钟，然后什么也没有返回。如果我试图在我试图编译的文件中打印一些东西，什么都没有。然而，奇怪的是，如果我给它不好的ML代码("x = 2"，没有val)，它就会产生常规错误，比如“未定义的变量”等。

我在这里和网上的其他地方看了看，似乎没有什么关心我正在经历的事情。也许我只是用错了？

提前谢谢。

Answer 1

mlton是一个非交互式编译器；它编译程序，仅此而已。如果需要，您可以稍后运行该程序。

例如，如果test.sml是一个有效的标准ML程序，则如下所示：

mlton test.sml     # compile the program

将编译它并发出一个名为test的Linux可执行文件。然后运行可执行文件，如下所示：

./test             # run the program

如果想用一个命令编译和运行程序，可以使用shell的&&特性来运行两个程序(但只有在第一个程序成功的情况下才运行第二个程序)：

mlton test.sml && ./test