如何在OCaml中打印调用函数的文件位置？

你的问题根源在于：OCaml的assert是语法构造而非普通函数，它会在编译时记录自身所在的代码位置。当你在自定义assert_eq函数内部调用assert时，抛出的异常会指向这个内部调用行，而非用户调用assert_eq的位置。

下面提供两种可行的解决方案：

方案1：利用[@inline]属性（简单快速） #

给自定义函数添加[@inline]属性，让编译器在优化模式下将函数代码直接展开到调用点。这样assert语句会在用户调用assert_eq的位置执行，异常位置自然指向正确的调用点。

代码示例：

let[@inline] assert_eq (exp: 'a) (exp2: 'a) = 
  assert (exp = exp2)

注意：需要开启编译器优化（如编译时添加-O2参数）才能确保inline生效，未开启优化时异常位置仍可能指向函数内部。

方案2：手动构造断言失败异常（更可靠） #

通过OCaml的Assert_failure异常类型，手动传入调用点的位置信息。要实现这一点，需要将assert_eq定义为语法宏（而非普通函数），让位置标识符（__FILE__、__LINE__、__POS__）在调用点求值。

轻量实现（无需自定义ppx） #

可以借助OCaml的预处理器（cpp）定义宏：

#define assert_eq(exp, exp2) assert(exp = exp2)

这种方式直接将assert_eq a b替换为原生的assert(a = b)，完全保留原生断言的位置追踪能力。

健壮ppx方案 #

如果需要更严谨的语法支持，可以编写一个简单的ppx扩展，将assert_eq调用展开为原生断言。例如，扩展会把：

assert_eq x y

转换为：

assert (x = y)

这种方式不依赖编译器优化，且能完美保留原生断言的所有特性。

内容的提问来源于stack exchange，提问作者Atlinx