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

将编译它并发出一个名为的Linux可执行文件test.然后,您运行该可执行文件,如下所示:

./test             # run the program

如果要使用单个命令编译和运行程序,可以使用shell的&&功能运行两个程序(但如果第一个程序成功,则仅运行第二个程序):

mlton test.sml && ./test