从控制台检查库(.cma)签名

Question

假设我有一个OCaml库文件foo.cma。是否有命令行工具来打印函数的签名和定义的其他类型？ocamlbrowser实用程序似乎是基于windows的(抱怨$DISPLAY环境变量)。用例是我正在做一个：

ocamlc -c foo.cma main.ml

并获取：

File "main.ml", line 13, characters 33-47:
Error: Unbound value ListUtil.split

ListUtil.split应该驻留在foo.cma中，但是我不知道有什么基于控制台的工具来验证它。

Answer 1

在Debian/Ubuntu上，你有"ocamlobjinfo"：

ocamlobjinfo stdlib.cma

将显示stdlib.cma中包含的所有设备名称。然后，您可以创建一个短文件：

include SomeModule

并使用-i对其进行编译，以查看模块SomeModule中定义的内容。

Answer 2

在toplevel中，我只加载cma文件：

#load "foo.cma";;

然后我重新定义了一个模块来查看签名：

module Chunk = Foo;;

Answer 3

为了编译引用ListUtil.split的代码，编译器需要找到相应的listUtil.cmi文件。为了链接该代码，编译器需要包含实现的cma (或cmo)文件。有关说明，请参阅http://mirror.ocamlcore.org/caml.inria.fr/pub/ml-archives/caml-list/2008/09/2bc9b38171177af5dc0d832a365d290d.en.html。