typerex 1.0.1 与 ocaml 3.12.1 和 emacs，找不到 cmt(i) 文件

Question

是否有人设法让当前版本的 typerex（我猜是 1.0.1）适用于 ocaml

根据 typerex 的网站 (http://www.typerex.org/manual-index.html) 我应该在 myocamlbuild 文件中添加一行，

Options.ocamlc := S [ A "ocp-ocamlc"]

，我确实喜欢这样：

let _ = dispatch & function
  | Before_options ->
      (* Set up to use ocamlfind *)
      Options.ocamlc     := S [ A "ocp-ocamlc"]

但我仍然遇到同样的问题。

如前所述，我的 .typerex 文件指向我的 _build，因此 CMT _build（这是该文件中目前唯一存在的内容）。

我开始怀疑，因为显然 cmt 文件仅在 ocaml 4.0.0 或类似的版本中受支持（在某处阅读），所以我在某处得到了错误的版本（我不这么认为，但这当然不能证明任何事情）。 网站上的文档有点稀疏，支持选项卡会立即转发到 stackoverflow，所以我想我在这里......

卡斯帕

Answer 1

.cmt 文件由 OCaml 从 4.00 版本开始生成。我相信 Typerex 的早期版本提供了一个特别修改的 OCaml 编译器版本，它集成了 -bin-annot 分支，早在 4.00 版本之前——-bin-annot 正是在 OCamlPro 为 Typerex 的需要而开发的。

Typerex 2 将显着不同的原因是 Typerex 之前/现在的设计使其部署起来过于繁重，并且如您所见，难以配置。在等待更完善的第二个版本时，您可以使用以下非常好的工具：

• Merlin 是一个年轻的程序，它从正在编辑的 OCaml 缓冲区（因此只有部分正确的来源）增量提取语法和输入信息，以便提供早期错误反馈，输入 -感知完成等。它为 Vim 和 Emacs 提供了编辑器模式（现在 Vim 更加完善），我相信它是正确的答案解决在部分完成的源上获取增量信息的问题-- 在这方面它会比 Typerex 做得更好。

• ocamlspot 是一个分析完整 OCaml 源文件并提供语义信息的程序，目前主要是定义点信息。从 4.00 开始，它依赖于-bin-annot 机器，因此非常容易安装和部署（它以前与 4.00 之前的 Typerex 有很多相同的问题）。它也可以在 Emacs 和 Vim 中使用（但这次 Emacs 界面看起来更加精致）。

这些工具的组合不会为您提供 Typerex 现有或承诺的所有功能（特别是没有太多可重构的功能），但它们依赖于可靠的设计，并且随着时间的推移可能会很好地发展。