darcs patch: Add proximal lookup functions in Map (and 2 more)
dagit at codersbase.com
Tue May 22 18:02:32 EDT 2007
On 5/22/07, Adam Langley <agl at imperialviolet.org> wrote:
> On 5/22/07, Ross Paterson <ross at soi.city.ac.uk> wrote:
> > nearest needs Num, but the other two shouldn't.
> That's a great point, I hadn't thought about that. I don't know if
> people usually send a correction patch, or remake the patch but I've
> done the former:
I can't speak for the protocol of this libraries list, but in
darcs-devel people usually use 'amend-record' when the changes are
small (like correcting a typo).
More information about the Libraries