From: Judah Jacobson Date: Wed, 24 Sep 2008 21:24:22 +0000 (+0000) Subject: Don't exit ghci if :info is called on an undefined identifier. X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=9c9e716300335d9877227e06b24235bba68787a1 Don't exit ghci if :info is called on an undefined identifier. --- diff --git a/compiler/ghci/InteractiveUI.hs b/compiler/ghci/InteractiveUI.hs index a16a5b9..5c94597 100644 --- a/compiler/ghci/InteractiveUI.hs +++ b/compiler/ghci/InteractiveUI.hs @@ -863,7 +863,8 @@ help _ = io (putStr helpText) info :: String -> GHCi () info "" = ghcError (CmdLineError "syntax: ':i '") -info s = do { let names = words s +info s = handleSourceError GHC.printExceptionAndWarnings $ do + { let names = words s ; dflags <- getDynFlags ; let pefas = dopt Opt_PrintExplicitForalls dflags ; mapM_ (infoThing pefas) names }