如何在标准ML中编译多个文件?我有两个文件。
file1.sml
:
(* file1.sml *)
datatype fruit = Orange | Apple | None
和file2.sml
:
(* file2.sml *)
datatype composite = Null | Some of fruit
如您所见,file2.sml
正在使用file1.sml
中的内容。我怎样才能编译这个东西?
我使用的是mosmlc.exe
,在编译mosmlc file2.sml
时(对于这个问题):
(* file2.sml *)
use "file1.sml";
datatype composite = Null | Some of fruit
我得到:
! use "file1.sml";
! ^^^
! Syntax error.
那么,如何处理多个文件呢?
您可以在Moscow ML用户手册中阅读更多内容,但在您的特定情况下,以下命令应该可以工作,甚至不必在源代码中使用use
:
mosmlc -toplevel file1.sml file2.sml
使用结构模式
当您想将代码组织成结构时,可以使用mosmlc
的-structure
标志。例如,给定以下文件:
Hello.sml
structure Hello =
struct
val hello = "Hello"
end
世界.sml
structure World =
struct
structure H = Hello
val world = H.hello ^ ", World!"
end
main.sml
fun main () =
print (World.world ^ "n")
val _ = main ()
您现在可以获得一个名为main
的可执行文件,如下所示:
mosmlc -structure Hello.sml World.sml -toplevel main.sml -o main
然后运行它:
$ ./main
Hello, World!
结构模式要求文件的名称和包含的结构一致,就像在Java中一样,类和文件必须具有相同的名称。您也可以使用包含签名的.sig
文件。