已指定core库的Dune项目仍出现Unbound module In_channel错误

你遇到的Unbound module In_channel错误，核心原因是Core库的In_channel模块未被正确引入：OCaml标准库的输入输出模块是Stdlib.In_channel，而你安装的Core库提供了独立的In_channel实现，必须显式引用才能使用。以下是具体解决步骤：

1. 修正代码中的模块引用 #

有两种方式可以正确引入Core的In_channel：

方式一：全局打开Core模块 #

在main.ml文件顶部添加open Core，后续代码可直接使用In_channel：

open Core

let read_file path =
  In_channel.with_open_bin path In_channel.input_all

let solve input = input

let () =
  read_file "input.txt"
  |> solve
  |> print_endline

方式二：使用限定模块名 #

如果不想全局打开Core，直接用Core.In_channel替代代码中的In_channel：

let read_file path =
  Core.In_channel.with_open_bin path Core.In_channel.input_all

let solve input = input

let () =
  read_file "input.txt"
  |> solve
  |> print_endline

2. 确认dune配置的正确性 #

检查项目中对应可执行文件的dune配置，确保core已被添加到依赖库列表。如果main.ml在项目根目录，dune文件内容应该如下：

(executable
 (name main)
 (libraries core))

如果main.ml在子目录（比如src），dune文件需放在对应子目录下，配置保持一致。

3. 使用dune正确编译运行 #

不要直接用ocamlc/ocamlopt手动编译，依赖dune管理构建流程：

# 构建项目
dune build
# 运行可执行文件
dune exec ./main.exe

或者直接一步完成运行：

dune exec ./main

4. Emacs环境排查 #

Emacs本身不会引发该错误，但如果使用merlin做代码提示，需确保merlin关联了本地switch和Core库：

• 在项目根目录打开Emacs，dune会自动生成.merlin配置文件，无需手动创建
• 检查Emacs的merlin插件是否使用了本地switch的OCaml路径，避免调用全局OCaml环境导致依赖不匹配

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