如何编译多个SML文件？

Question

如何在Standard-ML中编译多个文件？我有2个档案。

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.

那么，如何处理多个文件呢？

Answer 1

您可以在Moscow ML用户手册中阅读更多信息，但是在您的特殊情况下，以下命令应该可以工作，而不必use在源代码中使用：

mosmlc -toplevel file1.sml file2.sml

使用结构模式

要将代码组织到结构中时，可以使用-structure标记mosmlc。例如，给定以下文件：

Hello.sml

structure Hello =
  struct
    val hello = "Hello"
  end

World.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包含签名的文件。