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



我之前在导入System.Random时遇到了一些问题,在试图解决这个问题的过程中,我在ghci终端中执行了命令:set -v

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

您可以使用:set -vn将详细级别设置为级别n。如果您编写-v,这是-v3的缩写。默认的详细级别是0,因此您可以使用将详细级别设置回0

:set-v0

最新更新