首页
学习
活动
专区
圈层
工具
发布
社区首页 >问答首页 >怎么使用'dune utop --watch'?

怎么使用'dune utop --watch'?
EN

Stack Overflow用户
提问于 2019-05-25 06:05:58
回答 1查看 81关注 0票数 1

我希望dune utop或其他OCaml顶层能够在代码运行时获取我对代码所做的更改。看起来好像dune utop --watch就是为此而设计的。这是真的吗?我该如何利用它?

在我的实验中,dune utop --watch忽略了我保存的对模块源代码的更改。执行dune build命令的变体似乎也无济于事。

尽管看起来与dune不兼容,但我也尝试了#use#mod_use指令,但没有成功:utop似乎直到重启后才能获取我的代码更改。

EN

回答 1

Stack Overflow用户

发布于 2019-05-26 07:35:45

嗯..。看起来(一旦你安装了inotifywait) dune build --watch真的开始工作了,但是dune utop --watch仍然不接受保存到源文件中的更改。

--watch选项在dune utop --watch中被接受为有效,dune utop --help确实宣传它受支持,但似乎这只是dune中的一个错误,dune utop --watch实际上的行为方式与简单的dune utop完全相同。

这将是一个非常好的选择,但显然它只是不支持,可能不可能支持……

票数 0
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/56300005

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档