ocaml - 如何让 OCaml 编译器报告未使用的函数？

Question

我想知道是否有任何方法可以让 OCaml 编译器报告有关未使用函数的警告？我用谷歌搜索，但没有太多关于此功能的讨论话题。

特别是，在下面的程序中，声明了两个函数“foo”和“bar”，但“_”函数中没有使用“bar”。所以我认为 OCaml 编译器应该将“bar”报告为未使用的函数。

let foo x y = x + y

let bar x y z = x + y + z         (* should be reported unused *)

let _ =
  let x = foo 1 2 in
  x

Answer 1

您需要定义一个(可能是空的).mli 接口(interface)文件来说明此模块导出的内容。否则，您只是定义了一个 bar 函数供其他模块使用。

(当然要确保你编译时带有警告)