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

[Isaac Dupree]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Chris Smith wrote:
> 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?

I want to see what packages GHCi is loading when, for my information and
because it generally takes a little time so I'd like to know what it's
doing.  (note that packages can be loaded later on, too, not just when
ghci starts up)  Whereas I don't want my (personal) time wasted with a
distracting banner - not even if I want higher-than-normal verbosity for
debugging purposes.


Isaac
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFGYHOvHgcxvIWYTTURAsouAKDYX72i6PbfZVWFOwC8gCRLD2D7NACfd+i5
TIjDFH6AmfEobecPGs/ggLI=
=MbhT
-----END PGP SIGNATURE-----