4

我有一个使用 OCaml 的项目dune

按照基本教程中的建议，我有一个目录结构，如：

bin/
    cli.ml
    dune
lib/
    dune
    ...
    <various>.ml

我的目录中的文件数量lib正在增长，我希望有另一个级别的命名空间。

我想要子目录，例如：

lib/
    utils/
        dune
        ...
        <various>.ml
    some_other_domain/
        dune
        ...
        <various>.ml
    dune
    ...
    <various>.ml

我希望能够像这样打开它们Lib.Utils.Whatever

我认为这一定是可能的？

我试着在dune下面创建一个文件lib/utils：

(library
  (name utils)
  (libraries ...))

...但open Lib.Utils.Whatever似乎不起作用。

我找到了该subdir节...但是如果我将其添加到lib/dune并定义utils为子目录library，那么我不会得到命名空间...我必须open Utils而不是open Lib.Utils

4

1 回答 1

3

将它们称为“嵌套库”实际上有点奇怪，因为您想用Lib.Utils.Whatever. Utils，这里是 的子模块Lib。如果它可以帮助您，这就是我能够做的：

.
├── bin
│   ├── cli.ml
│   └── dune
├── dune-project
├── lib
│   ├── dune
│   ├── lib.ml
│   ├── suba
│   │   └── suba.ml
│   └── subb
│       └── subb.ml

和

bin/cli.ml

let () =
  Lib.Suba.a ();
  Lib.Subb.b ()

bin/dune

(executable
 (name cli)
 (libraries lib)
)

lib/dune

(include_subdirs unqualified)

(library
 (name lib)
  (modules suba subb)
)

（如果你像这样包含你的模块，你必须使用这些确切的名称，另一种获得控制权的方法是添加以下文件并删除该(modules suba subb)行：

lib/lib.ml

(* here you can give the name you want -- say A -- and use it in bin with Lib.A *)
module Suba = Suba
module Subb = Subb

（总结：

  • 您的dune文件包含(modules suba subb)
    • 如果子目录包含多个文件，您需要将所有正在使用的文件放在您的(modules ...)节中，否则编译器将无法使用它们
  • 或lib.ml您要导出的每个模块都应包含在其中的文件module MyName = AModule（并且仅包含您要导出的模块）
    • 使用此解决方案，您不想导出的模块不需要显式包含在lib.ml文件中，编译器将在需要时使用它们）

sub{a|b}/{a|b}.ml

let {a|b} () = Format.eprintf "{A|B}@."

suba.ml和subb.ml用作子模块，lib并且可以与Lib.Suba.a()如您在cli.ml

请注意，这禁止您为两个文件提供完全相同的名称，因为这些目录都将在父目录中展平，因此您不能拥有以下内容：

.
├── bin
│   ├── cli.ml
│   └── dune
├── dune-project
├── lib
│   ├── dune
│   ├── lib.ml
│   ├── suba
│   │   └── lib.ml
│   └── subb
│       └── lib.ml

因为(include_subdirs unqualified)会让它看起来像

.
├── bin
│   ├── cli.ml
│   └── dune
├── dune-project
├── lib
│   ├── dune
│   ├── lib.ml
│   ├── lib.ml
|   └── lib.ml

并且dune无法知道lib.ml要使用哪个文件。

[编辑] 如果您想要每个库一个目录，您只需删除dune根目录下的文件lib并为每个子目录创建一个：

.
├── bin
│   ├── cli.ml
│   └── dune
├── dune-project
├── lib
│   ├── suba
│   │   ├── dune
│   │   └── suba.ml
│   └── subb
│       ├── dune
│       └── subb.ml

唯一的变化是：

bin/cli.ml

let () =
  Suba.a (); (* no more Lib.(...) *)
  Subb.b ()

bin/dune

(executable
 (name cli)
 (libraries suba subb)
)

lib/dune已被删除

lib/sub{a|b}/dune

(library
 (name sub{a|b})
)

在这种情况下，不同目录中的多个文件可以具有相同的名称。

于 2021-05-10T08:45:25.853 回答