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

html5 • • 问答

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

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

回答

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

:set -v0

以上是我如何从ghci中取消设置:set-v？的全部内容。
THE END
分享
二维码
< <上一篇
下一篇>>