2

使用 Merlin 2.5.4，在我的项目中打印 OCaml 文件签名的正确方法是什么？例如，假设我有：

(* foo.ml *)
let x = 1

我想得到：

val x : int

什么是正确的命令（或命令序列）？

我试过的：

我暂时将文件包装在一个子模块中：module Foo = struct let x = 1 end，然后运行：

$ ocamlmerlin
["type","expression","Foo","at",{"line":1,"col":7}]

但我得到：

["error",{"start":{"line":1,"col":0},"end":{"line":1,"col":3},"type":"type","sub":[],"valid":true,"message":"Error: Unbound constructor Foo"}]

这是有道理的，因为我实际上并没有提到我正在查询哪个文件，也没有提到查询（https://github.com/ocaml/merlin/blob/master/doc/dev/OLD-PROTOCOL.md#type -检查）允许我。

E我应该提一下，我使用的是 BuckleScript，而不是ocamlc，并且ocamlc -i仅在我不仅指定我的模块而且指定其所有模块依赖项时才有效；我正在寻找能够自动管理这些依赖项的东西。

4

1 回答 1

2

让 Merlin 输出模块的推断签名的一种方法是向其提供一系列命令（如https://github.com/ocaml/merlin/blob/master/doc/dev/OLD- PROTOCOL.md#type-checking）首先定义模块，然后要求其签名。我们可以准备一个包含此命令序列的临时文件，并将其作为标准输入提供给 Merlin。

棘手的部分是：用正确的命令包装输入；转义输入文件中的双引号字符，以免它们与 Merlin 的输入格式混合；并展开输出以丢弃 Merlin 的协议格式。以下是关键命令：

it=~/tmp/it

echo '["tell","start","end","module It = struct' >$it
sed 's/"/\\"/g' ${1%i} >>$it
echo ' end let () = ()"]' >>$it
echo '["type","expression","It","at","end"]' >>$it

ocamlmerlin <$it | sed -e '/^\["return",true\]$/d' -e 's/^\["return","sig *//' -e 's/ *end"\]$//' -e 's/\\"/"/g' -e 's/\\n/\
/g' | sed -e '/^ *$/d' -e 's/^  //'

注意事项：

  • touch以上假设一个带有and的 Unix-y 系统sed，并且ocamlmerlin在命令路径中
  • [@...]Merlin在其输出中不保留 OCaml 属性 ( )
  • 仅适用于 OCaml 语法，但可以适应 Reason 语法

可以在https://gist.github.com/yawaramin/b86557ae81cbd019fcb9e071abe594de找到更完整的脚本。

于 2017-08-27T04:28:11.037 回答