4

Ocaml 手册包含一个练习（此处），其中库对象文件以下列方式加载到顶层循环（ocaml 交互式解释器）中：

#load "dynlink.cma";;
#load "camlp4o.cma";;

我正在尝试将后续代码复制到可编译的源文件中，并且该代码需要上述库对象文件。我可以用源文件中的一行代码加载这些文件并用ocamlc编译吗？我试过“#load”、“load”、“#use”、“use”、“#require”、“require”，所有这些都由“#directory”和“directory”处理。我知道您可以使用“include ;;”来包含模块，但这也不应该起作用，因为它们只是库文件，而不是模块。我试图在手册中找到一种方法来做到这一点，但无济于事。

我需要在编译命令中引用文件吗？如果是这样，我该怎么做？

4

2 回答 2

2

以 # 字符开头的指令仅在顶层使用，严格来说不是 OCaml 语言的一部分。在要编译的文件中，不要使用 # 指令。请参阅 OCaml 手册第 9 章。#load 指令用于加载库。编译文件时，您必须告诉编译器使用该库（在命令行上，而不是在文件中）。一开始直接学习编译器命令很好，但最终你应该使用ocamlfind和oasis，这使得编译更容易。

于 2012-12-12T14:42:05.870 回答
1

我假设您的源代码是使用由camlp4o 实现的扩展编写的。要编译你的源代码，你可以说：

ocamlc -pp camlp4o -o myfile myfile.ml

我相信只有当您想在顶层（解释器）中使用扩展时才需要 #load 命令的复杂性。

于 2012-12-12T02:03:34.953 回答