Re: Integrating editline with ghc