[project @ 2002-10-17 14:49:52 by simonmar]
authorsimonmar <unknown>
Thu, 17 Oct 2002 14:49:52 +0000 (14:49 +0000)
committersimonmar <unknown>
Thu, 17 Oct 2002 14:49:52 +0000 (14:49 +0000)
commitf9449b97333f525c33de6cf39a9ddcb1ab42cafb
tree2876819d076323ed21f4f46c4cfa661fdfe19560
parent06575d67c6e85ee746d96c77dab9e40edfb4f7ee
[project @ 2002-10-17 14:49:52 by simonmar]
- Don't flush the finder cache after adding a new package.  We'll
  assume that packages don't overlap.

- Add the extra command-line flags specified by a package when we
  add a package from the GHCi prompt.
ghc/compiler/ghci/InteractiveUI.hs