-
Ian Lynagh authored
* -{short,long}-ghci-banner are now dynamic options, so you can put ":set -short-ghci-banner" in .ghci * The -v2 banner information now always tells you what compiler booted GHC, and what stage the compiler is. Thus we no longer assume that stage > 1 iff GHCI is defined.
cedd4187