projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d061166) | patch
Tweak banner printing 2007-06-12
authorIan Lynagh <igloo@earth.li>
Tue, 12 Jun 2007 21:07:38 +0000 (21:07 +0000)
committerIan Lynagh <igloo@earth.li>
Tue, 12 Jun 2007 21:07:38 +0000 (21:07 +0000)
commitcedd4187afc6fabf7884a6dc42c3c47ea09624a3
tree3d5839f82600055d4b2b9b48dcec30649780c318tree | snapshot
parentd061166982c65f8e61b4faf942bc5737da2b272ccommit | diff
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.
compiler/Makefile diff | blob | history
compiler/ghci/InteractiveUI.hs diff | blob | history
compiler/main/DynFlags.hs diff | blob | history
compiler/main/Main.hs diff | blob | history
compiler/main/StaticFlags.hs diff | blob | history
docs/users_guide/flags.xml diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)