OASIS内部模块的“选择性”未绑定模块错误

Question

我尝试使用Oasis编译一个小的OCaml [4.03.0 + flambda]项目。 我有四个模块，三个在Modules字段中声明，一个使用InternalModules。 我的_oasis配置文件在那里 。

内部模块名为Infix，它包含一个子模块Option，该子模块收集一些有用的infix运算符以处理选项类型。 在这里的代码的当前github版本中，一切正常，我能够构建项目。 无论如何，如果我在源文件agent.ml中添加“ open Infix.Option”行，则现在看起来像

[..LICENSE..]
open Lwt 
open Cohttp
open Cohttp_lwt_unix
open Infix.Option

type http_status_code = Cohttp.Code.status_code
type http_headers = Cohttp.Header.t
[..]

我得到以下错误

+ /home/yann/.opam/4.03.0+flambda/bin/ocamlfind ocamlc -c -g -annot -bin-annot -package cohttp -package cohttp.lwt -package lambdasoup -package lwt -package uri -I src -o src/agent.cmo src/agent.ml
File "src/agent.ml", line 23, characters 5-17:
Error: Unbound module Infix.Option

这是意外的，特别是因为我当前的源文件page.ml执行相同的打开操作并使用Infix.Open运算符而没有任何问题或错误。 我想知道发生了什么，为什么绿洲对agent.ml和page.ml的处理方式有所不同...

Answer 1

Lwt有一个Infix模块，可Lwt您的Infix模块。 只需反转打开顺序即可。

注意，打开Lwt通常被认为不是很好的样式。 如果要使用lwt的infix运算符，则应打开Lwt.Infix 。