Re: darcs patch: Don't exit ghci if :info is called on an undefined ide...

On Wed, Sep 24, 2008 at 02:24:50PM -0700, Judah Jacobson wrote: > Wed Sep 24 14:24:22 PDT 2008 Judah Jacobson <[EMAIL PROTECTED]> > * Don't exit ghci if :info is called on an undefined identifier. Thanks, applied to HEAD and 6.10. Thanks Ian ___ Cv

darcs patch: Don't exit ghci if :info is called on an undefined ide...

Wed Sep 24 14:24:22 PDT 2008 Judah Jacobson <[EMAIL PROTECTED]> * Don't exit ghci if :info is called on an undefined identifier. New patches: [Don't exit ghci if :info is called on an undefined identifier. Judah Jacobson <[EMAIL PROTECTED]>**20080924212422] hunk ./compiler/ghci/InteractiveUI.h