如何为OCaml项目搭建Dune测试结构？报错排查求助

问题背景 #

我使用Dune创建了名为ocaml_exercises的OCaml项目，用于完成OCaml官网练习题，创建命令：

dune init project ocaml_exercises

随后在lib目录下创建last.ml和last_two.ml文件，代码分别为：

let rec last list =
  match list with
  | [] -> None
  | [x] -> Some x
  | _ :: tail -> last tail

let rec last_two list =
    match list with
    | [] -> None
    | [_] -> None
    | [x; y] -> Some (x, y)
    | _ :: tail -> last_two tail

在自动生成的test目录下创建了last_tests.ml和last_two_tests.ml测试文件，项目目录结构如下：

.
├ (build folder)
├── bin
│  ├── dune
│  └── main.ml
├── dune-project
├── lib
│  ├── dune
│  ├── last.ml
│  └── last_two.ml
├── ocaml_exercises.opam
└── test
   ├── dune
   ├── last_tests.ml
   └── last_two_tests.ml

当前Dune配置如下：

// bin/dune
(executable
 (public_name ocaml_exercises)
 (name main)
 (modules Main)
 (libraries Ocaml_exercises))

//lib/dune
(library
 (name ocaml_exercises)
 (public_name ocaml_exercises)
 (modules Last Last_two))

//test/dune
(test
 (name ocaml_exercises)
 (libraries ocaml_exercises)
 (modules Last_tests Last_two_tests))

运行dune test时出现报错：

File "bin/dune", line 4, characters 10-25: 4 | (modules ocaml_exercises)
^^^^^^^^^^^^^^^ Error: Module Ocaml_exercises doesn't exist. File "test/dune", line 2, characters 7-22: 2 | (name ocaml_exercises)
^^^^^^^^^^^^^^^ Error: The name "Ocaml_exercises" is not listed in the (modules) field of this stanza.

我原本理解：(modules)是编译库的文件列表，(public_name)是外部引用库的名称，(libraries)是要链接的库列表，请问哪里出错了？

错误分析 #

1. bin/dune的大小写与配置错误 #

• 你在(libraries)字段中写了大写开头的Ocaml_exercises，但lib目录定义的库名称是小写的ocaml_exercises，OCaml和Dune对名称大小写敏感，这会导致无法定位到正确的库。
• 报错信息显示你可能误将(modules)字段写成了ocaml_exercises，但bin目录下只有main.ml，对应模块名应为Main，需确保(modules)字段值与实际文件匹配。

2. test/dune的name与modules不匹配 #

Dune的test stanza要求(name)必须是(modules)列表中的一个模块名。你设置(name ocaml_exercises)，但(modules)中只有Last_tests和Last_two_tests，不存在名为Ocaml_exercises的模块，因此触发报错。

修正方案 #

1. 修正bin/dune #

确保libraries字段的库名与lib定义一致（小写），同时保证(modules)与实际文件匹配：

(executable
 (public_name ocaml_exercises)
 (name main)
 (modules Main)
 (libraries ocaml_exercises))

2. 修正test/dune #

有两种可行方案：

方案一：指定单个测试模块作为入口

将name改为(modules)列表中的任意一个模块名，比如Last_tests：

(test
 (name last_tests)
 (libraries ocaml_exercises)
 (modules Last_tests Last_two_tests))

方案二：创建统一测试入口

如果希望测试可执行文件名为ocaml_exercises_tests，可以在test目录下创建ocaml_exercises_tests.ml，内容为引用其他测试模块：

let () =
  Last_tests.run ();
  Last_two_tests.run ()

然后修改test/dune配置：

(test
 (name ocaml_exercises_tests)
 (libraries ocaml_exercises)
 (modules Ocaml_exercises_tests Last_tests Last_two_tests))

3. 测试文件引用lib函数的正确方式 #

在测试文件中，直接通过模块名访问lib中的函数即可，比如：

(* last_tests.ml *)
let () =
  assert (Last.last [1;2;3] = Some 3);
  assert (Last.last [] = None)

验证步骤 #

1. 保存所有修正后的dune文件；
2. 运行dune build确认项目编译正常；
3. 运行dune test执行测试，报错应消失。

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