使用ocaml utop打印历史列表

Question

有没有办法在utop中打印历史记录列表，比如从bash调用history？我还没有在emacs中找到与utop-mode相关联的任何类型的历史记录。我试图在REPL中使用历史来嬉皮扩张。

Utop似乎会响应history-prev和history-next等命令（来自utop.el），但这就是我找到的所有内容。

Answer 1

这个

μ> #require "lambda-term";;
μ> LTerm_history.contents UTop.history;;

会将您的utop历史记录打印为OCaml字符串列表，第一个元素是您执行的最新命令（这不足为奇）  "LTerm_history.contents UTop.history;;"）。

注意：您可以将#require "lambda-term";;添加到.ocamlinit文件中，以跳过上面列表中的第一个命令。

如果您想使用某些系统工具来访问~/.utop-history历史记录，还有utop个文件。