[project @ 2000-11-28 12:58:02 by sewardj]
authorsewardj <unknown>
Tue, 28 Nov 2000 12:58:02 +0000 (12:58 +0000)
committersewardj <unknown>
Tue, 28 Nov 2000 12:58:02 +0000 (12:58 +0000)
commit0d75c3b4bf2c968750dbb925f8222a0434ced6b9
treeb4e05bf457a5a80349308aa16a31a75cf8edb986
parentd112b15d6a086360276d8a5a59bc1dfa15a3f9b8
[project @ 2000-11-28 12:58:02 by sewardj]
Just return on exit rather than doing exitWith, so tmp files get deleted.
ghc/compiler/ghci/InteractiveUI.hs