不再允许“失败”？

Question

我在makefile 中定义了要编译的.ml 列表，由main/mail.ml 完成。

我有一些failwith "to do" 作为这些文件中某些函数的主体。之前，我记得只有在运行时执行需要该函数时才会引发错误。

今天我所有的.ml 的编译工作正常：.cmi、cmx 和.o 都生成了。但是当我启动主二进制文件时，它似乎没有首先运行main.ml 的let () 中的内容，而是首先检查makefile 中列表.ml 的所有文件，并引发Fatal error: exception Failure("to do") make: *** [all] Error 2 遇到第一个faiwith "to do"。

我觉得这种行为很奇怪，谁能告诉我可能是什么原因？我的makefile 或main.ml 有问题吗？

Answer 1

failwith 仍然被允许！但这有时也会发生在我身上。

通常问题在于，不是使 functional 值失败，而是使 non-functional 值失败，这意味着 failwith 实际上是在模块初始化期间执行。所以很可能你在代码的某个地方写了：

let f = failwith "TODO"

failwith 在模块初始化时执行而不是：

let f x = failwith "TODO"

failwith 在函数 f 实际使用参数调用时被执行。