How do i unset :set -v from ghci?

I had some troubles earlier importing System.Random, and in the process of trying to fix this I did the command :set -v in the ghci terminal.

So now whenever I use :r, I get a lot of unnecessary information. So how do i unset the :set -v command?

Upvotes: 6

Views: 305

Answers (1)

willeM_ Van Onsem
willeM_ Van Onsem

Reputation: 476729

You can set the verbosity level to level n with :set -vn. If you write -v, this is short for -v3. The default verbosity level is 0, so you can set the verbosity level back to 0 with:

:set -v0

Upvotes: 6

Related Questions