OCaml 自定义编译器警告

Question

是否可以让ocamlc在编译时产生自定义警告？我有一些半完成的代码，我想提醒一下它还没有完成。举个例子:我想编写一个 reverse 函数。我现在懒得去想办法如何编码，所以我只是写一些类型检查的东西。

let reverse xs = xs

我想写一些类似的东西

let reverse xs = Compiler_Warning "TODO: reverse"; xs

这可能吗？我很想听听实现类似结果的任何技巧。

Answer 1

一个常见的技巧是通过失败并“未实现”或仅assert false来引发异常。

如果未实现的函数中有未使用的参数，这将向您发出警告。尽管如此，它们默认是禁用的。所以你需要添加 -Wall 选项来启用它们。

此外，您可以在实现中添加一个故意未使用的变量，例如:

let reverse xs =
  let unimplemented = () in 
  xs