Add support for additional .ghci files in GHCi (#5265)
authorPaolo Capriotti <p.capriotti@gmail.com>
Wed, 11 Apr 2012 13:34:25 +0000 (14:34 +0100)
committerPaolo Capriotti <p.capriotti@gmail.com>
Wed, 11 Apr 2012 17:03:02 +0000 (18:03 +0100)
commit76bde331226e933b65b6433e983c50da1ce3b532
treee404e7e3f8e45a2591ed49ccbee65c7027444066
parentab52df86f5f76da6e19ee6562792ea43972a6f24
Add support for additional .ghci files in GHCi (#5265)

Patch by Sam Anklesaria <amsay@amsay.net>
compiler/main/DynFlags.hs
docs/users_guide/flags.xml
docs/users_guide/ghci.xml
ghc/InteractiveUI.hs