问题标签 [utop]

当我在交互环境中执行以下命令时（OCaml或utop），所有“int”类型的表达式都变成了“int/2”类型。这种行为可以复制如下。

有谁知道为什么会这样？谢谢！

2020 年 3 月 2 日编辑：

我发现如果我执行以下操作，“int/2”将不会出现。谁能解释一下这里发生了什么？

更新：在上述情况下使用了OCaml 版本 4.08.1 。

如何让 rtop 发现我的 src 文件目录？

我找到了一个选项-I，希望rtop -I src能在 rtop 中加载我的 src 文件，但它仍然无法找到它们。

例如。源/lib.re：

运行命令：

rtop -I src

我使用 vscode，扩展名为“OCaml and Reason IDE”

这是我在 utop 中的结果：

也适用于字符串：

除了 int 之外的任何东西都一样：

">" "<" 也有同样的症状。我不知道实际发生了什么。谁能帮我吗 ？非常感谢！

在 OCaml 的 utop 中，我可以使用 alt+left 或 alt+right 在自动完成部分中移动，但是当我单击选项卡自动完成时，会使用第一个选择。我该怎么办？

简单地说，假设我有一个名为的实现文件moduleExample.ml和一个名为moduleExample.mli.

我怎样才能将它们加载在一起，以使界面中未列出的功能对的签名moduleExample.mli隐藏？此外，如何通过文件进行类型抽象？moduleExample.mlutopmoduleExample.mli

我正在阅读书籍类型和编程语言（https://www.cis.upenn.edu/~bcpierce/tapl/）。

在它的第 4 章，算术表达式的 ML 实现中，它介绍了info. 我在这里下载了它的 ocaml 源代码arith.tar.gz：https ://www.cis.upenn.edu/~bcpierce/tapl/checkers/ 。

这是开始support.ml：

我有几个问题：

第一季度

我在 MacOS 上安装了带有最新自制软件的 utop（版本 2.6.0），安装了带有opam install core base. 这是我的.ocamlinit：

它给了我警报：

什么是图书馆Format和Base.Format？我现在还需要打开它们吗？

第二季度

module Error = struct卡在 utop 解释器中。这条线是什么意思？为什么一直卡在utop？

第三季度

是什么exception Exit of int意思？

第四季度

什么是FI和UNKNOWN在type info = FI of string * int * int | UNKNOWN？

我是 OCaml 的新手。我在 MacOS 上安装了带有最新自制软件的 utop（版本 2.6.0），安装了带有opam install core base.

这是我的.ocamlinit：

我遇到了一个类型的错误FI：

FIOCaml 中的类型是什么？

这是 TAPL 中引入的类型（infohttps://www.cis.upenn.edu/~bcpierce/tapl/ ）：，type info = FI of string * int * int | UNKNOWN

UNKNOWNOCaml 中的类型是什么？

尝试使用该实用程序创建.cma文件（库）时遇到一些问题。dune我有以下项目树：

wherea.ml声明了一个非常简单的函数f，例如。当我直接运行ocamlc -o a.cma -a a.ml，然后启动时utop a.cma，我可以根据需要执行以下命令：

另一方面，在使用一次dune build（生成_build目录及其子目录）之后，_build/default/lib/a.cma我得到的文件占用的空间是手动生成的文件的十倍，更重要的是，它不起作用。两个命令都不成功utop _build/default/lib/a.cma，cd _build/default/lib; utop a.cma我无法使用该模块A：

我知道这个dune utop命令，但是如果我想在其他地方导出/共享我的库，dune没有安装在哪里？我应该做些什么？我使用dune错误的方式吗？先感谢您

PS：文件内容：

库/沙丘

rule1(250)应该返回125而是返回250。

如何返回参数的更新值？

在utop（或dune utop）中加载代码并打印任何数据构造函数Bin.Stop时，#show Bin.Stop;;我遇到了崩溃。

虽然ocaml不会崩溃。这是一个错误还是有明显的理由为什么这是非法的？

打印一个类型，比如说，nat效果很好