projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add obtainTerm1 to the GHC api
[ghc-hetmet.git]
/
compiler
/
ghci
/
InteractiveUI.hs
diff --git
a/compiler/ghci/InteractiveUI.hs
b/compiler/ghci/InteractiveUI.hs
index
a295245
..
7e82cea
100644
(file)
--- a/
compiler/ghci/InteractiveUI.hs
+++ b/
compiler/ghci/InteractiveUI.hs
@@
-1402,10
+1402,8
@@
handler (DynException dyn)
= do at_topLevel <- isTopLevel
if at_topLevel then return True else throwDyn StopParentSession
= do at_topLevel <- isTopLevel
if at_topLevel then return True else throwDyn StopParentSession
- | Just (ChildSessionStopped msg) <- fromDynamic dyn
- -- Reload modules and display some message
- = do ASSERTM (isTopLevel)
- io(putStrLn msg) >> return False
+ | Just (ChildSessionStopped msg) <- fromDynamic dyn
+ = io(putStrLn msg) >> return False
handler exception = do
flushInterpBuffers
handler exception = do
flushInterpBuffers