在顶层运行`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版本(<4.02.X)

使用最新的ocaml版本,您必须使用'#show_module',例如

#show_module List ;;