用于检查 OCaml 代码是否编译的 OCaml 程序

Question

我想写一个 OCaml 模块，它有一个 compile 函数，它将接受一个包含 OCaml 程序的字符串，并将编译结果输出为正确或错误，在错误的情况下，关于行和字符的信息的第一个错误。我不关心错误是什么（至少现在是这样）。

一个基本的模块类型是：

module type Compile =
    sig
        type result = Correct | Error of (int*int)
        val compile : string -> result
    end

至少有两种完全不同的实现方式：

1. 快速破解方法 -- 将程序字符串写入文件，使用Unix进程在命令行调用ocamlc并解析stderr；
2. 正确方法 -- 使用 OCaml 工具分析代码。

关于 (1)，我无法获取 stderr 的内容。我开始使用 Unix.open_process_in，它将 stdout 重定向到我可以读取的 in_channel。 由于ocamlc 输出的编译错误转到stderr（而不是stdout），我尝试使用

let ic = Unix.open_process_in "ocamlc test.ml 2>&1" 

以便 stderr 的内容在命令行被重定向到 stdout。这样，我希望，ic 将包含编译错误。不幸的是，情况并非如此，ic 只包含End_of_file。

然后我转到Unix.create_process 命令，因为它允许我为输出、输入、错误选择新通道。但是我在选择这些频道时遇到了麻烦。输出通道应该是什么，以便我可以在我的程序中读取它？

关于 (2)，您认为（合理）简单的方法是什么？

非常感谢您的帮助！

Answer 1

关于 2)，OCaml 安装通常有一个 compiler-lib 目录，其中包含构成编译器的许多模块，包括解析器。这没有记录，但可用于进行编译和类型检查。对于解析，还有 Camlp4，它可以用来做除了预处理之外的事情（我想你可以将 Camlp4 加载到你的程序中并将它用作库，可能在对其进行一些修补之后），但它只包含语法而不是类型检查器。

Answer 2

关于 1) 我认为你做错了什么。在我的机器上：

> ocaml unix.cma
        Objective Caml version 3.12.0

# let ic = Unix.open_process_in "ocamlc test.ml 2>&1";;
val ic : in_channel = <abstr>
# input_line ic;;
- : string = "File \"test.ml\", line 1, characters 0-1:"
# input_line ic;;
- : string = "Error: I/O error: test.ml: No such file or directory"
# input_line ic;;
Exception: End_of_file.

对于Unix.create_process，一种方法是将Unix.stdin 传递给new_stdout，这样您就可以通过程序的标准输入读取进程的输出（假设您不想使用标准输入你的程序的其他东西）。 但我更简单的方法是使用Unix.open_process_full。

关于 2）您可以尝试使用 toplevellib.cma（但请注意，这完全没有文档记录且不受支持）。查看分发中的toplevel/toploop.mli，尤其是Toploop.execute_phrase。