Skip to content
  • Ian Lynagh's avatar
    Tweak banner printing · cedd4187
    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