darcs patch: Re: Readline readHistory & writeHistory API broken

Ian Lynagh igloo at earth.li
Thu Jun 12 10:32:38 EDT 2008

On Wed, Jun 11, 2008 at 11:26:14AM -0700, Judah Jacobson wrote:
> I agree that just fixing the comments is fine.
> Ian, it looks like the editline library also has this problem.  Can
> you please apply the attached patch (or its equivalent)?

Thanks; it's in my repo now, so will be pushed next time I validate.
Presumably you plan to also push it to the repo at
? I'd like to keep the GHC rep a subset of that one so that we don't
have unnecessary conflicts etc.


More information about the Libraries mailing list