展示模块在utop中的冗长性

Question

我正在使用OCaml utop，带有Core.Std模块。

要查看模块的帮助文档，我需要按照别名链接进行操作，例如:

utop # #show_module Array;;
module Array = Core_kernel.Std_kernel.Array                                                                                            

utop # #show_module Core_kernel.Std_kernel.Array;;
module Array = Core_kernel.Std_internal.Array                                                                                          

utop # #show_module Core_kernel.Std_internal.Array;;
module Array = Core_kernel.Core_array

最后，使用show_module命令即可显示信息。有更快的方式吗？

- MK.

---

很遗憾，我认为没有。我已经在上游提交了一个问题（http://caml.inria.fr/mantis/view.php?id=7189）。 - Daniel Bünzli

感谢 @gasche，现在已经有一些进展了，详情请见 https://github.com/ocaml/ocaml/pull/520 - Daniel Bünzli

感谢您的报告，Daniel！ - MK.

不到24小时就提交了编译器仓库的补丁，我真爱这个社区。 - user1971598

Answer 1

为了完整起见，Daniel在评论中提到的拉取请求已经合并，现在utop更加智能化，当涉及到#show_module时。

utop # #show_module Array;;

module Array = Base__.Array
module Array = Base.Array
module Array :
  sig
    type 'a t = 'a array
    val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
    val t_of_sexp : (Sexp.t -> 'a) -> Sexp.t -> 'a t
    val sexp_of_t : ('a -> Sexp.t) -> 'a t -> Sexp.t
    [...]
  end

- Richard-Degenne