问题标签 [utop]

我正在使用带有 Core.Std 模块的 ocaml utop。

要查看模块的帮助，我必须遵循别名链接，如下所示：

最后 show_module 将显示信息。有更快的方法吗？

谢谢！

要安装 OPAM（已安装 ocaml），我遵循了本指南： https ://github.com/realworldocaml/book/wiki/Installation-Instructions 。以下是我安装 OPAM 的步骤

每当我尝试安装任何软件包（如 utop）时，我都会收到此错误：

关于我做错了什么有什么想法吗？

我想检查 Coq 语法的信息，所以我将grammar.cma 加载到 utop 中：

但有一个错误：

Coq 版本：8.5.0 OCaml 版本：4.02.3 utop 版本：1.19

当我尝试在OCaml 的顶层加载文件extLib.cma时，我收到以下错误：utop

但是，如果我尝试使用 opam 安装它，我会收到以下注释：

我究竟做错了什么？

我一直在尝试根据 Real World OCaml 的说明在 Ubuntu 14.04 上设置 OCaml、OPAM、相关库和 UTOP。我目前已经成功安装了 OCaml 编译器和 OPAM。但是，在尝试安装 core 和 UTOP 时，出现以下错误：

[错误] 核心不是有效的版本化包名称

'opam install core utop' 失败。

和

[错误] utop 不是有效的版本化包名称

“opam 安装 utop”失败。

如果有人可以就问题所在以及如何解决问题提供建议，我将不胜感激。

谢谢！

编辑：根据反馈，我提供了有关安装的更多详细信息。我安装了 OPAM 1.1.1。安装中执行的最后命令是

opam 开关 4.03.0

它为我编译了那个版本，然后

eval 'opam 配置环境'

但是，我仍然无法安装 core 和 utop，因为它们显然不是有效的版本化包名称。

感谢Jonathan Protzenko 的精彩指南，我设法在 Windows（在 Cygwin 中）上安装和运行OCaml + OPAM + utop。在utop中，我特别希望能够使用ctypes + ctypes.foreign来快速试验和原型访问各种 WinAPI 调用。从理论上讲，我成功地安装了ctypes包（成功）。不幸的是，当我尝试将它们实际加载到utop 中时，它们以令人惊讶的错误消息惨遭失败：opam install ...

尝试做同样的事情会rlwrap ocaml给出一个更长的错误消息：

注意：会话的完整记录在此处— 它包含 cmd.exe 终端中的会话输出，以及Cygwin 终端utop中的附加会话的输出。rlwrap ocaml

我完全不知道为什么会发生这种情况，或者我如何进一步尝试调试/查明/诊断情况，以便我可以尝试找到一些解决方法。（顺便说一下——我是 OCaml 和 OPAM 的新手，虽然我在 C/C++ 和 Linux 方面有相当的经验。）接下来是我的一些问题，我想这些问题可能有助于解决这个问题推动我通过障碍：

• 有没有办法在本地调整 git repo（即 ctypes）并将其传递给 OPAM 而不是原始的 github ？
• 我设法在谷歌上搜索了一些评论，似乎提到“libffi 的静态版本”可能会起作用，正如 ctypes 问题 #198 中所暗示的那样；但我是 OCaml 的新手，不幸的是，我完全不知道如何将这个建议应用于utop？
• 我如何告诉 OPAM 哪个 libffi 用于 ctypes？（具体来说，使用“静态 libffi”？）
• 如何检查我安装的mingw64-x86_64-libffi Cygwin 软件包是静态链接还是动态链接？或者如果提供了两种变体，那么 ctypes 使用哪一种？我在 SO 上找到了一些关于如何检测 libffi.a 是否与 PIC（？）重定位 [ -fpic？] 相关联的答案，但它们看起来都非常骇人听闻，而且我尝试过的那些似乎都没有真正起作用，至少在我的情况下.
• 任何帮助将不胜感激。我什至不知道该问谁，因为它是 OCaml、OPAM、utop 和 Cygwin 的交叉点，所有这些都是巨大且有些不相关/正交的系统。我试过在 ctypes repo 上发布这个问题，但一个月后得到的只是一个“补丁欢迎”标签。

我一直在尝试针对用户键入无效目录的情况进行模式化：

我的功能如下：

除了我不断收到编译错误：

我不明白我在模式匹配方面做错了什么。如果有人可以帮助我，将不胜感激！

其他一些注意事项：

我一直在终端上使用以下命令编译我的代码：

ocamlnat 与编译器一起分发，但默认情况下不构建。我只能通过输入make natruntopocaml 编译器构建目录来启动它。我怎样才能把它变成一个功能齐全的原生 utop？

有没有办法在 utop 中打印历史列表，比如history从 bash 调用？utop-mode我也没有在 emacs 中找到任何与相关的历史记录环。我正在尝试使用历史在 REPL 中进行嬉皮士扩展。

Utop 似乎响应history-prev和history-next（来自utop.el）之类的命令，但这就是我发现的全部。

这是我的 ocamlinit：

正是有了这个，我在 utop 中得到了这个

#ppx如果我使用以代替开头的行#require "ppx_jane"，我会收到此错误

我应该如何设置 ocamlinit 来使用[@@deriving show]？