darcs patch: Re: Readline readHistory & writeHistory API broken
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