From cf596c1d6c12d61570626408d2f5ee81a4b9a7ee Mon Sep 17 00:00:00 2001 From: Pepe Iborra Date: Fri, 12 Jan 2007 14:40:40 +0000 Subject: [PATCH] Remove a false assertion --- compiler/ghci/InteractiveUI.hs | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/compiler/ghci/InteractiveUI.hs b/compiler/ghci/InteractiveUI.hs index a295245..7e82cea 100644 --- 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 - | 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 -- 1.7.10.4