несвязанный модуль в сборке OCaml / dune - PullRequest
0 голосов
/ 06 января 2019

Я впервые пробовал OCaml и пытался собрать пару файлов вместе.

Когда я бегу:

dune build bin/main.exe

Я получаю:

    ocamlc bin/.main.eobjs/main.{cmi,cmo,cmt} (exit 2)
(cd _build/default && /usr/bin/ocamlc.opt -w @a-4-29-40-41-42-44-45-48-58-59-60-40 -strict-sequence -strict-formats -short-paths -keep-locs -g -bin-annot -I bin/.main.eobjs -I lib/.lib.objs -no-alias-deps -opaque -o bin/.main.eobjs/main.cmo -c -impl bin/main.ml)
File "bin/main.ml", line 10, characters 17-25:
Error: Unbound module Rule

Вот мой файл bin / main.ml:

open Lib

let () =
    let result = Math.add 2 3 in
    print_endline (string_of_int result);
    let result = Math.sub 3 1 in
    print_endline (string_of_int result);
    let result = Zoom.barf 3 1 in
    print_endline (string_of_int result);
    let result = Rule.add 3 1 in
    print_endline (string_of_int result);

в lib / inner / rule.ml, содержит:

let add x y = x + y
let sub x y = x - y

так что я думаю, что мне нужно как-то импортировать файл rule.ml в файл bin/main.ml?

1 Ответ

0 голосов
/ 06 января 2019

В настоящее время в Dune по умолчанию модули в разных каталогах не видны друг другу. Это контролируется строфой (include_subdirs no) (https://dune.readthedocs.io/en/latest/dune-files.html#include-subdirs). С помощью этой настройки, чтобы ваши модули были видны друг другу, вам нужно поместить файл dune с правильным содержимым в каждом подкаталоге. Если вы посмотрите, как это делает сам проект Dune (https://github.com/ocaml/dune), ваша структура каталогов будет выглядеть следующим образом:

myproj/
  bin/
    dune
    main.ml
  lib/
    dune
    inner/
      dune
      rule.ml

Различные dune файлы должны содержать правильные (library ...) (https://dune.readthedocs.io/en/latest/dune-files.html#library) или (executable ...) (https://dune.readthedocs.io/en/latest/dune-files.html#executable) строфы, если необходимо.

Редактировать: после выполнения вышесказанного вам также необходимо обратиться к модулю Rule по его полному «пути», т.е. Lib.Inner.Rule.

...