如何编译多个 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（至于this question）：

(* file2.sml *)
use "file1.sml";
datatype composite = Null | Some of fruit

我明白了：

! use "file1.sml";
! ^^^
! Syntax error.

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

Answer 1

您可以在Moscow ML Owner’s Manual 中阅读更多内容，但在您的特定情况下，以下命令应该可以工作，甚至不必在源代码中使用use：

mosmlc -toplevel file1.sml file2.sml

使用结构模式

当您想将代码组织成结构时，可以使用mosmlc 的-structure 标志。例如，给定以下文件：

你好.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 文件。