问题标签 [merlin]

我有两个文件：

foo.ml

foo.mli

如何让 Merlin 警告我我错误地实现了接口？

我刚开始学习Ocaml。我在 Ubuntu 上使用可视代码作为我的 IDE，并且安装了 OCaml 扩展和 merlin。

我有以下问题 -

我的工作区文件夹仅包含 2 个文件：a.ml 和 b.ml。

在 a.ml 文件中，我定义了一个名为“COOL”的模块，在 b.ml 文件中我写道：

我收到一条错误消息，提示“未绑定模块 COOL merlin”

有没有办法让它看到文件 a.ml 上的模块？我尝试寻找解决方案，我看到了 makefile 和 .merlin 和 B 构建的东西，但我不明白，除了我提到的 2 个文件，我什么都没有。如果有人能告诉我应该做什么才能让这个小例子起作用，我会很高兴。

Merlin 似乎需要使用该.merlin文件手动配置它。IntelliSense 在使用 VisualStudio 时不需要类似的东西（至少在使用 C++/C#/F# 等语言时）。这包括查找第三方库的实现。我想这部分是通过使用*proj,packages.config文件和编译器发出的数据（但我只是猜测）。Merlin 是否有类似的东西（可能通过使用.opam文件或 OCaml 编译器）？

我正在我的家庭网络上运行一个实验室开发环境，该环境由运行 merlin 的华硕路由器管理。

merlin 路由器设置有本地域名“localdomain”。

merlin 路由器 DHCP UI 正在手动锁定主机名/IP/Mac。

在基本的 LAMP 安装并简单地使用默认的 Apache2 主页后，我在使用时看到几乎即时的 Web 响应

• http://192.168.xy
• http://主机名
• http://hostname.localdomain

这一切都很好。

我遇到的问题是，当我在 merlin dnsmasq.add 中添加新主机名时

• address=/aliashostname.mydomain.com/192.168.xy （注意这个IP和上面一样，我只是想给它起个别名）

仅使用 Apache2 默认网页，我的 Web 响应时间就会大大减慢。

• http://aliashostname.mydomain.com <-- 响应时间要长得多。像超过30秒。

起初我以为是 merlin 域名服务器出了问题，但我看到了类似的 ping 响应时间。

这让我认为它一定是我的 apache 服务器上的东西。我实际上是在使用安装后的默认主页和默认配置。

有任何想法吗？

谢谢

我想知道哪一种是在 Ocaml（在 MAC 中）中编程的一种舒适方式。

我目前正在使用 VSCode 来检测语法和类型错误，但随后我使用在线解释器进行编译（它创建 ml）并在其上运行示例；我的意思是，实例化变量、测试示例等。例如，我使用在线：https ://try.ocamlpro.com/ 。

我知道这不是最好的方法：例如，如果一个包没有集成（让我们说num），我不能opam install num打开它。

所以我想知道哪个是同时拥有 (1) 像 VSCode 这样的酷界面和 (2) 即时编译 + 测试东西的合适选择。

我想我很接近下一个选项：我ocaml在终端中写入，然后打开一个模式：

...

在那里，我可以写：#open Num;; #open List;; #let...但我不知道如何在上面加载文件。

有人还告诉我有一种叫做“utop”的东西，但我看过，它对我来说似乎很先进。

任何帮助表示赞赏！

软件包已正确安装。

我的 .ocamlinit 文件有

真正奇怪的是 - 当我使用命令启动 ocaml 的顶层时，ocaml它会正确加载所有内容并且命令就像open Core;; open Base;;工作一样。但它们不适用于 utop。我明白了Error: Unbound module Core。同样merlin，在 VS 代码中，如果我写open Core.

有人可以帮助我了解发生了什么吗？如果他们有帮助，我可以给你更多细节。我已经查看了所有类似的问题，但没有一个可以帮助我解决这个问题。

编辑：如果有帮助，这是opam switch

我一直在我的 MacBook Pro 上使用 VSC，但最近当我在 VSC 中打开 .ml 文件时，我开始在窗口的右下角收到一条消息，上面写着“在 'ocamlmerlin' 中找不到 merlin 二进制文件”。此外，在输出中，我得到以下信息：

我还注意到识别编码错误的红色波浪线已经停止出现。有没有其他人在使用 VSC 之前看到过这种类型的错误？

我有一个带有 Merlin 固件的 ASUS RT-AC5300 路由器。我在上面安装了Entware，然后按照这篇文章安装了lighttpd： Lighttpd-web-server-with-PHP-support-through-Entware
所以Web服务器通过http可以正常工作，但是在向lighttpd.conf文件中添加了一个部分之后，并尝试重新启动 Web 服务器，但它没有启动。
这篇文章：Enabling_https_via_SSL说我需要将这部分添加到配置文件中：

在我添加了该部分之后，但在重新启动 Web 服务器后，它现在也没有在 http 上响应。浏览器显示错误“ERR_CONNECTION_REFUSED”。
我不明白这个配置文件中的 $SERVER 是什么意思。我有一种感觉，这是一个在我的案例中没有定义的变量。
我在 Mac 上创建的证书文件 .pem 并放置在该目录中。
我看到在Entware的情况下，原始配置文件的位置在这个位置：“/opt/etc/lighttpd/lighttpd.conf”（与lighttpd Wiki页面相比，前面有一个“/opt” ,/opt是插在路由器上的U盘根目录，
我的lighttpd版本是1.4.59：

如果有人可以帮助我，我将不胜感激。
谢谢。

我正在尝试在 VSCode (Mac) 的 OCaml 中使用 Z3。

为了使用它，我编写了以下代码：open Z3但它向我提出了以下错误：Unbound module Z3 Merlin所以我理解 Z3 没有安装。

但是，我刚刚运行：opam install z3，所以它应该可以工作。

我也意识到这open Num是可行的，所以可能与使用旧版本的 OCaml 有关（因为Num现在已弃用）。

有什么帮助吗？

编辑：

我刚刚发现 Z3 没有正确安装在opam install z3零件中。这是抛出的消息：

它给了我一个与 Xcode 相关的错误...

我想纠正这个会产生纠正原来的unbound module错误。是这样吗？有什么帮助吗？

有没有办法跳转到当前光标下的值的类型的类型定义？例如，如果我们有以下代码：

当您在 emacs 中正确设置 merlin 并点击C-c C-t时，在 minibuffer 中，merlin 将显示Monas的类型type weekday = ..。有没有办法在显示类型后跳转到类型定义type weekday？