A few small points about GHCi command documentation in section 2.7

Yitzchak Gale gale at sefer.org
Thu Nov 12 09:40:48 EST 2009

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.


More information about the Glasgow-haskell-users mailing list