дюна утоп либ без интерфейсов - PullRequest
0 голосов
/ 06 ноября 2018

Можно ли dune utop mylib загрузить библиотеку в "смешанном режиме", который игнорировал бы файлы интерфейса .mli и выставлял бы внутренние компоненты, такие как значения или типы, не перечисленные как часть открытого интерфейса?

По сути, загрузка utop «изнутри» реализации, а не «извне», выдача стандартных команд open с абстракцией, применяемой открытым интерфейсом.

1 Ответ

0 голосов
/ 07 ноября 2018

Это невозможно. Вы можете открыть тикет в github-хранилище дюны, чтобы запросить такую ​​функцию.

...