在顶层运行`module M = ...`

Question

学习OCaml正在迅速将我带到完全身体疲惫的程度......

在此页面

https://ocaml.org/learn/tutorials/modules.html

它说

  

在ocaml toplevel中，以下技巧允许可视化现有模块的内容，例如List：

# module M = List;;
module M :
  sig
    val length : 'a list -> int
    val hd : 'a list -> 'a
    val tl : 'a list -> 'a list
    val nth : 'a list -> int -> 'a
    val rev : 'a list -> 'a list
    ...

当我在顶层输入完全相同的字符时，我得到的唯一输出是

module M = List

即，我刚刚输入的内容（减去;;）的有用回声，这至少让我确信解释器不会在某个无限循环中丢失。

我需要做些什么才能获得广告宣传的行为？

Answer 1

此技巧仅适用于较旧的ocaml版本（＆lt; 4.02.X）

使用最新的ocaml版本，您必须使用＆＃39;＃show_module＆＃39; ，例如

#show_module List ;;