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

[Stefan O'Rear]

On Fri, Jun 01, 2007 at 07:55:59AM -0600, Chris Smith wrote:
> Simon Marlow wrote:
> >Wow, that patch was nearly 0.5Mb.  Can we do something about the
> >patch size?
> 
> I just did a darcs send.  Should I do something different?
> 
> >Regarding the patch itself, I'd rather just kill the current banner
> >and replace it with a shorter banner if we're going to do this.  What does
> >everyone else think?
> 
> Personally, I actually rather like the current banner.  I just did this 
> because I'm trying to get familiar with the code, and this was the easiest 
> thing on trac.  I'd hate to lose my ASCII art GHCi banner because of it!

My 2 cents:

I'd like to see the banner removed completely, or at least moved to a
higher verbosity level.

Users who need help or version are presumably know about --help and
--version; they aren't exactly GHC-specific!

Stefan