darcs patch: FIX #1378 Add option for a shorter banner on GHCi startup

[Chris Smith]

Simon Marlow wrote:
> -v0 does more than just suppress the banner, it eliminates the
> "Compiling" messages amongst other things.

So the question is whether anyone might want to see those, but be opposed to 
seeing the startup banner.  For what reason would someone want to see 
something like:

  Loading package base ... linking ... done.
  Loading package old-locale-1.0 ... linking ... done.
  Loading package old-time-1.0 ... linking ... done.
  Loading package directory-1.0 ... linking ... done.
  Loading package process-1.0 ... linking ... done.
  Loading package goa-3.0 ... linking ... done.

but not want the startup banner?

The other possibly relevant thing -v0 does is suppress the prompt unless 
stdin is a tty.  I don't know enough about the tty stuff to know if this is 
a problem.  Neil, would this be a problem for your GuiHaskell project if it 
used -v0, since it must do something like forking GHCi with stdin set to a 
pipe or named socket?  That wouldn't be a tty, right?

-- 
Chris Smith