Don't exit ghci if :info is called on an undefined identifier.
authorJudah Jacobson <judah.jacobson@gmail.com>
Wed, 24 Sep 2008 21:24:22 +0000 (21:24 +0000)
committerJudah Jacobson <judah.jacobson@gmail.com>
Wed, 24 Sep 2008 21:24:22 +0000 (21:24 +0000)
commit9c9e716300335d9877227e06b24235bba68787a1
treeb97bcc1610b80ce2b309dee7220e344b90b692c5
parented1cc5d8a193151d6733fb146986ebf23597fda0
Don't exit ghci if :info is called on an undefined identifier.
compiler/ghci/InteractiveUI.hs