OCaml多文件项目使用dune+qtest运行单元测试报Unbound module错误如何解决

qtest 生成内联测试运行器代码时，默认仅引入标准库与测试后端依赖，不会自动开放当前库的所有内部模块。你项目中的 helper.ml 编译后属于 Mylib 库下的子模块 Helper，正常编译项目时 Dune 会自动处理同库模块的依赖关系，所以直接调用 Helper.bar 没问题，但测试运行器生成阶段没有导入 Mylib 库的作用域，就会报模块未绑定的错误。

• 方法一：在 Dune 配置中给测试加全局 open 标识（推荐）
  修改你的库目录下的dune文件，给inline_tests段增加flags配置：

(library
 (name mylib)
 (inline_tests
  (backend qtest.lib)
  (flags (-open Mylib))))

该配置会让qtest生成测试代码时自动打开Mylib作用域，同库下所有子模块都可以直接在测试用例中调用。

• 方法二：在测试文件头部添加qtest open指令
  如果不想全局开放库作用域，可以在每个包含测试的.ml文件头部加一行qtest专用注释：

(*$ open Mylib *)

qtest解析到该注释后会在生成的测试代码中自动添加对应open语句，也可以解决模块找不到的问题。

• 方法三：测试用例手动补全模块前缀
  如果仅个别测试用到其他模块，也可以直接在测试用例里写全模块路径：

(*$T bar
  Mylib.Helper.bar 3 = 9
*)

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