Eclipse中的#use“str.cma”和#use“name.mli”

Question

如何在Eclipse中使用“str.cma”？

另外，如何将name.ml链接到name.mli？在使用Emacs时，我通常会在“name.ml”中使用#use“name.mli”。

Answer 1

#use不是特定于emacs的，甚至不是特定于OCaml语言的。它是一个名为toplevel的程序的指令，或者更常见的说法是解释器。因此，您的前提是错误的，您可以在Emacs中执行此操作。关于Eclipse（我怀疑你正在尝试使用OCaIDE），然后有很多tutorials和在线帮助，它解释了如何向项目添加依赖项。