Tweak banner printing
* -{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.
Showing
- compiler/Makefile 3 additions, 0 deletionscompiler/Makefile
- compiler/ghci/InteractiveUI.hs 34 additions, 32 deletionscompiler/ghci/InteractiveUI.hs
- compiler/main/DynFlags.hs 3 additions, 0 deletionscompiler/main/DynFlags.hs
- compiler/main/Main.hs 11 additions, 22 deletionscompiler/main/Main.hs
- compiler/main/StaticFlags.hs 0 additions, 4 deletionscompiler/main/StaticFlags.hs
- docs/users_guide/flags.xml 2 additions, 2 deletionsdocs/users_guide/flags.xml
Loading
Please register or sign in to comment