A few small points about GHCi command documentation in section 2.7
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
On Thu, Nov 12, 2009 at 04:40:48PM +0200, Yitzchak Gale wrote:
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 for the report; this is now all fixed in 6.12. Thanks Ian
participants (2)
-
Ian Lynagh -
Yitzchak Gale