我如何从 ghci 中取消设置 :set -v？

Question

我在导入 System.Random 之前遇到了一些麻烦，在尝试解决此问题的过程中，我:set -v在 ghci 终端中执行了该命令。

所以现在每当我使用 时:r，我都会得到很多不必要的信息。那么如何取消设置:set -v命令呢？

Answer 1

您可以设置详细级别水平ñ用。如果你写，这是. 默认的详细级别为，因此您可以将详细级别设置回：:set -vn-v-v300

:set -v0