使用Dream eml预处理器时遇Unbound Module Dream_pure错误求助

问题背景 #

使用Dream库搭建OCaml网站时，复制官方7-template示例代码，运行dune build时出现Unbound module Dream_pure错误，原因是dream_eml预处理器生成的代码引用了未被正确引入的Dream_pure模块。

解决方案 #

1. 显式添加dream.pure依赖

修改你的dune文件，在executable的libraries字段中加入dream.pure——Dream_pure是Dream的子库，需要显式声明依赖：

(executable
 (name jenr_dev_server)
 (libraries base core dream dream.pure)
 (preprocess (pps lwt_ppx)))

(rule
 (targets jenr_dev_server.ml)
 (deps jenr_dev_server.eml.ml)
 (action (run dream_eml %{workspace_root}/src/server/%{deps})))

2. 确保Dream与dream_eml版本一致

版本不匹配会导致预处理器生成的代码与当前库的模块结构不兼容，执行以下命令重装并同步版本：

opam upgrade dream
opam install dream --reinstall

3. 修正dream_eml的调用路径（可选）

检查dune规则中dream_eml的调用路径是否冗余，%{deps}已经包含了文件的完整路径，可简化为：

(action (run dream_eml %{deps}))

4. 替换模块引用（针对新版本Dream）

如果使用的是较新的Dream版本，html_escape函数已被移动到Dream.Formats模块下，可手动修改预处理后的.ml文件，将Dream_pure.Formats.html_escape替换为Dream.Formats.html_escape，或重新运行预处理器生成适配新版本的代码。

问题原因 #

• Dream_pure是Dream的内部子模块，默认依赖dream库不会自动引入该子模块，需显式添加dream.pure依赖。
• dream_eml预处理器与Dream库版本不匹配，导致生成代码引用了已被迁移的模块。
• dune规则中错误的文件路径可能导致预处理器生成的代码出现模块引用异常。

内容的提问来源于stack exchange，提问作者Jen Cecelia Reiss