A few small points about GHCi command documentation in section 2.7

[Yitzchak Gale]

Please add to the documentation for :set prompt:

If you enclose \i{prompt} in quotes, you can use Haskell
syntax for String literals.

Actually, :set prompt is nearly useless without quotes, because
GHCi strips off trailing spaces from commands. We should either
add a space at the end of a prompt entered without quotes,
or just require quotes. Or at least change the help text
to be:

:set prompt \"<prompt>\"      set the prompt used in GHCi\n

so that people will know the right thing to do. Perhaps add
a few more words of explanation to the docs in section 2.7
once we decide which of these to do.

The :run command is not documented in section 2.7 - the
only mention of it is buried within the documentation for
the :main command. It is also not mentioned in helpText.

Thanks,
Yitz